Inverse problems such as imaging or parameter identification deal with the recovery of unknown quantities from indirect observations, connected via a model describing the underlying context. While traditionally inverse problems are formulated and investigated in a static setting, we observe a significant increase of interest in time-dependence in a growing number of important applications over the last few years. Here, time-dependence affects a) the unknown function to be recovered and / or b) the observed data and / or c) the underlying process. Challenging applications in the field of imaging and parameter identification are techniques such as photoacoustic tomography, elastography, dynamic computerized or emission tomography, dynamic magnetic resonance imaging, super-resolution in image sequences and videos, health monitoring of elastic structures, optical flow problems or magnetic particle imaging to name only a few. Such problems demand for innovation concerning their mathematical description and analysis as well as computational approaches for their solution.

An invaluable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, astronomers, and other calendar enthusiasts, The Ultimate Edition updates and expands the previous edition to achieve more accurate results and present new calendar variants. The book now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, and Babylonian calendars. There are also expanded treatments of the observational Islamic and Hebrew calendars and brief discussions of the Samaritan and Nepalese calendars. Several of the astronomical functions have been rewritten to produce more accurate results and to include calculations of moonrise and moonset. The authors frame the calendars of the world in a completely algorithmic form, allowing easy conversion among these calendars and the determination of secular and religious holidays. LISP code for all the algorithms is available in machine-readable form.

This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theory can help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text.

The purpose of this book is to present a broad panorama of model problems encountered in nonviscous Newtonian fluid flows. This is achieved by investigating the significant features of the solutions of the corresponding equations using the method of asymptotic analysis. The book thereby fills a long-standing gap in the literature by providing researchers working on applied topics in hydro-aerodynamics, acoustics and geophysical fluid flows with exact results, without having to invoke the complex mathematical apparatus necessary to obtain those insights. The benefit of this approach is two-fold: outlining the idea of the mathematical proofs involved suggests methodologies and algorithms for numerical computation, and also often gives useful information regarding the qualitative behaviour of the solutions. This book is aimed at researchers and students alike as it also provides all the necessary basic knowledge about fluid dynamics.

This handbook features essays written by both literary scholars and mathematicians that examine multiple facets of the connections between literature and mathematics. These connections range from mathematics and poetic meter to mathematics and modernism to mathematics as literature. Some chapters focus on a single author, such as mathematics and Ezra Pound, Gertrude Stein, or Charles Dickens, while others consider a mathematical topic common to two or more authors, such as squaring the circle, chaos theory, Newton's calculus, or stochastic processes. With appeal for scholars and students in literature, mathematics, cultural history, and history of mathematics, this important volume aims to introduce the range, fertility, and complexity of the connections between mathematics, literature, and literary theory. Chapter 1 is available open access under a Creative Commons Attribution 4.0 International License via [link.springer.com|http://link.springer.com/].

Available for the first time in McGraw-Hill's Connect! Principles of Statistics for Engineers and Scientists emphasizes statistical methods and how they can be applied to problems in science and engineering. The book contains many examples that feature real, contemporary data sets, both to motivate students and to show connections to industry and scientific research. Because statistical analyses are done on computers, the book contains exercises and examples that involve interpreting, as well as generating, computer output. This book may be used effectively with any software package.

This accessible textbook offers a novel, concept-led approach to superconducting electronics, using the COMSOL Multiphysics software to help describe fundamental principles in an intuitive manner. Based on a course taught by the author and aimed primarily at engineering students, the book explains concepts effectively and efficiently, uncovering the "shortcut" to understanding each topic, enabling readers to quickly grasp the underlying essence. The book is divided into two main parts; the first part provides a general introduction to key topics encountered in superconductivity, illustrated using COMSOL simulations based on time-dependent Ginzburg-Landau equations and avoiding any deeply mathematical derivations. It includes numerous worked examples and problem sets with tips and solutions. The second part of the book is more conventional in nature, providing detailed derivations of the basic equations from first principles. This part covers more advanced topics, including the BCS-Gor'kov-Eliashberg approach to equilibrium properties of superconductors, the derivation of kinetic equations for nonequilibrium superconductors, and the derivation of time-dependent Ginzburg-Landau equations, used as the basis for COMSOL modeling in the first part. Supported throughout by an extensive library of COMSOL Multiphysics animations, the book serves as a uniquely accessible introduction to the field for engineers and others with a less rigorous background in physics and mathematics. However, it also features more detailed mathematical background for those wishing to delve further into the subject.

