This book systematically discusses nonlinear interval optimization design theory and methods. Firstly, adopting a mathematical programming theory perspective, it develops an innovative mathematical transformation model to deal with general nonlinear interval uncertain optimization problems, which is able to equivalently convert complex interval uncertain optimization problems to simple deterministic optimization problems. This model is then used as the basis for various interval uncertain optimization algorithms for engineering applications, which address the low efficiency caused by double-layer nested optimization. Further, the book extends the nonlinear interval optimization theory to design problems associated with multiple optimization objectives, multiple disciplines, and parameter dependence, and establishes the corresponding interval optimization models and solution algorithms. Lastly, it uses the proposed interval uncertain optimization models and methods to deal with practical problems in mechanical engineering and related fields, demonstrating the effectiveness of the models and methods.

This book addresses a broad range of problems commonly encountered in the fields of financial analysis, logistics and supply chain management, such as the use of big data analytics in the banking sector. Divided into twenty chapters, some of the contemporary topics discussed in the book are co-operative/non-cooperative supply chain models for imperfect quality items with trade-credit financing; a non-dominated sorting water cycle algorithm for the cardinality constrained portfolio problem; and determining initial, basic and feasible solutions for transportation problems by means of the "supply demand reparation method" and "continuous allocation method." In addition, the book delves into a comparison study on exponential smoothing and the Arima model for fuel prices; optimal policy for Weibull distributed deteriorating items varying with ramp type demand rate and shortages; an inventory model with shortages and deterioration for three different demand rates; outlier labeling methods for medical data; a garbage disposal plant as a validated model of a fault-tolerant system; and the design of a "least cost ration formulation application for cattle"; a preservation technology model for deteriorating items with advertisement dependent demand and trade credit; a time series model for stock price forecasting in India; and asset pricing using capital market curves. The book offers a valuable asset for all researchers and industry practitioners working in these areas, giving them a feel for the latest developments and encouraging them to pursue further research in this direction.

This book introduces readers to MesoBioNano (MBN) Explorer - a multi-purpose software package designed to model molecular systems at various levels of size and complexity. In addition, it presents a specially designed multi-task toolkit and interface - the MBN Studio - which enables the set-up of input files, controls the simulations, and supports the subsequent visualization and analysis of the results obtained. The book subsequently provides a systematic description of the capabilities of this universal and powerful software package within the framework of computational molecular science, and guides readers through its applications in numerous areas of research in bio- and chemical physics and material science - ranging from the nano- to the mesoscale. MBN Explorer is particularly suited to computing the system's energy, to optimizing molecular structure, and to exploring the various facets of molecular and random walk dynamics. The package allows the use of a broad variety of interatomic potentials and can, e.g., be configured to select any subset of a molecular system as rigid fragments, whenever a significant reduction in the number of dynamical degrees of freedom is required for computational practicalities. MBN Studio enables users to easily construct initial geometries for the molecular, liquid, crystalline, gaseous and hybrid systems that serve as input for the subsequent simulations of their physical and chemical properties using MBN Explorer. Despite its universality, the computational efficiency of MBN Explorer is comparable to that of other, more specialized software packages, making it a viable multi-purpose alternative for the computational modeling of complex molecular systems. A number of detailed case studies presented in the second part of this book demonstrate MBN Explorer's usefulness and efficiency in the fields of atomic clusters and nanoparticles, biomolecular systems, nanostructured materials, composite materials and hybrid systems, crystals, liquids and gases, as well as in providing modeling support for novel and emerging technologies. Last but not least, with the release of the 3rd edition of MBN Explorer in spring 2017, a free trial version will be available from the MBN Research Center website (mbnresearch.com).

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.

This book, featuring a truly interdisciplinary approach, provides an overview of cutting-edge mathematical theories and techniques that promise to play a central role in climate science. It brings together some of the most interesting overview lectures given by the invited speakers at an important workshop held in Rome in 2013 as a part of MPE2013 ("Mathematics of Planet Earth 2013"). The aim of the workshop was to foster the interaction between climate scientists and mathematicians active in various fields linked to climate sciences, such as dynamical systems, partial differential equations, control theory, stochastic systems, and numerical analysis. Mathematics and statistics already play a central role in this area. Likewise, computer science must have a say in the efforts to simulate the Earth's environment on the unprecedented scale of petabytes. In the context of such complexity, new mathematical tools are needed to organize and simplify the approach. The growing importance of data assimilation techniques for climate modeling is amply illustrated in this volume, which also identifies important future challenges.

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 features selected papers presented at the Fourth International Conference on Nanoelectronics, Circuits and Communication Systems (NCCS 2018). Covering topics such as MEMS and nanoelectronics, wireless communications, optical communications, instrumentation, signal processing, the Internet of Things, image processing, bioengineering, green energy, hybrid vehicles, environmental science, weather forecasting, cloud computing, renewable energy, RFID, CMOS sensors, actuators, transducers, telemetry systems, embedded systems, and sensor network applications in mines, it offers a valuable resource for young scholars, researchers, and academics alike.

