Search
Search Results
-
Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019
This open access book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2019 (LEAP-ASIA-2019) following...
-
Sustained Simulation Performance 2022 Proceedings of the Joint Workshop on Sustained Simulation Performance, High-Performance Computing Center Stuttgart (HLRS), University of Stuttgart and Tohoku University, May and October 2022
This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and...
-
Optimization of Chemical Processes A Sustainable Perspective
This textbook introduces readers to a comprehensive framework for the application of deterministic optimization strategies in the field of chemical...
-
Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings
This proceedings constitutes the refereed post-conference proceedings of the 15th International Conference on Simulation Tools and Techniques,... -
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings
This book constitutes the refereed proceedings of the International Conference on Brain Inspired Cognitive Systems, BICS 2023, held in Kuala Lumpur,... -
IT Crisisology Models Object-Based Optimization for Sustainable Development
The book focuses on modeling real-world crisis management in digital product development. This includes models and methods for forecasting,...
-
Foundations for Functional Modeling of Technical Artefacts
This monograph provides a new framework for modelling goals and functions of control systems. It demonstrates how to use means-end concepts and... -
Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6–10, 2022, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Dynamic Data Driven Applications Systems, DDDAS 2022, which...
-
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the...
-
Explorations in Monte Carlo Methods
Monte Carlo Methods are among the most used, and useful, computational tools available today. They provide efficient and practical algorithms to...
-
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett...
-
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
This book describes a general hybrid metaheuristic for combinatorial optimization labeled Construct, Merge, Solve & Adapt (CMSA). The general idea of...
-
Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25–26, 2023, Proceedings, Part I
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of... -
Modeling, Simulation and Optimization Proceedings of CoMSO 2022
This book includes selected peer-reviewed papers presented at the International Conference on Modeling, Simulation and Optimization (CoMSO 2022),...
-
Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25–26, 2023, Proceedings, Part II
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of... -
Simulation on Hydration of Tricalcium Silicate in Cement Clinker
This book is written based on authors' research on cement hydration during the past decade. It establishes simulation model to evaluate the influence... -
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
The textbook is intended for teaching MATLAB language and its applications. The book is composed of three parts: MATLAB programming, scientific... -
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the...
-
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the...
-
Structural Decision Diagrams in Digital Test Theory and Applications
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model...