Symbolic asymptotics has recently undergone considerable theoretical development, especially in areas where power series are no longer an appropriate tool. Implementation is beginning to follow.

The present book, written by one of the leading specialists in the area, is currently the only one to treat this part of symbolic asymptotics. It contains a good deal of interesting material in a new, developing field of mathematics at the intersection of algebra, analysis and computing, presented in a lively and readable way. The associated areas of zero equivalence and Hardy fields are also covered.

The book is intended to be accessible to anyone with a good general background in mathematics, but it nonetheless gets right to the cutting edge of active research. Some results appear here for the first time, while others have hitherto only been given in preprints.

Due to its clear presentation, this book is interesting for a broad audience of mathematicians and theoretical computer scientists.

This book aims to present a viable alternative to the Hopfield Neural Network (HNN) model for analog computation. It is well known the standard HNN suffers from problems of convergence to local minima, and requirement of a large number of neurons and synaptic weights. Therefore, improved solutions are needed. The non-linear synapse neural network (NoSyNN) is one such possibility and is discussed in detail in this book. This book also discusses the applications in computationally intensive tasks like graph coloring, ranking, and linear as well as quadratic programming. The material in the book is useful to students, researchers and academician working in the area of analog computation.

This book provides a practical, comprehensive and up-to-date overview of the use of spatial statistics in epidemiology - the study of the incidence and distribution of diseases. Used appropriately, spatial analytical methods in conjunction with GIS and remotely sensed data can provide significant insights into the biological patterns and processes that underlie disease transmission. In turn, these can be used to understand and predict disease prevalence. This user-friendly text brings together the specialised and widely-dispersed literature on spatial analysis to make these methodological tools accessible to epidemiologists for the first time.
With its focus is on application rather than theory, Spatial Analysis in Epidemiology includes a wide range of examples taken from both medical (human) and veterinary (animal) disciplines, and describes both infectious diseases and non-infectious conditions. Furthermore, it provides worked examples of methodologies using a single data set from the same disease example throughout, and is structured to follow the logical sequence of description of spatial data, visualisation, exploration, modelling and decision support. This accessible text is aimed at graduate students and researchers dealing with spatial data in the fields of epidemiology (both medical and veterinary), ecology, zoology and parasitology, environmental science, geography and statistics.

Agriculture has experienced a dramatic change during the past decades. The change has been structural and technological. Structural changes can be seen in the size of current farms; not long ago, agricultural production was organized around small farms, whereas nowadays the agricultural landscape is dominated by large farms. Large farms have better means of applying new technologies, and therefore technological advances have been a driving force in changing the farming structure. New technologies continue to emerge, and their mastery and use in requires that farmers gather more information and make more complex technological choices. In particular, the advent of the Internet has opened vast opportunities for communication and business opportunities within the agricultural com- nity. But at the same time, it has created another class of complex issues that need to be addressed sooner rather than later. Farmers and agricultural researchers are faced with an overwhelming amount of information they need to analyze and synthesize to successfully manage all the facets of agricultural production. This daunting challenge requires new and complex approaches to farm management. A new type of agricultural management system requires active cooperation among multidisciplinary and multi-institutional teams and ref- ing of existing and creation of new analytical theories with potential use in agriculture. Therefore, new management agricultural systems must combine the newest achievements in many scientific domains such as agronomy, economics, mathematics, and computer science, to name a few.

This book provides a fresh approach to reliability theory, an area that has gained increasing relevance in fields from statistics and engineering to demography and insurance. Its innovative use of quantile functions gives an analysis of lifetime data that is generally simpler, more robust, and more accurate than the traditional methods, and opens the door for further research in a wide variety of fields involving statistical analysis. In addition, the book can be used to good effect in the classroom as a text for advanced undergraduate and graduate courses in Reliability and Statistics.

Computer simulation and mathematical modelling are the most important approaches in the quantitative analysis of the diffusive processes fundamental to many physical, chemical, biological, and geological systems.

This comprehensive text/reference addresses the key issues in the "Modelling and Simulation of Diffusive Processes" from a broad range of different application areas. Applying an holistic approach, the book presents illuminating viewpoints drawn from an international selection of experts across a wide spectrum of disciplines, from computer science, mathematics and engineering, to natural resource management, environmental sciences, applied geo-sciences, agricultural sciences, and theoretical medicine.

