Real-life problems are often quite complicated in form and nature and, for centuries, many different mathematical concepts, ideas and tools have been developed to formulate these problems theoretically and then to solve them either exactly or approximately.

This book aims to gather a collection of papers dealing with several different problems arising from many disciplines and some modern mathematical approaches to handle them. In this respect, the book offers a wide overview on many of the current trends in Mathematics as valuable formal techniques in capturing and exploiting the complexity involved in real-world situations.

Several researchers, colleagues, friends and students of Professor Maria Luisa Menendez have contributed to this volume to pay tribute to her and to recognize the diverse contributions she had made to the fields of Mathematics and Statistics and to the profession in general. She had a sweet and strong personality, and instilled great values and work ethics in her students through her dedication to teaching and research. Even though the academic community lost her prematurely, she would continue to provide inspiration to many students and researchers worldwide through her published work."

This contributed volume offers a collection of papers presented at the 2016 Network Games, Control, and Optimization conference (NETGCOOP), held at the University of Avignon in France, November 23-25, 2016. These papers highlight the increasing importance of network control and optimization in many networking application domains, such as mobile and fixed access networks, computer networks, social networks, transportation networks, and, more recently, electricity grids and biological networks. Covering a wide variety of both theoretical and applied topics in the areas listed above, the authors explore several conceptual and algorithmic tools that are needed for efficient and robust control operation, performance optimization, and better understanding the relationships between entities that may be acting cooperatively or selfishly in uncertain and possibly adversarial environments. As such, this volume will be of interest to applied mathematicians, computer scientists, engineers, and researchers in other related fields.

Mathematics in Medicine and the Life Sciences grew from lectures given by the authors at New York University, the University of Utah, and Michigan State University. The material is written for students who have had but one term of calculus, but it contains material that can be used in modeling courses in applied mathematics at all levels through early graduate courses. Numerous exercises are given as well, and solutions to selected exercises are included. Numerous illustrations depict physiological processes, population biology phenomena, models of them, and the results of computer simulations. Mathematical models and methods are becoming increasingly important in medicine and the life sciences. This book provides an introduction to a wide diversity of problems ranging from population phenomena to demographics, genetics, epidemics and dispersal; in physiological processes, including the circulation, gas exchange in the lungs, control of cell volume, the renal counter-current multiplier mechanism, and muscle mechanics; to mechanisms of neural control. Each chapter is graded in difficulty, so a reading of the first parts of each provides an elementary introduction to the processes and their models. Materials that deal with the same topics but in greater depth are included later. Finally, exercises and some solutions are given to test the reader on important parts of the material in teh text, or to lead the reader to the discovery of interesting extensions of that material.

This book presents recent research on Advanced Computing in Industrial Mathematics, which is one of the most prominent interdisciplinary areas, bringing together mathematics, computer science, scientific computations, engineering, physics, chemistry, medicine, etc. Further, the book presents the major tools used in Industrial Mathematics, which are based on mathematical models, and the corresponding computer codes, which are used to perform virtual experiments to obtain new data or to better understand previous experimental findings. The book gathers the peer-reviewed papers presented at the 11th Annual Meeting of the Bulgarian Section of SIAM (BGSIAM), from December 20 to 22, 2016 in Sofia, Bulgaria.

The book gives a comprehensive overview of modern non-life actuarial science. It starts with a verbal description (i.e. without using mathematical formulae) of the main actuarial problems to be solved in non-life practice. Then in an extensive second chapter all the mathematical tools needed to solve these problems are dealt with - now in mathematical notation. The rest of the book is devoted to the exact formulation of various problems and their possible solutions. Being a good mixture of practical problems and their actuarial solutions, the book addresses above all two types of readers: firstly students (of mathematics, probability and statistics, informatics, economics) having some mathematical knowledge, and secondly insurance practitioners who remember mathematics only from some distance. Prerequisites are basic calculus and probability theory.

In recent years, new mathematical methods and tools have been developed and - plied extensively in the ?eld of aerospace engineering, for example, ?nite element method, computational ?uiddynamics, optimization, control, eigenvalues problems. The interaction between aerospace engineering and mathematics has been sign- cant in the past for both engineers and mathematicians and will be even stronger in the future. The School of Mathematics "Guido Stampacchia" of the "Ettore Majorana" FoundationandCentreofScienti?cCultureisthemostappropriatesiteforaerospace engineers and mathematicians to meet. The present volume collects the papers p- sented at the Erice Workshop held on September 8-16, 2007, which was organized in order to allow aerospace engineers and mathematicians from Universities, - search Centres, and Industry to debate advanced problems in aerospace engineering requiring extensive mathematical applications. Theeditorsarecon?denttocapturetheinterestofpeoplefrombothacademiaand industry, particularly, young researchers working on new frontiers of mathematical applications to engineering. The workshop was dedicated to Angelo Miele, Professor at Rice University in Houston, on the occasion of his 85th birthday. Angelo Miele is both an eminent mathematician and a famous engineer, among other activities, able to conceive new scenarios for space exploration. He has been the advisor of many PhD students at Houston, who became well-known professors in universities worldwide and are speakers at this workshop.

