This book features a unique selection of works presented at the 2019 annual international conference of the International Association for Computing and Philosophy (IACAP).
This collaborative book presents recent trends on the study of sequences, including combinatorics on words and symbolic dynamics, and new interdisciplinary links to group theory and number theory.
This volume constitutes the refereed proceedings of the 11th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2017, held in Venice, Italy, in October/November 2017.
This book collects a range of contributions on nonlinear dynamics and complexity, providing a systematic summary of recent developments, applications, and overall advances in nonlinearity, chaos, and complexity.
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020.
This book constitutes the proceedings of the First IAPR International Conference on Discrete Geometry and Mathematical Morphology, DGMM 2021, which was held during May 24-27, 2021, in Uppsala, Sweden.
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.
This proceedings volume is a collection of peer reviewed papers presented at the 8th International Conference on Soft Methods in Probability and Statistics (SMPS 2016) held in Rome (Italy).
This book constitutes refereed proceedings of the 20th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021.
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017.
This book offers an introduction into quantum machine learning research, covering approaches that range from "e;near-term"e; to fault-tolerant quantum machine learning algorithms, and from theoretical to practical techniques that help us understand how quantum computers can learn from data.
This book constitutes the refereed proceedings of the 42nd German Conference on Pattern Recognition, DAGM GCPR 2020, which took place during September 28 until October 1, 2020.
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orleans, France, in September 2017.
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA.
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021.
This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution in Decision Makrung, COREDEMA 2016, held in The Hague, The Netherlands, in August 2016.
This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017.
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Large-Scale Scientific Computations, LSSC 2017, held in Sozopol, Bulgaria, in June 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 14th European Conference on the Semantic Web, ESWC 2017, held in Portoroz, Slovenia, in May/June2017.
This book summarises the state of the art in computer vision-based driver and road monitoring, focussing on monocular vision technology in particular, with the aim to address challenges of driver assistance and autonomous driving systems.
The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017.
This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2017, held in Rome, Italy, , in October 2017.
The 3-volume set LNAI 12712-12714 constitutes the proceedings of the 25th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2021, which was held during May 11-14, 2021.
This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021.
With the development of Big Data platforms for managing massive amount of data and wide availability of tools for processing these data, the biggest limitation is the lack of trained experts who are qualified to process and interpret the results.
This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020.
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.
This book constitutes selected papers from the 23rd International Conference on Information Security and Cryptology, ICISC 2020, held in Seoul, South Korea, in December 2020.
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021.
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.
This volume consists of papers inspired by the special session on pseudo-differential operators at the 10th ISAAC Congress held at the University of Macau, August 3-8, 2015 and the mini-symposium on pseudo-differential operators in industries and technologies at the 8th ICIAM held at the National Convention Center in Beijing, August 10-14, 2015.
This book constitutes the proceedings of the 22nd Annual Conference on Research in Computational Molecular Biology, RECOMB 2018, held in Paris, France, in April 2018.
This collection of high-quality articles in the field of combinatorics, geometry, algebraic topology and theoretical computer science is a tribute to Jiri Matousek, who passed away prematurely in March 2015.
The three-volume set LNCS 10624, 10625, 10626 constitutes the refereed proceedings of the 23rd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2017, held in Hong Kong, China, in December 2017.
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV.
This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Torun, Poland, in June 2016.
This book constitutes the refereed proceedings of the 23rd International Conference on Distributed and Computer and Communication Networks, DCCN 2020, held in Moscow, Russia, in September 2020.
