This monograph provides a concise overview of the main theoretical and numerical tools to solve homogenization problems in solids with finite elements. Starting from simple cases (linear thermal case) the problems are progressively complexified to finish with nonlinear problems. The book is not an overview of current research in that field, but a course book, and summarizes established knowledge in this area such that students or researchers who would like to start working on this subject will acquire the basics without any preliminary knowledge about homogenization. More specifically, the book is written with the objective of practical implementation of the methodologies in simple programs such as Matlab. The presentation is kept at a level where no deep mathematics are required.

This book focuses on unstable systems both from the classical and the quantum mechanical points of view and studies the relations between them. The first part deals with quantum systems. Here the main generally used methods today, such as the Gamow approach, and the Wigner-Weisskopf method, are critically discussed. The quantum mechanical Lax-Phillips theory developed by the authors, based on the dilation theory of Nagy and Foias and its more general extension to approximate semigroup evolution is explained. The second part provides a description of approaches to classical stability analysis and introduces geometrical methods recently developed by the authors, which are shown to be highly effective in diagnosing instability and, in many cases, chaotic behavior. It is then shown that, in the framework of the theory of symplectic manifolds, there is a systematic algorithm for the construction of a canonical transformation of any standard potential model Hamiltonian to geometric form, making accessible powerful geometric methods for stability analysis in a wide range of applications.

This book presents the proceedings of the international conference Particle Systems and Partial Differential Equations V, which was held at the University of Minho, Braga, Portugal, from the 28th to 30th November 2016. It includes papers on mathematical problems motivated by various applications in physics, engineering, economics, chemistry, and biology. The purpose of the conference was to bring together prominent researchers working in the fields of particle systems and partial differential equations, providing a venue for them to present their latest findings and discuss their areas of expertise. Further, it was intended to introduce a vast and varied public, including young researchers, to the subject of interacting particle systems, its underlying motivation, and its relation to partial differential equations. The book appeals to probabilists, analysts and also to mathematicians in general whose work focuses on topics in mathematical physics, stochastic processes and differential equations, as well as to physicists working in the area of statistical mechanics and kinetic theory.

This book explores recent developments in theoretical research and data analysis of real-world complex systems, organized in three parts, namely Entropy, information, and complexity functions Multistability, oscillations, and rhythmic synchronization Diffusions, rotation, and convection in fluids The collection of works devoted to the memory of Professor Valentin Afraimovich provides a deep insight into the recent developments in complexity science by introducing new concepts, methods, and applications in nonlinear dynamical systems covering physical problems and mathematical modelling relevant to economics, genetics, engineering vibrations, as well as classic problems in physics, fluid and climate dynamics, and urban dynamics. The book facilitates a better understanding of the mechanisms and phenomena in nonlinear dynamics and develops the corresponding mathematical theory to apply nonlinear design to practical engineering. It can be read by mathematicians, physicists, complex systems scientists, IT specialists, civil engineers, data scientists, and urban planners.

The book describes currently applied and newly developed advanced numerical methods for wave-induced ship motions and loads. Besides well-established computational methods based on strip theory, panel methods and finite volume methods for unsteady Reynolds-averaged Navier-Stokes equations (URANS), recent advances like a fully nonlinear Rankine panel method, URANS calculations including elastic hull deformations, and an improved method to predict added resistance in waves are explained in detail. Furthermore, statistical methods to assess extreme motions and loads are described both for linear and nonlinear responses in a stationary seaway as well as during long-term ship operations. Results of motions and loads, computed using the various methods, are compared with each other and with results of model experiments. Introductory chapters on fluid dynamics, motions of rigid and elastic ship hulls, numerical methods to compute fluid flows associated with wind waves, and the development and simulation of seaways complement the volume. The book will be of interest to post-graduate students, PhD candidates, as well as engineers in the field of naval architecture, ocean, and marine engineering.

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 addresses the mechanism of enrichment of heavy elements in galaxies, a long standing problem in astronomy. It mainly focuses on explaining the origin of heavy elements by performing state-of-the-art, high-resolution hydrodynamic simulations of dwarf galaxies. In this book, the author successfully develops a model of galactic chemodynamical evolution by means of which the neutron star mergers can be used to explain the observed abundance pattern of the heavy elements synthesized by the rapid neutron capture process, such as europium, gold, and uranium in the Local Group dwarf galaxies. The book argues that heavy elements are significant indicators of the evolutionary history of the early galaxies, and presents theoretical findings that open new avenues to understanding the formation and evolution of galaxies based on the abundance of heavy elements in metal-poor stars.

