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

Modern life is increasingly relying on digital technology, which in turn runs on mathematics. However, this underlying math is hidden from us. That is mostly a good thing since we do not want to be solving equations and calculating fractions just to get things done in our everyday business. But the mathematical details do matter for anyone who wants to understand how stuff works, or wishes to create something new in the jungle of apps and algorithms. This book takes a look at the mathematical models behind weather forecasting, climate change prediction, artificial intelligence, medical imaging and computer graphics. The reader is expected to have only a curious mind; technical math skills are not needed for enjoying this text.

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 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 book presents a methodology based on inverse problems for use in solutions for fault diagnosis in control systems, combining tools from mathematics, physics, computational and mathematical modeling, optimization and computational intelligence. This methodology, known as fault diagnosis - inverse problem methodology or FD-IPM, unifies the results of several years of work of the authors in the fields of fault detection and isolation (FDI), inverse problems and optimization. The book clearly and systematically presents the main ideas, concepts and results obtained in recent years. By formulating fault diagnosis as an inverse problem, and by solving it using metaheuristics, the authors offer researchers and students a fresh, interdisciplinary perspective for problem solving in these fields. Graduate courses in engineering, applied mathematics and computing also benefit from this work.

INHALT LANG: Introduction: Introductory Survey; Vector Norm. Matrix Norm. Matrix Measure; Functional Analysis, Function Norms and Control Signals.- Differential Sensitivity. Small-Scale Perturbation: Kronecker Calculus in Control Theory; Analysis Using Matrices and Control Theory; Eigenvalue and Eigenvector Differential Sensitivity; Transition Matrix Differential Sensitivity; Characteristic Polynomial Differential Sensitivity; Optimal Control and Performance Sensitivity; Desensitizing Control.- Robustness in the Time Domain: General Stability Bounds in Perturbed Systems; Robust Dynamic Interval Systems; Lyapunov-Based Methods for Perturbed Continuous-Time Systems; Lyapunov-Based Methods for Perturbed Discrete-Time Systems; Robust Pole Assignment; Models for Optimal and Interconnected Systems; Robust State Feedback Using Ellipsoid Sets; Robustness of Observers and Kalman-Bucy Filters; Initial Condition Perturbation, Overshoot and Robustness; Lnp-Stability and Robust Nonlinear Control.- Robustness in the Frequency Domain: Uncertain Polynomials. Interval Polynomials; Eigenvalues and Singular Values of Complex Matrices; Resolvent Matrix and Stability Radius; Robustness Via Singular-Value Analysis; Generalized Nyquist Stability of Perturbed Systems; Block-Structured Uncertainty and Structured Singular Value; Performance Robustness; Robust Controllers Via Spectral Radius Technique.- Coprime Factorization and Minimax Frequency Optimization: Robustness Based on the Internal Model Principle; Parametrization and Factorization of Systems; Hardy Space Robust Design.- Robustness Via Approximative Models: Robust Hyperplane Design in Variable Structure Control; SIngular Perturbaitons. Unmodelled High-Frequendy Dynamics; Control Using Aggregation Models; Optimum Control of Approximate and Nonlinear Systems; System Analysis via Orthogonal Functions; System Analysis Via Pulse Functions and Piecewise Linear Functions; Orthogonal Decomposition Applications.

This second edition of the outstanding monograph on coherent states by Combescure and Robert published in 2012 is enriched with figures, historical information and numerical simulations and enlarged with five new chapters presenting important rigorous results obtained in the recent years. The new chapters include various applications such as to the time dependent Schroedinger equation and the Ehrenfest time, to the growth of norms and energy exchanges, to chaotic systems and classical systems with quantum ergodic behavior, and to open quantum systems, and to adiabatic decoupling for multicomponent systems Overall, this book presents the various types of coherent states introduced and studied in the physics and mathematics literature and describes their properties together with application to quantum physics problems. It is intended to serve as a compendium on coherent states and their applications for physicists and mathematicians, stretching from the basic mathematical structures of generalized coherent states in the sense of Perelomov via the semiclassical evolution of coherent states to various specific examples of coherent states (hydrogen atom, quantum oscillator, etc.). It goes beyond existing books on coherent states in terms of a rigorous mathematical framework

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 work makes major contributions to the thriving area of social, communication, and distributed networks by introducing novel methodologies and tools toward the study of the evolutionary behaviors of these networks, as well as their computational complexity and rates of convergence. By departing from the classical approaches and results in the literature, this work shows that it is possible to handle more complex and realistic nonlinear models where either the traditional approaches fail or lead to weak results. The author also develops several easily implementable algorithms, delivering excellent performance guarantees while running faster than those that exist in the literature. The study undertaken and the approaches adopted enable the analysis of the evolution of several different types of social and distributed networks, with the potential to apply to and resolve several other outstanding issues in such networks.

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline directed algebraic topology, which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs. The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. In order to analyse all possible executions in the state space, more than "just" the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topology have to be extended to take privileged directions into account. The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.

