This volume summarizes the state-of-the-art in the fast growing research area of modeling the influence of information-driven human behavior on the spread and control of infectious diseases. In particular, it features the two main and inter-related "core" topics: behavioral changes in response to global threats, for example, pandemic influenza, and the pseudo-rational opposition to vaccines. In order to make realistic predictions, modelers need to go beyond classical mathematical epidemiology to take these dynamic effects into account. With contributions from experts in this field, the book fills a void in the literature. It goes beyond classical texts, yet preserves the rationale of many of them by sticking to the underlying biology without compromising on scientific rigor. Epidemiologists, theoretical biologists, biophysicists, applied mathematicians, and PhD students will benefit from this book. However, it is also written for Public Health professionals interested in understanding models, and to advanced undergraduate students, since it only requires a working knowledge of mathematical epidemiology.

This Festschrift is dedicated to Professor Dr.-Ing. habil. Peter Wriggers on the occasion of his 60th birthday. It contains contributions from friends and collaborators as well as current and
former PhD students from almost all continents. As a very diverse group of people, the authors cover a wide range of topics from fundamental research to industrial applications: contact mechanics, finite element technology, micromechanics, multiscale approaches,
particle methods, isogeometric analysis, stochastic methods and further research interests. In summary, the volume presents an overview of the international state of the art in computational mechanics, both in academia and industry.

Stochastic global optimization is a very important subject, that has applications in virtually all areas of science and technology. Therefore there is nothing more opportune than writing a book about a successful and mature algorithm that turned out to be a good tool in solving difficult problems. Here we present some techniques for solving several problems by means of Fuzzy Adaptive Simulated Annealing (Fuzzy ASA), a fuzzy-controlled version of ASA, and by ASA itself. ASA is a sophisticated global optimization algorithm that is based upon ideas of the simulated annealing paradigm, coded in the C programming language and developed to statistically find the best global fit of a nonlinear constrained, non-convex cost function over a multi-dimensional space. By presenting detailed examples of its application we want to stimulate the reader's intuition and make the use of Fuzzy ASA (or regular ASA) easier for everyone wishing to use these tools to solve problems. We kept formal mathematical requirements to a minimum and focused on continuous problems, although ASA is able to handle discrete optimization tasks as well. This book can be used by researchers and practitioners in engineering and industry, in courses on optimization for advanced undergraduate and graduate levels, and also for self-study.

This book provides readers with modern computational techniques for solving variety of problems from electrical, mechanical, civil and chemical engineering. Mathematical methods are presented in a unified manner, so they can be applied consistently to problems in applied electromagnetics, strength of materials, fluid mechanics, heat and mass transfer, environmental engineering, biomedical engineering, signal processing, automatic control and more.

Geared primarily to an audience consisting of mathematically advanced undergraduate or beginning graduate students, this text may additionally be used by engineering students interested in a rigorous, proof-oriented systems course that goes beyond the classical frequency-domain material and more applied courses. The minimal mathematical background required is a working knowledge of linear algebra and differential equations. The book covers what constitutes the common core of control theory and is unique in its emphasis on foundational aspects. While covering a wide range of topics written in a standard theorem/proof style, it also develops the necessary techniques from scratch. In this second edition, new chapters and sections have been added, dealing with time optimal control of linear systems, variational and numerical approaches to nonlinear control, nonlinear controllability via Lie-algebraic methods, and controllability of recurrent nets and of linear systems with bounded controls.

This is the second edition of the book which has two additional new chapters on Maxwell's equations as well as a section on properties of solution spaces of Maxwell's equations and their trace spaces. These two new chapters, which summarize the most up-to-date results in the literature for the Maxwell's equations, are sufficient enough to serve as a self-contained introductory book on the modern mathematical theory of boundary integral equations in electromagnetics. The book now contains 12 chapters and is divided into two parts. The first six chapters present modern mathematical theory of boundary integral equations that arise in fundamental problems in continuum mechanics and electromagnetics based on the approach of variational formulations of the equations. The second six chapters present an introduction to basic classical theory of the pseudo-differential operators. The aforementioned corresponding boundary integral operators can now be recast as pseudo-differential operators. These serve as concrete examples that illustrate the basic ideas of how one may apply the theory of pseudo-differential operators and their calculus to obtain additional properties for the corresponding boundary integral operators. These two different approaches are complementary to each other. Both serve as the mathematical foundation of the boundary element methods, which have become extremely popular and efficient computational tools for boundary problems in applications. This book contains a wide spectrum of boundary integral equations arising in fundamental problems in continuum mechanics and electromagnetics. The book is a major scholarly contribution to the modern approaches of boundary integral equations, and should be accessible and useful to a large community of advanced graduate students and researchers in mathematics, physics, and engineering.

