The new edition includes additional analytical methods in the classical theory of viscoelasticity. This leads to a new theory of finite linear viscoelasticity of incompressible isotropic materials. Anisotropic viscoplasticity is completely reformulated and extended to a general constitutive theory that covers crystal plasticity as a special case.

The unification of symbolist and connectionist models is a major trend in AI. The key is to keep the symbolic semantics unchanged. Unfortunately, present embedding approaches cannot. The approach in this book makes the unification possible. It is indeed a new and promising approach in AI. -Bo Zhang, Director of AI Institute, Tsinghua It is indeed wonderful to see the reviving of the important theme Nural Symbolic Model. Given the popularity and prevalence of deep learning, symbolic processing is often neglected or downplayed. This book confronts this old issue head on, with a historical look, incorporating recent advances and new perspectives, thus leading to promising new methods and approaches. -Ron Sun (RPI), on Governing Board of Cognitive Science Society Both for language and humor, approaches like those described in this book are the way to snickerdoodle wombats. -Christian F. Hempelmann (Texas A&M-Commerce) on Executive Board of International Society for Humor Studies

Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It studies models of computation (known as P systems) inspired by the biochemistry of cells, in particular by the role of membranes in the compartmentalization of living cells into "protected reactors."
This handbook provides both a comprehensive survey of available knowledge and established research topics, and a guide to recent developments in the field, covering the subject from theory to applications. The handbook is suitable both for introducing novices to this area of research, and as a main source of reference for active researchers. It sets out the necessary biological and formal background, with the introductory chapter serving as a gentle introduction to and overview of membrane computing. Individual chapters, written by leading researchers in membrane computing, present the state of the art of all main research trends and include extensive bibliographies.

Exploring Mathematical Modeling in Biology through Case Studies and Experimental Activities provides supporting materials for courses taken by students majoring in mathematics, computer science or in the life sciences. The book's cases and lab exercises focus on hypothesis testing and model development in the context of real data. The supporting mathematical, coding and biological background permit readers to explore a problem, understand assumptions, and the meaning of their results. The experiential components provide hands-on learning both in the lab and on the computer. As a beginning text in modeling, readers will learn to value the approach and apply competencies in other settings. Included case studies focus on building a model to solve a particular biological problem from concept and translation into a mathematical form, to validating the parameters, testing the quality of the model and finally interpreting the outcome in biological terms. The book also shows how particular mathematical approaches are adapted to a variety of problems at multiple biological scales. Finally, the labs bring the biological problems and the practical issues of collecting data to actually test the model and/or adapting the mathematics to the data that can be collected.

This book presents recent mathematical methods in the area of inverse problems in imaging with a particular focus on the computational aspects and applications. The formulation of inverse problems in imaging requires accurate mathematical modeling in order to preserve the significant features of the image. The book describes computational methods to efficiently address these problems based on new optimization algorithms for smooth and nonsmooth convex minimization, on the use of structured (numerical) linear algebra, and on multilevel techniques. It also discusses various current and challenging applications in fields such as astronomy, microscopy, and biomedical imaging. The book is intended for researchers and advanced graduate students interested in inverse problems and imaging.

Curated by the Fields Institute for Research in Mathematical Sciences from their COVID-19 Math Modelling Seminars, this first in a series of volumes on the mathematics of public health allows readers to access the dominant ideas and techniques being used in this area, while indicating problems for further research. This work brings together experts in mathematical modelling from across Canada and the world, presenting the latest modelling methods as they relate to the COVID-19 pandemic. A primary aim of this book is to make the content accessible so that researchers share the core methods that may be applied elsewhere. The mathematical theories and technologies in this book can be used to support decision makers on critical issues such as projecting outbreak trajectories, evaluating public health interventions for infection prevention and control, developing optimal strategies to return to a new normal, and designing vaccine candidates and informing mass immunization program. Topical coverage includes: basic susceptible-exposed-infectious-recovered (SEIR) modelling framework modified and applied to COVID-19 disease transmission dynamics; nearcasting and forecasting for needs of critical medical resources including personal protective equipment (PPE); predicting COVID-19 mortality; evaluating effectiveness of convalescent plasma treatment and the logistic implementation challenges; estimating impact of delays in contact tracing; quantifying heterogeneity in contact mixing and its evaluation with social distancing; modelling point of care diagnostics of COVID-19; and understanding non-reporting and underestimation. Further, readers will have the opportunity to learn about current modelling methodologies and technologies for emerging infectious disease outbreaks, pandemic mitigation rapid response, and the mathematics behind them. The volume will help the general audience and experts to better understand the important role that mathematics has been playing during this on-going crisis in supporting critical decision-making by governments and public health agencies.

