Science is fundamentally about learning from data, and doing so in the presence of uncertainty. This volume is an introduction to the major concepts of probability and statistics, and the computational tools for analysing and interpreting data. It describes the Bayesian approach, and explains how this can be used to fit and compare models in a range of problems. Topics covered include regression, parameter estimation, model assessment, and Monte Carlo methods, as well as widely used classical methods such as regularization and hypothesis testing. The emphasis throughout is on the principles, the unifying probabilistic approach, and showing how the methods can be implemented in practice. R code (with explanations) is included and is available online, so readers can reproduce the plots and results for themselves. Aimed primarily at undergraduate and graduate students, these techniques can be applied to a wide range of data analysis problems beyond the scope of this work.

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 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 contributed volume explores the applications of various topics in modern differential geometry to the foundations of continuum mechanics. In particular, the contributors use notions from areas such as global analysis, algebraic topology, and geometric measure theory. Chapter authors are experts in their respective areas, and provide important insights from the most recent research. Organized into two parts, the book first covers kinematics, forces, and stress theory, and then addresses defects, uniformity, and homogeneity. Specific topics covered include: Global stress and hyper-stress theories Applications of de Rham currents to singular dislocations Manifolds of mappings for continuum mechanics Kinematics of defects in solid crystals Geometric Continuum Mechanics will appeal to graduate students and researchers in the fields of mechanics, physics, and engineering who seek a more rigorous mathematical understanding of the area. Mathematicians interested in applications of analysis and geometry will also find the topics covered here of interest.

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 book introduces readers to both basic and advanced concepts in deep network models. It covers state-of-the-art deep architectures that many researchers are currently using to overcome the limitations of the traditional artificial neural networks. Various deep architecture models and their components are discussed in detail, and subsequently illustrated by algorithms and selected applications. In addition, the book explains in detail the transfer learning approach for faster training of deep models; the approach is also demonstrated on large volumes of fingerprint and face image datasets. In closing, it discusses the unique set of problems and challenges associated with these models.

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.

This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline, which can be succinctly called cognitive metamathematics, with the ultimate goal of achieving a global instance of concrete Artificial Mathematical Intelligence (AMI). In other words, AMI looks for the construction of an (ideal) global artificial agent being able to (co-)solve interactively formal problems with a conceptual mathematical description in a human-style way. It first gives formal guidelines from the philosophical, logical, meta-mathematical, cognitive, and computational points of view supporting the formal existence of such a global AMI framework, examining how much of current mathematics can be completely generated by an interactive computer program and how close we are to constructing a machine that would be able to simulate the way a modern working mathematician handles solvable mathematical conjectures from a conceptual point of view. The thesis that it is possible to meta-model the intellectual job of a working mathematician is heuristically supported by the computational theory of mind, which posits that the mind is in fact a computational system, and by the meta-fact that genuine mathematical proofs are, in principle, algorithmically verifiable, at least theoretically. The introduction to this volume provides then the grounding multifaceted principles of cognitive metamathematics, and, at the same time gives an overview of some of the most outstanding results in this direction, keeping in mind that the main focus is human-style proofs, and not simply formal verification. The first part of the book presents the new cognitive foundations of mathematics' program dealing with the construction of formal refinements of seminal (meta-)mathematical notions and facts. The second develops positions and formalizations of a global taxonomy of classic and new cognitive abilities, and computational tools allowing for calculation of formal conceptual blends are described. In particular, a new cognitive characterization of the Church-Turing Thesis is presented. In the last part, classic and new results concerning the co-generation of a vast amount of old and new mathematical concepts and the key parts of several standard proofs in Hilbert-style deductive systems are shown as well, filling explicitly a well-known gap in the mechanization of mathematics concerning artificial conceptual generation.

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.

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.

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 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.

This book offers a rigorous yet elementary approach to quantum mechanics that will meet the needs of Master's-level Mathematics students and is equally suitable for Physics students who are interested in gaining a deeper understanding of the mathematical structure of the theory. Throughout the coverage, which is limited to single-particle quantum mechanics, the focus is on formulating theory and developing applications in a mathematically precise manner. Following a review of selected key concepts in classical physics and the historical background, the basic elements of the theory of operators in Hilbert spaces are presented and used to formulate the rules of quantum mechanics. The discussion then turns to free particles, harmonic oscillators, delta potential, and hydrogen atoms, providing rigorous proofs of the corresponding dynamical properties. Starting from an analysis of these applications, readers are subsequently introduced to more advanced topics such as the classical limit, scattering theory, and spectral analysis of Schroedinger operators. The main content is complemented by numerous exercises that stimulate interactive learning and help readers check their progress.

This book presents the latest advances in photometric 3D reconstruction. It provides the reader with an overview of the state of the art in the field, and of the latest research into both the theoretical foundations of photometric 3D reconstruction and its practical application in several fields (including security, medicine, cultural heritage and archiving, and engineering). These techniques play a crucial role within such emerging technologies as 3D printing, since they permit the direct conversion of an image into a solid object. The book covers both theoretical analysis and real-world applications, highlighting the importance of deepening interdisciplinary skills, and as such will be of interest to both academic researchers and practitioners from the computer vision and mathematical 3D modeling communities, as well as engineers involved in 3D printing. No prior background is required beyond a general knowledge of classical computer vision models, numerical methods for optimization, and partial differential equations.

Mathematical methods and theories with interdisciplinary applications are presented in this book. The eighteen contributions presented in this Work have been written by eminent scientists; a few papers are based on talks which took place at the International Conference at the Hellenic Artillery School in May 2015. Each paper evaluates possible solutions to long-standing problems such as the solvability of the direct electromagnetic scattering problem, geometric approaches to cyber security, ellipsoid targeting with overlap, non-equilibrium solutions of dynamic networks, measuring ballistic dispersion, elliptic regularity theory for the numerical solution of variational problems, approximation theory for polynomials on the real line and the unit circle, complementarity and variational inequalities in electronics, new two-slope parameterized achievement scalarizing functions for nonlinear multiobjective optimization, and strong and weak convexity of closed sets in a Hilbert space. Graduate students, scientists, engineers and researchers in pure and applied mathematical sciences, operations research, engineering, and cyber security will find the interdisciplinary scientific perspectives useful to their overall understanding and further research.

This text, based on the author's teaching at Ecole Polytechnique, introduces the reader to the world of mathematical modelling and numerical simulation. Covering the finite difference method; variational formulation of elliptic problems; Sobolev spaces; elliptical problems; the finite element method; Eigenvalue problems; evolution problems; optimality conditions and algorithms and methods of operational research, and including a several exercises throughout, this is an ideal text for advanced undergraduate students and graduates in applied mathematics, engineering, computer science, and the physical sciences.

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.