This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016.The 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. They are organized in topical sections named: modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.

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. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections on formal approaches and human-centric approaches.

This book introduces a methodology for solving the seismic inverse problem using purely numerical solutions built on 3D wave equations and which is free of the approximations or simplifications that are common in classical seismic inversion methodologies and therefore applicable to arbitrary 3D geological media and seismic source models. Source codes provided allow readers to experiment with the calculations demonstrated and also explore their own applications.

The methods considered in the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) have properties which offer distinct advantages for a number of applications. The second volume of the proceedings covers reviewed contributions reporting successful applications in the fields of fluid dynamics, magnetohydrodynamics, structural analysis, nuclear physics, semiconductor theory and other topics. The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications. Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations.

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. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this fourth volume of the set are organized in topical sections on Modeling and Simulation Applications; Simulation Software; Social Simulations; Verification, Validation and Accreditation.

This book explores the theory and methods of systems analysis and computer modeling as applied to problems in ecology and natural resource management. It reflects the problems and conflicts between competing uses of limited space and the need for quantitative predictors of the outcome of various management strategies.

The Molecular Solid State Founding Editor: J. D. Dunitz ETH Zentrum, ZA1/4rich, Switzerland This new series reports on advances in the field of molecular solid state chemistry. Each volume focuses on selected areas and highlights methods and results in syntheses, properties and applications. Future volumes will provide a continuing forum for the discussion of chemical, physical, biological and crystallographic aspects of the molecular solid state. Theoretical Aspects and Computer Modeling of the Molecular Solid State Edited by Angelo Gavezzotti, University of Milan, Italy Focusing on crystal symmetry, intermolecular forces and the thermodynamics of solids and phase transitions, this first volume in the series provides the basic theoretical framework for understanding the molecular solid state. This compendium of reviews opens the way to the computer modeling of molecules and molecular crystals, enabling the reproduction and prediction of structural and energetic properties. This forms the basis for understanding the exciting developments in experimental techniques and the design and creation of novel materials. An appreciation of the underlying theories and uses of molecular modeling packages is essential for the solid state chemist. Angelo Gavezzotti is a professor of physical chemistry at the University of Milan and a renowned expert in the theoretical and computer modeling of organic solids. He provides an introductory chapter on crystal symmetry and molecular recognition, a topic that is essential in understanding how crystals grow and how crystal properties are related to the physical properties of solids. Theoretical Aspects and Computer Modeling of the Molecular Solid State isinvaluable to theoretical chemists in materials science, crystallography and solid state chemistry.

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.

This book constitutes the refereed proceedings of the 7th International Conference on Concept Mapping, CMC 2016, held in Tallinn, Estonia, in September 2016. The 25 revised full papers presented were carefully reviewed and selected from 135 submissions. The papers address issues such as facilitation of learning; eliciting, capturing, archiving, and using "expert" knowledge; planning instruction; assessment of "deep" understandings; research planning; collaborative knowledge modeling; creation of "knowledge portfolios"; curriculum design; eLearning, and administrative and strategic planning and monitoring.

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. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this third volume of the set are organized in topical sections on Cloud technologies in simulation applications; fractional calculus with applications and simulations; modeling and simulation for energy, environment and climate; SBA virtual prototyping engineering technology; simulation and Big Data.

Benjamin Meyer performs several psycho-physical experiments to measure the re-adaptation process of glared drivers in traffic scenarios. The author then develops a novel tone mapping algorithm to simulate the recurring contrast perception of the human eye by adjusting the displayed contrast. Depending on background illumination, bright light sources cause considerable perception restrictions for a glared viewer and can deter the driver from perceiving critical objects for several seconds and severely increase the risk of accidents. Based on the results of the conducted user studies, this vision impairment is integrated into a night driving simulator. The modified driving simulation provides a more realistic visualization and enables the analysis of critical traffic scenarios including short-time headlight glares. This leads to better transferability of driving simulator results and enables investigating driving behavior in the presence of glare.

This book constitutes the refereed proceedings of the seven workshops co-located with the 14th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2016, held in Sevilla, Spain, in June 2016.The 37 full papers presented were carefully reviewed and selected from 77 submissions. The volume presents the papers that have been accepted for the following workshops: Workshop on Agents and Multi-Agent Systems for AAL and e-Health; Workshop on Agent-Based Solutions for Manufacturing and Supply Chain; Workshop on MAS for Complex Networks and Social Computation; Workshop on Decision Making in Dynamic Information Environments; Workshop on Intelligent Systems for Context-based Information Fusion; Workshop on Multi-Agent based Applications for Smart Grids and Sustainable Energy Systems; Workshop on Multiagent System based Learning Environments.

Environmental Behaviour of Agrochemicals deals with a major area of concern regarding the use of agrochemicals - the potential for contamination of soil, air and water. This ninth volume in the Progress in Pesticide Biochemistry and Toxicology series, provides an international outlook on the impact of the production and use of agrochemicals on the environment, In Environmental Behaviour of Agrochemicals emphasis is placed on the methods for assessing the movement of pesticides into ground water from a variety of perspectives, and run-off of agrochemicals from soil into surface water. In addition to detailed accounts of recommended analytical methodologies for environmental samples, an in-depth overview is given of recent developments in the use of computer simulation models for assessing environmental fate. Coverage also includes the current status of biosensors for in vitro measurements for environmental analysis, volatization of agrochemicals and estimation of physico-chemical properties. Environmental Behaviour of Agrochemicals brings together contributions from internationally renowned experts to discuss a developing topic which is of vital importance to both producers and users of agrochemicals.

