Modeling Chemical Systems using Cellular Automata provides a practical introduction to an exciting modeling paradigm for complex systems. The book first discusses the nature of scientific inquiry using models and simulations, and then describes the nature of cellular automata models. It then gives detailed descriptions, with examples and exercises, of how cellular automata models can be used in the study of a wide variety chemical, physical, and biochemical phenomena. Topics covered include models of water itself, solution phenomena, solution interactions with stationary systems, first- and second-order kinetic phenomena, enzyme kinetics, vapor-liquid equilibrium, and atomic and molecular excited-state kinetics. The student experiences these systems through hands-on examples and guided studies. This book is the first of its kind: a textbook and a laboratory manual about cellular automata modeling of common systems in chemistry. The book is designed to be used as a text in undergraduate courses dealing with complex systems and/or as a computational supplement to laboratory courses taught at the undergraduate level. The book includes: - Compact descriptions of a large variety of physical and chemical phenomena - Illustrative examples of simulations, with exercises for further study - An instructor's manual for use of the program The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, and as a supplement for laboratory courses in introductory chemistry, organic chemistry, physical chemistry, medicinal chemistry, chemical engineering and other courses dealing with statistical and dynamic systems. It allows the exploration of a wide range of dynamic phenomena, many of which are not normally accessible within conventional laboratory settings due to limitations of time, cost, and experimental equipment. The book is both a textbook on applied Cellular Automata and a lab manual for chemistry (physics, engineering) courses with lab activity. It would supplement other lab work and be an additonal book the students would use in the course. The authors have assessed the emerging need for this kind of activity in science labs because of the cost of the practical activitites and the frequent failure of some exercises leading to lost didactic value of some experiments. This book is pioneering an alternative that will grow in use. There are no course directors who would use Cellular Automata exclusively. The authors see an emerging interest in this kind of work in courses that contain lab exercises. One such course is the graduate course that Lemont Kier gives in Life Sciences about complexity. He uses many examples and studies from Cellular Automata in the latter part of this course.

Decision makers in large scale interconnected network systems require simulation models for decision support. The behaviour of these systems is determined by many actors, situated in a dynamic, multi-actor, multi-objective and multi-level environment. How can such systems be modelled and how can the socio-technical complexity be captured? Agent-based modelling is a proven approach to handle this challenge. This book provides a practical introduction to agent-based modelling of socio-technical systems, based on a methodology that has been developed at TU Delft and which has been deployed in a large number of case studies. The book consists of two parts: the first presents the background, theory and methodology as well as practical guidelines and procedures for building models. In the second part this theory is applied to a number of case studies, where for each model the development steps are presented extensively, preparing the reader for creating own models.

In the past decade, feature-based design and manufacturing has gained some momentum in various engineering domains to represent and reuse semantic patterns with effective applicability. However, the actual scope of feature application is still very limited. Semantic Modeling and Interoperability in Product and Process Engineering provides a systematic solution for the challenging engineering informatics field aiming at the enhancement of sustainable knowledge representation, implementation and reuse in an open and yet practically manageable scale. This semantic modeling technology supports uniform, multi-facet and multi-level collaborative system engineering with heterogeneous computer-aided tools, such as CADCAM, CAE, and ERP. This presented unified feature model can be applied to product and process representation, development, implementation and management. Practical case studies and test samples are provided to illustrate applications which can be implemented by the readers in real-world scenarios. By expanding on well-known feature-based design and manufacturing approach, Semantic Modeling and Interoperability in Product and Process Engineering provides a valuable reference for researchers, practitioners and students from both academia and engineering field.

This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in Thessaloniki, Greece, and Rome, Italy, in May and July 2013. From a total of 45 submissions, 15 papers were accepted for publication in this edition after being reviewed by at least three internationally known experts from the EWG-DSS Program Committee and external invited reviewers. The selected papers are representative of current research activities in the area of operational research and decision support systems, focusing on topics such as decision-making using social networks and Web resources; spatio-temporal Web-based decision making; group support systems; technical, legal, and social aspects of decision making; knowledge management and decision support systems; business intelligence and data warehousing; and negotiation support systems.