The book comprises an assembly of benchmarks and examples for porous media mechanics collected over the last twenty years. Analysis of thermo-hydro-mechanical-chemical (THMC) processes is essential to many applications in environmental engineering, such as geological waste deposition, geothermal energy utilisation, carbon capture and storage, water resources management, hydrology, even climate chance. In order to assess the feasibility as well as the safety of geotechnical applications, process-based modelling is the only tool to put numbers, i.e. to quantify future scenarios. This charges a huge responsibility concerning the reliability of computational tools. Benchmarking is an appropriate methodology to verify the quality of modelling tools based on best practices. Moreover, benchmarking and code comparison foster community efforts. The benchmark book is part of the OpenGeoSys initiative - an open source project to share knowledge and experience in environmental analysis and scientific computation.

The first of a two volume set on novel methods in harmonic analysis, this book draws on a number of original research and survey papers from well-known specialists detailing the latest innovations and recently discovered links between various fields. Along with many deep theoretical results, these volumes contain numerous applications to problems in signal processing, medical imaging, geodesy, statistics, and data science. The chapters within cover an impressive range of ideas from both traditional and modern harmonic analysis, such as: the Fourier transform, Shannon sampling, frames, wavelets, functions on Euclidean spaces, analysis on function spaces of Riemannian and sub-Riemannian manifolds, Fourier analysis on manifolds and Lie groups, analysis on combinatorial graphs, sheaves, co-sheaves, and persistent homologies on topological spaces. Volume I is organized around the theme of frames and other bases in abstract and function spaces, covering topics such as: The advanced development of frames, including Sigma-Delta quantization for fusion frames, localization of frames, and frame conditioning, as well as applications to distributed sensor networks, Galerkin-like representation of operators, scaling on graphs, and dynamical sampling. A systematic approach to shearlets with applications to wavefront sets and function spaces. Prolate and generalized prolate functions, spherical Gauss-Laguerre basis functions, and radial basis functions. Kernel methods, wavelets, and frames on compact and non-compact manifolds.

Over the last decades Discrete Event Simulation has conquered many different application areas. This trend is, on the one hand, driven by an ever wider use of this technology in different fields of science and on the other hand by an incredibly creative use of available software programs through dedicated experts. This book contains articles from scientists and experts from 10 countries. They illuminate the width of application of this technology and the quality of problems solved using Discrete Event Simulation. Practical applications of simulation dominate in the present book. The book is aimed to researchers and students who deal in their work with Discrete Event Simulation and which want to inform them about current applications. By focusing on discrete event simulation, this book can also serve as an inspiration source for practitioners for solving specific problems during their work. Decision makers who deal with the question of the introduction of discrete event simulation for planning support and optimization this book provides a contribution to the orientation, what specific problems could be solved with the help of Discrete Event Simulation within the organization.

Kinematics is an exciting area of computational mechanics which plays a central role in a great variety of fields and industrial applications. Apart from research in pure kinematics, the field offers challenging problems of practical relevance that need to be solved in an interdisciplinary manner in order for new technologies to develop. The present book collects a number of important contributions presented during the First Conference on Interdisciplinary Applications of Kinematics (IAK 2008) held in Lima, Peru. To share inspiration and non-standard solutions among the different applications, the conference brought together scientists from several research fields related to kinematics, such as for example, computational kinematics, multibody systems, industrial machines, robotics, biomechanics, mechatronics and chemistry. The conference focused on all aspects of kinematics, namely modeling, optimization, experimental validation, industrial applications, theoretical kinematical methods, and design. The results should be of interest for practicing and research engineers as well as Ph.D. students from the fields of mechanical and electrical engineering, computer science, and computer graphics.