Topics and features: presents a detailed introduction to diffusive processes and modelling; discusses diffusion and molecular transport in living cells, and suspended sediment in open channels; examines the mathematical modelling of peristaltic transport of nanofluids, and isotachophoretic separation of ionic samples in microfluidics; reviews thermal characterization of non-homogeneous media, and scale-dependent porous dispersion resulting from velocity fluctuations; describes the modelling of nitrogen fate and transport at the sediment-water interface, and groundwater flow in unconfined aquifers; investigates two-dimensional solute transport from a varying pulse type point source, and futile cycles in metabolic flux modelling; studies contaminant concentration prediction along unsteady groundwater flow, and modelling synovial fluid flow in human joints; explores the modelling of soil organic carbon, and crop growth simulation.

This interdisciplinary volume will be invaluable to researchers, lecturers and graduate students from such diverse fields as computer science, mathematics, hydrology, agriculture and biology.

A groundbreaking text and professional resource on natural attenuation technology
Natural attenuation is rapidly becoming a widely used approach to manage groundwater and soil contamination by hazardous substances in petroleum-product releases and leachate from hazardous waste sites and landfills. This book provides, under one cover, the current methodologies needed by groundwater scientists and engineers in their efforts to evaluate subsurface contamination problems, to estimate risk to human health and ecosystems through mathematical models, and to design and formulate appropriate remediation strategies.
Incorporating the authors' extensive backgrounds as educators, researchers, and consultants in environmental biotechnology and hydrogeology, the text emphasizes new concepts and recent advances in the science, including:
* Quantification of the role of microbes in natural attenuation
* Biodegradation and chemical transformation principles
* Immobilization and phase change
* Biotransformation mechanisms
* Groundwater flow and contaminant transport
* Analytical models for contaminant transport and reaction processes
* Numerical modeling of contaminant transport, transformation, and degradation
Detailed descriptions of fundamental processes, characterization approaches, and analytical and numerical methods tied to relevant real-world applications make Bioremediation and Natural Attenuation: Process Fundamentals and Mathematical Models both a timely course text in hydrogeology and environmental engineering and a valuable reference for anyone in the groundwater or risk assessment professions.

The book presents twelve state of the art contributions in the field of numerical modeling of materials subjected to large strain, high strain rates, large pressure and high stress triaxialities, organized into two sections. The first part is focused on high strain rate-high pressures such as those occurring in impact dynamics and shock compression related phenomena, dealing with material response identification, advanced modeling incorporating microstructure and damage, stress waves propagation in solids and structures response under impact. The latter part is focused on large strain-low strain rates applications such as those occurring in technological material processing, dealing with microstructure and texture evolution, material response at elevated temperatures, structural behavior under large strain and multi axial state of stress.

This volume contains the invited papers presented at the 9th International C- ference "Dynamical Systems - Theory and Applications" held in ?od ' z, ' Poland, December 17-20, 2007 dealing with nonlinear dynamical systems. The conf- encegatheredanumerousgroupofscientistsandengineers,whodealwithwidely understoodproblemsofdynamicsmetalsoinengineeringanddailylife. Organizationof the conferencewould nothavebeen possiblewithouta great effortofthestaffoftheDepartmentofAutomaticsandBiomechanicsoftheTech- calUniversityof?od ' z. ' Thepatronageovertheconferencehasbeentakenbythef- lowingscienti?cinstitutions:MechanicsandMachineDynamicsCommitteesofthe PolishAcademyofSciences,PolishSocietyofTheoreticalandAppliedMech- ics,PolishAssociationforComputationalMechanics,andTechnicalCommitteeof NonlinearOscillationsofIFToMM. The ?nancial support has been given by the Department of Education at the ?'odz' City Hall, Ministry of National Education and the Polish Association for ComputationalMechanics. We welcomednearly100personsfrom13countriesallovertheworld.They decidedto share the results of their researchandmanyyears of experiencein a disciplineofdynamicalsystemsbysubmittingmanyinterestingpapers. TheScienti?cCommitteeincludesthefollowingmembers:IgorV.Andrianov- Aachen;JanAwrejcewicz -?od ' z; ' Jose M. Balthazar- Rio Claro;Denis Bla- more- Newark; Iliya Blekhman - Sankt Petersburg;Roman Bogacz - Warsaw; TadeuszBurczyns ' ki-Gliwice;DickvanCampen-Eindhoven;Czes?awCempel- Poznan';LotharGaul- Stuttgart;Jozef ' Giergiel-Cracow;Katica Hedrih-Nis; ? Janusz Kowal - Cracow; Vadim A. Krysko - Saratov; W?odzimierz Kurnik - Warsaw; Claude-Henri Lamarque - Lyon; Nuno M. Maia - Lisbon; Leonid I.