The 5th edition of this classic textbook covers the central concepts of practical optimization techniques, with an emphasis on methods that are both state-of-the-art and popular. One major insight is the connection between the purely analytical character of an optimization problem and the behavior of algorithms used to solve that problem. End-of-chapter exercises are provided for all chapters. The material is organized into three separate parts. Part I offers a self-contained introduction to linear programming. The presentation in this part is fairly conventional, covering the main elements of the underlying theory of linear programming, many of the most effective numerical algorithms, and many of its important special applications. Part II, which is independent of Part I, covers the theory of unconstrained optimization, including both derivations of the appropriate optimality conditions and an introduction to basic algorithms. This part of the book explores the general properties of algorithms and defines various notions of convergence. In turn, Part III extends the concepts developed in the second part to constrained optimization problems. Except for a few isolated sections, this part is also independent of Part I. As such, Parts II and III can easily be used without reading Part I and, in fact, the book has been used in this way at many universities. New to this edition are popular topics in data science and machine learning, such as the Markov Decision Process, Farkas' lemma, convergence speed analysis, duality theories and applications, various first-order methods, stochastic gradient method, mirror-descent method, Frank-Wolf method, ALM/ADMM method, interior trust-region method for non-convex optimization, distributionally robust optimization, online linear programming, semidefinite programming for sensor-network localization, and infeasibility detection for nonlinear optimization.

Instabilities of fluid flows and the associated transitions between different possible flow states provide a fascinating set of problems that have attracted researchers for over a hundred years. This book addresses state-of-the-art developments in numerical techniques for computational modelling of fluid instabilities and related bifurcation structures, as well as providing comprehensive reviews of recently solved challenging problems in the field.

Stochastic Finance provides an introduction to mathematical finance that is unparalleled in its accessibility. Through classroom testing, the authors have identified common pain points for students, and their approach takes great care to help the reader to overcome these difficulties and to foster understanding where comparable texts often do not. Written for advanced undergraduate students, and making use of numerous detailed examples to illustrate key concepts, this text provides all the mathematical foundations necessary to model transactions in the world of finance. A first course in probability is the only necessary background. The book begins with the discrete binomial model and the finite market model, followed by the continuous Black-Scholes model. It studies the pricing of European options by combining financial concepts such as arbitrage and self-financing trading strategies with probabilistic tools such as sigma algebras, martingales and stochastic integration. All these concepts are introduced in a relaxed and user-friendly fashion.

For courses in Actuarial Mathematics, Introduction to Insurance, and Personal/Business Finance. This text presents the basic core of information needed to understand the impact of interest rates on the world of investments, real estate, corporate planning, insurance, and securities transactions. The authors presuppose a working knowledge of basic algebra, arithmetic, and percents for the core of the book: their goal is for students to understand well those few underlying principles that play out in nearly every finance and interest problem. There are several sections that utilize calculus and one chapter that requires statistics. Using time line diagrams as important tools in analyzing money and interest exercises, the text contains a great deal of practical financial applications of interest theory as well as its foundational definitions and theorems. It relies on the use of calculator and computer technology instead of tables; this approach frees students to understand challenging topics without wilting under labor-intensive details.

This book presents novel research ideas and offers insights into radar system design, artificial intelligence and signal processing applications. Further, it proposes a new concept of antenna spatial polarization characteristics (SPC), suggesting that the antenna polarization is a function of the spatial direction and providing new ideas for radar signal processing (RSP) and anti-jamming. It also discusses the design of an advanced signal-processing algorithm, and proposes new polarimetric and anti-jamming methods using antenna inherent properties. The book helps readers discover the potential of radar information processing and improve its anti-interference and target identification ability. It is of interest to university researchers, radar engineers and graduate students in computer science and electronics who wish to learn the core principles, methods, algorithms, and applications of RSP.

This book presents the second volume of Piola's original Italian text together with the English-language translation and comments, showing convincingly that Gabrio Piola's work must still be regarded as a modern theory. Gabrio Piola's work has had an enormous impact on the development of applied mathematics and continuum mechanics. As such, a committee of scientific experts took it upon themselves to translate his complete works. In a second step, they commented on Piola's work and compared it to modern theories in mechanics in order to stress Piola's impact on modern science and prove and confirm that he achieved significant milestones in applied mathematics.

This book collects recent advances in the field of nonlinear dynamics in biological systems. Focusing on medical applications as well as more fundamental questions in biochemistry, it presents recent findings in areas such as control in chemically driven reaction-diffusion systems, electrical wave propagation through heart tissue, neural network growth, chiral symmetry breaking in polymers and mechanochemical pattern formation in the cytoplasm, particularly in the context of cardiac cells. It is a compilation of works, including contributions from international scientists who attended the "2nd BCAM Workshop on Nonlinear Dynamics in Biological Systems," held at the Basque Center for Applied Mathematics, Bilbao in September 2016. Embracing diverse disciplines and using multidisciplinary approaches - including theoretical concepts, simulations and experiments - these contributions highlight the nonlinear nature of biological systems in order to be able to reproduce their complex behavior. Edited by the conference organizers and featuring results that represent recent findings and not necessarily those presented at the conference, the book appeals to applied mathematicians, biophysicists and computational biologists.

