Mathematical theory of computation

This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory.

This Element provides a tutorial on the Gillespie algorithms focusing on social multiagent dynamics and also review their recent extensions.

This Element provides a tutorial on the Gillespie algorithms focusing on social multiagent dynamics and also review their recent extensions.

This textbook offers a guided tutorial that reviews the theoretical fundamentals while going through the practical examples used for constructing the computational frame, applied to various real-life models.

This book explores the dynamic interplay between fractals and graph theory, two powerful mathematical tools with vast applications.

An approachable textbook connecting the mathematical foundations of computer science to broad-ranging and compelling applications throughout the field.

This textbook demonstrates the strong interconnections between linear algebra and group theory by presenting them simultaneously, a pedagogical strategy ideal for an interdisciplinary audience.

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data.

This book constitutes the refereed proceedings of the 18th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2021, held in Umea, Sweden, in September 2021.

Erzeugende Funktionen sind ein wichtiges Werkzeug in der Kombinatorik und der Theoretischen Informatik.

This three-volume set constitutes the refereed proceedings of the 14th International Conference on Knowledge Science, Engineering and Management, KSEM 2021, held in Tokyo, Japan, in August 2021.

This book constitutes the proceedings of the 26th International Conference on Conceptual Structures, ICCS 2021, held virtually in September 2021.

This book constitutes the proceedings of the Second International Conference on Spatial Data and Intelligence, SpatialDI 2021, which was held during April 22-24, 2021 in Hangzhou, China.

This book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018.

This book constitutes the refereed conference proceedings of the 15th International Conference, ACG 2017, held in Leiden, The Netherlands, in July 2017.

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.

This book constitutes the proceedings of the Third International Workshop on Explainable, Transparent AI and Multi-Agent Systems, EXTRAAMAS 2021, which was held virtually due to the COVID-19 pandemic.

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.

This book constitutes the proceedings of the 26th International Conference on Information Processing in Medical Imaging, IPMI 2019, held at the Hong Kong University of Science and Technology, Hong Kong, China, in June 2019.

This book constitutes the proceedings of the 17th International Computer Science Symposium in Russia, CSR 2022, held in St.

This book highlights the practical aspects of computer modelling and simulation of complex dynamical systems for students.

This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics.

This book constitutes the refereed proceedings of the Third IFIP WG 1.

This two-volume set LNCS 13344 and 13345 constitutes the proceedings of the 13th International Conference on Advances in Swarm Intelligence, ICSI 2022, which took place in Xi'an, China, in July 2022.

This volume of the Encyclopedia of Complexity and Systems Science, Second Edition, is a unique collection of concise overviews of state-of-art, theoretical and experimental findings, prepared by the world leaders in unconventional computing.

Your one-stop guide to learning and implementing artificial neural networks with Keras effectivelyKey FeaturesDesign and create neural network architectures on different domains using KerasIntegrate neural network models in your applications using this highly practical guideGet ready for the future of neural networks through transfer learning and predicting multi network modelsBook DescriptionNeural networks are used to solve a wide range of problems in different areas of AI and deep learning.

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.

Since the 1980s, mobile communication has undergone major transitions from 1G to 4G, at a rate of roughly one generation per decade.

This volume looks at applications of quantum mechanical (QM) methods in drug discovery.

Not only is the quantity of life science data expanding, but new types of biological data continue to be introduced as a result of technological development and a growing understanding of biological systems.

The feld of proteomics moves rapidly.

Immunoinformatics: Predicting Immunogenicity In Silico is a primer for researchers interested in this emerging and exciting technology and provides examples in the major areas within the field of immunoinformatics.

 This proceedings volume convenes selected, revised papers presented at the 52nd Southeastern International Conference on Combinatorics, Graph Theory and Computing (SEICCGTC 2021), virtually held at Florida Atlantic University in Boca Raton, USA, on March 8-12, 2021.

In einer Welt, die sich ständig weiterentwickelt, müssen sich auch die Methoden des Projektmanagements anpassen.

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022.

This book focuses on improving the performance (convergence rate, communication efficiency, computational efficiency, etc.

Handbook of Price Impact Modeling provides practitioners and students with a mathematical framework grounded in academic references to apply price impact models to quantitative trading and portfolio management.