This volume gathers selected contributions from the participants of the Banff International Research Station (BIRS) workshop Coupled Mathematical Models for Physical and Biological Nanoscale Systems and their Applications, who explore various aspects of the analysis, modeling and applications of nanoscale systems, with a particular focus on low dimensional nanostructures and coupled mathematical models for their description. Due to the vastness, novelty and complexity of the interfaces between mathematical modeling and nanoscience and nanotechnology, many important areas in these disciplines remain largely unexplored. In their efforts to move forward, multidisciplinary research communities have come to a clear understanding that, along with experimental techniques, mathematical modeling and analysis have become crucial to the study, development and application of systems at the nanoscale. The conference, held at BIRS in autumn 2016, brought together experts from three different communities working in fields where coupled mathematical models for nanoscale and biosystems are especially relevant: mathematicians, physicists (both theorists and experimentalists), and computational scientists, including those dealing with biological nanostructures. Its objectives: summarize the state-of-the-art; identify and prioritize critical problems of major importance that require solutions; analyze existing methodologies; and explore promising approaches to addressing the challenges identified. The contributions offer up-to-date introductions to a range of topics in nano and biosystems, identify important challenges, assess current methodologies and explore promising approaches. As such, this book will benefit researchers in applied mathematics, as well as physicists and biologists interested in coupled mathematical models and their analysis for physical and biological nanoscale systems that concern applications in biotechnology and medicine, quantum information processing and optoelectronics.

Functional Gaussian Approximation for Dependent Structures develops and analyses mathematical models for phenomena that evolve in time and influence each another. It provides a better understanding of the structure and asymptotic behaviour of stochastic processes. Two approaches are taken. Firstly, the authors present tools for dealing with the dependent structures used to obtain normal approximations. Secondly, they apply normal approximations to various examples. The main tools consist of inequalities for dependent sequences of random variables, leading to limit theorems, including the functional central limit theorem and functional moderate deviation principle. The results point out large classes of dependent random variables which satisfy invariance principles, making possible the statistical study of data coming from stochastic processes both with short and long memory. The dependence structures considered throughout the book include the traditional mixing structures, martingale-like structures, and weakly negatively dependent structures, which link the notion of mixing to the notions of association and negative dependence. Several applications are carefully selected to exhibit the importance of the theoretical results. They include random walks in random scenery and determinantal processes. In addition, due to their importance in analysing new data in economics, linear processes with dependent innovations will also be considered and analysed.

This sequel to volume 19 of Handbook on Statistics on Stochastic Processes: Modelling and Simulation is concerned mainly with the theme of reviewing and, in some cases, unifying with new ideas the different lines of research and developments in stochastic processes of applied flavour. This volume consists of 23 chapters addressing various topics in stochastic processes. These include, among others, those on manufacturing systems, random graphs, reliability, epidemic modelling, self-similar processes, empirical processes, time series models, extreme value therapy, applications of Markov chains, modelling with Monte Carlo techniques, and stochastic processes in subjects such as engineering, telecommunications, biology, astronomy and chemistry. particular with modelling, simulation techniques and numerical methods concerned with stochastic processes. The scope of the project involving this volume as well as volume 19 is already clarified in the preface of volume 19. The present volume completes the aim of the project and should serve as an aid to students, teachers, researchers and practitioners interested in applied stochastic processes.

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 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 discusses recent advances and research in applied mathematics, statistics and their applications in computing. It features papers presented at the fourth conference in the series organized at the Indian Institute of Technology (Banaras Hindu University), Varanasi, India, on 9 - 11 January 2018 on areas of current interest, including operations research, soft computing, applied mathematical modelling, cryptology, and security analysis. The conference has emerged as a powerful forum, bringing together leading academic scientists, experts from industry, and researchers and offering a venue to discuss, interact and collaborate to stimulate the advancement of mathematics and its applications in computer science. The education of future consumers, users, producers, developers and researchers of mathematics and its applications is an important challenge in modern society, and as such, mathematics and its application in computer science are of vital significance to all spectrums of the community, as well as to mathematicians and computing professionals across different educational levels and disciplines. With contributions by leading international experts, this book motivates and creates interest among young researchers.

This book provides a tutorial in the use of Altair Compose and Altair Activate, software packages that provide system modeling and simulation facilities. Advanced system modeling software provide multiple ways of creating models: models can be programmed in specialized languages, graphically constructed as block-diagrams and state machines, or expressed mathematically in equation-based languages. Compose and Activate are introduced in this text in two parts. The first part introduces the multi-language environment of Compose and its use for modeling, simulation and optimization. The second describes the graphical system modeling and optimization with Activate, an open-system environment providing signal-based modeling as well as physical system component-based modeling. Throughout both parts are applied examples from mechanical, biological, and electrical systems, as well as control and signal processing systems. This book will be an invaluable addition with many examples both for those just interested in OML and those doing industrial scale modeling, simulation, and design. All examples are worked using the free basic editions of Activate and Compose that are available.

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.

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 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 state-of-the-art in supercomputer simulation. It includes the latest findings from leading researchers using systems from the High Performance Computing Center Stuttgart (HLRS) in 2017. The reports cover all fields of computational science and engineering ranging from CFD to computational physics and from chemistry to computer science with a special emphasis on industrially relevant applications. Presenting findings of one of Europe's leading systems, this volume covers a wide variety of applications that deliver a high level of sustained performance.The book covers the main methods in high-performance computing. Its outstanding results in achieving the best performance for production codes are of particular interest for both scientists and engineers. The book comes with a wealth of color illustrations and tables of results.

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.

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.

This book explains in simple settings the fundamental ideas of financial market modelling and derivative pricing, using the no-arbitrage principle. Relatively elementary mathematics leads to powerful notions and techniques - such as viability, completeness, self-financing and replicating strategies, arbitrage and equivalent martingale measures - which are directly applicable in practice. The general methods are applied in detail to pricing and hedging European and American options within the Cox-Ross-Rubinstein (CRR) binomial tree model. A simple approach to discrete interest rate models is included, which, though elementary, has some novel features. All proofs are written in a user-friendly manner, with each step carefully explained and following a natural flow of thought. In this way the student learns how to tackle new problems.

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.

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

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