This book describes analytical methods for modelling drop evaporation, providing the mathematical tools needed in order to generalise transport and constitutive equations and to find analytical solutions in curvilinear coordinate systems. Transport phenomena in gas mixtures are treated in considerable detail, and the basics of differential geometry are introduced in order to describe interface-related transport phenomena. One chapter is solely devoted to the description of sixteen different orthogonal curvilinear coordinate systems, reporting explicitly on the forms of their differential operators (gradient, divergent, curl, Laplacian) and transformation matrices. The book is intended to guide the reader from mathematics, to physical descriptions, and ultimately to engineering applications, in order to demonstrate the effectiveness of applied mathematics when properly adapted to the real world. Though the book primarily addresses the needs of engineering researchers, it will also benefit graduate students.

This book demonstrates that different rudder configurations have different hydrodynamic characteristics, which are influenced by the profile, the parameters, and the specific configuration. The author proposes new regression formulas to help naval architects quickly estimate the rudder-induced forces and moments in maneuvering. Furthermore, the author proposes and validates an integrated maneuvering model for both seagoing ships and inland vessels. Using the proposed regression formulas and maneuvering model, the specific impacts of rudder configurations on inland vessel maneuverability are studied. In turn, the book demonstrates the application of Reynolds-Averaged Navier-Stokes (RANS) simulations to obtain rudder hydrodynamic characteristics, and the integration of the RANS results into maneuvering models as an accurate estimation of rudder forces and moments needed to quantify the impacts of rudder configurations on ships' maneuvering performance. In addition, the author proposes new criteria for the prediction and evaluation of inland vessel maneuverability. Simulations of ships with various rudder configurations are presented, in order to analyze the impacts of rudder configurations on ship maneuverability in different classic and proposed test maneuvers. Offering essential guidance on the effects of rudders for inland vessel maneuverability, and helping practical engineers make informed design choices, the book is of interest to researchers and academics in the field of naval engineering, as well as students of naval architecture. Industrial practitioners working on ship design may also find it beneficial.

The third edition of the by now classic reference on rigorous analysis of symmetry breaking in both classical and quantum field theories adds new topics of relevance, in particular the effect of dynamical Coulomb delocalization, by which boundary conditions give rise to volume effects and to energy/mass gap in the Goldstone spectrum (plasmon spectrum, Anderson superconductivity, Higgs phenomenon). The book closes with a discussion of the physical meaning of global and local gauge symmetries and their breaking, with attention to the effect of gauge group topology in QCD. From the reviews of the first edition: It is remarkable to see how much material can actually be presented in a rigorous way (incidentally, many of the results presented are due to Strocchi himself), yet this is largely ignored, the original heuristic derivations being, as a rule, more popular. - At each step he strongly emphasizes the physical meaning and motivation of the various notions introduced [...] a book that fills a conspicuous gap in the literature, and does it rather well. It could also be a good basis for a graduate course in mathematical physics. J.-P. Antoine, Physicalia 28/2, 2006 Despite many accounts in popular textbooks and a widespread belief, the phenomenon is rather subtle, requires an infinite set of degrees of freedom and an advanced mathematical setting of the system under investigation. [...] The mathematically oriented graduate student will certainly benefit from this thorough, rigorous and detailed investigation. G. Roepstorff, Zentralblatt MATH, Vol. 1075, 2006 From the reviews of the second edition: This second edition of Strocchi's Symmetry Breaking presents a complete, generalized and highly rigorous discussion of the subject, based on a formal analysis of conditions necessary for the mechanism of spontaneous symmetry breaking to occur in classical systems, as well as in quantum systems. [...] This book is specifically recommended for mathematical physicists interested in a deeper and rigorous understanding of the subject, and it should be mandatory for researchers studying the mechanism of spontaneous symmetry breaking. S. Hajjawi, Mathematical Reviews, 2008

This book addresses dynamic modelling methodology and analyses of tree-type robotic systems. Such analyses are required to visualize the motion of a system without really building it. The book contains novel treatment of the tree-type systems using concept of kinematic modules and the corresponding Decoupled Natural Orthogonal Complements (DeNOC), unified representation of the multiple-degrees-of freedom-joints, efficient recursive dynamics algorithms, and detailed dynamic analyses of several legged robots. The book will help graduate students, researchers and practicing engineers in applying their knowledge of dynamics for analysis of complex robotic systems. The knowledge contained in the book will help one in virtual testing of robot operation, trajectory planning and control.

