This book is a practical guide to the uncertainty analysis of computer model applications. Used in many areas, such as engineering, ecology and economics, computer models are subject to various uncertainties at the level of model formulations, parameter values and input data. Naturally, it would be advantageous to know the combined effect of these uncertainties on the model results as well as whether the state of knowledge should be improved in order to reduce the uncertainty of the results most effectively. The book supports decision-makers, model developers and users in their argumentation for an uncertainty analysis and assists them in the interpretation of the analysis results.

This authored monograph supplies empirical evidence for the Bayesian brain hypothesis by modeling event-related potentials (ERP) of the human electroencephalogram (EEG) during successive trials in cognitive tasks. The employed observer models are useful to compute probability distributions over observable events and hidden states, depending on which are present in the respective tasks. Bayesian model selection is then used to choose the model which best explains the ERP amplitude fluctuations. Thus, this book constitutes a decisive step towards a better understanding of the neural coding and computing of probabilities following Bayesian rules. The target audience primarily comprises research experts in the field of computational neurosciences, but the book may also be beneficial for graduate students who want to specialize in this field.

This publication showcases the work of UK mathematicians and statisticians by describing industrial problems that have been successfully solved, together with a summary of the financial and/or societal impact that arose from the work. The articles are grouped by sector, and include contributions to climate modelling, engineering and health. The articles are based on Impact Case Studies that were submitted to the Research Excellence Framework (REF2014), a UK government sponsored exercise that assessed the research quality within UK universities. There are many publications in the realm of 'popular mathematics' as well as a vast research literature that underpins this. This work is aimed at a middle ground between these two. Articles contain some mathematical detail, but the emphasis is on telling the story of a successful collaboration between academia and industry and on the results obtained. UK Success Stories in Industrial Mathematics is therefore accessible to a wide readership with interest in the applications of mathematics and statistics to problems of industrial importance and to those interested in how mathematics and statistics research affects our everyday lives and leads to economic and societal benefits.

This book reviews the theoretical concepts, leading-edge techniques and practical tools involved in the latest multi-disciplinary approaches addressing the challenges of big data. Illuminating perspectives from both academia and industry are presented by an international selection of experts in big data science. Topics and features: describes the innovative advances in theoretical aspects of big data, predictive analytics and cloud-based architectures; examines the applications and implementations that utilize big data in cloud architectures; surveys the state of the art in architectural approaches to the provision of cloud-based big data analytics functions; identifies potential research directions and technologies to facilitate the realization of emerging business models through big data approaches; provides relevant theoretical frameworks, empirical research findings, and numerous case studies; discusses real-world applications of algorithms and techniques to address the challenges of big datasets.

This textbook reviews the theory, applications, and latest breakthroughs in Delay Tolerant Networks (DTNs). Presenting a specific focus on Opportunistic Mobile Networks (OMNs), the text considers the influence of human aspects, and examines emerging forms of inter-node cooperation. Features: contains review terms and exercises in each chapter, with the solutions and source code available at an associated website; introduces the fundamentals of DTNs, covering OMNs, PSNs, and MOONs; describes the ONE simulator, explaining how to set up a simulation project; provides detailed insights into the development and testing of protocols, together with a set of best practices for increased productivity and optimized performance; examines human aspects in the context of communication networks, from human-centric applications to the impact of emotion on human-network interplay; proposes various schemes for inter-node cooperation in DTNs/OMNs; presents a detailed discussion on aspects of heterogeneity in DTNs.

This book describes the computational challenges posed by the progression toward nanoscale electronic devices and increasingly short design cycles in the microelectronics industry, and proposes methods of model reduction which facilitate circuit and device simulation for specific tasks in the design cycle. The goal is to develop and compare methods for system reduction in the design of high dimensional nanoelectronic ICs, and to test these methods in the practice of semiconductor development. Six chapters describe the challenges for numerical simulation of nanoelectronic circuits and suggest model reduction methods for constituting equations. These include linear and nonlinear differential equations tailored to circuit equations and drift diffusion equations for semiconductor devices. The performance of these methods is illustrated with numerical experiments using real-world data. Readers will benefit from an up-to-date overview of the latest model reduction methods in computational nanoelectronics.

This collection of selected papers presented at the 11th International Conference on Scientific Computing in Electrical Engineering (SCEE), held in St. Wolfgang, Austria, in 2016, showcases the state of the art in SCEE. The aim of the SCEE 2016 conference was to bring together scientists from academia and industry, mathematicians, electrical engineers, computer scientists, and physicists, and to promote intensive discussions on industrially relevant mathematical problems, with an emphasis on the modeling and numerical simulation of electronic circuits and devices, electromagnetic fields, and coupled problems. The focus in methodology was on model order reduction and uncertainty quantification. This extensive reference work is divided into six parts: Computational Electromagnetics, Circuit and Device Modeling and Simulation, Coupled Problems and Multi-Scale Approaches in Space and Time, Mathematical and Computational Methods Including Uncertainty Quantification, Model Order Reduction, and Industrial Applications. Each part starts with a general introduction, followed by the respective contributions. This book will appeal to mathematicians and electrical engineers. Further, it introduces algorithm and program developers to recent advances in the other fields, while industry experts will be introduced to new programming tools and mathematical methods.

