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.

This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work. Highlighting the transition in Parikh's interest from formal languages to natural languages, and how he approached Wittgenstein's philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer's book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as well as logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work.This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching "Parikh-land". The book presents a brochure-like overview of Parikh-land before providing an "introductory video" on the sights and sounds that you experience when reading the book.

Falling Liquid Films gives a detailed review of state-of-the-art theoretical, analytical and numerical methodologies, for the analysis of dissipative wave dynamics and pattern formation on the surface of a film falling down a planar inclined substrate. This prototype is an open-flow hydrodynamic instability, that represents an excellent paradigm for the study of complexity in active nonlinear media with energy supply, dissipation and dispersion. It will also be of use for a more general understanding of specific events characterizing the transition to spatio-temporal chaos and weak/dissipative turbulence. Particular emphasis is given to low- dimensional approximations for such flows through a hierarchy of modeling approaches, including equations of the boundary-layer type, averaged formulations based on weighted residuals approaches and long-wave expansions. Whenever possible the link between theory and experiment is illustrated, and, as a further bridge between the two, the development of order-of-magnitude estimates and scaling arguments is used to facilitate the understanding of basic, underlying physics. This monograph will appeal to advanced graduate students in applied mathematics, science or engineering undertaking research on interfacial fluid mechanics or studying fluid mechanics as part of their program. It will also be of use to researchers working on both applied, fundamental theoretical and experimental aspects of thin film flows, as well as engineers and technologists dealing with processes involving isothermal or heated films. This monograph is largely self-contained and no background on interfacial fluid mechanics is assumed.

Model reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees of freedom become one with fewer? How can a reversible micro-description be adapted to the dissipative macroscopic model? These crucial questions, as well as many other related problems, are discussed in this book. All contributions are by experts whose specialities span a wide range of fields within science and engineering.

This textbook is written for senior undergraduate and graduate students as well as engineers who will develop or use code in the simulation of fluid flows or other physical phenomena. The objective of the book is to give the reader the basis for understanding the way numerical schemes achieve accurate and stable simulations of physical phenomena. It is based on the finite-difference method and simple enough problems that allow also the analytic solutions to be worked out. ODEs as well as hyperbolic, parabolic and elliptic types are treated. The reader also will find a chapter on the techniques of linearization of nonlinear problems. The final chapter applies the material to the equations of gas dynamics. The book builds on simple model equations and, pedagogically, on a host of problems given together with their solutions.

In this work, outstanding, recent developments in various disciplines, such as structural dynamics, multiphysic mechanics, computational mathematics, control theory, biomechanics, and computer science, are merged together in order to provide academicians and professionals with methods and tools for the virtual prototyping of complex mechanical systems. Each chapter of the work represents an important contribution to multibody dynamics, a discipline that plays a central role in the modelling, analysis, simulation and optimization of mechanical systems in a variety of fields and for a wide range of applications.

A large 2008 ISECS International Colloquium on Computing, Communication, Control, and Management (CCCM 2008), was held in Guangzhou, August 2008, China. Just like the name of the Colloquium, the theme for this conference is Advancing Computing, Communication, Control, and Management Technologies. 2008 ISECS International Colloquium on Computing, Communication, Control, and Management is co-sponsored by Guangdong University of Business Studies, China, Peoples' Friendship University of Russia, Russia, Central South University, China, Southwestern University of Finance & Economics, China, and University of Amsterdam, Netherlands. It is also co-sponsored IEEE Technology Management Council, IEEE Computer Society, and Intelligent Information Technology Application Research Institute. Much work went into preparing a program of high quality. We received about 972 submissions. Every paper was reviewed by 3 program committee members, about 382 were selected as regular papers, representing a 39% acceptance rate for regular papers. The CCCM conferences serve as good platforms for the engineering community to meet with each other and to exchange ideas. The conference has also stroke a balance between theoretical and application development. The conference committees have been formed with over two hundred committee members who are mainly research center heads, faculty deans, department heads, professors, and research scientists from over 30 countries. The conferences are truly international meetings with a high level of participation from many countries. The response that we have received for the congress is excellent. This volume contains revised and extended research articles written by prominent researchers participating in the conference.

The theory of random processes is an integral part of the analysis and synthesis of complex engineering systems. This textbook systematically presents the fundamentals of statistical dynamics and reliability theory. The theory of Markovian processes used during the analysis of random dynamic processes in mechanical systems is described in detail. Examples are machines, instruments and structures loaded with perturbations. The reliability and lifetime of those objects depend on how properly these perturbations are taken into account. Random vibrations with finite and infinite numbers of degrees of freedom are analyzed as well as the theory and numerical methods of non-stationary processes under the conditions of statistical indeterminacy. This textbook is addressed to students and post-graduates of technical universities. It can also be useful to lecturers and mechanical engineers, including designers in different industries.