This proceedings provides novel concepts and techniques for air traffic management (ATM) and communications, navigation, and surveillance (CNS) systems. The volume consists of selected papers from the 5th ENRI International Workshop on ATM/CNS (EIWAC2017) held in Tokyo in November 2017, the theme of which was "Drafting Future Skies". Included are key topics to realize safer and more efficient skies in the future, linked to the integrated conference theme consisting of long-term visions based on presentations from various fields. The proceedings is dedicated not only to researchers, academicians, and university students, but also to engineers in the industry, air navigation service providers (ANSPs), and regulators of aviation.

Mortality improvements, uncertainty in future mortality trends and the relevant impact on life annuities and pension plans constitute important topics in the field of actuarial mathematics and life insurance techniques. In particular, actuarial calculations concerning pensions, life annuities and other living benefits (provided, for example, by long-term care insurance products and whole life sickness covers) are based on survival probabilities which necessarily extend over a long time horizon. In order to avoid underestimation of the related liabilities, the insurance company (or the pension plan) must adopt an appropriate forecast of future mortality.
Great attention is currently being devoted to the management of life annuity portfolios, both from a theoretical and a practical point of view, because of the growing importance of annuity benefits paid by private pension schemes. In particular, the progressive shift from defined benefit to defined contribution pension schemes has increased the interest in life annuities with a guaranteed annual amount.
This book provides a comprehensive and detailed description of methods for projecting mortality, and an extensive introduction to some important issues concerning longevity risk in the area of life annuities and pension benefits. It relies on research work carried out by the authors, as well as on a wide teaching experience and in CPD (Continuing Professional Development) initiatives. The following topics are dealt with: life annuities in the framework of post-retirement income strategies; the basic mortality model; recent mortality trends that have been experienced; general features of projection models; discussion of stochastic projection models, with numerical illustrations; measuring and managing longevity risk.

Spatial Patterns offers a study of nonlinear higher order model equations that are central to the description and analysis of spatio-temporal pattern formation in the natural sciences. Through a unique combination of results obtained by rigorous mathematical analysis and computational studies, the text exhibits the principal families of solutions, such as kinks, pulses and periodic solutions, and their dependence on critical eigenvalue parameters, and points to a rich structure, much of which still awaits exploration.

The exposition unfolds systematically, first focusing on a single equation to achieve optimal transparency, and then branching out to wider classes of equations. The presentation is based on results from real analysis and the theory of ordinary differential equations.

Key features:

* presentation of a new mathematical method specifically designed for the analysis of multi-bump solutions of reversible systems

* strong emphasis on the global structure of solution branches

* extensive numerical illustrations of complex solutions and their dependence on eigenvalue parameters

* application of the theory to well-known equations in mathematical physics and mechanics, such as the Swift--Hohenberg equation, the nonlinear SchrAdinger equation and the equation for the nonlinearly supported beam

* includes recent original results by the authors

* exercises scattered throughout the text to help illuminate the theory

* many research problems

The book is intended for mathematicians who wish to become acquainted with this new area of partial and ordinary differential equations, for mathematical physicists who wish to learn about the theory developed for aclass of well-known higher order pattern-forming model equations, and for graduate students who are looking for an exciting and promising field of research.

This volume highlights the latest advances, innovations, and applications in the field of sustainable concrete structures, as presented by scientists and engineers at the RILEM International Conference on Numerical Modeling Strategies for Sustainable Concrete Structures (SSCS), held in Marseille, France, on July 4-6, 2022. It demonstrates that numerical methods (finite elements, finite volumes, finite differences) are a relevant response to the challenge to optimize the utilization of cement in concrete constructions while checking that these constructions have a lifespan compatible with the stakes of sustainable development. They are indeed accurate tools for an optimized design of concrete constructions, and allow us to consider all types of complexities: for example, those linked to rheological, physicochemical and mechanical properties of concrete, those linked to the geometry of the structures or even to the environmental boundary conditions. This optimization must also respect constraints of time, money, security, energy, CO2 emissions, and, more generally, life cycle more reliably than the codes and analytical approaches currently used. Numerical methods are, undoubtedly, the best calculation tools at the service of concrete eco-construction. The contributions present traditional and new ideas that will open novel research directions and foster multidisciplinary collaboration between different specialists.

