This thesis describes the structures of six-dimensional (6d) superconformal field theories and its torus compactifications. The first half summarizes various aspects of 6d field theories, while the latter half investigates torus compactifications of these theories, and relates them to four-dimensional superconformal field theories in the class, called class S. It is known that compactifications of 6d conformal field theories with maximal supersymmetries provide numerous insights into four-dimensional superconformal field theories. This thesis generalizes the story to the theories with smaller supersymmetry, constructing those six-dimensional theories as brane configurations in the M-theory, and highlighting the importance of fractionalization of M5-branes. This result establishes new dualities between the theories with eight supercharges.

Reliability is one of the fundamental criteria in engineering systems. Design and maintenance serve to support it throughout the systems life. As such, maintenance acts in parallel to production and can have a great impact on the availability and capacity of production and the quality of the products. The authors describe current and innovative methods useful to industry and society.

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

This book presents the latest advances in flowsheet simulation of solids processes, focusing on the dynamic behaviour of systems with interconnected solids processing units, but also covering stationary simulation. The book includes the modelling of solids processing units, for example for comminution, sifting and particle formulation and also for reaction systems. Furthermore, it examines new approaches for the description of solids and their property distributions and for the mathematical treatment of flowsheets with multivariate population balances.

This book presents, in a uniform way, several problems in applied mechanics, which are analysed using the matrix theory and the properties of eigenvalues and eigenvectors. It reveals that various problems and studies in mechanical engineering produce certain patterns that can be treated in a similar way. Accordingly, the same mathematical apparatus allows us to study not only mathematical structures such as quadratic forms, but also mechanics problems such as multibody rigid mechanics, continuum mechanics, vibrations, elastic and dynamic stability, and dynamic systems. In addition, the book explores a wealth of engineering applications.

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.

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.

Rooted in a pedagogically successful problem-solving approach to linear algebra, this work fills a gap in the literature that is sharply divided between, on the one end, elementary texts with only limited exercises and examples, and, at the other end, books too advanced in prerequisites and too specialized in focus to appeal to a wide audience. Instead, it clearly develops the theoretical foundations of vector spaces, linear equations, matrix algebra, eigenvectors, and orthogonality, while simultaneously emphasizing applications to fields such as biology, economics, computer graphics, electrical engineering, cryptography, and political science.Key features: * Intertwined discussion of linear algebra and geometry* Example-driven exposition; each section starts with a concise overview of important concepts, followed by a selection of fully-solved problems* Over 500 problems are carefully selected for instructive appeal, elegance, and theoretical importance; roughly half include complete solutions* Two or more solutions provided to many of the problems; paired solutions range from step-by-step, elementary methods whose purpose is to strengthen basic comprehension to more sophisticated, self-study manual for professional scientists and mathematicians. Complete with bibliography and index, this work is a natural bridge between pure/ applied mathematics and the natural/social sciences, appropriate for any student or researcher who needs a strong footing in the theory, problem-solving, and model-building that are the subject's hallmark. I

This thesis presents the application of non-perturbative, or functional, renormalization group to study the physics of critical stationary states in systems out-of-equilibrium. Two different systems are thereby studied. The first system is the diffusive epidemic process, a stochastic process which models the propagation of an epidemic within a population. This model exhibits a phase transition peculiar to out-of-equilibrium, between a stationary state where the epidemic is extinct and one where it survives. The present study helps to clarify subtle issues about the underlying symmetries of this process and the possible universality classes of its phase transition. The second system is fully developed homogeneous isotropic and incompressible turbulence. The stationary state of this driven-dissipative system shows an energy cascade whose phenomenology is complex, with partial scale-invariance, intertwined with what is called intermittency. In this work, analytical expressions for the space-time dependence of multi-point correlation functions of the turbulent state in 2- and 3-D are derived. This result is noteworthy in that it does not rely on phenomenological input except from the Navier-Stokes equation and that it becomes exact in the physically relevant limit of large wave-numbers. The obtained correlation functions show how scale invariance is broken in a subtle way, related to intermittency corrections.

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 is a liber amicorum to Professor Sergei Konstantinovich Godunov and gathers contributions by renowned scientists in honor of his 90th birthday. The contributions address those fields that Professor Godunov is most famous for: differential and difference equations, partial differential equations, equations of mathematical physics, mathematical modeling, difference schemes, advanced computational methods for hyperbolic equations, computational methods for linear algebra, and mathematical problems in continuum mechanics.

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.

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.

With the diversification of Internet services and the increase in mobile users, efficient management of network resources has become an extremely important issue in the field of wireless communication networks (WCNs). Adaptive resource management is an effective tool for improving the economic efficiency of WCN systems as well as network design and construction, especially in view of the surge in mobile device demands. This book presents modelling methods based on queueing theory and Markov processes for a wide variety of WCN systems, as well as precise and approximate analytical solution methods for the numerical evaluation of the system performance. This is the first book to provide an overview of the numerical analyses that can be gleaned by applying queueing theory, traffic theory and other analytical methods to various WCN systems. It also discusses the recent advances in the resource management of WCNs, such as broadband wireless access networks, cognitive radio networks, and green cloud computing. It assumes a basic understanding of computer networks and queueing theory, and familiarity with stochastic processes is also recommended. The analysis methods presented in this book are useful for first-year-graduate or senior computer science and communication engineering students. Providing information on network design and management, performance evaluation, queueing theory, game theory, intelligent optimization, and operations research for researchers and engineers, the book is also a valuable reference resource for students, analysts, managers and anyone in the industry interested in WCN system modelling, performance analysis and numerical evaluation.

