This book systematically studies how game theory can be used to improve security in chemical industrial areas, capturing the intelligent interactions between security managers and potential adversaries. The recent unfortunate terrorist attacks on critical infrastructures show that adversaries are intelligent and strategic. Game theoretic models have been extensively used in some domains to model these strategic adversaries. However, there is a lack of such advanced models to be employed by chemical security managers. In this book, game theoretic models for protecting chemical plants as well as clusters are proposed. Different equilibrium concepts are explored, with user-friendly explanation of how to reflect them to realistic cases. Based on efficient analysis of the properties of security issues in chemical plants/clusters, models in this book are capable to support resources allocations, cost-effectiveness analysis, cooperation incentives and alike.

The field and topic of optimization is not only a very hot topic now, it is morphing into new approaches. Presents a very contemporary approach. Appeal to mathematicians, yet will also find use in computer science and engineering, especially in operations research. Practical approach presents a framework to be used by students and professionals alike to tackle models needed for various applications and solutions.

Thisbook introduces the reader the theory of nonlinear inclusions and hemivariational inequalities with emphasison the study of contact mechanics. The work covers both abstract results in thearea of nonlinear inclusions, hemivariational inequalities as well as the study of specific contact problems, including their modelling and their variational analysis. Provided results are based on original research on the existence, uniqueness, regularity and behavior of the solution for various classes of nonlinear stationary and evolutionary inclusions. In carrying out the variational analysis of various contact models, onesystematically uses results of hemivariational inequalities and, in this way, illustrates the applications of nonlinear analysis in contact mechanics. New mathematical methods are introduced and applied in the study of nonlinear problems, which describe the contact between a deformable body and a foundation. Contact problems arise in industry, engineering and geophysics. Their variational analysis presented in this book lies the background for their numerical analysis. This volume will interest mathematicians, applied mathematicians, engineers, and scientists as well as advanced graduate students."

This book shows how neural networks are applied to computational mechanics. Part I presents the fundamentals of neural networks and other machine learning method in computational mechanics. Part II highlights the applications of neural networks to a variety of problems of computational mechanics. The final chapter gives perspectives to the applications of the deep learning to computational mechanics.

This is a monograph on fixed point theory, covering the purely metric aspects of the theory-particularly results that do not depend on any algebraic structure of the underlying space. Traditionally, a large body of metric fixed point theory has been couched in a functional analytic framework. This aspect of the theory has been written about extensively. There are four classical fixed point theorems against which metric extensions are usually checked. These are, respectively, the Banach contraction mapping principal, Nadler's well known set-valued extension of that theorem, the extension of Banach's theorem to nonexpansive mappings, and Caristi's theorem. These comparisons form a significant component of this book. This book is divided into three parts. Part I contains some aspects of the purely metric theory, especially Caristi's theorem and a few of its many extensions. There is also a discussion of nonexpansive mappings, viewed in the context of logical foundations. Part I also contains certain results in hyperconvex metric spaces and ultrametric spaces. Part II treats fixed point theory in classes of spaces which, in addition to having a metric structure, also have geometric structure. These specifically include the geodesic spaces, length spaces and CAT(0) spaces. Part III focuses on distance spaces that are not necessarily metric. These include certain distance spaces which lie strictly between the class of semimetric spaces and the class of metric spaces, in that they satisfy relaxed versions of the triangle inequality, as well as other spaces whose distance properties do not fully satisfy the metric axioms.

Optimization, simulation and control play an increasingly important role in science and industry. Because of their numerous applications in various disciplines, research in these areas is accelerating at a rapid pace.

This volume brings together the latest developments in these areas of research as well as presents applications of these results to a wide range of real-world problems. The book is composed of invited contributions by experts from around the world who work to develop and apply new optimization, simulation and control techniques either at a theoretical level or in practice. Some key topics presented include: equilibrium problems, multi-objective optimization, variational inequalities, stochastic processes, numerical analysis, optimization in signal processing, and various other interdisciplinary applications.

This volume can serve as a useful resource for researchers, practitioners, and advanced graduate students of mathematics and engineering working in research areas where results in optimization, simulation and control can be applied.

This book brings to bear a body of logic synthesis techniques, in order to contribute to the analysis and control of Boolean Networks (BN) for modeling genetic diseases such as cancer. The authors provide several VLSI logic techniques to model the genetic disease behavior as a BN, with powerful implicit enumeration techniques. Coverage also includes techniques from VLSI testing to control a faulty BN, transforming its behavior to a healthy BN, potentially aiding in efforts to find the best candidates for treatment of genetic diseases.