Together, the volumes in this series present all of the data needed at various length scales for a multidisciplinary approach to modeling and simulation of flows in the cardiovascular and ventilatory systems, especially multiscale modeling and coupled simulations. The cardiovascular and respiratory systems are tightly coupled, as their primary function is to supply oxygen to, and remove carbon dioxide from, the body's cells. Because physiological conduits have deformable and reactive walls, macroscopic flow behavior and prediction must be coupled to nano- and microscopic events in a corrector scheme of regulated mechanism. Therefore, investigation of flows of blood and air in physiological conduits requires an understanding of the biology, chemistry, and physics of these systems, together with the mathematical tools to describe their functioning in quantitative terms. The present volume focuses on macroscopic aspects of the cardiovascular and respiratory systems in normal conditions, i.e., anatomy and physiology, as well as the acquisition and processing of medical images and physiological signals. * Reviews the anatomy and physiology of blood circulation and the body's ventilation * Reviews biological data for a better understanding of macroscopic scale processes * Describes the signals and images that are used to explore system function and as input data for computations

Logic networks and automata are facets of digital systems. The change of the design of logic networks from skills and art into a scientific discipline was possible by the development of the underlying mathematical theory called the Switching Theory. The fundamentals of this theory come from the attempts towards an algebraic description of laws of thoughts presented in the works by George J. Boole and the works on logic by Augustus De Morgan. As often the case in engineering, when the importance of a problem and the need for solving it reach certain limits, the solutions are searched by many scholars in different parts of the word, simultaneously or at about the same time, however, quite independently and often unaware of the work by other scholars. The formulation and rise of Switching Theory is such an example. This book presents a brief account of the developments of Switching Theory and highlights some less known facts in the history of it. The readers will find the book a fresh look into the development of the field revealing how difficult it has been to arrive at many of the concepts that we now consider obvious . Researchers in the history or philosophy of computing will find this book a valuable source of information that complements the standard presentations of the topic.

This monograph presents teaching material in the field of differential equations while addressing applications and topics in electrical and biomedical engineering primarily. The book contains problems with varying levels of difficulty, including Matlab simulations. The target audience comprises advanced undergraduate and graduate students as well as lecturers, but the book may also be beneficial for practicing engineers alike.

This edited volume is targeted at presenting the latest state-of-the-art methodologies in "Hybrid Evolutionary Algorithms." The chapters deal with the theoretical and methodological aspects, as well as various applications to many real world problems from science, technology, business or commerce. Overall, the book has 14 chapters including an introductory chapter giving the fundamental definitions and some important research challenges. The contributions were selected on the basis of fundamental ideas/concepts rather than the thoroughness of techniques deployed.

This book is intended as an introduction to fuzzy algebraic hyperstructures. As the first in its genre, it includes a number of topics, most of which reflect the authors' past research and thus provides a starting point for future research directions. The book is organized in five chapters. The first chapter introduces readers to the basic notions of algebraic structures and hyperstructures. The second covers fuzzy sets, fuzzy groups and fuzzy polygroups. The following two chapters are concerned with the theory of fuzzy Hv-structures: while the third chapter presents the concept of fuzzy Hv-subgroup of Hv-groups, the fourth covers the theory of fuzzy Hv-ideals of Hv-rings. The final chapter discusses several connections between hypergroups and fuzzy sets, and includes a study on the association between hypergroupoids and fuzzy sets endowed with two membership functions. In addition to providing a reference guide to researchers, the book is also intended as textbook for undergraduate and graduate students.

Cognitive Informatics (CI) is the science of cognitive information processing and its applications in cognitive computing. CI is a transdisciplinary enquiry of computer science, information science, cognitive science, and intelligence science that investigates into the internal information processing mechanisms and processes of the brain. Advances and engineering applications of CI have led to the emergence of cognitive computing and the development of Cognitive Computers (CCs) that reason and learn. As initiated by Yingxu Wang and his colleagues, CC has emerged and developed based on the transdisciplinary research in CI, abstract intelligence (aI), and denotational mathematics after the inauguration of the series of IEEE International Conference on Cognitive Informatics since 2002 at Univ. of Calgary, Stanford Univ., and Tsinghua Univ., etc. This volume in LNCS (subseries of Computational Intelligence), LNCI 323, edited by Y. Wang, D. Zhang, and W. Kinsner, presents the latest development in cognitive informatics and cognitive computing. The book focuses on the explanation of cognitive models of the brain, the layered reference model of the brain, the fundamental mechanisms of abstract intelligence, and the implementation of computational intelligence by autonomous inference and learning engines based on CCs.

