This book offers detailed insights into new methods for high-fidelity CFD, and their industrially relevant applications in aeronautics. It reports on the H2020 TILDA project, funded by the European Union in 2015-2018. The respective chapters demonstrate the potential of high-order methods for enabling more accurate predictions of non-linear, unsteady flows, ensuring enhanced reliability in CFD predictions. The book highlights industrially relevant findings and representative test cases on the development of high-order methods for unsteady turbulence simulations on unstructured grids; on the development of the LES/DNS methodology by means of multilevel, adaptive, fractal and similar approaches for applications on unstructured grids; and on leveraging existent large-scale HPC networks to facilitate the industrial applications of LES/DNS in daily practice. Furthermore, the book discusses multidisciplinary applications of high-order methods in the area of aero-acoustics. All in all, it offers timely insights into the application and performance of high-order methods for CFD, and an extensive reference guide for researchers, graduate students, and industrial engineers whose work involves CFD and turbulence modeling.

This special issue collects selected contributions (excluding general lectures) of a Symposium on "Micro to MACRO Mathematical Modelling in Soil Mechanics", which took place at the University of Reggio Calabria, Italy, from May 29th to June 1st, 2018. The Symposium provided an opportunity to enhance the scientific debate on the construction of mathematical models for the description of the physical behaviour of soils, as well as on the suggestions provided by the micro-mechanical observation of the matter. The focus was on the comparison between the appropriateness of models and the need of mathematics to obtain rigorous results, which involves know-how from applied mathematical physics, geotechnical engineering and mechanics of solids. The contributions were selected by the Editors and the other Members of the Scientific Committee of the Symposium: Gianfranco Capriz (Pisa, Roma), Claudio di Prisco (Milan), Wolfgang Ehlers (Stuttgart), James T. Jenkins (Cornell), Stefan Luding (Twente), David Muir Wood (Dundee), Kenichi Soga (Berkeley).

Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.

This book is devoted to problems of stochastic control and stopping that are time inconsistent in the sense that they do not admit a Bellman optimality principle. These problems are cast in a game-theoretic framework, with the focus on subgame-perfect Nash equilibrium strategies. The general theory is illustrated with a number of finance applications.In dynamic choice problems, time inconsistency is the rule rather than the exception. Indeed, as Robert H. Strotz pointed out in his seminal 1955 paper, relaxing the widely used ad hoc assumption of exponential discounting gives rise to time inconsistency. Other famous examples of time inconsistency include mean-variance portfolio choice and prospect theory in a dynamic context. For such models, the very concept of optimality becomes problematic, as the decision maker's preferences change over time in a temporally inconsistent way. In this book, a time-inconsistent problem is viewed as a non-cooperative game between the agent's current and future selves, with the objective of finding intrapersonal equilibria in the game-theoretic sense. A range of finance applications are provided, including problems with non-exponential discounting, mean-variance objective, time-inconsistent linear quadratic regulator, probability distortion, and market equilibrium with time-inconsistent preferences. Time-Inconsistent Control Theory with Finance Applications offers the first comprehensive treatment of time-inconsistent control and stopping problems, in both continuous and discrete time, and in the context of finance applications. Intended for researchers and graduate students in the fields of finance and economics, it includes a review of the standard time-consistent results, bibliographical notes, as well as detailed examples showcasing time inconsistency problems. For the reader unacquainted with standard arbitrage theory, an appendix provides a toolbox of material needed for the book.

This book computes the first- and second-order derivative matrices of skew ray and optical path length, while also providing an important mathematical tool for automatic optical design. This book consists of three parts. Part One reviews the basic theories of skew-ray tracing, paraxial optics and primary aberrations - essential reading that lays the foundation for the modeling work presented in the rest of this book. Part Two derives the Jacobian matrices of a ray and its optical path length. Although this issue is also addressed in other publications, they generally fail to consider all of the variables of a non-axially symmetrical system. The modeling work thus provides a more robust framework for the analysis and design of non-axially symmetrical systems such as prisms and head-up displays. Lastly, Part Three proposes a computational scheme for deriving the Hessian matrices of a ray and its optical path length, offering an effective means of determining an appropriate search direction when tuning the system variables in the system design process.