This book is the first part of a two volume anthology comprising a selection of 49 articles that illustrate the depth, breadth and scope of Nigel Kalton's research. Each article is accompanied by comments from an expert on the respective topic, which serves to situate the article in its proper context, to successfully link past, present and hopefully future developments of the theory, and to help readers grasp the extent of Kalton's accomplishments. Kalton's work represents a bridge to the mathematics of tomorrow, and this book will help readers to cross it. Nigel Kalton (1946-2010) was an extraordinary mathematician who made major contributions to an amazingly diverse range of fields over the course of his career.

In the last few years, courses on parallel computation have been developed and offered in many institutions in the UK, Europe and US as a recognition of the growing significance of this topic in mathematics and computer science. There is a clear need for texts that meet the needs of students and lecturers and this book, based on the author's lecture at ETH Zurich, is an ideal practical student guide to scientific computing on parallel computers working up from a hardware instruction level, to shared memory machines, and finally to distributed memory machines. Aimed at advanced undergraduate and graduate students in applied mathematics, computer science, and engineering, subjects covered include linear algebra, fast Fourier transform, and Monte-Carlo simulations, including examples in C and, in some cases, Fortran. This book is also ideal for practitioners and programmers.

Mathematical modeling is the art and craft of building a system of equations that is both sufficiently complex to do justice to physical reality and sufficiently simple to give real insight into the situation. Mathematical Modeling: A Chemical Engineer's Perspective provides an elementary introduction to the craft by one of the century's most distinguished practitioners.
Though the book is written from a chemical engineering viewpoint, the principles and pitfalls are common to all mathematical modeling of physical systems. Seventeen of the author's frequently cited papers are reprinted to illustrate applications to convective diffusion, formal chemical kinetics, heat and mass transfer, and the philosophy of modeling. An essay of acknowledgments, asides, and footnotes captures personal reflections on academic life and personalities.

* Describes pitfalls as well as principles of mathematical modeling
* Presents twenty examples of engineering problems
* Features seventeen reprinted papers
* Presents personal reflections on some of the great natural philosophers
* Emphasizes modeling procedures that precede extensive calculations

This book presents a differential geometric method for designing nonlinear observers for multiple types of nonlinear systems, including single and multiple outputs, fully and partially observable systems, and regular and singular dynamical systems. It is an exposition of achievements in nonlinear observer normal forms. The book begins by discussing linear systems, introducing the concept of observability and observer design, and then explains the difficulty of those problems for nonlinear systems. After providing foundational information on the differential geometric method, the text shows how to use the method to address observer design problems. It presents methods for a variety of systems. The authors employ worked examples to illustrate the ideas presented. Observer Design for Nonlinear Dynamical Systems will be of interest to researchers, graduate students, and industrial professionals working with control of mechanical and dynamical systems.

This monograph investigates the existence of higher order sliding mode in discrete-time systems and propounds a new concept of discrete-time higher order sliding mode. The authors propose a definition of discrete-time higher order sliding mode and a control law is designed by means of a concept for an uncertain linear-time invariant system, as well as the behavior of the closed-loop system is analyzed. Moreover, the book includes a thorough treatment of the probabilistic and non-deterministic case, i.e. stochastic discrete-time higher order sliding mode. The target audience primarily comprises research experts in control theory but the book may also be beneficial for graduate students alike.

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.

This book discusses recent research on the stability of various neural networks with constrained signals. It investigates stability problems for delayed dynamical systems where the main purpose of the research is to reduce the conservativeness of the stability criteria. The book mainly focuses on the qualitative stability analysis of continuous-time as well as discrete-time neural networks with delays by presenting the theoretical development and real-life applications in these research areas. The discussed stability concept is in the sense of Lyapunov, and, naturally, the proof method is based on the Lyapunov stability theory. The present book will serve as a guide to enable the reader in pursuing the study of further topics in greater depth and is a valuable reference for young researcher and scientists.

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

"This text covers key mathematical principles and algorithms for nonlinear filters used in image processing. Readers will gain an in-depth understanding of the underlying mathematical and filter design methodologies needed to construct and use nonlinear filters in a variety of applications.
The 11 chapters explore topics of contemporary interest as well as fundamentals drawn from nonlinear filtering's historical roots in mathematical morphology and digital signal processing. This book examines various filter options and the types of applications for which they are best suited. The presentation is rigorous, yet accessible to engineers with a solid background in mathematics."

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 concerns the most up-to-date advances in computational transport phenomena (CTP), an emerging tool for the design of gas-solid processes such as fluidized bed systems. The authors examine recent work in kinetic theory and CTP and illustrate gas-solid processes' many applications in the energy, chemical, pharmaceutical, and food industries. They also discuss the kinetic theory approach in developing constitutive equations for gas-solid flow systems and how it has advanced over the last decade as well as the possibility of obtaining innovative designs for multiphase reactors, such as those needed to capture CO2 from flue gases. Suitable as a concise reference and a textbook supplement for graduate courses, Computational Transport Phenomena of Gas-Solid Systems is ideal for practitioners in industries involved with the design and operation of processes based on fluid/particle mixtures, such as the energy, chemicals, pharmaceuticals, and food processing.