The analysis of experimental data is at heart of science from its beginnings.
But it was the advent of digital computers that allowed the execution of highly non-linear and increasingly complex data analysis procedures - methods that were completely unfeasible before. Non-linear curve fitting, clustering and machine learning belong to these modern techniques which are a further step towards computational intelligence.

The goal of this book is to provide an interactive and illustrative guide to these topics. It concentrates on the road from two dimensional curve fitting to multidimensional clustering and machine learning with neural networks or support vector machines. Along the way topics like mathematical optimization or evolutionary algorithms are touched. All concepts and ideas are outlined in a clear cut manner with graphically depicted plausibility arguments and a little elementary mathematics. The major topics are extensively outlined with
exploratory examples and applications. The primary goal is to be as illustrative as possible without hiding problems and pitfalls but to address them. The character of an illustrative cookbook is complemented with specific sections that address more fundamental questions like the relation between machine learning and human intelligence. These sections may be skipped without affecting
the main road but they will open up possibly interesting insights beyond the mere data massage.

All topics are completely demonstrated with the aid of the commercial computing platform Mathematica and the Computational Intelligence Packages (CIP), a high-level function library developed with Mathematica's programming language on top of Mathematica's algorithms. CIP is open-source so the detailed code of every method is freely accessible. All examples and applications shown throughout the book may be used and customized by the reader without any
restrictions.

The target readerships are students of (computer) science and engineering as well as scientific practitioners in industry and academia who deserve an illustrative introduction to these topics. Readers with programming skills may easily port and customize the provided code.
"

This edited volume highlights the scientific contributions of Volker Mehrmann, a leading expert in the area of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory. These mathematical research areas are strongly related and often occur in the same real-world applications. The main areas where such applications emerge are computational engineering and sciences, but increasingly also social sciences and economics. This book also reflects some of Volker Mehrmann's major career stages. Starting out working in the areas of numerical linear algebra (his first full professorship at TU Chemnitz was in "Numerical Algebra," hence the title of the book) and matrix theory, Volker Mehrmann has made significant contributions to these areas ever since. The highlights of these are discussed in Parts I and II of the present book. Often the development of new algorithms in numerical linear algebra is motivated by problems in system and control theory. These and his later major work on differential-algebraic equations, to which he together with Peter Kunkel made many groundbreaking contributions, are the topic of the chapters in Part III. Besides providing a scientific discussion of Volker Mehrmann's work and its impact on the development of several areas of applied mathematics, the individual chapters stand on their own as reference works for selected topics in the fields of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory.

This monograph describes a new family of algorithms for the simultaneous localization and mapping (SLAM) problem in robotics, called FastSLAM. The FastSLAM-type algorithms have enabled robots to acquire maps of unprecedented size and accuracy, in a number of robot application domains and have been successfully applied in different dynamic environments, including a solution to the problem of people tracking.

This book contains the proceedings of the 17th European Conference on Mathematics for Industry, ECMI2012, held in Lund, Sweden, July 2012, at whichECMI celebrated its 25th anniversary. It covers mathematics in a wide range of applications and methods, from circuit and electromagnetic devices, environment, fibers, flow, medicine, robotics and automotive industry, further applications to methods and education.

The book includes contributions from leading figures in business, science and academiathat promote the application of mathematics to industry and emphasize industrial sectors that offer the most exciting opportunities. The contributions reinforce the role of mathematics as being a catalyst for innovation as well as an overarching resource for industry and business.

The book features an accessible presentation of real-world problems in industry and finance, provides insight and tools for engineers and scientistswho will help them to solve similar problems and offers modeling and simulation techniques that will provide mathematicians with a source of fresh ideas and inspiration."