The subject of fractional calculus and its applications (that is, convolution-type pseudo-differential operators including integrals and derivatives of any arbitrary real or complex order) has gained considerable popularity and importance during the past three decades or so, mainly due to its applications in diverse fields of science and engineering. These operators have been used to model problems with anomalous dynamics, however, they also are an effective tool as filters and controllers, and they can be applied to write complicated functions in terms of fractional integrals or derivatives of elementary functions, and so on.This book will give readers the possibility of finding very important mathematical tools for working with fractional models and solving fractional differential equations, such as a generalization of Stirling numbers in the framework of fractional calculus and a set of efficient numerical methods. Moreover, we will introduce some applied topics, in particular fractional variational methods which are used in physics, engineering or economics. We will also discuss the relationship between semi-Markov continuous-time random walks and the space-time fractional diffusion equation, which generalizes the usual theory relating random walks to the diffusion equation. These methods can be applied in finance, to model tick-by-tick (log)-price fluctuations, in insurance theory, to study ruin, as well as in macroeconomics as prototypical growth models.All these topics are complementary to what is dealt with in existing books on fractional calculus and its applications. This book was written with a trade-off in mind between full mathematical rigor and the needs of readers coming from different applied areas of science and engineering. In particular, the numerical methods listed in the book are presented in a readily accessible way that immediately allows the readers to implement them on a computer in a programming language of their choice. Numerical code is also provided.

This monograph presents a synopsis of fluid dynamics based on the personal scientific experience of the author who has contributed immensely to the field. The interested reader will also benefit from the general historical context in which the material is presented in the book. The book covers a wide range of relevant topics of the field, and the main tool being rational asymptotic modelling (RAM) approach. The target audience primarily comprises experts in the field of fluid dynamics, but the book may also be beneficial for graduate students.

An intelligent agent interacting with the real world will encounter individual people, courses, test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of these individuals and relations among them as well as cope with uncertainty. Uncertainty has been studied in probability theory and graphical models, and relations have been studied in logic, in particular in the predicate calculus and its extensions. This book examines the foundations of combining logic and probability into what are called relational probabilistic models. It introduces representations, inference, and learning techniques for probability, logic, and their combinations. The book focuses on two representations in detail: Markov logic networks, a relational extension of undirected graphical models and weighted first-order predicate calculus formula, and Problog, a probabilistic extension of logic programs that can also be viewed as a Turing-complete relational extension of Bayesian networks.

In this volume, I have collected several papers which were presented at the international conference called "Venice-2/Symposium on Applied and In dustrial Mathematics." Such a conference was held in Venice, Italy, between June 11 and 16,1998, and was intended as the follow-up of the very successful similar event (called "Venice-1/Symposium on Applied and Industrial Math ematics"), that was also organized in Venice in October 1989. The Venice-1 conference ended up with a Kluwer volume like this one. I am grateful to Kluwer for having accepted to publish the present volume, the aim of which is to update somehow the state-of-the-art in the field of Ap plied Mathematics as well as in that of the nowadays rather more developed area of Industrial Mathematics. The most of the invited (key-note) speakers contributed to this volume with a paper related to their talk. There are, in addition., a few significant contributed papers, selected on the basis of their quality and relevance to the present-time research activities. The topics considered in the conference range from rather general sub jects in applied and numerical analysis, to more specialized subjects such as polymers and disordered media, granular flow, semiconductor mathematics, superconductors, elasticity, tomography and other inverse problems, financial modeling, photographic sciences, etc. The papers collected in this volume provide a selection of them. It is clear from the previous list that some attention has been paid to relatively new and emerging fields."

This contributed volume contains the research results of the priority programme (PP) 1480 "Modelling, Simulation and Compensation of Thermal Effects for Complex Machining Processes", funded by the German Research Society (DFG). The topical focus of this programme is the simulation-based prediction and compensation of thermally induced workpiece deviations and subsurface damage effects. The approach to the topic is genuinely interdisciplinary, covering all relevant machining operations such as turning, milling, drilling and grinding. The target audience primarily comprises research experts and practitioners in the field of production engineering, but the book may also be beneficial for graduate students.

Discusses effluent discharges into various ambient waters and predictive tools for design and regulatory purposes. Emphasis placed on numerical modeling and simulations, rather than general examples. Provides real technical solutions and tools for minimizing the impact on coasts and other water bodies. Covers the fundamentals in predicting the mixing of effluents resulting from desalination plants. Includes an introduction to OpenFOAM and its applications.