The book is devoted to intelligent design of structures as a novel kind of designing based on computational intelligence. The proposed methodology based on computational intelligence has some heuristic and learning attributes typical for natural intelligence. Computer models of the structures are built on the base of the finite element method (FEM), the boundary element method (BEM) or coupling of FEM and BEM. The short description of possible discrete models of structures using these methods is included in the Chapter 2. Various kinds of intelligent approaches using sequential, parallel, distributed, fuzzy and hybrid evolutionary, immune and particle swarm algorithms and neural computing are presented in Chapter 3. Different kinds of optimization such as shape, topology, size and material optimization for structures under static and dynamical mechanical and thermo-mechanical loadings, structures with cracks and composite structures are considered in Chapter 4. Multi-objective optimization for coupled problems is also taken into account. Several numerical examples illustrating these kinds of optimization are presented for 2-D (plane-stress or plane-strain, plates, shells) as well as 3-D structures. Chapter 5 is devoted to special problems related to solving inverse problems in which boundary conditions, defects such as voids or cracks and material characteristics, are unknown. Closing comments summarizing the book are presented in Chapter 6.

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.

The book presents pedagogical reviews of important topics on high energy physics to the students and researchers in particle physics. The book also discusses topics on the Quark-Gluon plasma, thermal field theory, perturbative quantum chromodynamics, anomalies and cosmology. Students of particle physics need to be well-equipped with basic understanding of many concepts underlying the standard models of particle physics and cosmology. This is particularly true today when experimental results from colliders, such as large hadron collider (LHC) and relativistic heavy ion collider (RHIC), as well as inferences from cosmological observations, are expected to further expand our understanding of particle physics at high energies. This volume is the second in the Surveys in Theoretical High Energy Physics Series (SThEP). Topics covered in this book are based on lectures delivered at the SERC Schools in Theoretical High Energy Physics at the Physical Research Laboratory, Ahmedabad, and the University of Hyderabad.

This book is the first one in which basic demographic models are rigorously formulated by using modern age-structured population dynamics, extended to study real-world population problems. Age structure is a crucial factor in understanding population phenomena, and the essential ideas in demography and epidemiology cannot be understood without mathematical formulation; therefore, this book gives readers a robust mathematical introduction to human population studies. In the first part of the volume, classical demographic models such as the stable population model and its linear extensions, density-dependent nonlinear models, and pair-formation models are formulated by the McKendrick partial differential equation and are analyzed from a dynamical system point of view. In the second part, mathematical models for infectious diseases spreading at the population level are examined by using nonlinear differential equations and a renewal equation. Since an epidemic can be seen as a nonlinear renewal process of an infected population, this book will provide a natural unification point of view for demography and epidemiology. The well-known epidemic threshold principle is formulated by the basic reproduction number, which is also a most important key index in demography. The author develops a universal theory of the basic reproduction number in heterogeneous environments. By introducing the host age structure, epidemic models are developed into more realistic demographic formulations, which are essentially needed to attack urgent epidemiological control problems in the real world.

This book contains a systematic study of ecological communities of two or three interacting populations. Starting from the Lotka-Volterra system, various regulating factors are considered, such as rates of birth and death, predation and competition. The different factors can have a stabilizing or a destabilizing effect on the community, and their interplay leads to increasingly complicated behavior. Studying and understanding this path to greater dynamical complexity of ecological systems constitutes the backbone of this book. On the mathematical side, the tool of choice is the qualitative theory of dynamical systems - most importantly bifurcation theory, which describes the dependence of a system on the parameters. This approach allows one to find general patterns of behavior that are expected to be observed in ecological models. Of special interest is the reaction of a given model to disturbances of its present state, as well as to changes in the external conditions. This leads to the general idea of "dangerous boundaries" in the state and parameter space of an ecological system. The study of these boundaries allows one to analyze and predict qualitative and often sudden changes of the dynamics - a much-needed tool, given the increasing antropogenic load on the biosphere.As a spin-off from this approach, the book can be used as a guided tour of bifurcation theory from the viewpoint of application. The interested reader will find a wealth of intriguing examples of how known bifurcations occur in applications. The book can in fact be seen as bridging the gap between mathematical biology and bifurcation theory.