This book constitutes the refereed proceedings of the 7th International Symposium on Algorithmic Game Theory, SAGT 2014, held in Haifa, Israel, in October 2014. The 24 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. They cover various important aspects of algorithmic game theory, such as matching theory, game dynamics, games of coordination, networks and social choice, markets and auctions, price of anarchy, computational aspects of games, mechanism design and auctions.

ThisvolumeispublishedastheproceedingsoftheRussian-GermanAdvanced Research workshop on Computational Science and High Performance C- puting in Novosibirsk Academgorodok in September 2003. The contributions of these proceedings were provided and edited by the authors, chosen after a careful selection and reviewing. The workshop was organized by the Institute of Computational Techno- gies SB RAS (Novosibirsk, Russia) and the High Performance Computing Center Stuttgart (Stuttgart, Germany). The objective was the discussion of the latest results in computational science and to develop a close coope- tion between Russian and German specialists in the above-mentioned ?eld. The main directions of the workshop are associated with the problems of computational hydrodynamics, application of mathematical methods to the development of new generation of materials, environment protection pr- lems, development of algorithms, software and hardware support for hi- performance computation, and designing modern facilities for visualization of computational modelling results. The importance of the workshop topics was con?rmed by the partici- tion of representatives of major research organizations engaged in the so- tion of the most complex problems of mathematical modelling, development of new algorithms, programs and key elements of new information techno- gies. Among the Russian participants were researchers of the Institutes of the Siberian Branch of the Russian Academy of Sciences: Institute of Com- tational Technologies, Institute of Computational Mathematics and Mat- matical Geophysics, Institute of Computational Modelling, Russian Federal Nuclear Center, All-Russian Research Institute of Experimental Physics, - merovo State University.

This book constitutes the refereed proceedings of the 5th International Conference on Computational Logistics, ICCL 2014, held in Valparaiso, Chile, in September 2014. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections entitled: optimization of transport problems; container terminal applications; simulation and environmental sustainability applications.

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

This book generalizes fuzzy logic systems for different types of uncertainty, including - semantic ambiguity resulting from limited perception or lack of knowledge about exact membership functions - lack of attributes or granularity arising from discretization of real data - imprecise description of membership functions - vagueness perceived as fuzzification of conditional attributes. Consequently, the membership uncertainty can be modeled by combining methods of conventional and type-2 fuzzy logic, rough set theory and possibility theory. In particular, this book provides a number of formulae for implementing the operation extended on fuzzy-valued fuzzy sets and presents some basic structures of generalized uncertain fuzzy logic systems, as well as introduces several of methods to generate fuzzy membership uncertainty. It is desirable as a reference book for under-graduates in higher education, master and doctor graduates in the courses of computer science, computational intelligence, or fuzzy control and classification, and is especially dedicated to researchers and practitioners in industry.

This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections: UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker.

This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence, KI 2014, held in Stuttgart, Germany, in September 2014. The 24 revised full papers presented together with 7 short papers were carefully reviewed and selected from 62 submissions. The papers are organized in thematic topics on cognitive modeling, computer vision, constraint satisfaction, search, and optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling.

This book constitutes the proceedings of the 9th International Conference on Bio-inspired Computing: Theories and Applications, BIC-TA 2014, held in Wuhan, China, in October 2014. The 109 revised full papers presented were carefully reviewed and selected from 204 submissions. The papers focus on four main topics, namely evolutionary computing, neural computing, DNA computing, and membrane computing.

This book constitutes the proceedings of the 11th European Workshop on Performance Engineering, EPEW 2014, held in Florence, Italy, in September 2014. The 18 full papers presented in this volume were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections named: cloud performance modelling; queueing and fluid models; performance of computation and programming; fitting; urban traffic modelling; decision making; and Markovian models, above and beyond.

This book constitutes the proceedings of the 12th German Conference on Multiagent System Technologies, MATES 2014, held in Stuttgart, Germany, in September 2014. The 9 full papers and 7 short papers included in this volume were carefully reviewed and selected from 31 submissions. The book also contains 2 invited talks. The papers are organized in topical sections named: mechanisms, negotiation, and game theory; multiagent planning, learning, and control; and multiagent systems engineering, modeling and simulation.

