Open Access
2019 | Open Access | Book
VR Technologies in Cultural Heritage
First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
This open access book constitutes the refereed proceedings of the First International Conference on VR Technologies in Cultural Heritage, VRTCH 2018, held in Brasov, Romania in May 2018.
The 13 revised full papers along with the 5 short papers …
- Editors:
- Mihai Duguleană, Marcello Carrozzino, Matjaž Gams, Iulian Tanea
Open Access
2019 | Open Access | Book
Enhanced Living Environments
Algorithms, Architectures, Platforms, and Systems
This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of …
- Editors:
- Ivan Ganchev, Nuno M. Garcia, Prof. Ciprian Dobre, Dr. Constandinos X. Mavromoustakis, Rossitza Goleva
Open Access
2019 | Open Access | Book
Programming Languages and Systems
28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of …
- Editor:
- Luís Caires
Open Access
2019 | Open Access | Book
Supercomputing Frontiers
5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
This open access book constitutes the refereed proceedings of the 5th Asian Supercomputing Conference, SCFA 2019, held in Singapore in March 2019.
The 6 full papers presented in this book were carefully reviewed and selected from 33 submissions.
- Editors:
- David Abramson, Bronis R. de Supinski
Open Access
2019 | Open Access | Book
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.
The 52 full papers presented together …
- Editors:
- Isil Dillig, Serdar Tasiran
Open Access
2019 | Open Access | Book
How AI Impacts Urban Living and Public Health
17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019.
The 15 full papers and 5 short papers …
- Editors:
- José Pagán, Mounir Mokhtari, Hamdi Aloulou, Prof. Bessam Abdulrazak, Prof. María Fernanda Cabrera
Open Access
2019 | Open Access | Book
Semantic Systems. The Power of AI and Knowledge Graphs
15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings
This open access book constitutes the refereed proceedings of the 15th International Conference on Semantic Systems, SEMANTiCS 2019, held in Karlsruhe, Germany, in September 2019.
The 20 full papers and 8 short papers presented in this volume were …
- Editors:
- Maribel Acosta, Philippe Cudré-Mauroux, Maria Maleshkova, Prof. Dr. Tassilo Pellegrini, Dr. Harald Sack, Prof. Dr. York Sure-Vetter
Open Access
2020 | Open Access | Book
Multiple-Aspect Analysis of Semantic Trajectories
First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings
This open access book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis of Semantic Trajectories, MASTER 2019, held in conjunction with the 19th European Conference on Machine …
- Editors:
- Dr. Konstantinos Tserpes, Chiara Renso, Prof. Stan Matwin
Open Access
2020 | Open Access | Book
The Impact of Digital Technologies on Public Health in Developed and Developing Countries
18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.*
The 17 full papers and 23 short papers presented …
- Editors:
- Prof. Mohamed Jmaiel, Mounir Mokhtari, Prof. Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel
Open Access
2021 | Open Access | Book
Advances on Mechanics, Design Engineering and Manufacturing III
Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing, JCM 2020, June 2-4, 2020
This open access book gathers contributions presented at the International Joint Conference on Mechanics, Design Engineering and Advanced Manufacturing (JCM 2020), held as a web conference on June 2–4, 2020. It reports on cutting-edge topics in …
- Editors:
- Lionel Roucoules, Manuel Paredes, Benoit Eynard, Dr. Paz Morer Camo, Prof. Caterina Rizzi
Open Access
2021 | Open Access | Book
Preparing for Digital Disruption
This open access book offers an analysis of why preparations for digital disruption should become a stated goal of security policy and policies that aim to safeguard the continuity of critical infrastructure. The increasing use of digital …
- Authors:
- Erik Schrijvers, Corien Prins, Reijer Passchier
Open Access
2021 | Open Access | Book
The Once-Only Principle
The TOOP Project
This open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP).
The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan …
- Editors:
- Robert Krimmer, Andriana Prentza, Szymon Mamrot
Open Access
2021 | Open Access | Book
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.
The 63 full papers presented together with 16 …
- Editors:
- Prof. Alexandra Silva, K. Rustan M. Leino
Open Access
2016 | Open Access | Book
Computer and Information Sciences
31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016.
The 29 revised full papers presented were carefully reviewed and selected …
- Editors:
- Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
Open Access
2017 | Open Access | Book
Security of Networks and Services in an All-Connected World
11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings
This book is open access under a CC BY 4.0 license.
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, held in Zurich, Switzerland, in …
- Editors:
- Daphne Tuncer, Robert Koch, Rémi Badonnel, Prof. Dr. Burkhard Stiller
Open Access
2017 | Open Access | Book
Intelligent Human Computer Interaction
9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer Interaction, IHCI 2017, held in Evry, France, in December 2017.
The 15 papers presented together with three invited papers …
- Editors:
- Patrick Horain, Catherine Achard, Malik Mallem
Open Access
2018 | Open Access | Book
Principles of Security and Trust
7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
This book is Open Access under a CC BY licence.
This book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the …
- Editors:
- Lujo Bauer, Ralf Küsters
Open Access
2018 | Open Access | Book
Programming Languages and Systems
27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
This book is Open Access under a CC BY licence.
This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences …
- Editor:
- Amal Ahmed
Open Access
2018 | Open Access | Book
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
This book is Open Access under a CC BY licence.
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took …
- Editors:
- Prof. Dr. Dirk Beyer, Prof. Dr. Marieke Huisman
Open Access
2018 | Open Access | Book
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
This book is Open Access under a CC BY licence.
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took …
- Editors:
- Dirk Beyer, Prof. Dr. Marieke Huisman