This book focuses on multi-model systems, describing how to apply intelligent technologies to model complex multi-model systems by combining stochastic jumping system, neural network and fuzzy models. It focuses on robust filtering, including finite-time robust filtering, finite-frequency robust filtering and higher order moment robust filtering schemes, as well as fault detection problems for multi-model jump systems, such as observer-based robust fault detection, filtering-based robust fault detection and neural network-based robust fault detection methods. The book also demonstrates the validity and practicability of the theoretical results using simulation and practical examples, like circuit systems, robot systems and power systems. Further, it introduces readers to methods such as finite-time filtering, finite-frequency robust filtering, as well as higher order moment and neural network-based fault detection methods for multi-model jumping systems, allowing them to grasp the modeling, analysis and design of the multi-model systems presented and implement filtering and fault detection analysis for various systems, including circuit, network and mechanical systems.

This study aid on numerical optimization techniques is intended for university undergraduate and postgraduate mechanical engineering students. Optimization procedures are becoming more and more important for lightweight design, where weight reduction can, for example in the case of automotive or aerospace industry, lead to lower fuel consumption and a corresponding reduction in operational costs as well as beneficial effects on the environment. Based on the free computer algebra system Maxima, the authors present procedures for numerically solving problems in engineering mathematics as well as applications taken from traditional courses on the strength of materials. The mechanical theories focus on the typical one-dimensional structural elements, i.e., springs, bars, and Euler-Bernoulli beams, in order to reduce the complexity of the numerical framework and limit the resulting design to a low number of variables. The use of a computer algebra system and the incorporated functions, e.g., for derivatives or equation solving, allows a greater focus on the methodology of the optimization methods and not on standard procedures. The book also provides numerous examples, including some that can be solved using a graphical approach to help readers gain a better understanding of the computer implementation.

This introductory and self-contained book gathers as much explicit mathematical results on the linear-elastic and heat-conduction solutions in the neighborhood of singular points in two-dimensional domains, and singular edges and vertices in three-dimensional domains. These are presented in an engineering terminology for practical usage. The author treats the mathematical formulations from an engineering viewpoint and presents high-order finite-element methods for the computation of singular solutions in isotropic and anisotropic materials, and multi-material interfaces. The proper interpretation of the results in engineering practice is advocated, so that the computed data can be correlated to experimental observations. The book is divided into fourteen chapters, each containing several sections. Most of it (the first nine Chapters) addresses two-dimensional domains, where only singular points exist. The solution in a vicinity of these points admits an asymptotic expansion composed of eigenpairs and associated generalized flux/stress intensity factors (GFIFs/GSIFs), which are being computed analytically when possible or by finite element methods otherwise. Singular points associated with weakly coupled thermoelasticity in the vicinity of singularities are also addressed and thermal GSIFs are computed. The computed data is important in engineering practice for predicting failure initiation in brittle material on a daily basis. Several failure laws for two-dimensional domains with V-notches are presented and their validity is examined by comparison to experimental observations. A sufficient simple and reliable condition for predicting failure initiation (crack formation) in micron level electronic devices, involving singular points, is still a topic of active research and interest, and is addressed herein. Explicit singular solutions in the vicinity of vertices and edges in three-dimensional domains are provided in the remaining five chapters. New methods for the computation of generalized edge flux/stress intensity functions along singular edges are presented and demonstrated by several example problems from the field of fracture mechanics; including anisotropic domains and bimaterial interfaces. Circular edges are also presented and the author concludes with some remarks on open questions. This well illustrated book will appeal to both applied mathematicians and engineers working in the field of fracture mechanics and singularities.

