This book presents a detailed study of the Lanczos potential in general relativity by using tetrad formalisms. It demonstrates that these formalisms offer some simplifications over the tensorial methods, and investigates a general approach to finding the Lanczos potential for algebraic space-time by translating all the tensorial relations concerning the Lanczos potential into the language of tetrad formalisms and using the Newman-Penrose and Geroch-Held-Penrose formalisms. In addition, the book obtains the Lanczos potential for perfect fluid space-time, and applies the results to cosmological models of the universe. In closing, it highlights other methods, apart from tetrad formalisms, for finding the Lanczos potential, as well as further applications of the Newman-Penrose formalism. Given its scope, the book will be of interest to pure mathematicians, theoretical physicists and cosmologists, and will provide common ground for communication among these scientific communities.

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

Handbook of Statistics: Disease Modelling and Public Health, Part B, Volume 37 addresses new challenges in existing and emerging diseases. As a two part volume, this title covers an extensive range of techniques in the field, with this book including chapters on Reaction diffusion equations and their application on bacterial communication, Spike and slab methods in disease modeling, Mathematical modeling of mass screening and parameter estimation, Individual-based and agent-based models for infectious disease transmission and evolution: an overview, and a section on Visual Clustering of Static and Dynamic High Dimensional Data. This volume covers the lack of availability of complete data relating to disease symptoms and disease epidemiology, one of the biggest challenges facing vaccine developers, public health planners, epidemiologists and health sector researchers.

The research and review papers presented in this volume provide an overview of the main issues, findings, and open questions in cutting-edge research on the fields of modeling, optimization and dynamics and their applications to biology, economics, energy, finance, industry, physics and psychology. Given the scientific relevance of the innovative applications and emerging issues they address, the contributions to this volume, written by some of the world's leading experts in mathematics, economics and other applied sciences, will be seminal to future research developments and will spark future works and collaborations. The majority of the papers presented in this volume were written by participants of the 4th International Conference on Dynamics, Games and Science: Decision Models in a Complex Economy (DGS IV), held at the National Distance Education University (UNED) in Madrid, Spain in June 2016 and of the 8th Berkeley Bioeconomy Conference: The Future of Biofuels, held at the UC Berkeley Alumni House in April 2015.

This book is a survey of the research work done by the author over the last 15 years, in collaboration with various eminent mathematicians and climate scientists on the subject of tropical convection and convectively coupled waves. In the areas of climate modelling and climate change science, tropical dynamics and tropical rainfall are among the biggest uncertainties of future projections. This not only puts at risk billions of human beings who populate the tropical continents but it is also of central importance for climate predictions on the global scale. This book aims to introduce the non-expert readers in mathematics and theoretical physics to this fascinating topic in order to attract interest into this difficult and exciting research area. The general thyme revolves around the use of new deterministic and stochastic multi-cloud models for tropical convection and convectively coupled waves. It draws modelling ideas from various areas of mathematics and physics and used in conjunction with state-of-the-art satellite and in-situ observations and detailed numerical simulations. After a review of preliminary material on tropical dynamics and moist thermodynamics, including recent discoveries based on satellite observations as well as Markov chains, the book immerses the reader into the area of models for convection and tropical waves. It begins with basic concepts of linear stability analysis and ends with the use of these models to improve the state-of-the-art global climate models. The book also contains a fair amount of exercises that makes it suitable as a textbook complement on the subject.

This book presents recent research on the hybridization of intelligent methods, which refers to combining methods to solve complex problems. It discusses hybrid approaches covering different areas of intelligent methods and technologies, such as neural networks, swarm intelligence, machine learning, reinforcement learning, deep learning, agent-based approaches, knowledge-based system and image processing. The book includes extended and revised versions of invited papers presented at the 6th International Workshop on Combinations of Intelligent Methods and Applications (CIMA 2016), held in The Hague, Holland, in August 2016. The book is intended for researchers and practitioners from academia and industry interested in using hybrid methods for solving complex problems.

At the heart of this book is the generalized theoretical approach that is applied to investigate the geoelectrical structure of the Earth's mantle. It also analyzes the results of regional and global induction sounding of the Earth's mantle and compares them with the results obtained by other geophysical methods. The generalized theoretical approach employs the Induction Law as a basis for identifying extended relations between magnetic field components, including their plane divergence, impedances and spatial derivatives. The estimations of impedance values and spatial derivatives are performed using the theory of stochastic processes. The book also considers the external sources of magnetic fields used for sounding the Earths mantle from the modern theory perspective, as well as the problem of coincidence of magneto-variation and magnetotelluric methods. Further, it discusses secular variations in the Earth's resistance caused by non-induction sources, factors that are correlated with the number of earthquakes in the region and shifted in time with global indexes. It is a valuable resource for scientists applying deep induction soundings or interested in the structures of and processes in the Earth's interior.

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