Climate change mitigation and sustainable practices are now at the top of political and technical agendas. Environmental system modelling provides a way of appraising options and this book will make a significant contribution to the uptake of such systems. It provides knowledge of the principles involved in modelling systems, builds confidence amongst designers and offers a broad perspective of the potential of these new technologies.

The aim of the book is to provide an understanding of the concepts and principles behind predictive modelling methods; review progress in the development of the modelling software available; and explore modelling in building design through international case studies based on real design problems.

This book represents the HELS (Helmholtz equation least squares) theory and its applications for visualizing acoustic radiation from an arbitrarily shaped vibrating structure in free or confined space. It culminates the most updated research work of the author and his graduate students since 1997. The book contains six chapters. The first serves as a review of the fundamentals in acoustics and the rest cover five specific topics on the HELS theory.

This work examines the conflict between movements and regimes using dynamic mathematical modeling methods. Most of the deaths from political violence in the world in this century have not been caused by war, but by conflict between governments and dissenters. It is hoped that scholars will improve their understanding of these conflicts, and thus help to reduce the costs.

This book is a collection of articles by leading researchers working at the cutting edge of neuro-computational modelling of neurological and psychiatric disorders. Each article contains model validation techniques used in the context of the specific problem being studied. Validation is essential for neuro-inspired computational models to become useful tools in the understanding and treatment of disease conditions. Currently, the immense diversity in neuro-computational modelling approaches for investigating brain diseases has created the need for a structured and coordinated approach to benchmark and standardise validation methods and techniques in this field of research. This book serves as a step towards a systematic approach to validation of neuro-computational models used for studying brain diseases and should be useful for all neuro-computational modellers.

This book provides an information fusion model with information fusion theory, geographic information system technology and modern mathematical methods to evaluate the risks of groundwater inrushes from aquifers underlying coal seams. In this new model, the water inrush vulnerable index was calculated with variable weights theory. It overcomes the defect of the traditional vulnerability index method that assumes constant weights for the factors controlling the water inrush. Mine water inrush events often occur during coal mine construction and production; they account for a large proportion of the nation's coal mine disasters and accidents in China. Between 2005 and 2014, 513 water inrush incidents have occurred with a total loss of 2,753 lives. As mining depths and mining intensity continue to increase, the hydrogeological conditions encountered are becoming more complex. The innovative model presented here was applied to two coal mines in China with proved better results than the traditional vulnerability index method.

The goals ofthe Symposium were to highlight advances in modelling ofatmosphere and ocean dynamics, to provide a forum where atmosphere and ocean scientists could present their latest research results and learn ofprogress and promising ideas in these allied disciplines; to facilitate interaction between theory and applications in atmosphere/ocean dynamics. These goals were seen to be especially important in view ofcurrent efforts to model climate requiring models which include interaction between atmosphere, ocean and land influences. Participants were delighted with the diversity ofthe scientific programme; the opportunity to meet fellow scientists from the other discipline (either atmosphere or ocean) with whom they do not normally interact through their own discipline; the opportunity to meet scientists from many countries other than their own; the opportunity to hear significant presentations (50 minutes) from the keynote speakers on a range ofrelevant topics. Certainly the goal ofcreating a forum for exchange between atmosphere and ocean scientists who need to input to create realistic models for climate prediction was achieved by the Symposium and this goal will hopefully be further advanced by the publication ofthese Proceedings.

This book presents theory and latest application work in Bond Graph methodology with a focus on: * Hybrid dynamical system models, * Model-based fault diagnosis, model-based fault tolerant control, fault prognosis * and also addresses * Open thermodynamic systems with compressible fluid flow, * Distributed parameter models of mechanical subsystems. In addition, the book covers various applications of current interest ranging from motorised wheelchairs, in-vivo surgery robots, walking machines to wind-turbines.The up-to-date presentation has been made possible by experts who are active members of the worldwide bond graph modelling community. This book is the completely revised 2nd edition of the 2011 Springer compilation text titled Bond Graph Modelling of Engineering Systems - Theory, Applications and Software Support. It extends the presentation of theory and applications of graph methodology by new developments and latest research results. Like the first edition, this book addresses readers in academia as well as practitioners in industry and invites experts in related fields to consider the potential and the state-of-the-art of bond graph modelling.