This book discusses recent research and applications in intelligent service computing in mobile environments. The authors first explain how advances in artificial intelligence and big data have allowed for an array of intelligent services with complex and diverse applications. They then show how this brings new opportunities and challenges for service computing. The book, made up of contributions from academic and industry, aims to present advances in intelligent services, new algorithms and techniques in the field, foundational theory and systems, as well as practical real-life applications. Some of the topics discussed include cognition, modeling, description and verification for intelligent services; discovery, recommendation and selection for intelligent services; formal verification, testing and inspection for intelligent services; and composition and cooperation methods for intelligent services.

In modern mathematical physics, classical together with quantum, geometrical and functional analytic methods are used simultaneously. Non-commutative geometry in particular is becoming a useful tool in quantum field theories. This book, aimed at advanced students and researchers, provides an introduction to these ideas. Researchers will benefit particularly from the extensive survey articles on models relating to quantum gravity, string theory, and non-commutative geometry, as well as Connes' approach to the standard model.

This book focuses on numerical simulation-based design theory and methods in mechanical engineering. The simulation-based design of mechanical equipmentinvolves considerable scientific challenges including extremely complex systems,extreme working conditions, multi-source uncertainties, multi-physics coupling, andlarge-scale computation. In order to overcome these technical difficulties, this booksystematically elaborates upon the advanced design methods, covering high-fidelitysimulation modeling, rapid structural analysis, multi-objective design optimization,uncertainty analysis and optimization, which can effectively improve the designaccuracy, efficiency, multi-functionality and reliability of complicated mechanicalstructures. This book is primarily intended for researchers, engineers and postgraduate studentsin mechanical engineering, especially in mechanical design, numerical simulation andengineering optimization.

The XIIIth Bialowieza Summer Workshop was held from July 9 to 15, 1994. While still within the general framework of Differential Geometric Methods in Physics, the XnIth Workshop was expanded in scope to include quantum groups, q-deformations and non-commutative geometry. It is expected that lectures on these topics will now become an integral part of future workshops. In the more traditional areas, lectures were devoted to topics in quantization, field theory, group representations, coherent states, complex and Poisson structures, the Berry phase, graded contractions and some infinite-dimensional systems. Those of us who have taken part in the evolution of the workshops over the years, feel a good measure of satisfaction with the excellent quality of the papers presented, in particular the mathematical rigour and novelty. Each year a significant number of new results are presented and future directions of research are discussed. Their freshness and immediacy inevitably leads to intense discussions and an exchange of ideas in an informal and physically charming environment. The present workshop also had a higher attendance than its predecessors, with ap proximately 65 registered participants. As usual, there was a large number of graduate students and young researchers among them."

This book examines the problems in the field of energy and related areas (including chemistry, transport, aerospace, construction, metallurgy and engineering) that Ukrainian scientists are currently investigating. The research presented focuses on ensuring the operational reliability, durability and safety of energy equipment, as well as the development of control, diagnostics and monitoring systems in the energy sector. Further, the book explores the ecological consequences of energy facilities , particularly environmental pollution in large cities and industrial areas. Written mainly by representatives of the Council of Young Scientists of the Department of Physical and Technical Problems of Energy at the NAS of Ukraine, it is intended for researchers and engineers, as well as lecturers and postgraduates at higher education institutions interested in the control, diagnosis and monitoring of energy facilities.

A large number of physical phenomena are modeled by nonlinear partial

differential equations, subject to appropriate initial/ boundary conditions; these

equations, in general, do not admit exact solution. The present monograph gives

constructive mathematical techniques which bring out large time behavior of

solutions of these model equations. These approaches, in conjunction with modern

computational methods, help solve physical problems in a satisfactory manner. The

asymptotic methods dealt with here include self-similarity, balancing argument,

and matched asymptotic expansions. The physical models discussed in some detail

here relate to porous media equation, heat equation with absorption, generalized

Fisher's equation, Burgers equation and its generalizations. A chapter each is

devoted to nonlinear diffusion and fluid mechanics. The present book will be found

useful by applied mathematicians, physicists, engineers and biologists, and would

considerably help understand diverse natural phenomena.