The set of papers in this handbook reflect the varied theory and wide range of applications of network models. Two of the most vibrant applications areas of network models are telecommunications and transportation. Several chapters explicitly model issues arising in these problem domains. Research on network models has been closely aligned with the field of computer science both in developing data structures for efficiently implementing network algorithms and in analyzing the complexity of network problems and algorithms. The basic structure underlying all network problems is a graph. Thus, historically, there have been strong ties between network models and graph theory. A companion volume in the "Handbook" series, entitled "Network Routing", examines problems related to the movement of commodities over a network. The problems treated arise in several application areas including logistics, telecommunications, facility location, VLSI design, and economics.

The second part of a two-volume set concerning the field of Clifford (geometric) algebra, this work consists of thematically organized chapters that provide a broad overview of cutting-edge topics in mathematical physics and the physical applications of Clifford algebras. This volume is a survey of most aspects of Clifford analysis. Topics range from applications such as complex-distance potential theory, supersymmetry, and fluid dynamics to Fourier analysis, the study of boundary value problems, and applications, to mathematical physics and Schwarzian derivatives in Euclidean space. Among the mathematical topics examined are generalized Dirac operators, holonomy groups, monogenic and hypermonogenic functions and their derivatives, quaternionic Beltrami equations, Fourier theory under Mobius transformations, Cauchy-Reimann operators, and Cauchy type integrals.

Rational extended thermodynamics (RET) is the theory that is applicable to nonequilibrium phenomena out of local equilibrium. It is expressed by the hyperbolic system of field equations with local constitutive equations and is strictly related to the kinetic theory with the closure method of the hierarchies of moment equations. The book intends to present, in a systematic way, new results obtained by RET of gases in both classical and relativistic cases, and it is a natural continuation of the book "Rational Extended Thermodynamics beyond the Monatomic Gas" by the same authors published in 2015. However, this book addresses much wider topics than those of the previous book. Its contents are as follows: RET of rarefied monatomic gases and of polyatomic gases; a simplified RET theory with 6 fields being valid far from equilibrium; RET where both molecular rotational and vibrational modes exist; mixture of gases with multi-temperature. The theory is applied to several typical topics (sound waves, shock waves, etc.) and is compared with experimental data. From a mathematical point of view, RET can be regarded as a theory of hyperbolic symmetric systems, of which it is possible to conduct a qualitative analysis. The book represents a valuable resource for applied mathematicians, physicists, and engineers, offering powerful models for many potential applications such as reentering satellites into the atmosphere, semiconductors, and nanoscale phenomena.

This textbook provides a concise introduction and useful overview of the field of human population genomics, making the highly technical and contemporary aspects more accessible to students and researchers from various fields. Over the past decade, there has been a deluge of genetic variation data from the entire genome of individuals from many populations. These data have allowed an unprecedented look at human history and how natural selection has impacted humans during this journey. Simultaneously, there have been increased efforts to determine how genetic variation affects complex traits in humans. Due to technological and methodological advances, progress has been made at determining the architecture of complex traits. Split in three parts, the book starts with the basics, followed by more advanced and current research. The first part provides an introduction to essential concepts in population genetics, which are relevant for any organism. The second part covers the genetics of complex traits in humans. The third part focuses on applying these techniques and concepts to genetic variation data to learn about demographic history and natural selection in humans. This new textbook aims to serve as a gateway to modern human population genetics research for those new to the field. It provides an indispensable resource for students, researchers and practitioners from disparate areas of expertise.

An ideal text for students that ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It provides students with a background in elementary vibrations with the tools necessary for understanding and analyzing more complex dynamical phenomena that can be encountered in engineering and scientific practice. It progresses steadily from linear vibration theory over various levels of nonlinearity to bifurcation analysis, global dynamics and chaotic vibrations. It trains the student to analyze simple models, recognize nonlinear phenomena and work with advanced tools such as perturbation analysis and bifurcation analysis. Explaining theory in terms of relevant examples from real systems, this book is user-friendly and meets the increasing interest in non-linear dynamics in mechanical/structural engineering and applied mathematics and physics. This edition includes a new chapter on the useful effects of fast vibrations and many new exercise problems.

This book presents the current trends, technologies, and challenges in Big Data in the diversified field of engineering and sciences. It covers the applications of Big Data ranging from conventional fields of mechanical engineering, civil engineering to electronics, electrical, and computer science to areas in pharmaceutical and biological sciences. This book consists of contributions from various authors from all sectors of academia and industries, demonstrating the imperative application of Big Data for the decision-making process in sectors where the volume, variety, and velocity of information keep increasing. The book is a useful reference for graduate students, researchers and scientists interested in exploring the potential of Big Data in the application of engineering areas.