This contributed volume provides an up-to-date overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring state-of-the-art theoretical, experimental, and applied trends in the study of granular matter in various states, readers will be motivated to learn about the current challenges and potential avenues of exploration in this active area of research. Including a variety of perspectives, this volume will be a valuable reference for audiences in a number of fields. Specific topics covered include: X-ray tomography techniques for analyzing sand Evaluation of effective stress in unsaturated soils Hyper-plasticity Wave propagation in granular systems Partly saturated porous media Multi-scale approaches to the dynamics of sparse media Views on Microstructures in Granular Materials is an ideal resource for PhD students and researchers in applied mathematics, solid-state physics, civil engineering, and mechanical engineering.

Inspired by the Research Collaboration Workshop for Women in Mathematical Biology, this volume contains research and review articles that cover topics ranging from models of animal movement to the flow of blood cells in the embryonic heart. Hosted by the National Institute for Mathematics and Biological Synthesis (NIMBioS), the workshop brought together women working in biology and mathematics to form four research groups that encouraged multidisciplinary collaboration and lifetime connections in the STEM field. This volume introduces many of the topics from the workshop, including the aerodynamics of spider ballooning; sleep, circadian rhythms, and pain; blood flow regulation in the kidney; and the effects of antimicrobial therapy on gut microbiota and microbiota and Clostridium difficile. Perfect for students and researchers in mathematics and biology, the papers included in this volume offer an introductory glimpse at recent research in mathematical biology.

Double Sequence Spaces and Four-Dimensional Matrices provides readers with a clear introduction to the spaces of double sequences and series, as well as their properties. The book then goes beyond this to investigate paranormed double sequence spaces and their algebraic and topological properties, triangle matrices and their domains in certain spaces of double sequences, dual spaces of double sequence spaces, and matrix transformations between double sequence spaces and related topics. Each chapter contains a conclusion section highlighting the importance of results and pointing out possible new ideas that can be studied further. Features Suitable for students at graduate or post-graduate level and researchers Investigates different types of summable spaces and computes their duals Characterizes several four-dimensional matrix classes transforming one summable space into other Discusses several algebraic and topological properties of new sequence spaces generated by the domain of triangles.

This volume provides an introduction to the properties of functional differential equations and their applications in diverse fields such as immunology, nuclear power generation, heat transfer, signal processing, medicine and economics. In particular, it deals with problems and methods relating to systems having a memory (hereditary systems). The book contains eight chapters. Chapter 1 explains where functional differential equations come from and what sort of problems arise in applications. Chapter 2 gives a broad introduction to the basic principle involved and deals with systems having discrete and distributed delay. Chapters 3-5 are devoted to stability problems for retarded, neutral and stochastic functional differential equations. Problems of optimal control and estimation are considered in Chapters 6-8. For applied mathematicians, engineers, and physicists whose work involves mathematical modeling of hereditary systems. This volume can also be recommended as a supplementary text for graduate students who wish to become better acquainted with the properties and applications of functional differential equations.

An authoritative treatment of contaminant transport modeling now significantly revised and expanded

The challenges facing groundwater scientists and engineers today demand expertise in a wide variety of disciplines–geology, hydraulics, geochemistry, geophysics, and biology. As the number of the subdisciplines has increased and as each has become more complex and quantitative, the problem of integrating their concepts and contributions into a coherent overall interpretation has become progressively more difficult. To an increasing degree transport simulation has emerged as an answer to this problem, and the transport model has become a vehicle for integrating the vast amount of field data from a variety of sources and for understanding the relationship of various physical, chemical, and biological processes.

Applied Contaminant Transport Modeling is the first resource designed to provide coverage of the discipline’s basic principles, including the theories behind solute transport in groundwater, common numerical techniques for solving transport equations, and step-by-step guidance on the development and use of field-scale modeling.

The Second Edition incorporates recent advances in contaminant transport theory and simulation techniques, adding the following to the original text:

• An expanded discussion of the role of aquifer heterogeneity in controlling solute transport
• A new section on the dual-domain mass transfer approach as an alternative to the classical advection-dispersion model
• Additional chemical processes and reactions in the discussion of reactive transport
• A discussion of the TVD (total-variation-diminishing) approach to transport solution
• An entirely new Part III containing two chapters on simulation of flow and transport under variable water density and under variable saturation, respectively, and a third chapter on the use of the simulation-optimization approach in remediation system design

Applied Contaminant Transport Modeling, Second Edition remains the premier reference for practicing hydrogeologists, environmental scientists, engineers, and graduate students in the field. In 1998, in recognition of their work on the first edition, the authors were honored with the John Hem Excellence in Science and Engineering Award of the National Ground Water Association.