Mathematically, natural disasters of all types are characterized by heavy tailed distributions. The analysis of such distributions with common methods, such as averages and dispersions, can therefore lead to erroneous conclusions. The statistical methods described in this book avoid such pitfalls. Seismic disasters are studied, primarily thanks to the availability of an ample statistical database. New approaches are presented to seismic risk estimation and forecasting the damage caused by earthquakes, ranging from typical, moderate events to very rare, extreme disasters. Analysis of these latter events is based on the limit theorems of probability and the duality of the generalized Pareto distribution and generalized extreme value distribution. It is shown that the parameter most widely used to estimate seismic risk - Mmax, the maximum possible earthquake value - is potentially non-robust. Robust analogues of this parameter are suggested and calculated for some seismic catalogues. Trends in the costs inferred by damage from natural disasters as related to changing social and economic situations are examined for different regions.

The results obtained argue for sustainable development, whereas entirely different, incorrect conclusions can be drawn if the specific properties of the heavy-tailed distribution and change in completeness of data on natural hazards are neglected.

This pioneering work is directed at risk assessment specialists in general, seismologists, administrators and all those interested in natural disasters and their impact on society.

The past decades have seen significant improvements in 3D imaging where the related techniques and technologies have advanced to a mature state. These exciting developments have sparked increasing interest in the challenges and opportunities afforded by 3D sensing. As a consequence, the emerging area of safety and security related imaging incorporates these important new technologies beyond the limitations of 2D image processing.This book presents the thoroughly revised versions of lectures given by leading researchers during the Workshop on Advanced 3D Imaging for Safety and Security in conjunction with the International Conference on Computer Vision and Pattern Recognition CVPR 2005, held in San Diego, CA, USA in June 2005.It covers the current state of the art in 3D imaging for safety and security.

Evolutionary algorithms are sophisticated search methods that have been found to be very efficient and effective in solving complex real-world multi-objective problems where conventional optimization tools fail to work well. Despite the tremendous amount of work done in the development of these algorithms in the past decade, many researchers assume that the optimization problems are deterministic and uncertainties are rarely examined.

The primary motivation of this book is to provide a comprehensive introduction on the design and application of evolutionary algorithms for multi-objective optimization in the presence of uncertainties. In this book, we hope to expose the readers to a range of optimization issues and concepts, and to encourage a greater degree of appreciation of evolutionary computation techniques and the exploration of new ideas that can better handle uncertainties. "Evolutionary Multi-Objective Optimization in Uncertain Environments: Issues and Algorithms" is intended for a wide readership and will be a valuable reference for engineers, researchers, senior undergraduates and graduate students who are interested in the areas of evolutionary multi-objective optimization and uncertainties.

The subject of Computational Contact Mechanics has many facets. Its main impact lies in the transfer of knowledge form theoretical research to applied sciences, and from there to industry. The application fields are literally countless, ranging from classical engineering to biomechanics and nano-sciences. The remarkable increase of computer power in recent years has been instrumental in enabling the development of simulation-based analysis in current design activity. This still involves tremendous effort in research, which focuses on, for example, multi-field and multi-scale problems, algorithmic robustness, and geometrical accuracy. Moreover, several aspects of Contact Mechanics, Debonding and Fracture Mechanics, have been combined to offer new enhanced possibilities to the computer simulation of complex phenomena. With these contributions of prominent scientists, this book offers a wide overview on the ongoing research at the highest level in the field.

In a unified and carefully developed presentation, this book systematically examines recent developments in VRP. The book focuses on a portfolio of significant technical advances that have evolved over the past few years for modeling and solving vehicle routing problems and VRP variations. Reflecting the most recent scholarship, this book is written by one of the top research scholars in Vehicle Routing and is one of the most important books in VRP to be published in recent times.

Programming Finite Elements in Java (TM) teaches the reader how to programme the algorithms of the finite element method (FEM) in Java (TM). The compact, simple code helps the student to read the algorithms, to understand them and thus to be able to refine them. All of the main aspects of finite element techniques are considered: finite element solution; generation of finite element meshes; and visualization of finite element models and results with Java 3D (TM). The step-by-step presentation includes algorithm programming and code explanation at each point. Problems and exercises are provided for each chapter, with Java (TM) source code and problem data sets available from http://extras.springer.com/2010/978-1-84882-971-8.