This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and original philosophical perspectives on the validation of simulations. Topics and features: introduces the fundamental concepts and principles related to the validation of computer simulations, and examines philosophical frameworks for thinking about validation; provides an overview of the various strategies and techniques available for validating simulations, as well as the preparatory steps that have to be taken prior to validation; describes commonly used reference points and mathematical frameworks applicable to simulation validation; reviews the legal prescriptions, and the administrative and procedural activities related to simulation validation; presents examples of best practice that demonstrate how methods of validation are applied in various disciplines and with different types of simulation models; covers important practical challenges faced by simulation scientists when applying validation methods and techniques; offers a selection of general philosophical reflections that explore the significance of validation from a broader perspective. This truly interdisciplinary handbook will appeal to a broad audience, from professional scientists spanning all natural and social sciences, to young scholars new to research with computer simulations. Philosophers of science, and methodologists seeking to increase their understanding of simulation validation, will also find much to benefit from in the text.

This book aims to face particles in flows from many different, but essentially interconnected sides and points of view. Thus the selection of authors and topics represented in the chapters, ranges from deep mathematical analysis of the associated models, through the techniques of their numerical solution, towards real applications and physical implications. The scope and structure of the book as well as the selection of authors was motivated by the very successful summer course and workshop "Particles in Flows'' that was held in Prague in the August of 2014. This meeting revealed the need for a book dealing with this specific and challenging multidisciplinary subject, i.e. particles in industrial, environmental and biomedical flows and the combination of fluid mechanics, solid body mechanics with various aspects of specific applications.

This proceedings presents the result of the 8th International Conference in Network Analysis, held at the Higher School of Economics, Moscow, in May 2018. The conference brought together scientists, engineers, and researchers from academia, industry, and government. Contributions in this book focus on the development of network algorithms for data mining and its applications. Researchers and students in mathematics, economics, statistics, computer science, and engineering find this collection a valuable resource filled with the latest research in network analysis. Computational aspects and applications of large-scale networks in market models, neural networks, social networks, power transmission grids, maximum clique problem, telecommunication networks, and complexity graphs are included with new tools for efficient network analysis of large-scale networks. Machine learning techniques in network settings including community detection, clustering, and biclustering algorithms are presented with applications to social network analysis.

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.

This volume features a variety of research projects at the intersection of mathematics and public policy. The topics included here fall in the areas of cybersecurity and climate change, two broad and impactful issues that benefit greatly from mathematical techniques. Each chapter in the book is a mathematical look into a specific research question related to one of these issues, an approach that offers the reader insight into the application of mathematics to important public policy questions. The articles in this volume are papers inspired by a Workshop for Women in Mathematics and Public Policy, held January 22-25, 2019 at the Institute for Pure and Applied Mathematics and the Luskin Center at the University of California, Los Angeles. The workshop was created to promote and develop women at all levels of their careers as researchers in mathematics and public policy. The idea was modeled after other successful Research Collaboration Conferences for Women, where junior and senior women come together at week-long conferences held at mathematics institutes to work on pre-defined research projects. The workshop focused on how mathematics can be used in public policy research and was designed to foster collaborative networks for women to help address the gender gap in mathematics and science.

Progress in plant biology relies on the quantification, analysis and mathematical modeling of data over different time and length scales. This book describes common mathematical and computational approaches as well as some carefully chosen case studies that demonstrate the use of these techniques to solve problems at the forefront of plant biology. Each chapter is written by an expert in field with the goal of conveying concepts whilst at the same time providing sufficient background and links to available software for readers to rapidly build their own models and run their own simulations. This book is aimed at postgraduate students and researchers working the field of plant systems biology and synthetic biology, but will also be a useful reference for anyone wanting to get into quantitative plant biology.