This book is intended as a guide to and manual on modeling complex problems in Multi Criteria Decision Making (MCDM). It encourages practitioners to consider the practicalities of real-world scenar…
This book is the first comprehensive tutorial on matheuristics. Matheuristics are based on mathematical extensions of previously known heuristics, mainly metaheuristics, and on original, area-speci…
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022. The 2 abstracts, 3 full papers of i…
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full…
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postu…
This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume …
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 f…
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions pre…
This book proposes and explores the idea that the forced union of the aleatory and epistemic aspects of probability is a sterile hybrid, inspired and nourished for 300 years by a false hope of form…
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, hel…
This book provides a Mathematical Theory of Distributed Sensor Networks. It introduces the Mathematical & Computational Structure by discussing what they are, their applications and how they differ…
This book deals with one of the most novel advances in mathematical modeling for applied scientific technology, including computer graphics, public-key encryption, data visualization, statistical d…
The papers in this volume deal with materials science, theoretical mechanics and experimental and computational techniques at multiple scales, providing a sound base and a framework for many applic…
This book focuses on the development of a new simulation paradigm allowing for the solution of models that up to now have never been resolved and which result in spectacular CPU time savings (in th…
Noise-Driven Phenomena in Hysteretic Systems provides a general approach to nonlinear systems with hysteresis driven by noisy inputs, which leads to a unitary framework for the analysis of various …
This book documents ongoing research and theorizing in the sub-field of mathematics education devoted to the teaching and learning of mathematical modelling and applications. Mathematical modelling…
This book deals with the effect of public and semi-public companies on economy. In traditional economic models, several private companies – interested in maximizing their profit – interact (e.g…
In this book, the author deals with the mathematical modelling, nonlinear control and performance evaluation of a conceptual anti-aircraft gun based mobile air defence system engaging an attacking …
Intended for researchers and practitioners alike, this book covers carefully selected yet broad topics in optimization, machine learning, and metaheuristics. Written by world-leading academic resea…
The volume contains original research papers as the Proceedings of the International Conference on Advances in Mathematics and Computing, held at Veer Surendra Sai University of Technology, Odisha,…
This book focuses on how to implement optimal control problems via the variational method. It studies how to implement the extrema of functional by applying the variational method and covers the ex…
This book contains the proceedings of the IUTAM Symposium on Multiscale Modeling and Uncertainty Quantification of Materials and Structures that was held at Santorini, Greece, September 9 – 11, 2…
This book provides a detailed description of network science concepts applied to power systems and electricity markets, offering an appropriate blend of theoretical background and practical applica…
This book discusses recent developments in dynamic reliability in multi-state systems (MSS), addressing such important issues as reliability and availability analysis of aging MSS, the impact of in…
This book provides a comprehensive analysis of time-fixed terminal rendezvous around the Earth using chemical propulsion. The book has two main objectives. The first is to derive the mathemati…