Sensitivity analysis is used to ascertain how a given model output depends upon the input parameters. This is an important method for checking the quality of a given model, as well as a powerful tool for checking the robustness and reliability of its analysis. The topic is acknowledged as essential for good modelling practice, and is an implicit part of any modelling field.

• Offers an accessible introduction to sensitivity
• Covers all the latest research
• Illustrates concepts with numerous examples, applications and case studies
• Includes contributions from the leading researchers active in developing strategies for sensitivity analysis

The theories of quantum fields and strings have had a fruitful impact on certain exciting developments in mathematics and have sparked mathematicians' interest in further understanding some of the basic elements of these grand physical theories. This self-contained text presents quantum mechanics from the point of view of some computational examples with a mixture of mathematical clarity often not found in texts offering only a purely physical point of view. Emphasis is placed on the systematic application of the Nikiforov--Uvarov theory of generalized hypergeometric differential equations to solve the SchrAdinger equation and to obtain the quantization of energies from a single unified point of view. This theory is developed and is also used to give a uniform approach to the theory of special functions. Additional key features: * Considerable material is devoted to the foundations of classical mechanics using conventional mathematical terminology * The first 10 chapters of Part I cover Planck and SchrAdinger quantization, Pauli's spin functions, and an introduction to multielectron atoms * Part II treats such topics as Feynman path integrals, quantum statistical partition functions, high and low temperature asymptotics of quantum fields of over a negatively curved space-time * Selected special topics involve some applications of the theory of automorphic forms, zeta functions, the Jacobi inversion formula, spherical harmonic analysis and the Selberg trace formula * Excellent bibliography and index. Communication between physicists and mathematicians requires continual bridges to eliminate the divide. This monograph furthers that goal in presenting some new and exciting applications ofso-called pure mathematics, including number theory, to various problems arising in physics. An excellent resource for classroom or self-study.

This book concerns issues related to biomathematics, medicine, or cybernetics as practiced by engineers. Considered population dynamics models are still in the interest of researchers, and even this interest is increasing, especially now in the time of SARS-CoV-2 coronavirus pandemic, when models are intensively studied in order to help predict its behaviour within human population. The structures of population dynamics models and practical methods of finding their solutions are discussed. Finally, the hypothesis of the existence of non-trivial ergodic properties of the model of erythropoietic response dynamics formulated by A. Lasota in the form of delay differential equation with unimodal feedback is analysed. The research can be compared with actual medical data, as well as shows that the structures of population models can reflect the dynamic structures of reality.

The Poisson process, a core object in modern probability, enjoys a richer theory than is sometimes appreciated. This volume develops the theory in the setting of a general abstract measure space, establishing basic results and properties as well as certain advanced topics in the stochastic analysis of the Poisson process. Also discussed are applications and related topics in stochastic geometry, including stationary point processes, the Boolean model, the Gilbert graph, stable allocations, and hyperplane processes. Comprehensive, rigorous, and self-contained, this text is ideal for graduate courses or for self-study, with a substantial number of exercises for each chapter. Mathematical prerequisites, mainly a sound knowledge of measure-theoretic probability, are kept in the background, but are reviewed comprehensively in the appendix. The authors are well-known researchers in probability theory; especially stochastic geometry. Their approach is informed both by their research and by their extensive experience in teaching at undergraduate and graduate levels.

Modern economic growth is characterized by structural changes based on the introduction of new technologies into economics. The replacement and renova tion of technologies in industrial environments undergoing technical change is clearly one of the key aspects of economic development. The mathematical modeling of evolutionary economics under technical change (TC) has been rigorously considered by many authors during last decades. There is a wide variety of economic approaches and models describing different aspects of technical change. Among these are the models of embodied technical progress [19], [35], [70], [129], endogenous growth models [94], [102], the models of technological innovations [31], [32], [41], and others. The perspective self organization evolutionary approach is developed in [20], [38], [122], [123], [124], [126], which unites the aspects of diffusion of new technologies, technological and behavioral diversity of firms, learning mechanisms, age-dependent effects, and other important features of real-life economics. On the whole, an interest in evolutionary economics has brought considerable progress in the description and conceptualization of the sources, characteristics, direction and effects of technical change [125]. However, the modeling and control of technology lifetime under technical change has received rather little attention in mathematical economics in con trary to other aspects of technical progress. The lifetime of technologies has rarely been formally treated as a part of more general mathematical theory of economic dynamics. A problem which is still to be resolved consists in establishing the rational strategies of technologies' replacement under various assumptions on the behavior of technical change.

