Mathematical theory of computation

This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.

This book constitutes the refereed proceedings of the 7h Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2015, held in Poznan, Poland, in November 2015.

This book provides a comprehensive introduction to the foundations and frontiers of graph neural networks.

This book offers a theoretical and computational presentation of a variety of linear programming algorithms and methods with an emphasis on the revised simplex method and its components.

This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in September 2018.

This book constitutes the refereed proceedings of the 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, held in Bangkok, Thailand, in November 2017.

This volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.

This volume is the first extensive study of the historical and philosophical connections between technology and mathematics.

This book constitutes extended, revised, and selected papers from the 12th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2020.

The Handbook of Dynamic Data Driven Applications Systems establishes an authoritative reference of DDDAS, pioneered by Dr.

This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computational Technologies, PCT 2018, held in Rostov-on-Don, Russia, in April 2018.

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.

This book is a tribute to Professor Ewa Orlowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017.

This book constitutes selected papers presented at the 5th International Workshop on Software Foundations for Data Interoperability, SFDI 2021, held in Copenhagen, Denmark, in August 2021.

This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany.

This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 15th Extended Semantic Web Conference, ESWC 2018, held in Heraklion, Crete, Greece, in June 2018.

This book constitutes the proceedings of the 17th International Conference on Information Technologies and Mathematical Modelling, ITMM 2018, named after A.

This book contains more than 15 essays that explore issues in truth, existence, and explanation.

This book constitutes the proceedings of the 14th International Workshop on Open MP, IWOMP 2018, held in Barcelona, Spain, in September 2018.

This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018.

The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed proceedings of the 38th Annual International Cryptology Conference, CRYPTO 2018, held in Santa Barbara, CA, USA, in August 2018.

This volume constitutes the refereed proceedings of the 7th Workshop on Engineering Applications, WEA 2020, held in Bogota, Colombia, in October 2020.

This book constitutes the refereed proceedings of the 13th International Conference on Computational Processing of the Portuguese Language, PROPOR 2018, held in Canela, RS, Brazil, in September 2018.

This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2018, held in Valencia, Spain, in September 2018 under the sponsorship of the UNESCO Chair in Data Privacy.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on High Performance Computing in Science and Engineering, HPCSE 2017, held in Karolinka, Czech Republic, in May 2017.

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.

This state-of-the-art survey is dedicated to the memory of Emmanuil Markovich Braverman (1931-1977), a pioneer in developing machine learning theory.

This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.

This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.

This book constitutes the proceedings of the 17th International Conference on Unconventional Computation and Natural Computation, UCNC 2018, held in Fontainebleau, France, in June 2018.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems.

The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed proceedings of the 38th Annual International Cryptology Conference, CRYPTO 2018, held in Santa Barbara, CA, USA, in August 2018.

This book constitutes the refereed proceedings of the 30th IFIP WG 6.

This book constitutes the thoroughly refereed revised selected papers of the 10th International Conference on Bioinspired Optimization Models and Their Applications, BIOMA 2018, held in Paris, France, in May 2018.

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018.

This book gathers the peer-reviewed proceedings of the 12th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'17, held in Sofia, Bulgaria, in December 2017.

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.

This three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, held in Cadiz, Spain, in June 2018.

This book constitutes the proceedings of the 23rd International Conference on Conceptual Structures, ICCS 2018, held in Edinburgh, UK, in June 2018.

This book constitutes the proceedings of the 11th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2018, held in Washington, DC, USA, in July 2018.

The book comprises contributions by some of the most respected scientists in the field of mathematical modeling and numerical simulation of the human cardiocirculatory system.

This book constitutes the proceedings of the 13th International Conference on Queueing Theory and Network Applications, QTNA 2018, held in Tsukuba, Japan in July 2018.

This book constitutes extended, revised and selected papers from the 7th International Conference on Optimization Problems and Their Applications, OPTA 2018, held in Omsk, Russia in July 2018.

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.

Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities.

This book constitutes the refereed proceedings of the 21th International Conference on Distributed and Computer and Communication Networks, DCCN 2018, held in Moscow, Russia, in September 2018.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2017, held in Porto, Portugal, in February 2017.

This book offers an overview of the key ideas of Petri nets, how they were developed, and how they were applied in diverse applications.

This book deals with problems related to the evaluation of customer satisfaction in very different contexts and ways.