This book on counting statistics presents a novel copula-based approach to counting dependent random events. It combines clustering, combinatorics-based algorithms and dependence structure in order to tackle and simplify complex problems, without disregarding the hierarchy of or interconnections between the relevant variables. These problems typically arise in real-world applications and computations involving big data in finance, insurance and banking, where experts are confronted with counting variables in monitoring random events. In this new approach, combinatorial distributions of random events are the core element. In order to deal with the high-dimensional features of the problem, the combinatorial techniques are used together with a clustering approach, where groups of variables sharing common characteristics and similarities are identified and the dependence structure within groups is taken into account. The original problems can then be modeled using new classes of copulas, referred to here as clusterized copulas, which are essentially based on preliminary groupings of variables depending on suitable characteristics and hierarchical aspects. The book includes examples and real-world data applications, with a special focus on financial applications, where the new algorithms' performance is compared to alternative approaches and further analyzed. Given its scope, the book will be of interest to master students, PhD students and researchers whose work involves or can benefit from the innovative methodologies put forward here. It will also stimulate the empirical use of new approaches among professionals and practitioners in finance, insurance and banking.

This volume gathers contributions in the field of partial differential equations, with a focus on mathematical models in phase transitions, complex fluids and thermomechanics. These contributions are dedicated to Professor Gianni Gilardi on the occasion of his 70th birthday. It particularly develops the following thematic areas: nonlinear dynamic and stationary equations; well-posedness of initial and boundary value problems for systems of PDEs; regularity properties for the solutions; optimal control problems and optimality conditions; feedback stabilization and stability results. Most of the articles are presented in a self-contained manner, and describe new achievements and/or the state of the art in their line of research, providing interested readers with an overview of recent advances and future research directions in PDEs.

This book is the second of a two volume series. Covering a range of subjects from operator theory and classical harmonic analysis to Banach space theory, this book features fully-refereed, high-quality papers exploring new results and trends in weighted norm inequalities, Schur-Agler class functions, complex analysis, dynamical systems, and dyadic harmonic analysis. Graduate students and researchers in analysis will find inspiration in the articles collected in this volume, which emphasize the remarkable connections between harmonic analysis and operator theory. A survey of the two weight problem for the Hilbert transform and an expository article on the Clark model to the case of non-singular measures and applications to the study of rank-one perturbations are included. The material for this volume is based on the 13th New Mexico Analysis Seminar held at the University of New Mexico, April 3-4, 2014 and on several special sections of the Western Spring Sectional Meeting at the University of New Mexico, April 4-6,2014. During the event, participants honored the memory of Cora Sadosky-a great mathematician who recently passed away and who made significant contributions to the field of harmonic analysis. Cora was an exceptional scientist and human being. She was a world expert in harmonic analysis and operator theory, publishing over fifty-five research papers and authoring a major textbook in the field. Participants of the conference include new and senior researchers, recent doctorates as well as leading experts in the area.

This book highlights a major advance in low-energy scattering theory: the Multi-Channel Algebraic Scattering (MCAS) theory, which represents an attempt to unify structure and reaction theory. It solves the Lippmann-Schwinger equations for low-energy nucleon-nucleus and alpha-nucleus scattering in momentum space, allowing both the bound and scattering states in the compound nucleus formed to be described. Results of various cases are presented and discussed.