Two central problems in the pure theory of economic growth are analysed in this monograph: 1) the dynamic laws governing the economic growth processes, 2) the kinematic and geometric properties of the set of solutions to the dynamic systems. With allegiance to rigor and the emphasis on the theoretical fundamentals of prototype mathematical growth models, the treatise is written in the theorem-proof style. To keep the exposition orderly and as smooth as possible, the economic analysis has been separated from the purely mathematical issues, and hence the monograph is organized in two books. Regarding the scope and content of the two books, an "Introduction and Over view" has been prepared to offer both motivation and a brief account. The introduc tion is especially designed to give a recapitulation of the mathematical theory and results presented in Book II, which are used as the unifying mathematical framework in the analysis and exposition of the different economic growth models in Book I. Economists would probably prefer to go directly to Book I and proceed by consult ing the mathematical theorems of Book II in confirming the economic theorems in Book I. Thereby, both the independence and interdependence of the economic and mathematical argumentations are respected."

This monograph is an exposition of a novel method for solving inverse problems, a method of parameter estimation for time series data collected from simulations of real experiments. These time series might be generated by measuring the dynamics of aircraft in flight, by the function of a hidden Markov model used in bioinformatics or speech recognition or when analyzing the dynamics of asset pricing provided by the nonlinear models of financial mathematics. Dynamic Systems Models demonstrates the use of algorithms based on polynomial approximation which have weaker requirements than already-popular iterative methods. Specifically, they do not require a first approximation of a root vector and they allow non-differentiable elements in the vector functions being approximated. The text covers all the points necessary for the understanding and use of polynomial approximation from the mathematical fundamentals, through algorithm development to the application of the method in, for instance, aeroplane flight dynamics or biological sequence analysis. The technical material is illustrated by the use of worked examples and methods for training the algorithms are included. Dynamic Systems Models provides researchers in aerospatial engineering, bioinformatics and financial mathematics (as well as computer scientists interested in any of these fields) with a reliable and effective numerical method for nonlinear estimation and solving boundary problems when carrying out control design. It will also be of interest to academic researchers studying inverse problems and their solution.

This book, intended for researchers and graduate students in physics, applied mathematics and engineering, presents a detailed comparison of the important methods of solution for linear differential and difference equations - variation of constants, reduction of order, Laplace transforms and generating functions - bringing out the similarities as well as the significant differences in the respective analyses. Equations of arbitrary order are studied, followed by a detailed analysis for equations of first and second order. Equations with polynomial coefficients are considered and explicit solutions for equations with linear coefficients are given, showing significant differences in the functional form of solutions of differential equations from those of difference equations. An alternative method of solution involving transformation of both the dependent and independent variables is given for both differential and difference equations. A comprehensive, detailed treatment of Green's functions and the associated initial and boundary conditions is presented for differential and difference equations of both arbitrary and second order. A dictionary of difference equations with polynomial coefficients provides a unique compilation of second order difference equations obeyed by the special functions of mathematical physics. Appendices augmenting the text include, in particular, a proof of Cramer's rule, a detailed consideration of the role of the superposition principal in the Green's function, and a derivation of the inverse of Laplace transforms and generating functions of particular use in the solution of second order linear differential and difference equations with linear coefficients.

This monograph presents the newly developed method of rigged Hilbert spaces as a modern approach in singular perturbation theory. A key notion of this approach is the Lax-Berezansky triple of Hilbert spaces embedded one into another, which specifies the well-known Gelfand topological triple. All kinds of singular interactions described by potentials supported on small sets (like the Dirac -potentials, fractals, singular measures, high degree super-singular expressions) admit a rigorous treatment only in terms of the equipped spaces and their scales. The main idea of the method is to use singular perturbations to change inner products in the starting rigged space, and the construction of the perturbed operator by the Berezansky canonical isomorphism (which connects the positive and negative spaces from a new rigged triplet). The approach combines three powerful tools of functional analysis based on the Birman-Krein-Vishik theory of self-adjoint extensions of symmetric operators, the theory of singular quadratic forms, and the theory of rigged Hilbert spaces. The book will appeal to researchers in mathematics and mathematical physics studying the scales of densely embedded Hilbert spaces, the singular perturbations phenomenon, and singular interaction problems.

This text discusses mathematical modelling, analysis and control of the immune system and disease dynamics. The purpose of the book is the practical application of mathematics to immunology and medicine in order to establish a basis for more effective treatment, to provide a tutorial systematic description of how the immune system controls diseases and to present several significant examples such as malignant tumour dynamics and control, and viral hepatitis. The book is multidisciplinary in content, with the intended readers including biomathematicians, biologists and physicists. It combines immunological principles, mathematical models, computer simulations and methods of analysis.