This volume offers a collection of carefully selected, peer-reviewed papers presented at the BIOMAT 2018 International Symposium, which was held at the University Hassan II, Morocco, from October 29th to November 2nd, 2018. The topics covered include applications of mathematical modeling in hepatitis B, HIV and Chikungunya infections; tumor cell dynamics; inflammatory processes; chemotherapeutic drug effects; and population dynamics. Also discussing the application of techniques like the generalized stochastic Milevsky-Promislov model, numerical simulations and convergence of discrete and continuous models, it is an invaluable resource on interdisciplinary research in mathematical biology for students, researchers, and professionals. Held every year since 2001, the BIOMAT International Symposium gathers together, in a single conference, researchers from Mathematics, Physics, Biology, and affine fields to promote the interdisciplinary exchange of results, ideas and techniques, promoting truly international cooperation for problem discussion. The 2018 edition of BIOMAT International Symposium received contributions by authors from seventeen countries: Algeria, Brazil, Cameroon, Canada, Chad, Colombia, France, Germany, Hungary, Italy, Mali, Morocco, Nigeria, Poland, Portugal, Russia, and Senegal. Selected papers presented at the 2017 edition of this Symposium were also published by Springer, in the volume "Trends in Biomathematics: Modeling, Optimization and Computational Problems" (978-3-319-91091-8).

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 presents lecture notes from the XVI 'Jacques-Louis Lions' Spanish-French School on Numerical Simulation in Physics and Engineering, held in Pamplona (Navarra, Spain) in September 2014. The subjects covered include: numerical analysis of isogeometric methods, convolution quadrature for wave simulations, mathematical methods in image processing and computer vision, modeling and optimization techniques in food processes, bio-processes and bio-systems, and GPU computing for numerical simulation. The book is highly recommended to graduate students in Engineering or Science who want to focus on numerical simulation, either as a research topic or in the field of industrial applications. It can also benefit senior researchers and technicians working in industry who are interested in the use of state-of-the-art numerical techniques in the fields addressed here. Moreover, the book can be used as a textbook for master courses in Mathematics, Physics, or Engineering.

"Fixed-Point Algorithms for Inverse Problems in Science and Engineering" presents some of the most recent work from top-notch researchers studying projection and other first-order fixed-point algorithms in several areas of mathematics and the applied sciences. The material presented provides a survey of the state-of-the-art theory and practice in fixed-point algorithms, identifying emerging problems driven by applications, and discussing new approaches for solving these problems.

This book incorporates diverse perspectives from broad-ranging areas of research including, variational analysis, numerical linear algebra, biotechnology, materials science, computational solid-state physics, and chemistry.

Topics presented include:

Theory of Fixed-point algorithms: convex analysis, convex optimization, subdifferential calculus, nonsmooth analysis, proximal point methods, projection methods, resolvent and related fixed-point theoretic methods, and monotone operator theory.

Numerical analysis of fixed-point algorithms: choice of step lengths, of weights, of blocks for block-iterative and parallel methods, and of relaxation parameters; regularization of ill-posed problems; numerical comparison of various methods.

Areas of Applications: engineering (image and signal reconstruction and decompression problems), computer tomography and radiation treatment planning (convex feasibility problems), astronomy (adaptive optics), crystallography (molecular structure reconstruction), computational chemistry (molecular structure simulation) and other areas.

Because of the variety of applications presented, this book can easily serve as a basis for new and innovated research and collaboration.

This highly multidisciplinary volume contains contributions from leading researchers in STEAM-H disciplines (Science, Technology, Engineering, Agriculture, Mathematics and Health). The volume explores new frontiers in multidisciplinary research, including: the mathematics of cardiac arrhythmia; brain research on working memory; penalized ordinal regression to classify melanoma skin samples; forecasting of time series data; dynamics of niche models; analysis of chemical moieties as anticancer agents; study of gene locus control regions; qualitative mathematical modelling; convex quadrics and group circle systems; remanufacturing planning and control; complexity reduction of functional differential equations; computation of viscous interfacial motion; and differentiation in human pluripotent stem cells. An extension of a seminar series at Virginia State University, the collection is intended to foster student interest and participation in interdisciplinary research and to stimulate new research. The content will be of interest to a broad spectrum of scientists, mathematicians and research students working in interdisciplinary fields including the biosciences, mathematics, engineering, neurosciences and behavioral sciences.