This book describes in detail the various theories on the shape of the Earth from classical antiquity to the present day and examines how measurements of its form and dimensions have evolved throughout this period. The origins of the notion of the sphericity of the Earth are explained, dating back to Eratosthenes and beyond, and detailed attention is paid to the struggle to establish key discoveries as part of the cultural heritage of humanity. In this context, the roles played by the Catholic Church and the philosophers of the Middle Ages are scrutinized. Later contributions by such luminaries as Richer, Newton, Clairaut, Maupertuis, and Delambre are thoroughly reviewed, with exploration of the importance of mathematics in their geodetic enterprises. The culmination of progress in scientific research is the recognition that the reference figure is not a sphere but rather a geoid and that the earth's shape is oblate. Today, satellite geodesy permits the solution of geodetic problems by means of precise measurements. Narrating this fascinating story from the very beginning not only casts light on our emerging understanding of the figure of the Earth but also offers profound insights into the broader evolution of human thought.

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.

This book is published open access under a CC BY 4.0 license. This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapters, thus expanding the introduction to programming from 50 to 150 pages. Throughout the book, the explanations provided are now more detailed, previous examples have been modified, and new sections, examples and exercises have been added. Also, a number of small errors have been corrected. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style employed is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set of skills that allows students to write simple programs for solving common mathematical problems with numerical methods in the context of engineering and science courses. The emphasis is on generic algorithms, clean program design, the use of functions, and automatic tests for verification.

This book provides a detailed introduction to maintenance policies and the current and future research in these fields, highlighting mathematical formulation and optimization techniques. It comprehensively describes the state of art in maintenance modelling and optimization for single- and multi-unit technical systems, and also investigates the problem of the estimation process of delay-time parameters and how this affects system performance. The book discusses delay-time modelling for multi-unit technical systems in various reliability structures, examining the optimum maintenance policies both analytically and practically, focusing on a delay-time modelling technique that has been employed by researchers in the field of maintenance engineering to model inspection intervals. It organizes the existing work into several fields, based mainly on the classification of single- and multi-unit models and assesses the applicability of the reviewed works and maintenance models. Lastly, it identifies potential future research directions and suggests research agendas. This book is a valuable resource for maintenance engineers, reliability specialists, and researchers, as it demonstrates the latest developments in maintenance, inspection and delay-time-based maintenance modelling issues. It is also of interest to graduate and senior undergraduate students, as it introduces current theory and practice in maintenance modelling issues, especially in the field of delay-time modelling.

This book investigates a wide range of phase equilibrium modelling and calculation problems for compositional thermal simulation. Further, it provides an effective solution for multiphase isenthalpic flash under the classical framework, and it also presents a new flash calculation framework for multiphase systems, which can handle phase equilibrium and chemical reaction equilibrium simultaneously. The framework is particularly suitable for systems with many phases and reactions. In this book, the author shows how the new framework can be generalised for different flash specifications and different independent variables. Since the flash calculation is at the heart of various types of compositional simulation, the findings presented here will promote the combination of phase equilibrium and chemical equilibrium calculations in future simulators, aiming at improving their robustness and efficiency.

In this monograph we study the problem of construction of asymptotic solutions of equations for functions whose number of arguments tends to infinity as the small parameter tends to zero. Such equations arise in statistical physics and in quantum theory of a large number of fi elds. We consider the problem of renormalization of quantum field theory in the Hamiltonian formalism, which encounters additional difficulties related to the Stuckelberg divergences and the Haag theorem. Asymptotic methods for solving pseudodifferential equations with small parameter multiplying the derivatives, as well as the asymptotic methods developed in the present monograph for solving problems in statistical physics and quantum field theory, can be considered from a unified viewpoint if one introduces the notion of abstract canonical operator. The book can be of interest for researchers - specialists in asymptotic methods, statistical physics, and quantum fi eld theory as well as for graduate and undergraduate students of these specialities.

Blockchain Technology: Platforms, Tools and Use Cases, Volume 111, the latest release in the Advances in Computers series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. This volume has 8 Chapters that discuss the various aspects of Blockchain technology.

This book brings together carefully selected, peer-reviewed works on mathematical biology presented at the BIOMAT International Symposium on Mathematical and Computational Biology, which was held at the Institute of Numerical Mathematics, Russian Academy of Sciences, in October 2017, in Moscow. Topics covered include, but are not limited to, the evolution of spatial patterns on metapopulations, problems related to cardiovascular diseases and modeled by boundary control techniques in hemodynamics, algebraic modeling of the genetic code, and multi-step biochemical pathways. Also, new results are presented on topics like pattern recognition of probability distribution of amino acids, somitogenesis through reaction-diffusion models, mathematical modeling of infectious diseases, and many others. Experts, scientific practitioners, graduate students and professionals working in various interdisciplinary fields will find this book a rich resource for research and applications alike.

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.

This book provides a comprehensive review of complex networks from three different domains, presents novel methods for analyzing them, and highlights applications with accompanying case studies. Special emphasis is placed on three specific kinds of complex networks of high technological and scientific importance: software networks extracted from the source code of computer programs, ontology networks describing semantic web ontologies, and co-authorship networks reflecting collaboration in science. The book is primarily intended for researchers, teachers and students interested in complex networks and network data analysis. However, it will also be valuable for researchers dealing with software engineering, ontology engineering and scientometrics, as it demonstrates how complex network analysis can be used to address important research issues in these three disciplines.