This book offers, from both a theoretical and a computational perspective, an analysis of macroscopic mathematical models for description of charge transport in electronic devices, in particular in the presence of confining effects, such as in the double gate MOSFET. The models are derived from the semiclassical Boltzmann equation by means of the moment method and are closed by resorting to the maximum entropy principle. In the case of confinement, electrons are treated as waves in the confining direction by solving a one-dimensional Schroedinger equation obtaining subbands, while the longitudinal transport of subband electrons is described semiclassically. Limiting energy-transport and drift-diffusion models are also obtained by using suitable scaling procedures. An entire chapter in the book is dedicated to a promising new material like graphene. The models appear to be sound and sufficiently accurate for systematic use in computer-aided design simulators for complex electron devices. The book is addressed to applied mathematicians, physicists, and electronic engineers. It is written for graduate or PhD readers but the opening chapter contains a modicum of semiconductor physics, making it self-consistent and useful also for undergraduate students.

This contributed volume presents the state-of-the-art of games and dynamic games, featuring several chapters based on plenary sessions at the ISDG-China Chapter Conference on Dynamic Games and Game Theoretic Analysis, which was held from August 3-5, 2017 at the Ningbo campus of the University of Nottingham, China. The chapters in this volume will provide readers with paths to further research, serving as a testimony to the vitality of the field. Experts cover a range of theory and applications related to games and dynamic games, with topics including: Dynamically stable cooperative provision of public goods under non-transferable utility Strongly time-consistent solutions in cooperative dynamic games Incentive Stackelberg games for stochastic systems Static and inverse Stackelberg games in political economy Cournot and Betrand competition on symmetric R&D networks Numerical Nash equilibria using curvilinear multistart algorithm Markov chain approximation numerical scheme for infinite-horizon mean field games Frontiers in Games and Dynamic Games will appeal to an interdisciplinary audience of researchers, practitioners, and graduate students interested in games and dynamic games.

This thesis develops a pioneering methodology and a concept for identifying critical loads and load model parameters in large power networks based on their influence on power system stability. The research described in the thesis first develops an automatic load modelling tool (ALMT) that can be used to automatically build load model from actual measured power system data without human intervention and the benefits of the ALMY are explored. Secondly, it develops a pioneering framework based on Morris screening method for ranking power system load model parameters based on their influence on overall power system stability (voltage, frequency, transient and small disturbance stability) considering different load models and loading conditions. Thirdly, a novel probabilistic methodology for determining the accuracy levels of critical load model parameters has been developed. This book will be of interest to students and researchers within the field of electrical engineering, as well as industry professionals.

This volume is concerned with a detailed description of the canonical operator method - one of the asymptotic methods of linear mathematical physics. The book is, in fact, an extension and continuation of the authors' works [59], [60], [65]. The basic ideas are summarized in the Introduction. The book consists of two parts. In the first, the theory of the canonical operator is develop ed, whereas, in the second, many applications of the canonical operator method to concrete problems of mathematical physics are presented. The authors are pleased to express their deep gratitude to S. M. Tsidilin for his valuable comments. THE AUTHORS IX INTRODUCTION 1. Various problems of mathematical and theoretical physics involve partial differential equations with a small parameter at the highest derivative terms. For constructing approximate solutions of these equations, asymptotic methods have long been used. In recent decades there has been a renaissance period of the asymptotic methods of linear mathematical physics. The range of their applicability has expanded: the asymptotic methods have been not only continuously used in traditional branches of mathematical physics but also have had an essential impact on the development of the general theory of partial differential equations. It appeared recently that there is a unified approach to a number of problems which, at first sight, looked rather unrelated.