This volume constitutes the refereed post-conference proceedings of the Fourth International Conference on Machine Learning and Intelligent Communications, MLICOM 2019, held in Nanjing, China, in August 2019.
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.
"e;Social Simulation for a Digital Society"e; provides a cross-section of state-of-the-art research in social simulation and computational social science.
This book gathers the latest advances, innovations and applications in the field of robotics and mechatronics, as presented by leading international researchers and engineers at the 6th IFToMM International Symposium on Robotics and Mechatronics (ISRM), held in Taipei, Taiwan, on October 28-30, 2019.
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
This book presents a selection of peer-reviewed contributions to the fourth Bayesian Young Statisticians Meeting, BAYSM 2018, held at the University of Warwick on 2-3 July 2018.
This book is a survey of the research work done by the author over the last 15 years, in collaboration with various eminent mathematicians and climate scientists on the subject of tropical convection and convectively coupled waves.
This book presents the latest research in the fields of reliability theory and its applications, providing a comprehensive overview of reliability engineering and discussing various tools, techniques, strategies and methods within these areas.
This book constitutes the refereed proceedings of the 12th International Symposium on Algorithmic Game Theory, SAGT 2019, held in Athens, Greece, in September/October 2019.
This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.
This book focuses on InterProfessional (IP) Team Training and Simulation, from basic concepts to the practical application of IP in different healthcare settings.
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.
The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.
The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.
The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.
The book connects the ICT and the architectural worlds, analyzing modeling, materialization and data-driven visions for design issues at different scales.
This book presents a number of modeling studies of various water resources systems in the humid tropics and the typical short, steep mountain-to-coast systems in the archipelagic setting of the Philippines.
Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:Boolean control networks;nondeterministic finite-transition systems;finite automata;labelled Petri nets; andcellular automata.
This book introduces recently developed mixed finite element methods for large-scale geophysical flows that preserve essential numerical properties for accurate simulations.
This book gathers selected, extended and revised contributions to the 15th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering (CMBBE2018), and the 3rd Conference on Imaging and Visualization, which took place on 26-29 March, 2018, in Lisbon, Portugal.
This two-volume set LNICST 286-287 constitutes the post-conference proceedings of the First EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2019, held in Harbin, China, in May 2019.
This book introduces the basic concepts of fuzzy collaborative forecasting and clustering, including its methodology, system architecture, and applications.
This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.
This book constitutes the proceedings of the 14th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2019, held in Honolulu, HI, USA, in June 2019.
This book discusses the introduction of isogeometric technology to the boundary element method (BEM) in order to establish an improved link between simulation and computer aided design (CAD) that does not require mesh generation.
This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference on Green Energy and Networking, GreeNets 2019, held in Dalian, China, May 5, 2019.
This book applies system theory to analyze the operation and structure of the complex earth surface system, including the interactions between society and nature that cause environmental degradation and threats to human populations.
With relevant, timely topics, this book gathers carefully selected, peer-reviewed scientific works and offers a glimpse of the state-of-the-art in disaster prevention research, with an emphasis on challenges in Latin America.
This volume presents a timely collection of research papers on the progress, opportunities, and challenges related to the advancement of geospatial technologies for applications in urban health research and management.
This two-volume set LNICST 280-281 constitutes the post-conference proceedings of the 10th EAI International Conference on Wireless and Satellite Services, WiSATS 2019, held in Harbin, China, in January 2019.
This two-volume set LNICST 280-281 constitutes the post-conference proceedings of the 10th EAI International Conference on Wireless and Satellite Services, WiSATS 2019, held in Harbin, China, in January 2019.
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.
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.
This book combines three different energy-economy-emissions modeling methodologies into one Integrated Modeling Framework (IMF) in an attempt to fill gaps in current modeling research as it applies to developing countries.
"e;Social Simulation for a Digital Society"e; provides a cross-section of state-of-the-art research in social simulation and computational social science.
This book is a survey of the research work done by the author over the last 15 years, in collaboration with various eminent mathematicians and climate scientists on the subject of tropical convection and convectively coupled waves.
This is the first book to offer a comprehensive overview for anyone wanting to understand the benefits and opportunities of ray tracing, as well as some of the challenges, without having to learn how to program or be an optics scientist.
This book is based on the "e;Summer Simulation Multi-Conference"e; (SCSC), which has been a prominent platform for the dissemination of scholarly research in the M&S community for the last 50 years.
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2018, held in Prague, Czech Republic, in October 2018.
This practical guide provides a focus on the implementation of healthcare simulation operations, as well as the type of professional staff required for developing effective programs in this field.
Gathering the proceedings of the 11th CHAOS2018 International Conference, this book highlights recent developments in nonlinear, dynamical and complex systems.
This book constitutes the refereed post-conference proceedings of the Fourth International Conference on IoT as a Service, IoTaaS 2018, which took place in Xi'an, China, in November 2018.