This book constitutes the refereed proceedings of the 6th International Conference on Supercomputing, ISUM 2015, held in Mexico, Mexico, in March 2015. The 38 revised full papers presented were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on perspectives in supercomputer infrastructure and applications; parallel algorithms and optimization; HPC applications and simulations;

This book constitutes the refereed proceedings of the Third International Workshop on Management of Information, Process and Cooperation, MiPAC 2016, held in Hangzhou, China, in September 2016. The 8 revised full papers were carefully reviewed and selected from 14 submissions. The papers are organized in topical sections on process modeling, process enactment, and data driven service computing.

This book constitutes the thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016. The 15 revised selected papers were selected from 38 submissions and focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.

This book constitutes the refereed proceedings of the Second International Workshop on Process-Aware Systems, PAS 2015, held in Hangzhou, China, in October 2015. The four revised full papers and two short papers, presented together with five demo papers were carefully reviewed and selected from 16 submissions. The papers are organized in topical sections on process modeling and comparison; process data analysis; Cloud workflow applications.

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. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this second volume of the set are organized in topical sections on HMI and robot simulations; modeling and simulation for intelligent manufacturing; military simulation; visualization and virtual reality.

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.

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. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this first volume of the set are organized in topical sections on modeling and simulation theory and methodology; model engineering for system of systems; high performance computing and simulation; modeling and simulation for smart city.

Helps you ensure that your simulations are appropriate representations of real-world systems. The book concentrates on the differentiation between the assessment of a simulation tool and the verification and validation of general software products. It is a systematic, procedural, practical guide that you can use to enhance the credibility of your simulation models. In addition, it is a valuable reference book and a road map for software developers and quality assurance experts, or as a text for simulation methodology and software engineering courses.
This book details useful assessment procedures and phases, discusses ways to tailor the methodology for specific situations and objectives, and provides numerous assessment aids. The reader can use these aids to support ongoing assessments over the entire life cycle of the model.

This book constitutes the refereed proceedings of the 18th International Conference on Distributed and Computer and Communication Networks, DCCN 2015, held in Moscow, Russia, in October 2015. The 38 revised full papers presented were carefully reviewed and selected from 94 submissions. The papers cover the following topics: computer and communication networks architecture optimization; control in computer and communication networks; performance and QoS evaluation in wireless networks; modeling and simulation of network protocols; queuing and reliability theory; wireless IEEE 802.11, IEEE 802.15, IEEE 802.16, and UMTS (LTE) networks; FRID technology and its application in intellectual transportation networks; protocols design (MAC, Routing) for centimeter and millimeter wave mesh networks; internet and web applications and services; application integration in distributed information systems; big data in communication networks.

Everything you need to know about developing hardware-accelerated 3D graphics with WebGL

As the newest technology for creating 3D graphics on the web, in both games, applications, and on regular websites, WebGL gives web developers the capability to produce eye-popping graphics. This book teaches you how to use WebGL to create stunning cross-platform apps. The book features several detailed examples that show you how to develop 3D graphics with WebGL, including explanations of code snippets that help you understand the why behind the how.

You will also develop a stronger understanding of WebGL development from coverage that:

-Provides a comprehensive overview of WebGL and shows how it relates to other graphics-related technologies-Addresses important topics such as the WebGL graphics pipeline, 3D transformations, texturing and lighting -Teaches you how to write vertex shaders and fragment shaders for WebGL -Includes a lot of useful guidelines, tips, and tricks for WebGL performance optimizations

Professional WebGL Programming is the first book on the market to delve into this fascinating topic and it puts you on your way to mastering the possibilities that exist with WebGL.

Disaster management is a process or strategy that is implemented when any type of catastrophic event takes place. The process may be initiated when anything threatens to disrupt normal operations or puts the lives of human beings at risk. Governments on all levels as well as many businesses create some sort of disaster plan that make it possible to overcome the catastrophe and return to normal function as quickly as possible. Response to natural disasters (e.g., floods, earthquakes) or technological disaster (e.g., nuclear, chemical) is an extreme complex process that involves severe time pressure, various uncertainties, high non-linearity and many stakeholders. Disaster management often requires several autonomous agencies to collaboratively mitigate, prepare, respond, and recover from heterogeneous and dynamic sets of hazards to society. Almost all disasters involve high degrees of novelty to deal with most unexpected various uncertainties and dynamic time pressures. Existing studies and approaches within disaster management have mainly been focused on some specific type of disasters with certain agency oriented. There is a lack of a general framework to deal with similarities and synergies among different disasters by taking their specific features into account. This book provides with various decisions analysis theories and support tools in complex systems in general and in disaster management in particular. The book is also generated during a long-term preparation of a European project proposal among most leading experts in the areas related to the book title. Chapters are evaluated based on quality and originality in theory and methodology, application oriented, relevance to the title of the book.

Multi-finger Haptic Interaction presents a panorama of technologies and methods for multi-finger haptic interaction, together with an analysis of the benefits and implications of adding multiple-fingers to haptic applications. Research topics covered include: design and control of advanced haptic devices; multi-contact point simulation algorithms; interaction techniques and implications in human perception when interacting with multiple fingers. These multi-disciplinary results are integrated into applications such as medical simulators for training manual skills, simulators for virtual prototyping and precise manipulations in remote environments. Multi-finger Haptic Interaction presents the current and potential applications that can be developed with these systems, and details the systems' complexity. The research is focused on enhancing haptic interaction by providing multiple contact points to the user. This state-of-the-art volume is oriented towards researchers who are involved in haptic device design, rendering methods and perception studies, as well as readers from different disciplines who are interested in applying multi-finger haptic technologies and methods to their field of interest.