This volume contains the proceedings of the 19th International Conference on Difference Equations and Applications, held at Sultan Qaboos University, Muscat, Oman in May 2013. The conference brought together experts and novices in the theory and applications of difference equations and discrete dynamical systems. The volume features papers in difference equations and discrete time dynamical systems with applications to mathematical sciences and, in particular, mathematical biology, ecology, and epidemiology. It includes four invited papers and eight contributed papers. Topics covered include: competitive exclusion through discrete time models, Benford solutions of linear difference equations, chaos and wild chaos in Lorenz-type systems, advances in periodic difference equations, the periodic decomposition problem, dynamic selection systems and replicator equations, and asymptotic equivalence of difference equations in Banach Space. This book will appeal to researchers, scientists, and educators who work in the fields of difference equations, discrete time dynamical systems and their applications.

The purpose of this monograph is to show how a compliant offshore structure in an ocean environment can be modeled in two and three di mensions. The monograph is divided into five parts. Chapter 1 provides the engineering motivation for this work, that is, offshore structures. These are very complex structures used for a variety of applications. It is possible to use beam models to initially study their dynamics. Chapter 2 is a review of variational methods, and thus includes the topics: princi ple of virtual work, D'Alembert's principle, Lagrange's equation, Hamil ton's principle, and the extended Hamilton's principle. These methods are used to derive the equations of motion throughout this monograph. Chapter 3 is a review of existing transverse beam models. They are the Euler-Bernoulli, Rayleigh, shear and Timoshenko models. The equa tions of motion are derived and solved analytically using the extended Hamilton's principle, as outlined in Chapter 2. For engineering purposes, the natural frequencies of the beam models are presented graphically as functions of normalized wave number and geometrical and physical pa rameters. Beam models are useful as representations of complex struc tures. In Chapter 4, a fluid force that is representative of those that act on offshore structures is formulated. The environmental load due to ocean current and random waves is obtained using Morison's equa tion. The random waves are formulated using the Pierson-Moskowitz spectrum with the Airy linear wave theory."

This book is an intellectually stimulating excursion into mathematical machines and structures capable for a universal computation. World top experts in computer science and mathematics overview exciting and intriguing topics of logical theory of monoids, geometry of Gauss word, philosophy of mathematics in computer science, asynchronous and parallel P-systems, decidability in cellular automata, splicing systems, reversible Turing machines, information flows in two-way finite automata, prime generators in automaton arrays, Grossone and Turing machines, automaton models of atomic lattices. The book is full of visually attractive examples of mathematical machines, open problems and challenges for future research. Those interested in the advancement of a theory of computation, philosophy of mathematics, future and emergent computing paradigms, architectures and implementations will find the book vital for their research and development.

This thesis describes the development of biophysically detailed computer models of the human atria and torso to study the underlying mechanisms of cardiac diseases, some of the most common causes of morbidity and mortality. This is a cross-disciplinary project, involving fundamentals of cardiac electrophysiology, physics of excitable media, applied mathematics and high performance scientific computing and visualisation. The author uses computer models to provide insights into the underlying mechanisms of the genesis of atrial fibrillation and develops novel techniques for the monitoring of atrial tachycardia.

For more than 250 years partial di?erential equations have been clearly the most important tool available to mankind in order to understand a large variety of phenomena, natural at ?rst and then those originating from - man activity and technological development. Mechanics, physics and their engineering applications were the ?rst to bene't from the impact of partial di?erential equations on modeling and design, but a little less than a century ago the Schr] odinger equation was the key opening the door to the application of partial di?erential equations to quantum chemistry, for small atomic and molecular systems at ?rst, but then for systems of fast growing complexity. The place of partial di?erential equations in mathematics is a very particular one: initially, the partial di?erential equations modeling natural phenomena were derived by combining calculus with physical reasoning in order to - press conservation laws and principles in partial di?erential equation form, leading to the wave equation, the heat equation, the equations of elasticity, the Euler and Navier-Stokes equations for ?uids, the Maxwell equations of electro-magnetics, etc. It is in order to solve 'constructively' the heat equation that Fourier developed the series bearing his name in the early 19th century; Fourier series (and later integrals) have played (and still play) a fundamental roleinbothpureandappliedmathematics, includingmanyareasquiteremote from partial di?erential equations. On the other hand, several areas of mathematics such as di?erential ge- etry have bene?ted from their interactions with partial di?erential equations."

Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. It provides a bottom-up experimental method to be applied to social sciences such as economics, management, sociology and politics as well as some engineering fields dealing with social activities. This book includes selected papers presented at the Eighth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo, Japan, in 2013. At the workshop, 23 reviewed full papers were presented and of those, 13 were selected to be included in this volume.

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.