This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting the impact the workflow modeling might have on the work of natural scientists, this book serves three major purposes: 1. It acts as a primer for practitioners who are interested to learn how to think in terms of services and workflows when facing domain-specific scientific processes. 2. It provides interesting material for readers already familiar with this kind of tools, because it introduces systematically both the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field becomes increasingly relevant for lectures in both computer science and experimental sciences, it also provides helpful material for teachers that plan similar courses.

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.

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 first 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 biomedical signal processing, imaging, and visualization; computational methods and intelligence in modeling genetic and chemical networks and regulation; computational methods and intelligence in organism modeling; computational methods and intelligence in modeling and design of synthetic biological systems; computational methods and intelligence in biomechanical systems, tissue engineering and clinical bioengineering; intelligent medical apparatus and clinical applications; modeling and simulation of societies and collective behaviour; innovative education in systems modeling and simulation; data analysis and data mining of biosignals; feature selection; robust optimization and data analysis.

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

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.

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 not only provides new probabilistic approaches for geotechnical site characterization and slope stability analysis, but also tackles the difficulties in practical implementation of these approaches. In addition, this book also develops efficient Monte Carlo simulation approaches for slope stability analysis and implements these approaches in a commonly available spreadsheet environment. These approaches and the software package are readily available to geotechnical practitioners and alleviate them from reliability computational algorithms. The readers will find useful information for a non-specialist to determine project-specific statistics of geotechnical properties and to perform probabilistic analysis of slope stability.

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

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

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

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.

This book constitutes the refereed proceedings of the Mathematical modeling of technological processes track of the 8th International Conference on Computational and Information Technologies in Science, Engineering and Education, CITech 2015, held in Almaty, Kazakhstan, in September 2015. The 20 papers and one short paper presented were carefully reviewed and selected from 56 submissions to the track. They provide a forum for sharing new aspects of the progresses in the areas of mathematical modeling of technological processes; process automation and control; high performance computing; simulation.

This book deals with transportation processes denoted as the Real-time Distribution of Perishable Goods (RDOPG). The book presents three contributions that are made to the field of transportation. First, a model considering the minimization of customer inconvenience is formulated. Second, a pro-active real-time control approach is proposed. Stochastic knowledge is generated from past request information by a new forecasting approach and is used in the pro-active approach to guide vehicles to request-likely areas before real requests arrive there. Various computational results are presented to show that in many cases the pro-active approach is able to achieve significantly improved results. Moreover, a measure for determining the structural quality of request data sets is also proposed. The third contribution of this book is a method that is presented for considering driver inconvenience aspects which arise from vehicle en-route diversion activities. Specifically, this method makes it possible to restrict the number of performed vehicle en-route diversion activities.

This book presents an up-to-date review of modeling and optimization approaches for location problems along with a new bi-level programming methodology which captures the effect of competition of both producers and customers on facility location decisions. While many optimization approaches simplify location problems by assuming decision making in isolation, this monograph focuses on models which take into account the competitive environment in which such decisions are made. New insights in modeling, algorithmic and theoretical possibilities are opened by this approach and new applications are possible. Competition on equal term plus competition between market leader and followers are considered in this study, consequently bi-level optimization methodology is emphasized and further developed. This book provides insights regarding modeling complexity and algorithmic approaches to discrete competitive location problems. In traditional location modeling, assignment of customer demands to supply sources are made for which the associated costs target the firm and not the customers, though in many real world situations the cost is incurred by the customers. Moreover, there may be customer competition for the provided services. Thus, a new methodological framework is needed in order to encompass such considerations into the modeling and solution process. This book offers initial directions for further research and development along these lines. Aimed toward graduate students and researchers in the field of mathematics, computer science, operational research and game theory, this title provides necessary information on which further research contributions can be based.

Simulation and Verification of Electronic and Biological Systems provides a showcase for the Circuit and Multi-Domain Simulation Workshop held in San Jose, California, USA, on November 5, 2009. The nine chapters are contributed by experts in the field and provide a broad discussion of recent developments on simulation, modeling and verification of integrated circuits and biological systems. Specific topics include large scale parallel circuit simulation, industrial practice of fast SPICE simulation, structure-preserving model order reduction of interconnects, advanced simulation techniques for oscillator networks, dynamic stability of static memories and biological systems as well as verification of analog integrated circuits. Simulation and verification are fundamental enablers for understanding, analyzing and designing an extremely broad range of engineering and biological circuits and systems. The design of nanometer integrated electronic systems and emerging biomedical applications have stimulated the development of novel simulation and verification techniques and methodologies. Simulation and Verification of Electronic and Biological Systems provides a broad discussion of recent advances on simulation, modeling and verification of integrated circuits and biological systems and offers a basis for stimulating new innovations.

This book explains and examines the theoretical underpinnings of the Complex Variable Boundary Element Method (CVBEM) as applied to higher dimensions, providing the reader with the tools for extending and using the CVBEM in various applications. Relevant mathematics and principles are assembled and the reader is guided through the key topics necessary for an understanding of the development of the CVBEM in both the usual two as well as three or higher dimensions. In addition to this, problems are provided that build upon the material presented. The Complex Variable Boundary Element Method (CVBEM) is an approximation method useful for solving problems involving the Laplace equation in two dimensions. It has been shown to be a useful modelling technique for solving two-dimensional problems involving the Laplace or Poisson equations on arbitrary domains. The CVBEM has recently been extended to 3 or higher spatial dimensions, which enables the precision of the CVBEM in solving the Laplace equation to be now available for multiple dimensions. The mathematical underpinnings of the CVBEM, as well as the extension to higher dimensions, involve several areas of applied and pure mathematics including Banach Spaces, Hilbert Spaces, among other topics. This book is intended for applied mathematics graduate students, engineering students or practitioners, developers of industrial applications involving the Laplace or Poisson equations and developers of computer modelling applications.

3D Imaging, Analysis and Applications brings together core topics, both in terms of well-established fundamental techniques and the most promising recent techniques in the exciting field of 3D imaging and analysis. Many similar techniques are being used in a variety of subject areas and applications and the authors attempt to unify a range of related ideas. With contributions from high profile researchers and practitioners, the material presented is informative and authoritative and represents mainstream work and opinions within the community. Composed of three sections, the first examines 3D imaging and shape representation, the second, 3D shape analysis and processing, and the last section covers 3D imaging applications. Although 3D Imaging, Analysis and Applications is primarily a graduate text, aimed at masters-level and doctoral-level research students, much material is accessible to final-year undergraduate students. It will also serve as a reference text for professional academics, people working in commercial research and development labs and industrial practitioners.