This book contains the refereed proceedings of the First International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries, ISCRAM-med 2014, held in Toulouse, France, in October 2014. The aim of ISCRAM-med was to gather researchers and practitioners working in the area of Information Systems for Crisis Response and Management, with a special but not limited focus on Mediterranean crises. These include political crises, economic crises, natural hazards, and fatal industrial incidents. The 15 full papers included in this book were carefully reviewed and selected from 44 submissions. The contributions are organized in topical sections on supply chain and distribution; modeling and training; human interactions in the crisis field; coordination and agility; and social aspects in crisis management.

Atmospheric ice takes a wide range of fascinating forms, all beautiful in their own ways but many posing severe risk to the security of overhead networks for electric power, communications and other systems. This comprehensive book documents the fundamentals of atmospheric icing and surveys the state of the art in eight chapters, each written by a team of experienced and internationally renowned experts. The treatment is detailed and richly illustrated. The presentation follows a logical sequence, starting with the icing climate and meteorological conditions, proceeding through development of observations and models of accretion and release of ice and heavy snow, then considering static and dynamic mechanical loads, the effects of ice and snow on electrical insulation, de-icing, ice prevention and mitigation methods. The statistical analysis of icing data and the mathematical and numerical modelling support appropriate mechanical and electrical design processes for icing conditions on overhead lines. Technical specialists, researchers and students in engineering and environmental science will all find value throughout the text.

The focus of this volume is comprised of the fundamentals, models, and information technologies (IT) methods and tools for disaster prediction and mitigation. A more detailed list of topics includes mathematical and computational modeling of processes leading to or producing disasters, modeling of disaster effects, IT means for disaster mitigation, including data mining tools, knowledge-based and expert systems for use in disaster circumstances, GIS-based systems for disaster prevention and mitigation and equipment for disaster-prone areas. A specific type or class of disasters (natural or human-made), however will not be part of the main focus of this work. Instead, this book was conceived to offer a comprehensive, integrative view on disasters, seeking to determine what various disasters have in common. Because disaster resilience and mitigation involve humans, societies and cultures, not only technologies and economic models, special attention was paid in this volume to gain a comprehensive view on these issues, as a foundation of the IT tool design.

Platform Based Design at the Electronic System Level presents a multi-faceted view of the challenges facing the electronic industry in the development and integration of complex heterogeneous systems, including both hardware and software components. It analyses and proposes solutions related to the provision of integration platforms by System on Chip and Integrated Platform providers in light of the needs and requirements expressed by the system companies: they are the users of such platforms, which they apply to develop their next-generation products. This is the first book to examine ESL from perspectives of system developer, platform provider and Electronic Design Automation.

With the increasing complexity and dynamism in today's product design and manufacturing, more optimal, robust and practical approaches and systems are needed to support product design and manufacturing activities. Multi-objective Evolutionary Optimisation for Product Design and Manufacturing presents a focused collection of quality chapters on state-of-the-art research efforts in multi-objective evolutionary optimisation, as well as their practical applications to integrated product design and manufacturing. Multi-objective Evolutionary Optimisation for Product Design and Manufacturing consists of two major sections. The first presents a broad-based review of the key areas of research in multi-objective evolutionary optimisation. The second gives in-depth treatments of selected methodologies and systems in intelligent design and integrated manufacturing. Recent developments and innovations in multi-objective evolutionary optimisation make Multi-objective Evolutionary Optimisation for Product Design and Manufacturing a useful text for a broad readership, from academic researchers to practicing engineers.

Discrete event simulation and agent-based modeling are increasingly recognized as critical for diagnosing and solving process issues in complex systems. Introduction to Discrete Event Simulation and Agent-based Modeling covers the techniques needed for success in all phases of simulation projects. These include: * Definition - The reader will learn how to plan a project and communicate using a charter. * Input analysis - The reader will discover how to determine defensible sample sizes for all needed data collections. They will also learn how to fit distributions to that data. * Simulation - The reader will understand how simulation controllers work, the Monte Carlo (MC) theory behind them, modern verification and validation, and ways to speed up simulation using variation reduction techniques and other methods. * Output analysis - The reader will be able to establish simultaneous intervals on key responses and apply selection and ranking, design of experiments (DOE), and black box optimization to develop defensible improvement recommendations. * Decision support - Methods to inspire creative alternatives are presented, including lean production. Also, over one hundred solved problems are provided and two full case studies, including one on voting machines that received international attention. Introduction to Discrete Event Simulation and Agent-based Modeling demonstrates how simulation can facilitate improvements on the job and in local communities. It allows readers to competently apply technology considered key in many industries and branches of government. It is suitable for undergraduate and graduate students, as well as researchers and other professionals.

