Filter by
Foundations of Software Science and Computation Structures: 22nd Internationa…
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected fro…
- Edition
- 1
- ISBN/ISSN
- 9783030171278
- Collation
- XV, 542
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
- Edition
- 1
- ISBN/ISSN
- 9783030719951
- Collation
- XV, 574
- Series Title
- -
- Call Number
- -
Stochastic Transport in Upper Ocean Dynamics III
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-70660-8
- Collation
- -
- Series Title
- Mathematics of Planet Earth
- Call Number
- XIV, 345
Stochastic Transport in Upper Ocean Dynamics
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-18988-3
- Collation
- -
- Series Title
- Mathematics of Planet Earth
- Call Number
- XVI, 317
Stochastic Transport in Upper Ocean Dynamics II
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-40094-0
- Collation
- -
- Series Title
- Springer Cham
- Call Number
- XIV, 338
Forecasting and Assessing Risk of Individual Electricity Peaks
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-28669-9
- Collation
- -
- Series Title
- Mathematics of Planet Earth
- Call Number
- XII, 97
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
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…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- XV, 756
- Series Title
- -
- Call Number
- -
Model and Mathematics: From the 19th to the 21st Century
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…
- Edition
- -
- ISBN/ISSN
- 978-3-030-97833-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Smittestopp − A Case Study on Digital Contact Tracing
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 …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05466-2
- Collation
- -
- Series Title
- Simula SpringerBriefs on Computing
- Call Number
- XI, 141
Framing Global Mathematics
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 …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-95683-7
- Collation
- -
- Series Title
- -
- Call Number
- CCCLXXXIV, 20
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography