The objective of this Workshop is to confront models, methods and tools developed within the projects with the ongoing research worldwide and to provide an environment for fruitful exchange of ideas. The main topics are: 1. Advanced human models in transportation. 2. Human Errors and Risk Assessment in design processes of assistance systems. 3. Methods and tools to prevent erroneous behaviour to mitigate its consequences. The Workshop will consist of 10 keynote lectures as well as approximately 28 peer reviewed papers.

FEM updating allows FEMs to be tuned better to reflect measured data. It can be conducted using two different statistical frameworks: the maximum likelihood approach and Bayesian approaches. This book applies both strategies to the field of structural mechanics, using vibration data. Computational intelligence techniques including: multi-layer perceptron neural networks; particle swarm and GA-based optimization methods; simulated annealing; response surface methods; and expectation maximization algorithms, are proposed to facilitate the updating process. Based on these methods, the most appropriate updated FEM is selected, a problem that traditional FEM updating has not addressed. This is found to incorporate engineering judgment into finite elements through the formulations of prior distributions. Case studies, demonstrating the principles test the viability of the approaches, and. by critically analysing the state of the art in FEM updating, this book identifies new research directions.

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.

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.

This book constitutes the third part of the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2014, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, held in Shanghai, China, in September 2014. The 159 revised full papers presented in the three volumes of CCIS 461-463 were carefully reviewed and selected from 572 submissions. The papers of this volume are organized in topical sections on computational intelligence in utilization of clean and renewable energy resources, including fuel cell, hydrogen, solar and winder power, marine and biomass; intelligent modeling, control and supervision for energy saving and pollution reduction; intelligent methods in developing electric vehicles, engines and equipment; intelligent computing and control in distributed power generation systems; intelligent modeling, simulation and control of power electronics and power networks; intelligent road management and electricity marketing strategies; intelligent water treatment and waste management technologies; integration of electric vehicles with smart grid.

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 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.

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.

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.

This timely text/reference presents the latest advances in various aspects of social media modeling and social media computing research. Gathering together superb research from a range of established international conferences and workshops, the editors coherently organize and present each of the topics in relation to the basic principles and practices of social media modeling and computing. Individual chapters can be also be used as self-contained references on the material covered. Topics and features: presents contributions from an international selection of preeminent experts in the field; discusses topics on social-media content analysis; examines social-media system design and analysis, and visual analytic tools for event analysis; investigates access control for privacy and security issues in social networks; describes emerging applications of social media, for music recommendation, automatic image annotation, and the analysis and improvement of photo-books.

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.

Introduction to Computational Cardiology provides a comprehensive, in-depth treatment of the fundamental concepts and research challenges involved in the mathematical modeling and computer simulation of dynamical processes in the heart, under normal and pathological conditions. About this textbook: - Presents descriptions of models used in both biology and medicine for discovering the mechanisms of heart function and dysfunction on several physiological scales across different species. - Provides several examples throughout the textbook and exercises at the end which facilitate understanding of basic concepts and introduces, for implementation, treated problems to parallel supercomputers. Introduction to Computational Cardiology serves as a secondary textbook or reference book for advanced-level students in computer science, electrical engineering, biomedical engineering, and cardiac electrophysiology. It is also suitable for researchers employing mathematical modeling and computer simulations of biomedical problems.

G protein coupled receptors (GPCRs) comprise an important protein family, which is involved in signal transduction in the cell. Besides that a large number of drugs, available on market, address GPCRs. For an efficient and improved development of appropriate drugs, molecular modelling of GPCRs is - in order to understand the ligand-receptor interactions and functionality of GPCRs on molecular level - an important tool. The book "Modelling of GPCRs - a practical handbook" is focussed onto a practical introduction into molecular modelling of GPCRs. This book is very useful for beginners in GPCR modelling, but also addresses the advanced GPCR modeller: On the one hand, the book introduces principles of GPCR modelling, including extensive examples. On the other hand, detailed outlooks onto advanced GPCR modelling techniques are presented. Furthermore, the book includes important data, like information about crystal structures in a summarized manner or amino acid sequences, which are essential for GPCR modelling in general. Due to an increase in efficacy and data handling most modellers use LINUX as operating system. To address this, a summary of most important LINUX commands with examples is presented within the book.

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 refereed proceedings of the 21st International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2014, held in Budapest, Hungary, in June/July 2014. The 18 papers presented were carefully reviewed and selected from 27 submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for stochastic systems, including Markov processes, queueing networks, stochastic Petri nets, process algebras, game theory, etc.

Human-in-the-Loop Simulations is a compilation of articles from experts in the design, development, and use of human-in-the-loop simulations. The first section of the handbook consists of papers on fundamental concepts in human-in-the-loop simulations, such as object-oriented simulation development, interface design and development, and performance measurement. The second section includes papers from researchers who utilized HITL simulations to inform models of cognitive processes to include decision making and metacognition. The last section describes human-in-the-loop processes for complex simulation models in trade space exploration and epidemiological analyses. Human-in-the-Loop Simulations is a useful tool for multiple audiences, including graduate students and researchers in engineering and computer science.

Fuzzy classifiers are important tools in exploratory data analysis, which is a vital set of methods used in various engineering, scientific and business applications. Fuzzy classifiers use fuzzy rules and do not require assumptions common to statistical classification. Rough set theory is useful when data sets are incomplete. It defines a formal approximation of crisp sets by providing the lower and the upper approximation of the original set. Systems based on rough sets have natural ability to work on such data and incomplete vectors do not have to be preprocessed before classification. To achieve better performance than existing machine learning systems, fuzzy classifiers and rough sets can be combined in ensembles. Such ensembles consist of a finite set of learning models, usually weak learners. The present book discusses the three aforementioned fields - fuzzy systems, rough sets and ensemble techniques. As the trained ensemble should represent a single hypothesis, a lot of attention is placed on the possibility to combine fuzzy rules from fuzzy systems being members of classification ensemble. Furthermore, an emphasis is placed on ensembles that can work on incomplete data, thanks to rough set theory. .

Computational Atomic Physics deals with computational methods for calculating electron (and positron) scattering from atoms and ions, including elastic scattering, excitation, and ionization processes. Each chapter is divided into abstract, theory, computer program with sample input and output, summary, suggested problems, and references. An MS-DOS diskette is included, which holds 11 programs covering the features of each chapter and therefore contributing to a deeper understanding of the field. Thus the book provides a unique practical application of advanced quantum mechanics.

This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological Systems; Intelligent Information Processing; Theory and Applications of Metaheuristic Algorithms; Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine; Signals and Systems in Electronics; Model-Based System Design, Verification, and Simulation; Digital Signal Processing Methods and Applications; Modelling and Control of Robots; Mobile Platforms, Autonomous and Computing Traffic Systems; Cloud and Other Computing Systems; and Marine Sensors and Manipulators.

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.

Finite Element Programs for Structural Vibrations presents detailed descriptions of how to use six computer programs (written in Fortran 77) to determine the resonant frequencies of one, two, and three-dimensional skeletal structures through the finite element method. Chapter 1 is on "The Finite Element Method" and Chapter 2 demonstrates, with the aid of hand calculations, the finite element solution of some smaller structures. Chapter 3 covers "The Modular Approach", and Chapters 4 to 9 describe the six computer programs, with a large number of worked examples. The six computer programs are given in Appendices I through VI, and on a 3 1/2'' disk included with the book. The programs are suitable for use on IBM (or compatible) PC (640K or more) or minicomputer.