The two-volume set LNICST 236-237 constitutes the post-conference proceedings of the 12th EAI International Conference on Communications and Networking, ChinaCom 2017, held in Xi'an, China, in September 2017. The total of 112 contributions presented in these volumes are carefully reviewed and selected from 178 submissions. The papers are organized in topical sections on wireless communications and networking, satellite and space communications and networking, big data network track, multimedia communications and smart networking, signal processing and communications, network and information security, advances and trends of V2X networks.

This book describes new theories and applications of artificial neural networks, with a special focus on neural computation, cognitive science and machine learning. It discusses cutting-edge research at the intersection between different fields, from topics such as cognition and behavior, motivation and emotions, to neurocomputing, deep learning, classification and clustering. Further topics include signal processing methods, robotics and neurobionics, and computer vision alike. The book includes selected papers from the XIX International Conference on Neuroinformatics, held on October 2-6, 2017, in Moscow, Russia.

The two-volume set LNICST 236-237 constitutes the post-conference proceedings of the 12th EAI International Conference on Communications and Networking, ChinaCom 2017, held in Xi'an, China, in September 2017. The total of 112 contributions presented in these volumes are carefully reviewed and selected from 178 submissions. Aside from the technical paper sessions the book is organized in topical sections on wireless communications and networking, satellite and space communications and networking, big data network track, multimedia communications and smart networking, signal processing and communications, network and information security, advances and trends of V2X networks.

This book is the fourth in a multidisciplinary series which brings together leading researchers in the STEAM-H disciplines (Science, Technology, Engineering, Agriculture, Mathematics and Health) to present their perspective on advances in their own specific fields, and to generate a genuinely interdisciplinary collaboration that transcends parochial subject-matter boundaries. All contributions are carefully edited, peer-reviewed, reasonably self-contained, and pedagogically crafted for a multidisciplinary readership. Contributions are drawn from a variety of fields including mathematics, statistics, game theory and behavioral sciences, biomathematics and physical chemistry, computer science and human-centered computing. This volume is dedicated to Professor Christiane Rousseau, whose work inspires the STEAM-H series, in recognition of her passion for the mathematical sciences and her on-going initiative, the Mathematics of Planet Earth paradigm of interdisciplinarity. The volume's primary goal is to enhance interdisciplinary understanding between these areas of research by showing how new advances in a particular field can be relevant to open problems in another and how many disciplines contribute to a better understanding of relevant issues at the interface of mathematics and the sciences. The main emphasis is on important methods, research directions and applications of analysis within and beyond each field. As such, the volume aims to foster student interest and participation in the STEAM-H domain, as well as promote interdisciplinary research collaborations. The volume is valuable as a reference of choice and a source of inspiration for a broad spectrum of scientists, mathematicians, research students and postdoctoral fellows.

This book introduces the Vienna Simulator Suite for 3rd-Generation Partnership Project (3GPP)-compatible Long Term Evolution-Advanced (LTE-A) simulators and presents applications to demonstrate their uses for describing, designing, and optimizing wireless cellular LTE-A networks. Part One addresses LTE and LTE-A link level techniques. As there has been high demand for the downlink (DL) simulator, it constitutes the central focus of the majority of the chapters. This part of the book reports on relevant highlights, including single-user (SU), multi-user (MU) and single-input-single-output (SISO) as well as multiple-input-multiple-output (MIMO) transmissions. Furthermore, it summarizes the optimal pilot pattern for high-speed communications as well as different synchronization issues. One chapter is devoted to experiments that show how the link level simulator can provide input to a testbed. This section also uses measurements to present and validate fundamental results on orthogonal frequency division multiplexing (OFDM) transmissions that are not limited to LTE-A. One chapter exclusively deals with the newest tool, the uplink (UL) link level simulator, and presents cutting-edge results. In turn, Part Two focuses on system-level simulations. From early on, system-level simulations have been in high demand, as people are naturally seeking answers when scenarios with numerous base stations and hundreds of users are investigated. This part not only explains how mathematical abstraction can be employed to speed up simulations by several hundred times without sacrificing precision, but also illustrates new theories on how to abstract large urban heterogeneous networks with indoor small cells. It also reports on advanced applications such as train and car transmissions to demonstrate the tools' capabilities.