This monograph presents urban simulation methods that help in better understanding urban dynamics. Over historical times, cities have progressively absorbed a larger part of human population and will concentrate three quarters of humankind before the end of the century. This "urban transition" that has totally transformed the way we inhabit the planet is globally understood in its socio-economic rationales but is less frequently questioned as a spatio-temporal process. However, the cities, because they are intrinsically linked in a game of competition for resources and development, self organize in "systems of cities" where their future becomes more and more interdependent. The high frequency and intensity of interactions between cities explain that urban systems all over the world exhibit large similarities in their hierarchical and functional structure and rather regular dynamics. They are complex systems whose emergence, structure and further evolution are widely governed by the multiple kinds of interaction that link the various actors and institutions investing in cities their efforts, capital, knowledge and intelligence. Simulation models that reconstruct this dynamics may help in better understanding it and exploring future plausible evolutions of urban systems. This would provide better insight about how societies can manage the ecological transition at local, regional and global scales. The author has developed a series of instruments that greatly improve the techniques of validation for such models of social sciences that can be submitted to many applications in a variety of geographical situations. Examples are given for several BRICS countries, Europe and United States. The target audience primarily comprises research experts in the field of urban dynamics, but the book may also be beneficial for graduate students.

This book consists of selected peer-reviewed papers presented at the NAFEMS India Regional Conference (NIRC 2018). It covers current topics related to advances in computer aided design and manufacturing. The book focuses on the latest developments in engineering modelling and simulation, and its application to various complex engineering systems. Finite element method/finite element analysis, computational fluid dynamics, and additive manufacturing are some of the key topics covered in this book. The book aims to provide a better understanding of contemporary product design and analyses, and hence will be useful for researchers, academicians, and professionals.

This book is aimed at researchers, graduate students and engineers who would like to be initiated to Piecewise Deterministic Markov Processes (PDMPs). A PDMP models a deterministic mechanism modified by jumps that occur at random times. The fields of applications are numerous : insurance and risk, biology, communication networks, dependability, supply management, etc. Indeed, the PDMPs studied so far are in fact deterministic functions of CSMPs (Completed Semi-Markov Processes), i.e. semi-Markov processes completed to become Markov processes. This remark leads to considerably broaden the definition of PDMPs and allows their properties to be deduced from those of CSMPs, which are easier to grasp. Stability is studied within a very general framework. In the other chapters, the results become more accurate as the assumptions become more precise. Generalized Chapman-Kolmogorov equations lead to numerical schemes. The last chapter is an opening on processes for which the deterministic flow of the PDMP is replaced with a Markov process. Marked point processes play a key role throughout this book.

This book conveys the theoretical and experimental basics of a well-founded measurement technique in the areas of high DC, AC and surge voltages as well as the corresponding high currents. Additional chapters explain the acquisition of partial discharges and the electrical measured variables. Equipment exposed to very high voltages and currents is used for the transmission and distribution of electrical energy. They are therefore tested for reliability before commissioning using standardized and future test and measurement procedures. Therefore, the book also covers procedures for calibrating measurement systems and determining measurement uncertainties, and the current state of measurement technology with electro-optical and magneto-optical sensors is discussed.

The intensive exchange between mathematicians and users has led in recent years to a rapid development of stochastic analysis. Of the users, the physicists form perhaps the most important group, giving direction to the mathematicians' research and providing a source of intuition. White noise analysis has emerged as a viable framework for stochastic and infinite dimensional analysis. Another growth area is the theory of stochastic partial differential equations. Gauge field theories are attracting increasing attention. Dirichlet forms provide a fruitful link between the mathematics of Markov processes and the physics of quantum systems. The deterministic-stochastic interface is addressed, as are Euclidean quantum mechanics, excursions of diffusions and the convergence of Markov chains to thermal states.

Based on 3D smoothed particle hydrodynamics simulations performed with unprecedented high resolution, this book examines the giant impacts that dominate many planets' late accretion and evolution. The numerical methods developed are now publicly available, greatly facilitating future studies of planetary impacts in our solar system and exoplanetary systems. The book focuses on four main topics: (1) The development of new methods to construct initial conditions as well as a hydrodynamical simulation code to evolve them, using 1000 times more simulation particles than the previous standard. (2) The numerical convergence of giant impact simulations -- standard-resolution simulations fail to converge on even bulk properties like the post-impact rotation period. (3) The collision thought to have knocked over the planet Uranus causing it to spin on its side. (4) The erosion of atmospheres by giant impacts onto terrestrial planets, and the first full 3D simulations of collisions in this regime.