More mathematicians have been taking part in the development of digital image processing as a science and the contributions are reflected in the increasingly important role modeling has played solving complex problems. This book is mostly concerned with energy-based models. Through concrete image analysis problems, the author develops consistent modeling, a know-how generally hidden in the proposed solutions. The book is divided into three main parts. The first two parts describe the materials necessary to the models expressed in the third part. These materials include splines (variational approach, regression spline, spline in high dimension), and random fields (Markovian field, parametric estimation, stochastic and deterministic optimization, continuous Gaussian field). Most of these models come from industrial projects in which the author was involved in robot vision and radiography: tracking 3D lines, radiographic image processing, 3D reconstruction and tomography, matching, deformation learning. Numerous graphical illustrations accompany the text showing the performance of the proposed models. This book will be useful to researchers and graduate students in applied mathematics, computer vision, and physics.

First published in 1967, this book explores the theme of geographical generalization, or model building. It is composed of eight of the chapters from the original Models in Geography, published in 1967. The first chapter broadly outlines geographical generalization and examines the nature and function of generalized statements, ranging from conceptual models to scale models, in a geographical context. The following chapter deals with model theory in a wider scientific framework and the rest of the book discusses models of physical systems and information models. The book considers model-type generalizations that are applied in the three fields of geomorphology, meteorology and climatology, and hydrology before focusing on the transference of information and ideas in geography. This text represents a robustly anti-idiographic statement of modern work in one of the major branches of geography.

In science, engineering and economics, decision problems are frequently modelled by optimizing the value of a (primary) objective function under stated feasibility constraints. In many cases of practical relevance, the optimization problem structure does not warrant the global optimality of local solutions; hence, it is natural to search for the globally best solution(s). Global Optimization in Action provides a comprehensive discussion of adaptive partition strategies to solve global optimization problems under very general structural requirements. A unified approach to numerous known algorithms makes possible straightforward generalizations and extensions, leading to efficient computer-based implementations. A considerable part of the book is devoted to applications, including some generic problems from numerical analysis, and several case studies in environmental systems analysis and management. The book is essentially self-contained and is based on the author's research, in cooperation (on applications) with a number of colleagues. Audience: Professors, students, researchers and other professionals in the fields of operations research, management science, industrial and applied mathematics, computer science, engineering, economics and the environmental sciences.

This book features articles written by some of the most prominent leading applied mathematicians as well as young and promising ones. The common objective of these articles is to present an important issue which is currently widely discussed in scientific investigation with major human, economic or ecological implications. Each article is as deep as an expert lecture but is also self-contained, so that even isolated scientists with limited resources can profit greatly from it.

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.

Many scientific and real-world problems that occur in science, engineering, and medicine can be represented in differential equations. There is a vital role for differential equations in studying the behavior of different types of real-world problems. Thus, it becomes crucial to know the existence uniqueness properties of differential equations and various methods of finding differential equation solutions in explicit form. It is also essential to know different kinds of differential equations in terms of eigenvalues, termed eigenvalue problems, and some special functions used in finding the solution to differential equations. The study of nonlinear problems also plays a significant role in different real-world situations. There is a necessity to know the behavior of solutions of nonlinear differential equations. Still, there are very few forms of differential equations whose solution can be found in explicit form. For the differential equations whose solutions cannot be found in explicit form, one has to study the properties of solutions of the given differential equation to guess an approximate solution of it. This book aims to introduce all the necessary topics of differential equations in one book so that laymen can easily understand the subject and apply it in their research areas. The novel approach used in this book is that I have introduced different analytical methods for finding the solution of differential equations with sufficient theorems, corollaries, and examples, and the geometrical interpretations in each topic. This textbook is intended to study the theory and methods of finding the explicit solutions to differential equations, wherever possible, and in the absence of finding explicit solutions. It is intended to study the properties of solutions to the given differential equations. This book is based on syllabi of the theory of differential equations prescribed for postgraduate students of mathematics and applied mathematics in different institutions and universities of India and abroad. This book will be helpful for competitive examinations as well.

