This book contains a collection of survey papers in the areas of algorithms, lan guages and complexity, the three areas in which Professor Ronald V. Book has made significant contributions. As a fonner student and a co-author who have been influenced by him directly, we would like to dedicate this book to Professor Ronald V. Book to honor and celebrate his sixtieth birthday. Professor Book initiated his brilliant academic career in 1958, graduating from Grinnell College with a Bachelor of Arts degree. He obtained a Master of Arts in Teaching degree in 1960 and a Master of Arts degree in 1964 both from Wesleyan University, and a Doctor of Philosophy degree from Harvard University in 1969, under the guidance of Professor Sheila A. Greibach. Professor Book's research in discrete mathematics and theoretical com puter science is reflected in more than 150 scientific publications. These works have made a strong impact on the development of several areas of theoretical computer science. A more detailed summary of his scientific research appears in this volume separately."

This book contains a systematic study of ecological communities of two or three interacting populations. Starting from the Lotka-Volterra system, various regulating factors are considered, such as rates of birth and death, predation and competition. The different factors can have a stabilizing or a destabilizing effect on the community, and their interplay leads to increasingly complicated behavior. Studying and understanding this path to greater dynamical complexity of ecological systems constitutes the backbone of this book. On the mathematical side, the tool of choice is the qualitative theory of dynamical systems - most importantly bifurcation theory, which describes the dependence of a system on the parameters. This approach allows one to find general patterns of behavior that are expected to be observed in ecological models. Of special interest is the reaction of a given model to disturbances of its present state, as well as to changes in the external conditions. This leads to the general idea of "dangerous boundaries" in the state and parameter space of an ecological system. The study of these boundaries allows one to analyze and predict qualitative and often sudden changes of the dynamics - a much-needed tool, given the increasing antropogenic load on the biosphere.As a spin-off from this approach, the book can be used as a guided tour of bifurcation theory from the viewpoint of application. The interested reader will find a wealth of intriguing examples of how known bifurcations occur in applications. The book can in fact be seen as bridging the gap between mathematical biology and bifurcation theory.

This book presents the most recent mathematical approaches to the growing research area of networks, oscillations, and collective motions in the context of biological systems. Bringing together the results of multiple studies of different biological systems, this book sheds light on the relations among these research themes. Included in this book are the following topics: feedback systems with time delay and threshold of sensing (dead zone), robustness of biological networks from the point of view of dynamical systems, the hardware-oriented neuron modeling approach, a universal mechanism governing the entrainment limit under weak forcing, the robustness mechanism of open complex systems, situation-dependent switching of the cues primarily relied on by foraging ants, and group chase and escape. Research on different biological systems is presented together, not separated by specializations or by model systems. Therefore, the book provides diverse perspectives at the forefront of current mathematical research on biological systems, especially focused on networks, oscillations, and collective motions. This work is aimed at advanced undergraduate, graduate, and postdoctoral students, as well as scientists and engineers. It will also be of great use for professionals in industries and service sectors owing to the applicability of topics such as networks and synchronizations.

This book surveys the well-known results and also presents a series of original results on the mathematical modeling of social networks, focusing on models of informational influence, control and confrontation. Online social networks are intended for communication, opinion exchange and information acquisition for their members, but recently, online social networks have been intensively used as the objects and means of informational control and an arena of informational confrontation. They have become a powerful informational influence tool, particularly for the manipulation of individuals, social groups and society as a whole, as well as a battlefield of information warfare (cyberwars). This book aimed at under- and postgraduate university students as well as experts in information technology and modeling of social systems and processes.

This Festschrift contains five research surveys and thirty-four shorter contributions by participants of the conference ''Stochastic Partial Differential Equations and Related Fields'' hosted by the Faculty of Mathematics at Bielefeld University, October 10-14, 2016. The conference, attended by more than 140 participants, including PostDocs and PhD students, was held both to honor Michael Roeckner's contributions to the field on the occasion of his 60th birthday and to bring together leading scientists and young researchers to present the current state of the art and promising future developments. Each article introduces a well-described field related to Stochastic Partial Differential Equations and Stochastic Analysis in general. In particular, the longer surveys focus on Dirichlet forms and Potential theory, the analysis of Kolmogorov operators, Fokker-Planck equations in Hilbert spaces, the theory of variational solutions to stochastic partial differential equations, singular stochastic partial differential equations and their applications in mathematical physics, as well as on the theory of regularity structures and paracontrolled distributions. The numerous research surveys make the volume especially useful for graduate students and researchers who wish to start work in the above-mentioned areas, or who want to be informed about the current state of the art.

This book illustrates the broad range of Jerry Marsden's mathematical legacy in areas of geometry, mechanics, and dynamics, from very pure mathematics to very applied, but always with a geometric perspective. Each contribution develops its material from the viewpoint of geometric mechanics beginning at the very foundations, introducing readers to modern issues via illustrations in a wide range of topics. The twenty refereed papers contained in this volume are based on lectures and research performed during the month of July 2012 at the Fields Institute for Research in Mathematical Sciences, in a program in honor of Marsden's legacy. The unified treatment of the wide breadth of topics treated in this book will be of interest to both experts and novices in geometric mechanics. Experts will recognize applications of their own familiar concepts and methods in a wide variety of fields, some of which they may never have approached from a geometric viewpoint. Novices may choose topics that interest them among the various fields and learn about geometric approaches and perspectives toward those topics that will be new for them as well.