This book removes the mystery and pressure from calculations by equipping readers with the tools they need to understand calculations and how they work. This is done by using straight-forward language and showing fully worked out, rig-based examples throughout. The book comprises of mini lessons which are never more than two pages long and a complete lesson is always in view when the book is open in front of you. Lessons progress in a logical manner and once the book is finished, the reader is ready for any calculations that could be encountered at well control school. It is a great tool for rig crew members who are afraid of calculations or have not done any math since school. I found it easy to follow with clear explanations and it flowed from topic to topic. A definite addition to the rig crews training toolbox. Malcolm Lodge (at the time of writing Technical Director of the Well Control Institute)

The subject of nonlinear partial differential equations is experiencing a period of intense activity in the study of systems underlying basic theories in geometry, topology and physics. These mathematical models share the property of being derived from variational principles. Understanding the structure of critical configurations and the dynamics of the corresponding evolution problems is of fundamental importance for the development of the physical theories and their applications. This volume contains survey lectures in four different areas, delivered by leading resarchers at the 1995 Barrett Lectures held at The University of Tennessee: nonlinear hyperbolic systems arising in field theory and relativity (S. Klainerman); harmonic maps from Minkowski spacetime (M. Struwe); dynamics of vortices in the Ginzburg-Landau model of superconductivity (F.-H. Lin); the Seiberg-Witten equations and their application to problems in four-dimensional topology (R. Fintushel). Most of this material has not previously been available in survey form. These lectures provide an up-to-date overview and an introduction to the research literature in each of these areas, which should prove useful to researchers and graduate students in mathematical physics, partial differential equations, differential geometry and topology.

This book highlights the remarkable importance of special functions, operational calculus, and variational methods. A considerable portion of the book is dedicated to second-order partial differential equations, as they offer mathematical models of various phenomena in physics and engineering. The book provides students and researchers with essential help on key mathematical topics, which are applied to a range of practical problems. These topics were chosen because, after teaching university courses for many years, the authors have found them to be essential, especially in the contexts of technology, engineering and economics. Given the diversity topics included in the book, the presentation of each is limited to the basic notions and results of the respective mathematical domain. Chapter 1 is devoted to complex functions. Here, much emphasis is placed on the theory of holomorphic functions, which facilitate the understanding of the role that the theory of functions of a complex variable plays in mathematical physics, especially in the modeling of plane problems. In addition, the book demonstrates the importance of the theories of special functions, operational calculus, and variational calculus. In the last chapter, the authors discuss the basic elements of one of the most modern areas of mathematics, namely the theory of optimal control.

This reference provides detailed information which enables you to quickly understand the physics and modeling of mainstream devices. Packed with nearly 1,000 equations and 396 illustrations.

This book reviews the state of the art in deep learning approaches to high-performance robust disease detection, robust and accurate organ segmentation in medical image computing (radiological and pathological imaging modalities), and the construction and mining of large-scale radiology databases. It particularly focuses on the application of convolutional neural networks, and on recurrent neural networks like LSTM, using numerous practical examples to complement the theory. The book's chief features are as follows: It highlights how deep neural networks can be used to address new questions and protocols, and to tackle current challenges in medical image computing; presents a comprehensive review of the latest research and literature; and describes a range of different methods that employ deep learning for object or landmark detection tasks in 2D and 3D medical imaging. In addition, the book examines a broad selection of techniques for semantic segmentation using deep learning principles in medical imaging; introduces a novel approach to text and image deep embedding for a large-scale chest x-ray image database; and discusses how deep learning relational graphs can be used to organize a sizable collection of radiology findings from real clinical practice, allowing semantic similarity-based retrieval.The intended reader of this edited book is a professional engineer, scientist or a graduate student who is able to comprehend general concepts of image processing, computer vision and medical image analysis. They can apply computer science and mathematical principles into problem solving practices. It may be necessary to have a certain level of familiarity with a number of more advanced subjects: image formation and enhancement, image understanding, visual recognition in medical applications, statistical learning, deep neural networks, structured prediction and image segmentation.

