Computer modelling and simulation

This is the first book offering an in-depth and comprehensive IoT network simulation, supported by OPNET tool.

This book proposes the concept of a multi-layer pavement system to fulfill the blast resistance requirement for pavement design.

A successful integration of constraint programming and data mining has the potential to lead to a new ICT paradigm with far reaching implications.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.

This four-volume set (CCIS 643, 644, 645, 646) constitutes the refereed proceedings of the 16th Asia Simulation Conference and the First Autumn Simulation Multi-Conference, AsiaSim / SCS AutumnSim 2016, held in Beijing, China, in October 2016.

This hands-on textbook/reference presents an introduction to the fundamental aspects of modelling and simulation, both for those wishing to learn about this methodology and also for those who have a need to apply it in their work.

An introductory approach to the subject of large strains and large displacements in finite elements.

This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing.

The Reviews in Computational Chemistry series brings together leading authorities in the field to teach the newcomer and update the expert on topics centered on molecular modeling, such as computer-assisted molecular design (CAMD), quantum chemistry, molecular mechanics and dynamics, and quantitative structure-activity relationships (QSAR).

This book examines air pollution of a big city using multi-year and multi-season data from ground-based air monitoring stations and satellite sounding data, which provides more clear and detailed information on the main sources of air pollution, the long-term trend of pollution, the influence of meteorological parameters on pollution levels, and trajectories of polluted air masses.

The third edition of this long-selling introductory textbook and ready reference covers all pertinent topics, from basic statistics via modeling and databases right up to the latest regulatory issues.

Whereas two-dimensional semiconductor process simulation has achieved a certain degree of maturity, three-dimensional process simulation is a newly emerging field in which most efforts are dedicated to necessary basic developments.

The majority of 0D/1D knock models available today are known for their poor accuracy and the great effort needed for their calibration.

This book is based on a workshop entitled.

This book captures the current challenges in automatic recognition of emotion in spontaneous speech and makes an effort to explain, elaborate, and propose possible solutions.

This volume contains a series of papers originally presented at a NATO Advanced Research Workshop (ARW) entitled Kinematic and Dynamic Issues in Sensor Based Control.

The six-volume set LNCS 8579-8584 constitutes the refereed proceedings of the 14th International Conference on Computational Science and Its Applications, ICCSA 2014, held in Guimaraes, Portugal, in June/July 2014.

Computer models offer a means of interpreting and analyzing the dynamics of real-world systems ranging from population growth to ozone depletion.

This volume examines all aspects of using agent or individual-based simulation.

A wide variety of processes occur on multiple scales, either naturally or as a consequence of measurement.

This edited volume focuses on how we can protect our environment and enhance environmental sustainability when faced with changes and pressures imposed by our expansive needs.

This book proposes complex hierarchical deep architectures (HDA) for predicting bankruptcy, a topical issue for business and corporate institutions that in the past has been tackled using statistical, market-based and machine-intelligence prediction models.

**AS SEEN ON BBC BREAKFAST**Will we ever truly understand our cosmic home?

This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.

This volume constitutes the proceedings of the 19th Asia Simulation Conference, AsiaSim 2019, held in Singapore, Singapore, in October 2019.

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017.

In den letzten Jahren hat die Fuzzy-Logik auch im Bereich der Mustererkennung Einzug gehalten.

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.

This book constitutes the refereed proceedings of the 12th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2016, held in Ljubljana, Slovenia, in June 2016.

Monte Carlo methods are among the most used and useful computational tools available today, providing efficient and practical algorithims to solve a wide range of scientific and engineering problems.

This collection of selected papers presented at the 11th International Conference on Scientific Computing in Electrical Engineering (SCEE), held in St.

This book describes a general hybrid metaheuristic for combinatorial optimization labeled Construct, Merge, Solve & Adapt (CMSA).

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.

This is the first book to revisit geotechnical site characterization from a probabilistic point of view and provide rational tools to probabilistically characterize geotechnical properties and underground stratigraphy using limited information obtained from a specific site.

This book describes new theories and applications of artificial neural networks, with a special focus on neural computation, cognitive science and machine learning.

The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.

This book is written by a group of researchers based on the recent research progress in the fiber/matrix interface degradation under various environmental exposures via molecular dynamics simulation.

This manual describes the wide range of electromechanical, electrochemical and electro-optical transducers at the heart of current field-deployable ocean observing instruments.

This volume gathers papers presented at the Workshop on Computational Diffusion MRI (CDMRI'18), which was held under the auspices of the International Conference on Medical Image Computing and Computer Assisted Intervention in Granada, Spain on September 20, 2018.

This book covers a range of topics in quantum mechanics and molecular dynamics simulation, including computational modeling and machine learning approaches.

This book will guide you in a simple and illustrative way through all aspects related to crowd behaviour, including sociological theories, methods of crowd control, people detection and tracking, and crowd simulation and prediction, while examining previous accidents to learn from the past.

Computers are everywhere around us.

The Handbook of Dynamic Data Driven Applications Systems establishes an authoritative reference of DDDAS, pioneered by Dr.

The book examines surface rainfall processes through cloud-resolving modeling and quantitative analysis of surface rainfall budget and summarizes modeling and analysis results in recent seven years.