This book gathers high-quality papers presented at the 2nd International Conference on Communication, Devices & Computing (ICCDC 2019), held at Haldia Institute of Technology from March 14-15, 2019. The papers are divided into three main areas: communication technologies, electronics circuits & devices and computing. Written by students and researchers from around the world, they accurately reflect the global status quo.

This book presents the state-of-the-art in social simulation as presented at the Social Simulation Conference 2018 in Stockholm, Sweden. It covers the developments in applications and methods of social simulation, addressing societal issues such as socio-ecological systems and policy making. Methodological issues discussed include large-scale empirical calibration, model sharing and interdisciplinary research, as well as decision making models, validation and the use of qualitative data in simulation modeling. Research areas covered include archaeology, cognitive science, economics, organization science, and social simulation education. This collection gives readers insight into the increasing use of social simulation in both its theoretical development and in practical applications such as policy making whereby modelling and the behavior of complex systems is key. The book will appeal to students, researchers and professionals in the various fields.

Over the past decade a new approach has been introduced to the theory of systems representations. Introduced by Jan C. Willems, it is called the "behavioural" approach. One of its main features is that it is well suited for modelling interconnections of systems. In this book, the author develops representation theory from a behavioural point of view and focuses on various types of ("generalized state space") first-order representations that commonly arise in the process of modelling. It covers minimality, derives transformation groups and offers realization methods that lead directly to minimal realizations. The book further presents generalized notions of controllability indices and observability indices and gives methods to calculate these indices. The book includes a procedure to derive a standard state space description from a general first-order representation. It fortifies the reader's understanding with basic examples from electrical networks and mechanics. Mathematicians and control engineers doing research on systems that are linear, time-invariant, deterministic, and finite dimensional should find this book a firm basis for understanding both the theory and applications of this behavioural approach.

This volume contains refereed papers submitted by international experts who participated in the Atmospheric Modeling workshop March 15 -19, 2000 at the Institute for Mathematics and Its Applications (IMA) at the University of Minnesota. The papers cover a wide range of topics presented in the workshop. In particular, mathematical topics include a performance comparison of operator-splitting and non- splitting methods, time-stepping methods to preserve positivity and consideration of multiple timescale issues in the modeling of atmospheric chemistry, a fully 3D adaptive-grid method, impact of rid resolution on model predictions, testing the robustness of different flow fields, modeling and numerical methods in four-dimensional variational data assimilation, and parallel computing. Modeling topics include the development of an efficient self-contained global circulation-chemistry-transport model and its applications, the development of a modal aerosol model, and the modeling of the emissions and chemistry of monoterpenes that lead to the formation of secondary organic aerosols. The volume provides an excellent cross section of current research activities in atmospheric modeling.

This book discusses the ways in which mathematical, computational, and modelling methods can be used to help understand the dynamics of intracellular calcium. The concentration of free intracellular calcium is vital for controlling a wide range of cellular processes, and is thus of great physiological importance. However, because of the complex ways in which the calcium concentration varies, it is also of great mathematical interest.This book presents the general modelling theory as well as a large number of specific case examples, to show how mathematical modelling can interact with experimental approaches, in an interdisciplinary and multifaceted approach to the study of an important physiological control mechanism. Genevieve Dupont is FNRS Research Director at the Unit of Theoretical Chronobiology of the Universite Libre de Bruxelles; Martin Falcke is head of the Mathematical Cell Physiology group at the Max Delbruck Center for Molecular Medicine, Berlin; Vivien Kirk is an Associate Professor in the Department of Mathematics at the University of Auckland, New Zealand; James Sneyd is a Professor in the Department of Mathematics at The University of Auckland, New Zealand.

This volume contains thirteen articles on advances in applied mathematics and computing methods for engineering problems. Six papers are on optimization methods and algorithms with emphasis on problems with multiple criteria; four articles are on numerical methods for applied problems modeled with nonlinear PDEs; two contributions are on abstract estimates for error analysis; finally one paper deals with rare events in the context of uncertainty quantification. Applications include aerospace, glaciology and nonlinear elasticity.

Hereinis a selection of contributions from speakers at two conferences on applied mathematics held in June 2012 at the University of Jyvaskyla, Finland. The first conference, Optimization and PDEs with Industrial Applications celebrated the seventieth birthday of Professor Jacques Periaux of theUniversity of Jyvaskyla and Polytechnic University of Catalonia (Barcelona Tech) and the second conference, Optimization and PDEs with Applications celebrated the seventy-fifth birthday of Professor Roland Glowinski of the University of Houston.

