This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Security for Information Technology and Communications, SecITC 2017, held in Bucharest, Romania, in June 2017.
This book presents a deep spectrum of musical, mathematical, physical, and philosophical perspectives that have emerged in this field at the intersection of music and mathematics.
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.
This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, COCOA 2020, held in Dallas, TX, USA, in December 2020.
This brief provides a general overview of nonlinear systems that exhibit hidden-attractor behavior, a topic of interest in subjects as divers as physics, mechanics, electronics and secure communications.
This volume constitutes the refereed post-conference proceedings of the International Conference on Theoretical Computer Science and Discrete Mathematics, held in Krishnankoil, India, in December 2016.
This accessible and classroom-tested textbook/reference presents an introduction to the fundamentals of the emerging and interdisciplinary field of data science.
The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017.
This book constitutes the refereed proceedings of the 5th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2020, held in conjunction with MICCAI 2020, in Lima, Peru, in October 2020.
This book constitutes the refereed proceedings of the 34th International Conference on Advanced Information Systems Engineering, CAiSE 2022, which was held in Leuven, Belgium, during June 6-10, 2022.
This book constitutes the refereed proceedings of the 17th International Conference on Web and Internet Economics, WINE 2021, which was held online during December 14-17, 2021.
This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and Design, CONVERSATIONS 2021, which was held during November 2021.
This books reviews recent theoretical and practical advances on suffix sorting and introduces algorithmic solutions to problems of wide interest for the construction of fundamental data structures that operate efficiently on strings namely, constructing the suffix array, the longest common prefix (LCP) array, the document array and the Lyndon array.
This monograph gives a thorough treatment of the celebrated compositions of signature and encryption that allow for verifiability, that is, to efficiently prove properties about the encrypted data.
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.
Based on talks from the 2015 and 2016 Combinatorial and Additive Number Theory (CANT) workshops at the City University of New York, these proceedings offer 19 peer-reviewed and edited papers on current topics in number theory.
This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017.
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.
This book constitutes revised selected papers from the thoroughly refereed workshop proceedings of the 20th International Workshop on Approximation and Online Algorithms, WAOA 2022, which was colocated with ALGO 2022 and took place in Potsdam, Germany, in September 2022.
This book offers a concise introduction to morphogenetic computing, showing that its use makes global and local relations, defects in crystal non-Euclidean geometry databases with source and sink, genetic algorithms, and neural networks more stable and efficient.
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021.
This book constitutes the proceedings of the 32nd International Workshop on Combinatorial Algorithms which was planned to take place in Ottawa, ON, Canada, in July 2021.
This book presents the best papers from the 2nd International Conference on Mathematical Research for Blockchain Economy (MARBLE) 2020, held in Vilamoura, Portugal.
This book proposes a semi-discrete version of the theory of Petitot and Citti-Sarti, leading to a left-invariant structure over the group SE(2,N), restricted to a finite number of rotations.
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.
This book constitutes the proceedings of the 15th International Symposium on Algorithmic Game Theory, SAGT 2022, which took place in Colchester, UK, in September 2022.
This monograph offers an original broad and very diverse exploration of the seriation domain in data analysis, together with building a specific relation to clustering.
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016.
This proceedings volume collects contributions from the 5th AIRO Young Workshop and AIRO PhD School 2021 joint event on "e;Optimization and Data Science: Trends and Applications"e;, held online, from February 8 to 12, 2021.
This book constitutes the refereed conference proceedings of the 29th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2022, held in Paderborn, Germany, in June 2022.
This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).
This book explains the evolution of techniques and strategies in quantum computing, discussing the digital transition towards the quantum computing application in various sectors.
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network Computing, UBICNET 2021, held in March 2021.
This book constitutes the proceedings of the 4th International Workshop on Chatbot Research and Design, CONVERSATIONS 2020, which was held during November 23-24, 2020, hosted by the University of Amsterdam.
The two-volume proceedings, LNCS 13249 and 13250, constitutes the thoroughly refereed post-workshop proceedings of the 22nd Chinese Lexical Semantics Workshop, CLSW 2021, held in Nanjing, China in May 2021.