Isogeometric analysis (IGA) consists of using the same higher-order and smooth spline functions for the representation of geometry in Computer Aided Design as for the approximation of solution fields in Finite Element Analysis. Now, about fifteen years after its creation, substantial works are being reported in IGA, which make it very competitive in scientific computing. This book provides a contemporary vision of IGA by first discussing the current challenges in achieving a true bridge between design and analysis, then proposing original solutions that answer the issues from an analytical point of view, and, eventually, studying the shape optimization of structures, which is one of the greatest applications of IGA. To handle complex structures, a full analysis-to-optimization framework is developed, based on non-invasive coupling, parallel domain decomposition and immersed geometrical modeling. This seems to be very robust, taking on all of the attractive features of IGA (the design-analysis link, numerical efficiency and natural regularization), giving us the opportunity to explore new types of design.

This book addresses the topic of fractional-order modeling of nuclear reactors. Approaching neutron transport in the reactor core as anomalous diffusion, specifically subdiffusion, it starts with the development of fractional-order neutron telegraph equations. Using a systematic approach, the book then examines the development and analysis of various fractional-order models representing nuclear reactor dynamics, ultimately leading to the fractional-order linear and nonlinear control-oriented models. The book utilizes the mathematical tool of fractional calculus, the calculus of derivatives and integrals with arbitrary non-integer orders (real or complex), which has recently been found to provide a more compact and realistic representation to the dynamics of diverse physical systems. Including extensive simulation results and discussing important issues related to the fractional-order modeling of nuclear reactors, the book offers a valuable resource for students and researchers working in the areas of fractional-order modeling and control and nuclear reactor modeling.

The author introduces the supersymmetric localization technique, a new approach for computing path integrals in quantum field theory on curved space (time) defined with interacting Lagrangian. The author focuses on a particular quantity called the superconformal index (SCI), which is defined by considering the theories on the product space of two spheres and circles, in order to clarify the validity of so-called three-dimensional mirror symmetry, one of the famous duality proposals. In addition to a review of known results, the author presents a new definition of SCI by considering theories on the product space of real-projective space and circles. In this book, he explains the concept of SCI from the point of view of quantum mechanics and gives localization computations by reducing field theoretical computations to many-body quantum mechanics. He applies his new results of SCI with real-projective space to test three-dimensional mirror symmetry, one of the dualities of quantum field theory. Real-projective space is known to be an unorientable surface like the Mobius strip, and there are many exotic effects resulting from Z2 holonomy of the surface. Thanks to these exotic structures, his results provide completely new evidence of three-dimensional mirror symmetry. The equivalence expected from three-dimensional mirror symmetry is transformed into a conjectural non-trivial mathematical identity through the new SCI, and he performs the proof of the identity using a q-binomial formula.

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.

The focus of this book is on providing students with insights into geometry that can help them understand deep learning from a unified perspective. Rather than describing deep learning as an implementation technique, as is usually the case in many existing deep learning books, here, deep learning is explained as an ultimate form of signal processing techniques that can be imagined. To support this claim, an overview of classical kernel machine learning approaches is presented, and their advantages and limitations are explained. Following a detailed explanation of the basic building blocks of deep neural networks from a biological and algorithmic point of view, the latest tools such as attention, normalization, Transformer, BERT, GPT-3, and others are described. Here, too, the focus is on the fact that in these heuristic approaches, there is an important, beautiful geometric structure behind the intuition that enables a systematic understanding. A unified geometric analysis to understand the working mechanism of deep learning from high-dimensional geometry is offered. Then, different forms of generative models like GAN, VAE, normalizing flows, optimal transport, and so on are described from a unified geometric perspective, showing that they actually come from statistical distance-minimization problems. Because this book contains up-to-date information from both a practical and theoretical point of view, it can be used as an advanced deep learning textbook in universities or as a reference source for researchers interested in acquiring the latest deep learning algorithms and their underlying principles. In addition, the book has been prepared for a codeshare course for both engineering and mathematics students, thus much of the content is interdisciplinary and will appeal to students from both disciplines.

This book summarizes the main advances in the field of nonlinear evolution and pattern formation caused by longwave instabilities in fluids. It will allow readers to master the multiscale asymptotic methods and become familiar with applications of these methods in a variety of physical problems. Longwave instabilities are inherent to a variety of systems in fluid dynamics, geophysics, electrodynamics, biophysics, and many others. The techniques of the derivation of longwave amplitude equations, as well as the analysis of numerous nonlinear equations, are discussed throughout. This book will be of value to researchers and graduate students in applied mathematics, physics, and engineering, in particular within the fields of fluid mechanics, heat and mass transfer theory, and nonlinear dynamics.

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.

