Advances in Data Science
This volume highlights recent advances in data science, including image processing and...
EAN: 9783030798932
R-Calculus, III: Post Three-Valued Logic
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which...
EAN: 9789811942693
Chance in Physics, Computer Science and Philosophy
EAN: 9783658351144
Computational Diffusion MRI
This book constitutes the proceedings of the International Workshop on Computational Diffusion...
EAN: 9783031212055
Programming Languages and Systems
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and...
EAN: 9783031210365
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV
EAN: 9783031208447
Combinatorial Optimization
This book constitutes thoroughly refereed and revised selected papers from the 7th International...
EAN: 9783031185298
Information Dynamics
This wide-ranging book introduces information as a key concept not only in physics, from quantum...
EAN: 9783030967444
Generalized Mathieu Series
The Mathieu series is a functional series introduced by Émile Léonard Mathieu for the purposes...
EAN: 9783030848194
Modeling and Simulating Complex Business Perceptions
Fuzzy cognitive maps (FCMs) have gained popularity in the scientific community due to their...
EAN: 9783030814984
Anti-Differentiation and the Calculation of Feynman Amplitudes
This volume comprises review papers presented at the Conference on Antidifferentiation and the...
EAN: 9783030802219
Mathematical Reasoning: The History and Impact of the DReaM Group
Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable...
EAN: 9783030778811
Domain Science and Engineering
In this book the author explains domain engineering and the underlying science, and he then shows...
EAN: 9783030734862
PRIMA 2022: Principles and Practice of Multi-Agent Systems
The 31 full papers presented together with 15 short papers and 1 demo paper were carefully...
EAN: 9783031212024
High-Performance Algorithms for Mass Spectrometry-Based Omics
To date, processing of high-throughput Mass Spectrometry (MS) data is accomplished using serial...
EAN: 9783031019593
R-CALCULUS: A Logic of Belief Revision
It extends R-calculus from first-order logic to propositional logic, description logics, modal...
EAN: 9789811629464
Bioinspired Optimization Methods and Their Applications
EAN: 9783031210938
Formal Aspects of Component Software
This book constitutes the thoroughly revised selected papers from the 18th International...
EAN: 9783031208713
LATIN 2022: Theoretical Informatics
This book constitutes the proceedings of the 15th Latin American Symposium on Theoretical...
EAN: 9783031206238
Swarm Intelligence
This book constitutes the proceedings of the 13th International Conference on Swarm Intelligence,...
EAN: 9783031201752
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at...
EAN: 9783031198489