Mathematical Biology has grown at an astonishing rate and has established itself as a distinct discipline. Mathematical modeling is now being applied in every major discipline in the biological sciences. Though the field has become increasingly large and specialized, this book remains important as a text that introduces some of the exciting problems which arise in the biological sciences and gives some indication of the wide spectrum of questions that modeling can address.

This book describes an effective method for modeling advanced materials like polymers, composite materials and biomaterials, which are, as a rule, inhomogeneous. The thermoelastic theory with internal variables presented here provides a general framework for predicting a material's reaction to external loading. The basic physical principles provide the primary theoretical information, including the evolution equations of the internal variables. The cornerstones of this framework are the material representation of continuum mechanics, a weak nonlocality, a non-zero extra entropy flux, and a consecutive employment of the dissipation inequality. Examples of thermoelastic phenomena are provided, accompanied by detailed procedures demonstrating how to simulate them.

The current literature on resource selection by animals is a maze of methodologies for data collection and interpretation. Field biologists need a guide through the labyrinth. This book provides such a guide. It gives a clear and consistent framework for the study of how animals select their resources (food and habitat) by taking the reader through different types of study design. It is an invaluable handbook for the field biologist, especially those concerned with the management and conservation of wildlife. The authors have clearly identified the need to pull together the diffuse literature, and biologists will greatly improve their experimental design, methodology, and analysis with this book.

The second edition of this popular book has been updated to include many developments in the last few years. There is new material on discrete choice models, the analysis of data from geographical information systems, compositional analysis, Mahalanobis distance methods, and neural networks and related approaches.

Resource Selection by Animals:

• is an invaluable guide for field biologists;
• provides a consistent framework for study of resource selection (food and habitat) by animals;
• is a unique guide, and is the only book which covers this critical topic in such depth; and
• is particularly useful to wildlife managers and conservation biologists.

The author investigates athermal fluctuation from the viewpoints of statistical mechanics in this thesis. Stochastic methods are theoretically very powerful in describing fluctuation of thermodynamic quantities in small systems on the level of a single trajectory and have been recently developed on the basis of stochastic thermodynamics. This thesis proposes, for the first time, a systematic framework to describe athermal fluctuation, developing stochastic thermodynamics for non-Gaussian processes, while thermal fluctuations are mainly addressed from the viewpoint of Gaussian stochastic processes in most of the conventional studies. First, the book provides an elementary introduction to the stochastic processes and stochastic thermodynamics. The author derives a Langevin-like equation with non-Gaussian noise as a minimal stochastic model for athermal systems, and its analytical solution by developing systematic expansions is shown as the main result. Furthermore, the a uthor shows a thermodynamic framework for such non-Gaussian fluctuations, and studies some thermodynamics phenomena, i.e. heat conduction and energy pumping, which shows distinct characteristics from conventional thermodynamics. The theory introduced in the book would be a systematic foundation to describe dynamics of athermal fluctuation quantitatively and to analyze their thermodynamic properties on the basis of stochastic methods.

This book is the outcome of a NATO Advanced Research Workshop on "The Eastern Mediterranean as a laboratory basin for the assessment of contrasting ecosystems" that was held in Kiev, Ukraine, March 23-27, 1998. The scientific rationale of the workshop can be summarized as follows. The Eastern Mediterranean is the most nutrient impoverished and oligotrophic large water body known. There is a well-defined eastward trend in nutrient ratios over the entire Mediterranean that starts at the Gibraltar Straits and, through the western basin, proceeds to the Ionian and Levantine Seas. Supply of nutrients to the entire Mediterranean is limited by inputs from the North Atlantic and various river systems along the sea. The unique feature of the Mediterranean is the presence of an eastward longitudinal trend in available nitrate/phosphate ratios. This apparently induces a west-to-east variation in the structure of the pelagic food web and trophic interactions. In this context the Mediterranean, and in particular its Eastern basin, provides probably a unique platform to explore the hypotheses related to the suggested phosphate-limitation on production and to the shift between "microbial" and "classical" modes of operation of the photic food web. The major exception of the overall oligotrophic nature of the Eastern Mediterranean is the highly eutrophic system of the Northern Adriatic Sea. Here, during the last two decades the discharges of the northern rivers (especially of the Po), together with municipal sewage, have led to a very marked increase of nutrients and subsequent imponent eutrophication events.

The primary objective of this book is to advance the state of the art in specifying and ?tting to data structural multi-sector dynamic macroeconomic models, and empirically implementing them. The fundamental construct upon which we build is the Ramsey model. A most attractive feature of this model is the insights it provides into the dynamics of an economy in tr- sition to long-run equilibrium. With some exceptions, Ramsey models are highly aggregated - typically single sector models. However, interest often lies in understanding the forces of e- nomic growth across multiple sectors of an economy and on how policy impacts likely play out over time. Such analyses call for moredisaggregatedmodelsthatcanbe?ttocountryorregional data.Thisbookshowshowto: (i)extendthebasicmodeltom- tiple sectors, (ii) how to adapt the basic model to account for policy instruments, and (iii) 't the model to data, and obtain equilibrium values both forward and backward in time from the data points to which the model is initially 't

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.