As the sequel to the proceedings of the International Conference of Continuum Mechanics Focusing on Singularities (CoMFoS15), the proceedings of CoMFoS16 present further advances and new topics in mathematical theory and numerical simulations related to various aspects of continuum mechanics. These include fracture mechanics, shape optimization, modeling of earthquakes, material structure, interface dynamics and complex systems.. The authors are leading researchers with a profound knowledge of mathematical analysis from the fields of applied mathematics, physics, seismology, engineering, and industry. The book helps readers to understand how mathematical theory can be applied to various industrial problems, and conversely, how industrial problems lead to new mathematical challenges.

This book introduces methods of robust optimization in multivariate adaptive regression splines (MARS) and Conic MARS in order to handle uncertainty and non-linearity. The proposed techniques are implemented and explained in two-model regulatory systems that can be found in the financial sector and in the contexts of banking, environmental protection, system biology and medicine. The book provides necessary background information on multi-model regulatory networks, optimization and regression. It presents the theory of and approaches to robust (conic) multivariate adaptive regression splines - R(C)MARS - and robust (conic) generalized partial linear models - R(C)GPLM - under polyhedral uncertainty. Further, it introduces spline regression models for multi-model regulatory networks and interprets (C)MARS results based on different datasets for the implementation. It explains robust optimization in these models in terms of both the theory and methodology. In this context it studies R(C)MARS results with different uncertainty scenarios for a numerical example. Lastly, the book demonstrates the implementation of the method in a number of applications from the financial, energy, and environmental sectors, and provides an outlook on future research.

This book gathers the peer-reviewed proceedings of the 12th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'17, held in Sofia, Bulgaria, in December 2017. The general theme of BGSIAM'17 was industrial and applied mathematics, with a particular focus on: high-performance computing, numerical methods and algorithms, analysis of partial differential equations and their applications, mathematical biology, control and uncertain systems, stochastic models, molecular dynamics, neural networks, genetic algorithms, metaheuristics for optimization problems, generalized nets, and Big Data.

This handbook serves as a comprehensive, systematic reference to the major mathematical models used in radio engineering and communications, and presents computer simulation algorithms to help the reader estimate parameters of radio systems. It provides the technical details necessary to design and analyze radar, communication, radio navigation, radio control, electronic intelligence and electronic warfare systems. Mathcad routines, cited in the handbook, should help the reader to optimize radar system performance analysis, and can be used to create custom-made software that better answers specific needs.

This book explores the ways in which the broad range of technologies that make up the smart city infrastructure can be harnessed to incorporate more playfulness into the day-to-day activities that take place within smart cities, making them not only more efficient but also more enjoyable for the people who live and work within their confines. The book addresses various topics that will be of interest to playable cities stakeholders, including the human-computer interaction and game designer communities, computer scientists researching sensor and actuator technology in public spaces, urban designers, and (hopefully) urban policymakers. This is a follow-up to another book on Playable Cities edited by Anton Nijholt and published in 2017 in the same book series, Gaming Media and Social Effects.

This proceedings book presents selected contributions from the XVIII Congress of APDIO (the Portuguese Association of Operational Research) held in Valenca on June 28-30, 2017. Prepared by leading Portuguese and international researchers in the field of operations research, it covers a wide range of complex real-world applications of operations research methods using recent theoretical techniques, in order to narrow the gap between academic research and practical applications. Of particular interest are the applications of, nonlinear and mixed-integer programming, data envelopment analysis, clustering techniques, hybrid heuristics, supply chain management, and lot sizing and job scheduling problems. In most chapters, the problems, methods and methodologies described are complemented by supporting figures, tables and algorithms. The XVIII Congress of APDIO marked the 18th installment of the regular biannual meetings of APDIO - the Portuguese Association of Operational Research. The meetings bring together researchers, scholars and practitioners, as well as MSc and PhD students, working in the field of operations research to present and discuss their latest works. The main theme of the latest meeting was Operational Research Pro Bono. Given the breadth of topics covered, the book offers a valuable resource for all researchers, students and practitioners interested in the latest trends in this field.

Never before was anticipation more relevant to the life and activity of humankind than it is today. "It is no overstatement to suggest that humanity's future will be shaped by its capacity to anticipate...." (Research Agenda for the 21st Century, National Science Foundation). The sciences and the humanities can no longer risk explaining away the complexity and interactivity that lie at the foundation of life and living. The perspective of the world that anticipation opens justifies the descriptor "the post-Cartesian Revolution." If anticipation is a valid research domain, what practical relevance can we await? Indeed, anticipation is more than just the latest catch-word in marketing the apps developed by the digital technology industry. Due to spectacular advances in the study of the living, anticipation can claim a legitimate place in current investigations and applications in the sciences and the humanities. Biology, genetics, medicine, as well as politics and cognitive, behavioral, and social sciences, provide rich evidence of anticipatory processes at work. Readers seeking a foundation for an ticipation will find in these pages recent outcomes pertinent to plant life, political anticipation, cognitive science, architecture, computation. The authors contributing to this volume frame experimental data in language that can be shared among experts from all fields of endeavor. The major characteristic is the inference from the richness of data to principles and practical consequences.