Soft computing, as an engineering science, and statistics, as a classical branch of mathematics, emphasize different aspects of data analysis. Soft computing focuses on obtaining working solutions quickly, accepting approximations and unconventional approaches. Its strength lies in its flexibility to create models that suit the needs arising in applications. In addition, it emphasizes the need for intuitive and interpretable models, which are tolerant to imprecision and uncertainty. Statistics is more rigorous and focuses on establishing objective conclusions based on experimental data by analyzing the possible situations and their (relative) likelihood. It emphasizes the need for mathematical methods and tools to assess solutions and guarantee performance. Combining the two fields enhances the robustness and generalizability of data analysis methods, while preserving the flexibility to solve real-world problems efficiently and intuitively.

This book presents new results on applications of geometric algebra. The time when researchers and engineers were starting to realize the potential of quaternions for - plications in electrical, mechanic, and control engineering passed a long time ago. Since the publication of Space-Time Algebra by David Hestenes (1966) and Clifford Algebra to Geometric Calculus: A Uni?ed Language for Mathematics and Physics by David Hestenes and Garret Sobczyk (1984), consistent progress in the app- cations of geometric algebra has taken place. Particularly due to the great dev- opments in computer technology and the Internet, researchers have proposed new ideas and algorithms to tackle a variety of problems in the areas of computer science and engineering using the powerful language of geometric algebra. In this process, pioneer groups started the conference series entitled "Applications of Geometric Algebra in Computer Science and Engineering" (AGACSE) in order to promote the research activity in the domain of the application of geometric algebra. The ?rst conference, AGACSE'1999, organized by Eduardo Bayro-Corrochano and Garret Sobczyk, took place in Ixtapa-Zihuatanejo, Mexico, in July 1999. The contri- tions were published in Geometric Algebra with Applications in Science and En- neering, Birkhauser, 2001. The second conference, ACACSE'2001, was held in the Engineering Department of the Cambridge University on 9-13 July 2001 and was organizedbyLeoDorst,ChrisDoran,andJoanLasenby. Thebestconferencecont- butions appeared as a book entitled Applications of Geometric Algebra in Computer Science and Engineering, Birkhauser, 2002. The third conference, AGACSE'2008, took place in August 2008 in Grimma, Leipzig, Germany.

This book constitutes the thoroughly refereed conference proceedings of the 6th International Symposium on Biomedical Simulation (ISBMS) which was held in Strasbourg, France, in October 2014. Biomedical modeling and simulation are at the center stage of worldwide efforts to understand and replicate the behavior and function of the human organism. Large scale initiatives such as the Physiome Project, Virtual Physiological Human and Blue Brain Project aim to develop advanced computational models that will facilitate the understanding of the integrative function of cells, organs, and organisms, with the ultimate goal of delivering truly personalized medicine. At the same time, progress in modeling, numerical techniques and haptics has enabled more complex and interactive simulations. The 27 revised full papers (including 16 regular and 11 short papers) were carefully selected from 45 submissions and cover topics such as training systems and haptics, physics-based registration, vascular modeling and simulation, image and simulation, modeling, surgical planning, analysis, characterization and validation.

This book constitutes the refereed proceedings of the 4th International Conference on Computational Modeling of Objects Presented in Images, CompIMAGE 2014, held in Pittsburgh, PA, USA, in September 2014. The 29 revised full papers presented together with 10 short papers and 6 keynote talks were carefully reviewed and selected from 54 submissions. The papers cover the following topics: medical treatment, imaging and analysis; image registration, denoising and feature identification; image segmentation; shape analysis, meshing and graphs; medical image processing and simulations; image recognition, reconstruction and predictive modeling; image-based modeling and simulations; and computer vision and data-driven investigations.

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.