This book provides readers with a detailed insight into diverse and exciting recent developments in computational solid mechanics, documenting new perspectives and horizons. The topics addressed cover a wide range of current research, from computational materials modeling, including crystal plasticity, micro-structured materials, and biomaterials, to multi-scale simulations of multi-physics phenomena. Particular emphasis is placed on pioneering discretization methods for the solution of coupled non-linear problems at different length scales. The book, written by leading experts, reflects the remarkable advances that have been made in the field over the past decade and more, largely due to the development of a sound mathematical background and efficient computational strategies. The contents build upon the 2014 IUTAM symposium celebrating the 60th birthday of Professor Michael Ortiz, to whom this book is dedicated. His work has long been recognized as pioneering and is a continuing source of inspiration for many researchers. It is hoped that by providing a "taste" of the field of computational mechanics, the book will promote its popularity among the mechanics and physics communities.

Amid recent interest in Clifford algebra for dual quaternions as a more suitable method for Computer Graphics than standard matrix algebra, this book presents dual quaternions and their associated Clifford algebras in a new light, accessible to and geared towards the Computer Graphics community. Collating all the associated formulas and theorems in one place, this book provides an extensive and rigorous treatment of dual quaternions, as well as showing how two models of Clifford algebras emerge naturally from the theory of dual quaternions. Each chapter comes complete with a set of exercises to help readers sharpen and practice their knowledge. This book is accessible to anyone with a basic knowledge of quaternion algebra and is of particular use to forward-thinking members of the Computer Graphics community. .

This book is devoted to studies of unsteady heat and mass exchange processes taking into account thermochemical destruction of thermal protective materials, research of transpiration cooling systems, thermal protection of composite materials exposed to low-energy disturbances, as well as the numerical solution of heat and mass transfer of the exchange. It proposes several mathematical models of passive and active thermal protection systems with regard to factors such as surface ablation, surface roughness, phase transition of a liquid in porous materials, rotation of the body around its longitudinal axis, and exposure to low-energy disturbances. The author studies the possibilities to control thermochemical destruction and heat mass exchange processes in transpiration cooling systems exposed to low-energy disturbances. The numerical analysis of the heat and mass exchange process in carbon plastics under repeated impulse action is also presented. The numerical solutions of problems are compared with the known experimental data. The book is intended for specialists in the field of thermal protection and heat mass exchange, as well as graduate and undergraduates in physics and mathematics.

This book on PDE Constrained Optimization contains contributions on the mathematical analysis and numerical solution of constrained optimal control and optimization problems where a partial differential equation (PDE) or a system of PDEs appears as an essential part of the constraints. The appropriate treatment of such problems requires a fundamental understanding of the subtle interplay between optimization in function spaces and numerical discretization techniques and relies on advanced methodologies from the theory of PDEs and numerical analysis as well as scientific computing. The contributions reflect the work of the European Science Foundation Networking Programme 'Optimization with PDEs' (OPTPDE).

This book introduces the theory of stochastic processes with applications taken from physics and finance. Fundamental concepts like the random walk or Brownian motion but also Levy-stable distributions are discussed. Applications are selected to show the interdisciplinary character of the concepts and methods. In the second edition of the book a discussion of extreme events ranging from their mathematical definition to their importance for financial crashes was included. The exposition of basic notions of probability theory and the Brownian motion problem as well as the relation between conservative diffusion processes and quantum mechanics is expanded. The second edition also enlarges the treatment of financial markets. Beyond a presentation of geometric Brownian motion and the Black-Scholes approach to option pricing as well as the econophysics analysis of the stylized facts of financial markets, an introduction to agent based modeling approaches is given.

ThisvolumecelebratestheeightiethbirthdayofJosephB. Keller. The authors who contributed to this volume belong to what can be called the "Keller school of applied mathematics. " They are former students, postdoctoral fellows and visiting scientists who have collaborated with Joe (some of them still do) during his long career. They all look at Joe as their ultimate (role) model. JoeKeller'sdistinguishedcareerhasbeendividedbetweentheCourant Institute of Mathematical Sciences at New York University, where he received all his degrees (his PhD adviser being the great R. Courant himself) and served as a professor for 30 years, and Stanford University, where he has been since 1978. The appended photos highlight some scenes from the old days. Those who know Joe Keller's work have been always amazed by its diversity and breadth. It is considered a well-known truth that there is not a single important area in applied mathematics or physics which Keller did not contribute to. This can be appreciated, for example, by glancing through his list of publication included in this volume. App- priately, the papers in this book, written with Joe's inspiration, cover a variety of application areas; together they span the broad subject of mathematical modeling. The models discussed in the book describe the behavior of various systems such as those related to ?nance, waves, - croorganisms, shocks, DNA, ?ames, contact, optics, ?uids, bubbles and jets. Joe's activity includes many more areas, which unfortunately are not represented here.