The book, "Intelligent Computing - Proceedings of the 2022 Computing Conference", is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 202…
The book, "Intelligent Computing - Proceedings of the 2022 Computing Conference" is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 2022…
This volume constitutes selected and revised papers of the 5th International Conference on Advanced Informatics for Computing Research, ICAICR 2021, held in Gurugram, India, in December 2021. The 17 revised full papers and 6 short papers presented were carefully reviewed and sel…
I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction So…
This book provides an accessible introduction to the basic theory of fluid mechanics and computational fluid dynamics (CFD) from a modern perspective that unifies theory and numerical computation. Methods of scientific computing are introduced alongside with theoretical analysis…
This book provides an accessible introduction to the basic theory of fluid mechanics and computational fluid dynamics (CFD) from a modern perspective that unifies theory and numerical computation. Methods of scientific computing are introduced alongside with theoretical analysis…
1. Lipschitz global optimization -- 2. One-dimensional algorithms and their accleration -- 3. Diagonal approach and efficient paritioning strategies -- 4. Global optimization algorithms based on the non-redundant partitions -- References This book begins with a concentrated int…
This book begins with a concentrated introduction into deterministic global optimization and moves forward to present new original results from the authors who are well known experts in the field. Multiextremal continuous problems that have an unknown structure with Lipschitz ob…
This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of man…
This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of man…
This book introduces a new mechanism for representing social networks in which pairwise relationships can be drawn from a range of realistic possibilities, including different types of relationships, different strengths in the directions of a pair, positive and negative relation…
This book discusses various aspects of agent-based modeling and simulation using FLAME (Flexible Large-scale Agent-Based Modeling Environment) which is a popular agent-based modeling environment that enables automatic parallelization of models. Along with a focus on the software…