This volume presents a collection of research studies on sophisticated and functional computational instruments able to recognize, process, and store relevant situated interactional signals, as well as, interact with people, displaying reactions (under conditions of limited time) that show abilities of appropriately sensing and understanding environmental changes, producing suitable, autonomous, and adaptable responses to various social situations. These social robotic autonomous systems will improve the quality of life of their end-users while assisting them on several needs, ranging from educational settings, health care assistance, communicative disorders, and any disorder impairing either their physical, cognitive, or social functional activities. The multidisciplinary themes presented in the volume will be interesting for experts and students coming from different research fields and with different knowledge and backgrounds. The research reported is particularly relevant for academic centers, and Research & Development Institutions.

This volume is a collection of research studies on the modeling of emotions in complex autonomous systems. Several experts in the field are reporting their efforts and reviewing the literature in order to shed lights on how the processes of coding and decoding emotional states took place in humans, which are the physiological, physical, and psychological variables involved, invent new mathematical models and algorithms to describe them, and motivate these investigations in the light of observable societal changes and needs, such as the aging population and the cost of health care services. The consequences are the implementation of emotionally and socially believable machines, acting as helpers into domestic spheres, where emotions drive behaviors and actions. The contents of the book are highly multidisciplinary since the modeling of emotions in robotic socially believable systems requires a holistic perspective on topics coming from different research domains such as computer science, engineering, sociology, psychology, linguistic, and information communication. The book is of interest both to experts and students since last research works on a so complex multidisciplinary topic are described in a neat and didactical scientific language.

These are the proceedings of the 22nd International Conference on Domain Decomposition Methods, which was held in Lugano, Switzerland. With 172 participants from over 24 countries, this conference continued a long-standing tradition of internationally oriented meetings on Domain Decomposition Methods. The book features a well-balanced mix of established and new topics, such as the manifold theory of Schwarz Methods, Isogeometric Analysis, Discontinuous Galerkin Methods, exploitation of modern HPC architectures and industrial applications. As the conference program reflects, the growing capabilities in terms of theory and available hardware allow increasingly complex non-linear and multi-physics simulations, confirming the tremendous potential and flexibility of the domain decomposition concept.

The articles in this book review hybrid experimental-computational methods applied to soft tissues which have been developed by worldwide specialists in the field. People developing computational models of soft tissues and organs will find solutions for calibrating the material parameters of their models; people performing tests on soft tissues will learn what to extract from the data and how to use these data for their models and people worried about the complexity of the biomechanical behavior of soft tissues will find relevant approaches to address this complexity.

This book delivers a methodological approach on the experimentation and/or simulation processes from the disclaiming hypothesis on a physical phenomenon to the validation of the results. The main benefit of the book is that it discusses all the topics related to experimentation and validation of the outcome including state-of-the-art applications and presents important theoretical, mathematical and experimental developments, providing a self-contained major reference that is appealing to both the scientists and the engineers. At the same time, these topics are encountered in a variety of scientific and engineering disciplines. As a first step, it presents the theoretical and practical implications on the formation of a hypothesis, considering the existing knowledge collection, classification and validation of the particular areas of experimenting interest. Afterwards, the transition from the knowledge classes to the experimentation parameters according to the phenomena evolution contributors and the systemic properties of the descriptors are discussed. The major experimenting requirements focus on the conditions to satisfy a potential disclaim of the initial hypothesis as conditions. Furthermore, the experimentation outcome, as derived via the previous experimentation process set-up, would be validate for the similarities among the existing knowledge and derived new one. The whole methodology offers a powerful tool towards the minimization of research effort wastes, as far as it can identify the lacks of knowledge, thus the areas of interest where the current research has to work on. The special features of this book are (a) the use of state-of-the-art techniques for the classification of knowledge, (b) the consideration of a realistic systemic world of engineering approached phenomena, (c) the application of advanced mathematical techniques for identifying, describing and testing the similarities in the research results and conclusions, and (d) the experimental investigation of relevant phenomena.

Much has been written about Building Information Modelling (BIM) driving collaboration and innovation, but how will future quality managers and engineers develop digital capabilities in augmented and video realities, with business intelligence platforms, robots, new materials, artificial intelligence, blockchains, drones, laser scanning, data trusts, 3D printing and many other types of technological advances in construction? These emerging technologies are potential game changers that require new skills and processes. Digital Quality Management in Construction is the first 'how to' book on harnessing novel disruptive technology in construction quality management. The book takes a tour of the new technologies and relates them to the management of quality, but also sets out a road map to build on proven lean construction techniques and embed technologically based processes to raise quality professionals' digital capabilities. With the mountain of data being generated, quality managers need to unlock its value to drive the quality of construction in the twenty-first century, and this book will help them do that and allow those working in construction Quality Management to survive and thrive, creating higher quality levels and less waste. This book is essential reading for quality managers, project managers and all professionals in the Architecture, Engineering and Construction industry (AEC). Students interested in new and disruptive technologies will also learn a great deal from reading this book, written by a professional quality manager with nearly thirty years' experience in both the public and private sectors.

