2024 | Book
A Course in Real Algebraic Geometry
Positivity and Sums of Squares
This textbook is designed for a one-year graduate course in real algebraic geometry, with a particular focus on positivity and sums of squares of polynomials.
The first half of the book features a thorough introduction to ordered fields and real …
- Author:
- Claus Scheiderer
Open Access
2025 | Open Access | Book
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
The 51 full and 4 short papers included in these …
- Editors:
- Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
2024 | Book
Privacy in Statistical Databases
International Conference, PSD 2024, Antibes Juan-les-Pins, France, September 25–27, 2024, Proceedings
This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2024, held in Antibes Juan-les-Pins, France, during September 25-27, 2024.
The 28 papers presented in this volume were …
- Editors:
- Josep Domingo-Ferrer, Melek Önen
2024 | Book
Advances in Geoscience and Remote Sensing Technology
Proceedings of the 1st International Conference of Geoscience and Remote Sensing Technology (October 28-29, 2023, Padang, Indonesia)
This book comprises works presented in the 1st International Conference of Geoscience, Remote Sensing, and Technology, which was held in Padang, Indonesia, in October 2023. It was hosted by the Center of Disaster Monitoring and Earth Observation …
- Editors:
- Josaphat Tetuko Sri Sumantyo, Pakhrur Razi
2024 | Book
Artificial Intelligence-Driven Geographies
Revolutionizing Urban Studies
This groundbreaking book delves deep into the history of AI, the major techniques and algorithms of machine learning and deep learning, and the critical role of data sources and processing in these disciplines. It covers a range of AI applications …
- Authors:
- Seyed Navid Mashhadi Moghaddam, Huhua Cao
2024 | Book
Artificial Intelligence for Science (AI4S)
Frontiers and Perspectives Based on Parallel Intelligence
This book presents a comprehensive framework for analyzing, evaluating, and guiding AI for Sciences (AI4Sci) research, offering a unified approach that facilitates analysis across various academic fields through a shared set of dimensions and …
- Authors:
- Qinghai Miao, Fei-Yue Wang
2024 | Book
Artificial Intelligence and Edge Computing for Sustainable Ocean Health
Artificial Intelligence and Edge Computing for Sustainable Ocean Health explores the transformative role of AI and edge computing in preserving and enhancing ocean health. The growing influence of Artificial Intelligence (AI), along with the …
- Editors:
- Debashis De, Diganta Sengupta, Tien Anh Tran
2024 | Book
Navigating Unpredictability: Collaborative Networks in Non-linear Worlds
25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part I
This two-volume set, IFIP AICT 726 and 727, constitutes the refereed proceedings of the 25th IFIP WG 5.5 Working Conference on Virtual Enterprise, PRO-VE 2024, held in Albi, France, during October 28–30, 2024.
The 56 full papers presented in these …
- Editors:
- Luis M. Camarinha-Matos, Angel Ortiz, Xavier Boucher, Anne-Marie Barthe-Delanoë
2024 | Book
Extended Reality
International Conference, XR Salento 2024, Lecce, Italy, September 4–7, 2024, Proceedings, Part III
The four-volume proceedings set LNCS 15027, 15028, 15029 and 15030 constitutes the refereed proceedings of the International Conference on Extended Reality, XR Salento 2024, held in Lecce, Italy during September 4–7, 2024.
The 63 full papers and …
- Editors:
- Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco
2024 | Book
Navigating Unpredictability: Collaborative Networks in Non-linear Worlds
25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part II
This two-volume set, IFIP AICT 726 and 727, constitutes the refereed proceedings of the 25th IFIP WG 5.5 Working Conference on Virtual Enterprise, PRO-VE 2024, held in Albi, France, during October 28–30, 2024.
The 56 full papers presented in these …
- Editors:
- Luis M. Camarinha-Matos, Angel Ortiz, Xavier Boucher, Anne-Marie Barthe-Delanoë
2024 | Book
Document Analysis and Recognition - ICDAR 2024
18th International Conference, Athens, Greece, August 30–September 4, 2024, Proceedings, Part IV
This six-volume set LNCS 14804-14809 constitutes the proceedings of the 18th International Conference on Document Analysis and Recognition, ICDAR 2024, held in Athens, Greece, during August 30–September 4, 2024.
The total of 144 full papers …
- Editors:
- Elisa H. Barney Smith, Marcus Liwicki, Liangrui Peng
2024 | Book
Document Analysis and Recognition – ICDAR 2024 Workshops
Athens, Greece, August 30–31, 2024, Proceedings, Part I
This two-volume set LNCS 14935-14936 constitutes the proceedings of International Workshops co-located with the 18th International Conference on Document Analysis and Recognition, ICDAR 2024, held in Athens, Greece, during August 30–31, 2024.
The …
- Editors:
- Harold Mouchère, Anna Zhu
2024 | Book
Document Analysis and Recognition - ICDAR 2024
18th International Conference, Athens, Greece, August 30–September 4, 2024, Proceedings, Part VI
This six-volume set LNCS 14804-14809 constitutes the proceedings of the 18th International Conference on Document Analysis and Recognition, ICDAR 2024, held in Athens, Greece, during August 30–September 4, 2024.
The total of 144 full papers …
- Editors:
- Elisa H. Barney Smith, Marcus Liwicki, Liangrui Peng
2024 | Book
Document Analysis Systems
16th IAPR International Workshop, DAS 2024, Athens, Greece, August 30–31, 2024, Proceedings
This book constitutes the refereed proceedings of the 16th IAPR International Workshop on Document Analysis Systems, DAS 2024, held in Athens, Greece, during August 30-31, 2024.
The 27 full papers presented were carefully reviewed and selected from …
- Editors:
- Giorgos Sfikas, George Retsinas
2024 | Book
Quality of Information and Communications Technology
17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11–13, 2024, Proceedings
This book constitutes the proceedings of the 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, held in Pisa, Italy, during September 11–13, 2024.
The 34 full and short papers of QUATIC 2024 …
- Editors:
- Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini
2024 | Book
Document Analysis and Recognition – ICDAR 2024 Workshops
Athens, Greece, August 30–31, 2024, Proceedings, Part II
This two-volume set LNCS 14935-14936 constitutes the proceedings of International Workshops co-located with the 18th International Conference on Document Analysis and Recognition, ICDAR 2024, held in Athens, Greece, during August 30–31, 2024.
The …
- Editors:
- Harold Mouchère, Anna Zhu
2024 | Book
Perspectives in Business Informatics Research
23rd International Conference on Business Informatics Research, BIR 2024, Prague, Czech Republic, September 11–13, 2024, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Perspectives in Business Informatics Research, BIR 2024, which took place in Prague, Czech Republic, in September 2024. The central theme of BIR 2024 was “Artificial …
- Editors:
- Václav Řepa, Raimundas Matulevičius, Emanuele Laurenzi
2024 | Book
Extended Reality
International Conference, XR Salento 2024, Lecce, Italy, September 4–7, 2024, Proceedings, Part I
The four-volume proceedings set LNCS 15027, 15028, 15029 and 15030 constitutes the refereed proceedings of the International Conference on Extended Reality, XR Salento 2024, held in Lecce, Italy during September 4–7, 2024.
The 63 full papers and …
- Editors:
- Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco
2024 | Book
Deep Generative Modeling
This first comprehensive book on models behind Generative AI has been thoroughly revised to cover all major classes of deep generative models: mixture models, Probabilistic Circuits, Autoregressive Models, Flow-based Models, Latent Variable …
- Author:
- Jakub M. Tomczak
Open Access
2025 | Open Access | Book
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
The 51 full and 4 short papers included in these …
- Editors:
- André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi