This open-access proceedings volume brings selected, peer-reviewed contributions presented at the Fourth Stochastic Transport in Upper Ocean Dynamics (STUOD) 2023 Workshop, held at IFREMER in Plouzané, France, September 25–28, 2023. The STUOD project is supported by an ERC Synergy Grant, and led by Imperial College London, the National Institute for Research in Computer Science and Automatic…
This open access proceedings volume brings selected, peer-reviewed contributions presented at the Stochastic Transport in Upper Ocean Dynamics (STUOD) 2021 Workshop, held virtually and in person at the Imperial College London, UK, September 20–23, 2021. The STUOD project is supported by an ERC Synergy Grant, and led by Imperial College London, the National Institute for Research in Computer S…
This open access proceedings volume brings selected, peer-reviewed contributions presented at the Third Stochastic Transport in Upper Ocean Dynamics (STUOD) 2022 Workshop, held virtually and in person at the Imperial College London, UK, September 26–29, 2022. The STUOD project is supported by an ERC Synergy Grant, and led by Imperial College London, the National Institute for Research in Comp…
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples. In order to achieve carbon targets, good forecasts of peaks…
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…
This open access book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathe…
This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book …
This open access book is about the shaping of international relations in mathematics over the last two hundred years. It focusses on institutions and organizations that were created to frame the international dimension of mathematical research. Today, striking evidence of globalized mathematics is provided by countless international meetings and the worldwide repository ArXiv. The text follows …
This open access book introduces the modern tontine and its applications in retirement and decumulation. Personal financial management in the later stages of life presents unique challenges, and renowned retirement planning expert Dr. Milevsky proposes the modern tontine as a solution. With the goal of guiding professionals and retirees in more efficient decumulation, the book demonstrates how …
This open access book addresses challenges related to women in STEM in higher education, presenting research, experiences, studies, and good practices associated with the engagement, access, and retention of women in the STEM disciplines. It also discusses strategies implemented by universities and policymakers to reduce the existing gender gap in these areas. The chapters provide an overview o…