Arturo Carsetti According to molecular Biology, true invariance (life) can exist only within the framework of ongoing autonomous morphogenesis and vice versa. With respect to this secret dialectics, life and cognition appear as indissolubly interlinked. In this sense, for instance, the inner articulation of conceptual spaces appears to be linked to an inner functional development based on a continuous activity of selection and "anchorage" realised on semantic grounds. It is the work of "invention" and g- eration (in invariance), linked with the "rooting" of meaning, which determines the evolution, the leaps and punctuated equilibria, the conditions related to the unfo- ing of new modalities of invariance, an invariance which is never simple repetition and which springs on each occasion through deep-level processes of renewal and recovery. The selection perpetrated by meaning reveals its autonomy aboveall in its underpinning, in an objective way, the ongoing choice of these new modalities. As such it is not, then, concerned only with the game of "possibles," offering itself as a simple channel for pure chance, but with providing a channel for the articulation of the " le" in the humus of a semantic (and embodied) net in order to prepare the necessary conditionsfor a continuousrenewal and recoveryof original creativity. In effect, it is this autonomy in inventing new possible modules of incompressibility whichdeterminestheactualemergenceofnew(andtrue)creativity, whichalsotakes place through the "narration" of the effected construction.

This edited volume is devoted to the now-ubiquitous use of computational models across most disciplines of engineering and science, led by a trio of world-renowned researchers in the field. Focused on recent advances of modeling and optimization techniques aimed at handling computationally-expensive engineering problems involving simulation models, this book will be an invaluable resource for specialists (engineers, researchers, graduate students) working in areas as diverse as electrical engineering, mechanical and structural engineering, civil engineering, industrial engineering, hydrodynamics, aerospace engineering, microwave and antenna engineering, ocean science and climate modeling, and the automotive industry, where design processes are heavily based on CPU-heavy computer simulations. Various techniques, such as knowledge-based optimization, adjoint sensitivity techniques, and fast replacement models (to name just a few) are explored in-depth along with an array of the latest techniques to optimize the efficiency of the simulation-driven design process. High-fidelity simulation models allow for accurate evaluations of the devices and systems, which is critical in the design process, especially to avoid costly prototyping stages. Despite this and other advantages, the use of simulation tools in the design process is quite challenging due to associated high computational cost. The steady increase of available computational resources does not always translate into the shortening of the design cycle because of the growing demand for higher accuracy and necessity to simulate larger and more complex systems. For this reason, automated simulation-driven design-while highly desirable-is difficult when using conventional numerical optimization routines which normally require a large number of system simulations, each one already expensive.

This book presents technologies and solutions related to the test and launch control of rockets and other vehicles, and offers the first comprehensive and systematic introduction to the contributions of the Chinese Long March (Chang Zheng in Chinese, or abbreviated as CZ) rockets in this field. Moreover, it discusses the role of this technology in responsive, reliable, and economical access to space, which is essential for the competitiveness of rockets. The need for rapid development of the aerospace industry for both governmental and commercial projects is addressed. This book is a valuable reference resource for practitioners, and many examples and resources are included, not only from Chinese rockets but also from many other vehicles. It covers guidelines, technologies, and solutions on testing and launch control before rocket takeoff, covering equipment-level testing, system-level testing, simulation tests, etc.

This book constitutes the refereed proceedings of the First International Conference on Advanced Hybrid Information Processing, ADHIB 2017, held in Harbin, China, in July 2017. The 64 full papers were selected from 134 submissions and focus on advanced methods and applications for hybrid information processing.

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

This book highlights recent developments in the field, presented at the Social Simulation 2015 conference in Groningen, The Netherlands. It covers advances both in applications and methods of social simulation. Societal issues addressed range across complexities in economic systems, opinion dynamics and civil violence, changing mobility patterns, different land-use, transition in the energy system, food production and consumption, ecosystem management and historical processes. Methodological developments cover how to use empirical data in validating models in general, formalization of behavioral theory in agent behavior, construction of artificial populations for experimentation, replication of models, and agent-based models that can be run in a web browser. Social simulation is a rapidly evolving field. Social scientists are increasingly interested in social simulation as a tool to tackle the complex non-linear dynamics of society. Furthermore, the software and hardware tools available for social simulation are becoming more and more powerful. This book is an important source for readers interested in the newest developments in the ways in which the simulation of social interaction contributes to our understanding and managing of complex social phenomena.

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.