Introduction to Traveling Waves is an invitation to research focused on traveling waves for undergraduate and masters level students. Traveling waves are not typically covered in the undergraduate curriculum, and topics related to traveling waves are usually only covered in research papers, except for a few texts designed for students. This book includes techniques that are not covered in those texts. Through their experience involving undergraduate and graduate students in a research topic related to traveling waves, the authors found that the main difficulty is to provide reading materials that contain the background information sufficient to start a research project without an expectation of an extensive list of prerequisites beyond regular undergraduate coursework. This book meets that need and serves as an entry point into research topics about the existence and stability of traveling waves. Features Self-contained, step-by-step introduction to nonlinear waves written assuming minimal prerequisites, such as an undergraduate course on linear algebra and differential equations. Suitable as a textbook for a special topics course, or as supplementary reading for courses on modeling. Contains numerous examples to support the theoretical material. Supplementary MATLAB codes available via GitHub.

This book provides novel concepts and techniques for air traffic management (ATM) and communications, navigation, and surveillance (CNS) systems. The book consists of selected papers from the 6th ENRI International Workshop on ATM/CNS (EIWAC2019) held in Tokyo in October 2019, the theme of which was "Exploring Ideas for World Aviation Challenges". 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 book 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.

This book provides a broad overview of essential features of subsurface environmental modelling at the science-policy interface, offering insights into the potential challenges in the field of subsurface flow and transport, as well as the corresponding computational modelling and its impact on the area of policy- and decision-making. The book is divided into two parts: Part I presents models, methods and software at the science-policy interface. Building on this, Part II illustrates the specifications using detailed case studies of subsurface environmental modelling. It also includes a systematic research overview and discusses the anthropogenic use of the subsurface, with a particular focus on energy-related technologies, such as carbon sequestration, geothermal technologies, fluid and energy storage, nuclear waste disposal, and unconventional oil and gas recovery.

This book presents a collection of contributions in the field of Artificial Neural Networks (ANNs). The themes addressed are multidisciplinary in nature, and closely connected in their ultimate aim to identify features from dynamic realistic signal exchanges and invariant machine representations that can be exploited to improve the quality of life of their end users. Mathematical tools like ANNs are currently exploited in many scientific domains because of their solid theoretical background and effectiveness in providing solutions to many demanding tasks such as appropriately processing (both for extracting features and recognizing) mono- and bi-dimensional dynamic signals, solving strong nonlinearities in the data and providing general solutions for deep and fully connected architectures. Given the multidisciplinary nature of their use and the interdisciplinary characterization of the problems they are applied to - which range from medicine to psychology, industrial and social robotics, computer vision, and signal processing (among many others) - ANNs may provide a basis for redefining the concept of information processing. These reflections are supported by theoretical models and applications presented in the chapters of this book. This book is of primary importance for: (a) the academic research community, (b) the ICT market, (c) PhD students and early-stage researchers, (d) schools, hospitals, rehabilitation and assisted-living centers, and (e) representatives of multimedia industries and standardization bodies.

This book provides engineers and researchers knowledge to help them in system reliability analysis using machine learning, artificial intelligence, big data, genetic algorithm, information theory, multi-criteria decision making, and other techniques. It will also be useful to students learning reliability engineering. The book brings readers up to date with how system reliability relates to the latest techniques of AI, big data, genetic algorithm, information theory, and multi-criteria decision making and points toward future developments in the subject.

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.

This book contains a selection of research articles written by prominent researchers participating in The 27th World Congress on Engineering (WCE 2019) which was held in London, UK, July 3-5, 2019. Topics covered include engineering mathematics, electrical engineering, communications systems, computer science, chemical engineering, systems engineering, manufacturing engineering, and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented during the conference, the book contains some of the state of the art in engineering technologies and the physical sciences and their applications and serves as a useful reference for researchers and graduate students working in these fields.

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

This book addresses the applications of Fourier transform to smile modeling. Smile effect is used generically by ?nancial engineers and risk managers to refer to the inconsistences of quoted implied volatilities in ?nancial markets, or more mat- matically, to the leptokurtic distributions of ?nancial assets and indices. Therefore, a sound modeling of smile effect is the central challenge in quantitative ?nance. Since more than one decade, Fourier transform has triggered a technical revolution in option pricing theory. Almost all new developed option pricing models, es- cially in connection with stochastic volatility and random jump, have extensively applied Fourier transform and the corresponding inverse transform to express - tion pricing formulas. The large accommodation of the Fourier transform allows for a very convenient modeling with a general class of stochastic processes and d- tributions. This book is then intended to present a comprehensive treatment of the Fourier transform in the option valuation, covering the most stochastic factors such as stochastic volatilities and interest rates, Poisson and Levy jumps, including some asset classes such as equity, FX and interest rates, and providing numerical ex- ples and prototype programming codes. I hope that readers will bene't from this book not only by gaining an overview of the advanced theory and the vast large l- erature on these topics, but also by gaining a ?rst-hand feedback from the practice on the applications and implementations of the theory."

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

This proceedings volume contains a selection of papers presented at the Fourth International Conference on High Performance Scientific Computing held at the Hanoi Institute of Mathematics, Vietnamese Academy of Science and Technology (VAST), March 2-6, 2009. The conference was organized by the Hanoi Institute of Mathematics, the Interdisciplinary Center for Scientific Computing (IWR), Heidelberg, and its Heidelberg Graduate School of Mathematical and Computational Methods for the Sciences, and Ho Chi Minh City University of Technology. The contributions cover the broad interdisciplinary spectrum of scientific computing and present recent advances in theory, development of methods, and applications in practice. Subjects covered are mathematical modelling, numerical simulation, methods for optimization and control, parallel computing, software development, applications of scientific computing in physics, mechanics, biology and medicine, engineering, hydrology problems, transport, communication networks, production scheduling, industrial and commercial problems.

This book introduces the engineering application of the discrete element method (DEM), especially the simulation analysis of the typical equipment (scraper conveyor, coal silos, subsoiler) in the coal and agricultural machinery. In this book, the DEM is applied to build rigid and loose coupling model, and the kinematic effect of the bulk materials, the mechanical effect of the interaction between the bulk materials, and the mechanical equipment in the operation process of the relevant equipment are studied. On this basis, the optimization design strategy of the relevant structure is proposed. This book effectively promotes the application of DEM in engineering, analyzes the operation state, failure mechanism, and operation effect of related equipment in operation, and provides theoretical basis for the optimal design of equipment. The book is intended for undergraduate and graduate students who are interested in mechanical engineering, researchers investigating coal and agricultural machinery, and engineers working on designing related equipments.

This book gathers a selection of invited and contributed lectures from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) held in Lausanne, Switzerland, August 26-30, 2013. It provides an overview of recent developments in numerical analysis, computational mathematics and applications from leading experts in the field. New results on finite element methods, multiscale methods, numerical linear algebra and discretization techniques for fluid mechanics and optics are presented. As such, the book offers a valuable resource for a wide range of readers looking for a state-of-the-art overview of advanced techniques, algorithms and results in numerical mathematics and scientific computing.

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.

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.

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