Artificial Intelligence and Digitalization for Sustainable Development
This proceedings, ICAST 2022, constitutes the refereed post-conference proceedings of the 10th...
EAN: 9783031287244
Active Inference
This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI...
EAN: 9783031287183
Artificial Intelligence: Theories and Applications
This volume constitutes selected papers presented at the First International Conference on...
EAN: 9783031285394
R-Calculus, II: Many-Valued Logics
Also it is very useful for all those who are interested in data, digitization and correctness and...
EAN: 9789811692963
Formal Methods
This book constitutes the refereed proceedings of the 25th International Symposium on Formal...
EAN: 9783031274800
Distributed Artificial Intelligence
This book constitutes the refereed proceedings of the 4th International Conference on Distributed...
EAN: 9783031255489
Seriation in Combinatorial and Statistical Data Analysis
EAN: 9783030926960
Sparse Grids and Applications - Munich 2018
EAN: 9783030813642
Arithmetic Geometry, Number Theory, and Computation
This volume contains articles related to the work of the Simons Collaboration “Arithmetic...
EAN: 9783030809164
Software Engineering and Formal Methods
The papers cover a large variety of topics, including testing, formal verification, program...
EAN: 9783030304454
Relational and Algebraic Methods in Computer Science
EAN: 9783031280825
Evolutionary Multi-Criterion Optimization
EAN: 9783031272493
Metaheuristics
This book constitutes the refereed proceedings of the 14th International Conference on...
EAN: 9783031265037
New Frontiers in Artificial Intelligence
This book constitutes extended, revised, and selected papers from the JSAI annual conference,...
EAN: 9783031291678
WALCOM: Algorithms and Computation
This book constitutes the proceedings of the 17th International Conference and Workshops on...
EAN: 9783031270505
Modelling and Development of Intelligent Systems
This book constitutes the refereed proceedings of the 8th International Conference on Modelling...
EAN: 9783031270338
Formal Verification of Structurally Complex Multipliers
This book addresses the challenging tasks of verifying and debugging structurally complex...
EAN: 9783031245701
Metaheuristics for Machine Learning
Using metaheuristics to enhance machine learning techniques has become trendy and has achieved...
EAN: 9789811938870
Genetic Programming Theory and Practice XVIII
This book, written by the foremost international researchers and practitioners of genetic...
EAN: 9789811681158
Introduction to Computation in Physical Sciences
The authors present scientific problem-solving using computation and aim to increase...
EAN: 9783031176456
Digital Quantum Information Processing with Continuous-Variable Systems
EAN: 9789811982873
Fuzzy Mathematical Analysis and Advances in Computational Mathematics
The edited volume includes papers in the fields of fuzzy mathematical analysis and advances in...
EAN: 9789811904738