Fifty years ago, a new approach to reaction kinetics began to emerge: one based on mathematical models of reaction kinetics, or formal reaction kinetics. Since then, there has been a rapid and accelerated development in both deterministic and stochastic kinetics, primarily because mathematicians studying differential equations and algebraic geometry have taken an interest in the nonlinear differential equations of kinetics, which are relatively simple, yet capable of depicting complex behavior such as oscillation, chaos, and pattern formation. The development of stochastic models was triggered by the fact that novel methods made it possible to measure molecules individually. Now it is high time to make the results of the last half-century available to a larger audience: students of chemistry, chemical engineering and biochemistry, not to mention applied mathematics. Based on recent papers, this book presents the most important concepts and results, together with a wealth of solved exercises. The book is accompanied by the authors' Mathematica package, ReactionKinetics, which helps both students and scholars in their everyday work, and which can be downloaded from http://extras.springer.com/ and also from the authors' websites. Further, the large set of unsolved problems provided may serve as a springboard for individual research.

Innovations in the area of Defence Support Systems are multi-disciplinary, cover a broad range of technologies, and could not possibly be covered within a single volume. This research book presents a sample of research as below: * On the Transition of Innovation and Technology in Defence * Inserting Innovations In-service * Classification of Battlefield Ground Vehicles based on the Acoustic Emissions * Convoy Movement Problem - An Optimization Perspective * Machine Vision Algorithms for Autonomous Aerial Refueling for UAVs using the USAF Refueling Boom Method * Motion Optimization Scheme for Cooperative Mobile Robots * An Automated Decision System for Landmine Detection and Classification The book is directed to the application engineers, research students, professors, decision makers and scientists & engineers working in defence and related areas.

This book reviews the algorithms for processing geometric data, with a practical focus on important techniques not covered by traditional courses on computer vision and computer graphics. Features: presents an overview of the underlying mathematical theory, covering vector spaces, metric space, affine spaces, differential geometry, and finite difference methods for derivatives and differential equations; reviews geometry representations, including polygonal meshes, splines, and subdivision surfaces; examines techniques for computing curvature from polygonal meshes; describes algorithms for mesh smoothing, mesh parametrization, and mesh optimization and simplification; discusses point location databases and convex hulls of point sets; investigates the reconstruction of triangle meshes from point clouds, including methods for registration of point clouds and surface reconstruction; provides additional material at a supplementary website; includes self-study exercises throughout the text.

This book provides a solid introduction to the foundation and the application of the finite element method in structural analysis. It offers new theoretical insight and practical advice. This second edition contains additional sections on sensitivity analysis, on retrofitting structures, on the Generalized FEM (X-FEM) and on model adaptivity. An additional chapter treats the boundary element method, and related software is available at www.winfem.de.

Variational Inequalities and Frictional Contact Problems contains a carefully selected collection of results on elliptic and evolutionary quasi-variational inequalities including existence, uniqueness, regularity, dual formulations, numerical approximations and error estimates ones. By using a wide range of methods and arguments, the results are presented in a constructive way, with clarity and well justified proofs. This approach makes the subjects accessible to mathematicians and applied mathematicians. Moreover, this part of the book can be used as an excellent background for the investigation of more general classes of variational inequalities. The abstract variational inequalities considered in this book cover the variational formulations of many static and quasi-static contact problems. Based on these abstract results, in the last part of the book, certain static and quasi-static frictional contact problems in elasticity are studied in an almost exhaustive way. The readers will find a systematic and unified exposition on classical, variational and dual formulations, existence, uniqueness and regularity results, finite element approximations and related optimal control problems. This part of the book is an update of the Signorini problem with nonlocal Coulomb friction, a problem little studied and with few results in the literature. Also, in the quasi-static case, a control problem governed by a bilateral contact problem is studied. Despite the theoretical nature of the presented results, the book provides a background for the numerical analysis of contact problems. The materials presented are accessible to both graduate/under graduate students and to researchers in applied mathematics, mechanics, and engineering. The obtained results have numerous applications in mechanics, engineering and geophysics. The book contains a good amount of original results which, in this unified form, cannot be found anywhere else.