Robust Integration of Model-Based Fault Estimation and Fault-Tolerant Control is a systematic examination of methods used to overcome the inevitable system uncertainties arising when a fault estimation (FE) function and a fault-tolerant controller interact as they are employed together to compensate for system faults and maintain robustly acceptable system performance. It covers the important subject of robust integration of FE and FTC with the aim of guaranteeing closed-loop stability. The reader's understanding of the theory is supported by the extensive use of tutorial examples, including some MATLAB (R)-based material available from the Springer website and by industrial-applications-based material. The text is structured into three parts: Part I examines the basic concepts of FE and FTC, providing extensive insight into the importance of and challenges involved in their integration; Part II describes five effective strategies for the integration of FE and FTC: sequential, iterative, simultaneous, adaptive-decoupling, and robust decoupling; and Part III begins to extend the proposed strategies to nonlinear and large-scale systems and covers their application in the fields of renewable energy, robotics and networked systems. The strategies presented are applicable to a broad range of control problems, because in the absence of faults the FE-based FTC naturally reverts to conventional observer-based control. The book is a useful resource for researchers and engineers working in the area of fault-tolerant control systems, and supplementary material for a graduate- or postgraduate-level course on fault diagnosis and FTC. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

The book offers a novel approach to the study of the complex dynamics of cities. It is based on (1) Synergetics as a science of cooperation and selforganization, (2) information theory including semantic and pragmatic aspects, and optimization principles, (3) a theory of steady state maintenance, and of (4) phase transition, i.e. qualitative changes of structure or behavior. From this novel theoretical vantage point, the book addresses particularly three issues that stand at the core of current discourse on cities: Urban Scaling, Smart Cities and City Planning. An important consequence of "the 21st century as the age of cities", is that the study of cities currently attracts scientists from a variety of disciplines, ranging from physics, mathematics and computer science, through urban studies, architecture, planning and human geography, to economics, psychology, sociology, public administration and more. The book is thus likely to attract scholars, researchers and students of these research domains, of complexity theories of cities, as well as of general complexity theory. In addition, it is directed also to practitioners of urbanism, city planning and urban design.

This book presents an alternative representation of Einstein's Special Theory of Relativity, which makes Special Relativity much more comprehensible. Moreover, one will come across a fundamental relationship between the Special Theory of Relativity and the mechanics of space lattice. In all previous formulations, the Einsteinian special principle of relativity, in one or the other form is used as the starting point for Special Relativity. In correspondence to this principle, one takes it as granted apriori, that all observers independent of their uniform motion to each other measure one and the same propagation velocity of a light signal. This book is thought of as a lecture for physicists, mathematicians and computer scientists and concentrates on the students of these fields. The book should reach a broad circle of interested readers from the fields of natural sciences and philosophy and provide and invigorating experience for engineers.

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 a unified study of dynamically coupled systems involving a rigid body and an ideal fluid flow from the perspective of Lagrangian and Hamiltonian mechanics. It compiles theoretical investigations on the topic of dynamically coupled systems using a framework grounded in Kirchhoff's equations. The text achieves a balance between geometric mechanics, or the modern theories of reduction of Lagrangian and Hamiltonian systems, and classical fluid mechanics, with a special focus on the applications of these principles. Following an introduction to Kirchhoff's equations of motion, the book discusses several extensions of Kirchhoff's work, particularly related to vortices. It addresses the equations of motions of these systems and their Lagrangian and Hamiltonian formulations. The book is suitable to mathematicians, physicists and engineers with a background in Lagrangian and Hamiltonian mechanics and theoretical fluid mechanics. It includes a brief introductory overview of geometric mechanics in the appendix.

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.

Artificial intelligence (AI) has become pervasive in most areas of research and applications. While computation can significantly reduce mental efforts for complex problem solving, effective computer algorithms allow continuous improvement of AI tools to handle complexity-in both time and memory requirements-for machine learning in large datasets. Meanwhile, data science is an evolving scientific discipline that strives to overcome the hindrance of traditional skills that are too limited to enable scientific discovery when leveraging research outcomes. Solutions to many problems in medicine and life science, which cannot be answered by these conventional approaches, are urgently needed for society. This edited book attempts to report recent advances in the complementary domains of AI, computation, and data science with applications in medicine and life science. The benefits to the reader are manifold as researchers from similar or different fields can be aware of advanced developments and novel applications that can be useful for either immediate implementations or future scientific pursuit. Features: Considers recent advances in AI, computation, and data science for solving complex problems in medicine, physiology, biology, chemistry, and biochemistry Provides recent developments in three evolving key areas and their complementary combinations: AI, computation, and data science Reports on applications in medicine and physiology, including cancer, neuroscience, and digital pathology Examines applications in life science, including systems biology, biochemistry, and even food technology This unique book, representing research from a team of international contributors, has not only real utility in academia for those in the medical and life sciences communities, but also a much wider readership from industry, science, and other areas of technology and education.

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.