This work should be of interest to researchers and practitioners as well as advanced students or engineers in computational and applied mathematics or mechanics."

This new adaptation of Arfken and Weber's bestselling Mathematical Methods for Physicists, Fifth Edition, is the most comprehensive, modern, and accessible reference for using mathematics to solve physics problems.
REVIEWERS SAY: "Examples are excellent. They cover a wide range of physics problems." - Bing Zhou, University of Michigan
"The ideas are communicated very well and it is easy to understand...It has a more modern treatment than most, has a very complete range of topics and each is treated in sufficient detail....I'm not aware of another better book at this level..." -Gary Wysin, Kansas State University
* This is a more accessible version of Arken/Weber's blockbuster reference, which already has more than 13,000 sales worldwide
* Many more detailed, worked-out examples illustrate how to use and apply mathematical techniques to solve physics problems
* More frequent and thorough explanations help readers understand, recall, and apply the theory
* New introductions and review material provide context and extra support for key ideas
* Many more routine problems reinforce basic, foundational concepts and computations

The topology optimization method solves the basic engineering problem of distributing a limited amount of material in a design space. The first edition of this book has become the standard text on optimal design, which is concerned with the optimization of structural topology, shape and material. This edition has been substantially revised and updated to reflect progress made in modelling and computational procedures. It also encompasses a comprehensive and unified description of the state of the art of the so-called material distribution method, based on the use of mathematical programming and finite elements. Applications treated include not only structures but also MEMS and materials.

Data assimilation is the combination of information from observations and models of a particular physical system in order to get the best possible estimate of the state of that system. The technique has wide applications across a range of earth sciences, a major application being the production of operational weather forecasts. Others include oceanography, atmospheric chemistry, climate studies, and hydrology.
Data Assimilation for the Earth System is a comprehensive survey of both the theory of data assimilation and its application in a range of earth system sciences. Data assimilation is a key technique in the analysis of remote sensing observations and is thus particularly useful for those analysing the wealth of measurements from recent research satellites.
This book is suitable for postgraduate students and those working on the application of data assimilation in meteorology, oceanography and other earth sciences.

This 4-th edition of the leading reference volume on distance metrics is characterized by updated and rewritten sections on some items suggested by experts and readers, as well a general streamlining of content and the addition of essential new topics. Though the structure remains unchanged, the new edition also explores recent advances in the use of distances and metrics for e.g. generalized distances, probability theory, graph theory, coding theory, data analysis. New topics in the purely mathematical sections include e.g. the Vitanyi multiset-metric, algebraic point-conic distance, triangular ratio metric, Rossi-Hamming metric, Taneja distance, spectral semimetric between graphs, channel metrization, and Maryland bridge distance. The multidisciplinary sections have also been supplemented with new topics, including: dynamic time wrapping distance, memory distance, allometry, atmospheric depth, elliptic orbit distance, VLBI distance measurements, the astronomical system of units, and walkability distance. Leaving aside the practical questions that arise during the selection of a 'good' distance function, this work focuses on providing the research community with an invaluable comprehensive listing of the main available distances. As well as providing standalone introductions and definitions, the encyclopedia facilitates swift cross-referencing with easily navigable bold-faced textual links to core entries. In addition to distances themselves, the authors have collated numerous fascinating curiosities in their Who's Who of metrics, including distance-related notions and paradigms that enable applied mathematicians in other sectors to deploy research tools that non-specialists justly view as arcane. In expanding access to these techniques, and in many cases enriching the context of distances themselves, this peerless volume is certain to stimulate fresh research.

Recent years have seen the widespread application of Natural Computing algorithms (broadly defined in this context as computer algorithms whose design draws inspiration from phenomena in the natural world) for the purposes of financial modelling and optimisation. A related stream of work has also seen the application of learning mechanisms drawn from Natural Computing algorithms for the purposes of agent-based modelling in finance and economics. In this book we have collected a series of chapters which illustrate these two faces of Natural Computing. The first part of the book illustrates how algorithms inspired by the natural world can be used as problem solvers to uncover and optimise financial models. The second part of the book examines a number agent-based simulations of financial systems.

This book follows on from Natural Computing in Computational Finance (Volume 100 in Springer's Studies in Computational Intelligence series) which in turn arose from the success of EvoFIN 2007, the very first European Workshop on Evolutionary Computation in Finance & Economics held in Valencia, Spain in April 2007.