This book gathers contributions presented at the 9th Workshop on Cyclostationary Systems and Their Applications, held in Grodek nad Dunajcem, Poland in February 2016. It includes both theory-oriented and practice-oriented chapters. The former focus on heavy-tailed time series and processes, PAR models, rational spectra for PARMA processes, covariance invariant analysis, change point problems, and subsampling for time series, as well as the fraction-of-time approach, GARMA models and weak dependence. In turn, the latter report on case studies of various mechanical systems, and on stochastic and statistical methods, especially in the context of damage detection. The book provides students, researchers and professionals with a timely guide to cyclostationary systems, nonstationary processes and relevant engineering applications.

This book presents recent research on Advanced Computing in Industrial Mathematics, which is one of the most prominent interdisciplinary areas and combines mathematics, computer science, scientific computations, engineering, physics, chemistry, medicine, etc. Further, the book presents the tools of 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 the existing experimental results. The book gathers the peer-reviewed papers presented during the 10th Annual Meeting of the Bulgarian Section of SIAM (BGSIAM) from December 21 to 22, 2015 in Sofia, Bulgaria.

This book contributes to an understanding of how bifurcation theory adapts to the analysis of economic geography. It is easily accessible not only to mathematicians and economists, but also to upper-level undergraduate and graduate students who are interested in nonlinear mathematics. The self-organization of hexagonal agglomeration patterns of industrial regions was first predicted by the central place theory in economic geography based on investigations of southern Germany. The emergence of hexagonal agglomeration in economic geography models was envisaged by Krugman. In this book, after a brief introduction of central place theory and new economic geography, the missing link between them is discovered by elucidating the mechanism of the evolution of bifurcating hexagonal patterns. Pattern formation by such bifurcation is a well-studied topic in nonlinear mathematics, and group-theoretic bifurcation analysis is a well-developed theoretical tool. A finite hexagonal lattice is used to express uniformly distributed places, and the symmetry of this lattice is expressed by a finite group. Several mathematical methodologies indispensable for tackling the present problem are gathered in a self-contained manner. The existence of hexagonal distributions is verified by group-theoretic bifurcation analysis, first by applying the so-called equivariant branching lemma and next by solving the bifurcation equation. This book offers a complete guide for the application of group-theoretic bifurcation analysis to economic agglomeration on the hexagonal lattice.

Progress in today's high-technology industries is strongly associated with the development of new mathematical tools. A typical illustration of this partnership is the mathematical modelling and numerical simulation of electric circuits and semiconductor devices. At the second Oberwolfach conference devoted to this important and timely field, scientists from around the world, mainly applied mathematicians and electrical engineers from industry and universities, presented their new results. Their contributions, forming the body of this work, cover electric circuit simulation, device simulation and process simulation. Discussions on experiences with standard software packages and improvements of such packages are included. In the semiconductor area special lectures were given on new modelling approaches, numerical techniques and existence and uniqueness results. In this connection, mention is made, for example, of mixed finite element methods, an extension of the Baliga-Patankar technique for a three dimensional simulation, and the connection between semiconductor equations and the Boltzmann equations.

The main objective of Credit Risk: Modeling, Valuation and Hedging is to present a comprehensive survey of the past developments in the area of credit risk research, as well as to put forth the most recent advancements in this field. An important aspect of this text is that it attempts to bridge the gap between the mathematical theory of credit risk and the financial practice, which serves as the motivation for the mathematical modeling studied in the book. Mathematical developments are presented in a thorough manner and cover the structural (value-of-the-firm) and the reduced (intensity-based) approaches to credit risk modeling, applied both to single and to multiple defaults. In particular, the book offers a detailed study of various arbitrage-free models of defaultable term structures with several rating grades.

This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently.

Dimensional metrology is an essential part of modern manufacturing technologies, but the basic theories and measurement methods are no longer sufficient for today's digitized systems. The information exchange between the software components of a dimensional metrology system not only costs a great deal of money, but also causes the entire system to lose data integrity.

"Information Modeling for Interoperable Dimensional Metrology" analyzes interoperability issues in dimensional metrology systems and describes information modeling techniques. It discusses new approaches and data models for solving interoperability problems, as well as introducing process activities, existing and emerging data models, and the key technologies of dimensional metrology systems.