Genetic Algorithms in Molecular Modeling is the first book available on the use of genetic algorithms in molecular design. This volume marks the beginning of an ew series of books, Principles in Qsar and Drug Design, which will be an indispensible reference for students and professionals involved in medicinal chemistry, pharmacology, (eco)toxicology, and agrochemistry. Each comprehensive chapter is written by a distinguished researcher in the field.
Through its up to the minute content, extensive bibliography, and essential information on software availability, this book leads the reader from the theoretical aspects to the practical applications. It enables the uninitiated reader to apply genetic algorithms for modeling the biological activities and properties of chemicals, and provides the trained scientist with the most up to date information on the topic.
. Extremely topical and timely
. Sets the foundations for the development of
computer-aided tools for solving numerous
problems in QSAR and drug design
. Written to be accessible without prior direct
experience in genetic algorithms

This book discusses many of the common scaling properties observed in some nonlinear dynamical systems mostly described by mappings. The unpredictability of the time evolution of two nearby initial conditions in the phase space together with the exponential divergence from each other as time goes by lead to the concept of chaos. Some of the observables in nonlinear systems exhibit characteristics of scaling invariance being then described via scaling laws. From the variation of control parameters, physical observables in the phase space may be characterized by using power laws that many times yield into universal behavior. The application of such a formalism has been well accepted in the scientific community of nonlinear dynamics. Therefore I had in mind when writing this book was to bring together few of the research results in nonlinear systems using scaling formalism that could treated either in under-graduation as well as in the post graduation in the several exact programs but no earlier requirements were needed from the students unless the basic physics and mathematics. At the same time, the book must be original enough to contribute to the existing literature but with no excessive superposition of the topics already dealt with in other text books. The majority of the Chapters present a list of exercises. Some of them are analytic and others are numeric with few presenting some degree of computational complexity.

The present book is the first of the two volume proceedings of the Mark Krein International Conference on Operator Theory and Applications. This conference, which was dedicated to the 90th anniversary of the prominent mathematician Mark Krein, was held in Odessa, Ukraine, from August 18-22, 1997. The conference focused on the main ideas, methods, results, and achievements of M. G. Krein. This first volume is devoted to the theory of differential operators and related topics. It opens with a description of the conference, biographical material and a number of survey papers about the work of M. G. Krein. The main part of the book consists of original research papers presenting the state of the art in the area of differential operators. The second volume of these proceedings, entitled Operator Theory and Related Topics, concerns the other aspects of the conference. The two volumes will be of interest to a wide range of readership in pure and applied mathematics, physics and engineering sciences.

This is the first book to introduce the irrational elliptic function series, providing a theoretical treatment for the smooth and discontinuous system and opening a new branch of applied mathematics. The discovery of the smooth and discontinuous (SD) oscillator and the SD attractors discussed in this book represents a further milestone in nonlinear dynamics, following on the discovery of the Ueda attractor in 1961 and Lorenz attractor in 1963. This particular system bears significant similarities to the Duffing oscillator, exhibiting the standard dynamics governed by the hyperbolic structure associated with the stationary state of the double well. However, there is a substantial departure in nonlinear dynamics from standard dynamics at the discontinuous stage. The constructed irrational elliptic function series, which offers a way to directly approach the nature dynamics analytically for both smooth and discontinuous behaviours including the unperturbed periodic motions and the perturbed chaotic attractors without any truncation, is of particular interest. Readers will also gain a deeper understanding of the actual nonlinear phenomena by means of a simple mechanical model: the theory, methodology, and the applications in various interlinked disciplines of sciences and engineering. This book offers a valuable resource for researchers, professionals and postgraduate students in mechanical engineering, non-linear dynamics, and related areas, such as nonlinear modelling in various fields of mathematics, physics and the engineering sciences.

Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial Differential Equations and Scientific Computing in August 2014.