This book investigates two possibilities for describing classical-mechanical physical systems along with their Hamiltonian dynamics in the framework of quantum mechanics.The first possibility consists in exploiting the geometrical properties of the set of quantum pure states of "microsystems" and of the Lie groups characterizing the specific classical system. The second approach is to consider quantal systems of a large number of interacting subsystems - i.e. macrosystems, so as to study the quantum mechanics of an infinite number of degrees of freedom and to look for the behaviour of their collective variables. The final chapter contains some solvable models of "quantum measurement" describing dynamical transitions from "microsystems" to "macrosystems".

This book is placed at the interface between string theory and elementary particle physics and shows novel results in the search for a heterotic string vacuum that reproduces those matter particles and interactions observed in our universe. The author provides a systematic classification of potentially realistic heterotic covariant lattice vacua, which possess a lower number of moduli fields when compared to conventional compactification methods, by means of number theoretical methods. These methods, while well known to the mathematics community, have not yet found many applications to physics. They are introduced to the degree necessary to understand the computations carried out throughout this work. Furthermore, explicit covariant lattice models with particularly interesting properties are analyzed in detail. Finally, new light is shed on the relation between covariant lattice models and asymmetric orbifold compactifications, the result being a concrete correspondence between certain types of asymmetric orbifolds and those classified covariant lattices.

Multilevel Modeling Methods with Introductory and Advanced Applications provides a cogent and comprehensive introduction to the area of multilevel modeling for methodological and applied researchers as well as advanced graduate students. The book is designed to be able to serve as a textbook for a one or two semester course in multilevel modeling. The topics of the seventeen chapters range from basic to advanced, yet each chapter is designed to be able to stand alone as an instructional unit on its respective topic, with an emphasis on application and interpretation. In addition to covering foundational topics on the use of multilevel models for organizational and longitudinal research, the book includes chapters on more advanced extensions and applications, such as cross-classified random effects models, non-linear growth models, mixed effects location scale models, logistic, ordinal, and Poisson models, and multilevel mediation. In addition, the volume includes chapters addressing some of the most important design and analytic issues including missing data, power analyses, causal inference, model fit, and measurement issues. Finally, the volume includes chapters addressing special topics such as using large-scale complex sample datasets, and reporting the results of multilevel designs. Each chapter contains a section called Try This!, which poses a structured data problem for the reader. We have linked our book to a website (http://modeling.uconn.edu) containing data for the Try This! section, creating an opportunity for readers to learn by doing. The inclusion of the Try This! problems, data, and sample code eases the burden for instructors, who must continually search for class examples and homework problems. In addition, each chapter provides recommendations for additional methodological and applied readings.

The theory of dynamic games is very rich in nature and very much alive If the reader does not already agree with this statement, I hope he/she will surely do so after having consulted the contents of the current volume. The activities which fall under the heading of 'dynamic games' cannot easily be put into one scientific discipline. On the theoretical side one deals with differential games, difference games (the underlying models are described by differential, respec tively difference equations) and games based on Markov chains, with determin istic and stochastic games, zero-sum and nonzero-sum games, two-player and many-player games - all under various forms of equilibria. On the practical side, one sees applications to economics (stimulated by the recent Nobel prize for economics which went to three prominent scientists in game theory), biology, management science, and engineering. The contents of this volume are primarily based on selected presentations made at the Sixth International Symposium on Dynamic Games and Applica tions, held in St Jovite, Quebec, Canada, 13-15 July 1994. Every paper that appears in this volume has passed through a stringent reviewing process, as is the case with publications for archival technical journals. This conference, as well as its predecessor which was held in Grimentz, 1992, took place under the auspices of the International Society of Dynamic Games (ISDG), established in 1990. One of the activities of the ISDG is the publication of these Annals. The contributions in this volume have been grouped around five themes."

This book is a practical guide to the uncertainty analysis of computer model applications. Used in many areas, such as engineering, ecology and economics, computer models are subject to various uncertainties at the level of model formulations, parameter values and input data. Naturally, it would be advantageous to know the combined effect of these uncertainties on the model results as well as whether the state of knowledge should be improved in order to reduce the uncertainty of the results most effectively. The book supports decision-makers, model developers and users in their argumentation for an uncertainty analysis and assists them in the interpretation of the analysis results.

This book is one of the first to include an extensive discussion of integrated public transport planning. In times of growing urban populations and increasing environmental awareness, the importance of optimizing public transport systems is ever-developing. Three different aspects are presented: line planning, timetabling, and vehicle scheduling. Classically, challenges concerning these three aspects of planning are solved sequentially. Due to their high interdependence, the author presents a clear and detailed analysis of innovative, integrated models with accompanied numerical experiments performed to assess, and often support, the benefits of integration. The book will appeal to a wide readership ranging from graduate students to researchers.