Written for researchers in industry and academia, as well as advanced undergraduate and postgraduate students, this book gives both an overview and an in-depth understanding of complete dimensional metrology systems. By covering in detail the theory and main content, techniques, and methods used in dimensional metrology systems, "Information Modeling for Interoperable Dimensional Metrology" enables readers to solve real-world dimensional measurement problems in modern dimensional metrology practices. "

Over the past decade there has been an increasing demand for suitable material in the area of mathematical modelling as applied to science, engineering, business and management. Recent developments in computer technology and related software have provided the necessary tools of increasing power and sophistication which have significant implications for the use and role of mathematical modelling in the above disciplines. In the past, traditional methods have relied heavily on expensive experimentation and the building of scaled models, but now a more flexible and cost effective approach is available through greater use of mathematical modelling and computer simulation. In particular, developments in computer algebra, symbolic manipulation packages and user friendly software packages for large scale problems, all have important implications in both the teaching of mathematical modelling and, more importantly, its use in the solution of real world problems. Many textbooks have been published which cover the art and techniques of modelling as well as specific mathematical modelling techniques in specialist areas within science and business. In most of these books the mathematical material tends to be rather tailor made to fit in with a one or two semester course for teaching students at the undergraduate or postgraduate level, usually the former. This textbook is quite different in that it is intended to build on and enhance students' modelling skills using a combination of case studies and projects.

Practical Goal Programming is intended to allow academics and practitioners to be able to build effective goal programming models, to detail the current state of the art, and to lay the foundation for its future development and continued application to new and varied fields. Suitable as both a text and reference, its nine chapters first provide a brief history, fundamental definitions, and underlying philosophies, and then detail the goal programming variants and define them algebraically. Chapter 3 details the step-by-step formulation of the basic goal programming model, and Chapter 4 explores more advanced modeling issues and highlights some recently proposed extensions.

Chapter 5 then details the solution methodologies of goal programming, concentrating on computerized solution by the Excel Solver and LINGO packages for each of the three main variants, and includes a discussion of the viability of the use of specialized goal programming packages. Chapter 6 discusses the linkages between Pareto Efficiency and goal programming. Chapters 3 to 6 are supported by a set of ten exercises, and an Excel spreadsheet giving the basic solution of each example is available at an accompanying website.

Chapter 7 details the current state of the art in terms of the integration of goal programming with other techniques, and the text concludes with two case studies which were chosen to demonstrate the application of goal programming in practice and to illustrate the principles developed in Chapters 1 to 7. Chapter 8 details an application in healthcare, and Chapter 9 describes applications in portfolio selection.

This thesis describes a new connection between algebraic geometry, topology, number theory and quantum field theory. It offers a pedagogical introduction to algebraic topology, allowing readers to rapidly develop basic skills, and it also presents original ideas to inspire new research in the quest for dualities. Its ambitious goal is to construct a method based on the universal coefficient theorem for identifying new dualities connecting different domains of quantum field theory. This thesis opens a new area of research in the domain of non-perturbative physics-one in which the use of different coefficient structures in (co)homology may lead to previously unknown connections between different regimes of quantum field theories. The origin of dualities is an issue in fundamental physics that continues to puzzle the research community with unexpected results like the AdS/CFT duality or the ER-EPR conjecture. This thesis analyzes these observations from a novel and original point of view, mainly based on a fundamental connection between number theory and topology. Beyond its scientific qualities, it also offers a pedagogical introduction to advanced mathematics and its connection with physics. This makes it a valuable resource for students in mathematical physics and researchers wanting to gain insights into (co)homology theories with coefficients or the way in which Grothendieck's work may be connected with physics.

This book contains a selection of the best theoretical and applied papers from the inaugural International Choice Modelling Conference. The conference was organised by the Institute for Transport Studies at the University of Leeds and held in Harrogate, North Yorkshire on 30 March to 1 April 2009. The conference brought together leading researchers and practitioners from across the many different areas in which choice modelling is a key technique for understanding behaviour and evaluating policy. The diversity of the field was reflected in presentations by both academics and practitioners, coming from six continents and a variety of fields including transport and economics. Key contributions include papers from Professor Daniel McFadden, from the University of California, Berkeley - Nobel Prize laureate in Economics and chief architect of random utility modelling. The conference also included keynote presentations by five other leading choice modellers, namely Professor Moshe Ben-Akiva, Professor Chandra Bhat, Professor Michel Bierlaire, Professor David Hensher, and Professor Riccardo Scarpa.