This book starts with an introduction to the basic concepts of multistability, then illustrates how multistability arises in different systems and explains the main mechanisms of multistability emergence. A special attention is given to noise which can convert a multistable deterministic system to a monostable stochastic one. Furthermore, the most important applications of multistability in different areas of science, engineering and technology are given attention throughout the book, including electronic circuits, lasers, secure communication, and human perception. The book aims to provide a first approach to multistability for readers, who are interested in understanding its fundamental concepts and applications in several fields. This book will be useful not only to researchers and engineers focusing on interdisciplinary studies, but also to graduate students and technicians. Both theoreticians and experimentalists will rely on it, in fields ranging from mathematics and laser physics to neuroscience and astronomy. The book is intended to fill a gap in the literature, to stimulate new discussions and bring some fundamental issues to a deeper level of understanding of the mechanisms underlying self-organization of matter and world complexity.

The purpose of this book is to examine the geospatial and temporal linkage between offshore supply vessels and oil and gas activity in the Outer Continental Shelf Gulf of Mexico, and to model OSV activity expected to result from future lease sales. Oil and gas operations occur throughout the world wherever commercial accumulations exist, but no quantitative assessment has ever been performed on the marine vessels that support offshore activity. The OCS Gulf of Mexico is the largest and most prolific offshore oil and gas basin in the world, and a large number of marine vessels are engaged in operations in the region, but tracking their activity is difficult and requires specialized data sources and the development of empirical models. The challenge of modeling arises from the complexity and size of the system, and the particular limitations governing stochastic difficult-to-observe networks. This book bridges the gap with the latest technological perspective and provides insight and computational methods to inform and better understand the offshore sector. Offshore Service Industry and Logistics Modeling in the Gulf of Mexico is presented in three parts. In Part 1, background information on the life cycle stages of offshore development and activity is reviewed, along with a description of the service vessels and port infrastructure in the region. In Part 2, OSV activity in the Gulf of Mexico is baselined using PortVision data to establish spatial and temporal characteristics of vessel activity. In Part 3, the analytic framework used to quantify the connection between OSVs, ports, and offshore activity is described, and activity expected to arise from the 2012-2017 OCS lease program is forecast. Providing an invaluable resource for academics and researchers, this book is also intended for government regulators, energy and environmental analysts, industry professionals, and others interested in this often-overlooked sector.

Computer-based mathematical modeling - the technique of representing and managing models in machine-readable form - is still in its infancy despite the many powerful mathematical software packages already available which can solve astonishingly complex and large models. On the one hand, using mathematical and logical notation, we can formulate models which cannot be solved by any computer in reasonable time - or which cannot even be solved by any method. On the other hand, we can solve certain classes of much larger models than we can practically handle and manipulate without heavy programming. This is especially true in operations research where it is common to solve models with many thousands of variables. Even today, there are no general modeling tools that accompany the whole modeling process from start to finish, that is to say, from model creation to report writing. This book proposes a framework for computer-based modeling. More precisely, it puts forward a modeling language as a kernel representation for mathematical models. It presents a general specification for modeling tools. The book does not expose any solution methods or algorithms which may be useful in solving models, neither is it a treatise on how to build them. No help is intended here for the modeler by giving practical modeling exercises, although several models will be presented in order to illustrate the framework. Nevertheless, a short introduction to the modeling process is given in order to expound the necessary background for the proposed modeling framework.

This small book started a profound revolution in the development of mathematical physics, one which has reached many working physicists already, and which stands poised to bring about far-reaching change in the future. At its heart is the use of Clifford algebra to unify otherwise disparate mathematical languages, particularly those of spinors, quaternions, tensors and differential forms. It provides a unified approach covering all these areas and thus leads to a very efficient 'toolkit' for use in physical problems including quantum mechanics, classical mechanics, electromagnetism and relativity (both special and general) - only one mathematical system needs to be learned and understood, and one can use it at levels which extend right through to current research topics in each of these areas. These same techniques, in the form of the 'Geometric Algebra', can be applied in many areas of engineering, robotics and computer science, with no changes necessary - it is the same underlying mathematics, and enables physicists to understand topics in engineering, and engineers to understand topics in physics (including aspects in frontier areas), in a way which no other single mathematical system could hope to make possible. There is another aspect to Geometric Algebra, which is less tangible, and goes beyond questions of mathematical power and range. This is the remarkable insight it gives to physical problems, and the way it constantly suggests new features of the physics itself, not just the mathematics. Examples of this are peppered throughout 'Space-Time Algebra', despite its short length, and some of them are effectively still research topics for the future. From the Foreward by Anthony Lasenby

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.

Based on talks from the 2017 and 2018 Combinatorial and Additive Number Theory (CANT) workshops at the City University of New York, these proceedings offer 17 peer-reviewed and edited papers on current topics in number theory. Held every year since 2003, the workshop series surveys state-of-the-art open problems in combinatorial and additive number theory and related parts of mathematics. Topics featured in this volume include sumsets, partitions, convex polytopes and discrete geometry, Ramsey theory, commutative algebra and discrete geometry, and applications of logic and nonstandard analysis to number theory. Each contribution is dedicated to a specific topic that reflects the latest results by experts in the field. This selection of articles will be of relevance to both researchers and graduate students interested in current progress in number theory.

Focusing on modeling applications, this outstanding reference provides a step-by-step, non-mathematical approach to constructing and using realistic workable groundwater models on a daily basis. Extensive detailed drawings, case studies, practical examples, and sample models illustrate important concepts. Includes data on hydrogeologic features and pollutants plus a glossary of terms.

This book is the first book on this technique; it describes the theory of DPSM in detail and covers its applications in ultrasonic, magnetic, electrostatic and electromagnetic problems in engineering. For the convenience of the users, the detailed theory of DPSM and its applications in different engineering fields are published here in one book making it easy to acquire a unified knowledge on DPSM.

The use of mathematical models to support decision making is proliferating in both the public and private sectors. Advances in computer technology and greater opportunities to learn the appropriate techniques are extending modeling capabilities to more and more people.

As powerful decision aids, models can be both beneficial or harmful. At present, few safeguards exist to prevent model builders or users from deliberately, carelessly, or recklessly manipulating data to further their own ends. Perhaps more importantly, few people understand or appreciate that harm can be caused when builders or users fail to recognize the values and assumptions on which a model is based or fail to take into account all the groups who would be affected by a model's results.

This volume provides a setting for a dialogue about ethics and shows the need to continue and define a vocabulary for exploring ethical concerns. It will become increasingly important for model builders and users to have a clear and strong code of ethics to guide them in making the ethical decisions they surely will have to face.

Structured Biological Modelling presents a straightforward introduction for computer-aided analysis, mathematical modelling, and simulation of cell biological systems. This unique guide brings together the physiological, structural, molecular biological, and theoretical aspects of the signal transduction network that regulates growth and proliferation in normal and tumor cells. It provides comprehensive survey of functional and theoretical features of intracellular signal processing and introduces the concept of cellular self-organization. Exemplified by oscillatory calcium waves, strategies for the design of computer experiments are presented that can assist or even substitute for time-consuming biological experiments. The presented minimal model for proliferation-associated signal transduction clearly shows the alterations of the cellular signal network involved in neoplastic growth. This book will be useful to cell and molecular biologists, oncologists, physiologists, theoretical biologists, computer scientists, and all other researchers and students studying functional aspects of cellular signaling.

This book examines the issues of ensuring anti-terrorist security of an aviation enterprise, provides a history of terrorism in the aviation sector, and analyzes the legal regulations. This book provides mathematical and mathematical-psychological models for reducing the risk of terrorist threats, which makes it possible to objectively increase the safety of air transport facilities, reduce the likelihood of terrorist attacks, save human lives and prevent significant material losses. The solutions of general humanistic problems proposed in the book-preventing accidents and preserving the world-are an original feature of the book, which allows one to treat it with the necessary attention and interest for the reader. The concept of anti-terrorist security of an aviation enterprise presented in this book has been widely tested and introduced into the activities of leading aviation enterprises, including the Interstate Aviation Committee (IAC), and has been used in the investigation of aviation accidents. This book is written for a wide range of audience associated with ensuring aviation transport security and for the end users of airlines-passengers, in order to expand their knowledge about the reliability of using air transport.

Nonlinear measurement data arise in a wide variety of biological and biomedical applications, such as longitudinal clinical trials, studies of drug kinetics and growth, and the analysis of assay and laboratory data. Nonlinear Models for Repeated Measurement Data provides the first unified development of methods and models for data of this type, with a detailed treatment of inference for the nonlinear mixed effects and its extensions. A particular strength of the book is the inclusion of several detailed case studies from the areas of population pharmacokinetics and pharmacodynamics, immunoassay and bioassay development and the analysis of growth curves.

The book discusses the solutions to nonlinear ordinary differential equations (ODEs) using analytical and numerical approximation methods. Recently, analytical approximation methods have been largely used in solving linear and nonlinear lower-order ODEs. It also discusses using these methods to solve some strong nonlinear ODEs. There are two chapters devoted to solving nonlinear ODEs using numerical methods, as in practice high-dimensional systems of nonlinear ODEs that cannot be solved by analytical approximate methods are common. Moreover, it studies analytical and numerical techniques for the treatment of parameter-depending ODEs. The book explains various methods for solving nonlinear-oscillator and structural-system problems, including the energy balance method, harmonic balance method, amplitude frequency formulation, variational iteration method, homotopy perturbation method, iteration perturbation method, homotopy analysis method, simple and multiple shooting method, and the nonlinear stabilized march method. This book comprehensively investigates various new analytical and numerical approximation techniques that are used in solving nonlinear-oscillator and structural-system problems. Students often rely on the finite element method to such an extent that on graduation they have little or no knowledge of alternative methods of solving problems. To rectify this, the book introduces several new approximation techniques.

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

This book collects chapters on contemporary topics on metric fixed point theory and its applications in science, engineering, fractals, and behavioral sciences. Chapters contributed by renowned researchers from across the world, this book includes several useful tools and techniques for the development of skills and expertise in the area. The book presents the study of common fixed points in a generalized metric space and fixed point results with applications in various modular metric spaces. New insight into parametric metric spaces as well as study of variational inequalities and variational control problems have been included.

This book presents experimental as well as simulation methodologies for analysis and development of nanostructures for introducing the desirable effects through modifications in the basic structure of select nanomaterials. The initial chapters in this book focus on exploring the basic aspects of nanomaterials, e.g., distinguishing features, synthesis, processing, characterization, simulation and application dimensions, or nanostructures that enable novel/enhanced properties or functions. The chapters also cover the size-dependent electronic, optical, and magnetic properties of nanomaterials in exposing the specific properties essential for applications in nanophotonics, nanoplasmonics, nanosystems (e.g., biological, medical, chemical, catalytic, energy, and environmental applications), and nanodevices (e.g., electronic, photonic, magnetic, imaging, diagnostic, and sensor applications). This book is a useful resource for students, researchers, and technologists in gathering recent knowledge on novel nanostructures and their use in different application areas.

This book collects contributions to the XXIII international conference "Nonlinear dynamics of electronic systems". Topics range from non-linearity in electronic circuits to synchronisation effects in complex networks to biological systems, neural dynamics and the complex organisation of the brain. Resting on a solid mathematical basis, these investigations address highly interdisciplinary problems in physics, engineering, biology and biochemistry.

This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Symposium on the Theory and Applications of Integral Methods in Science and Engineering, held virtually in July 2021, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electrical engineering, as well as graduate students in these disciplines and other professionals for whom integration is an essential tool.

This book is designed as a practical and intuitive introduction to probability, statistics and random quantities for physicists. The book aims at getting to the main points by a clear, hands-on exposition supported by well-illustrated and worked-out examples. A strong focus on applications in physics and other natural sciences is maintained throughout. In addition to basic concepts of random variables, distributions, expected values and statistics, the book discusses the notions of entropy, Markov processes, and fundamentals of random number generation and Monte-Carlo methods.

In this book, Dr. Soofastaei and his colleagues reveal how all mining managers can effectively deploy advanced analytics in their day-to-day operations- one business decision at a time. Most mining companies have a massive amount of data at their disposal. However, they cannot use the stored data in any meaningful way. The powerful new business tool-advanced analytics enables many mining companies to aggressively leverage their data in key business decisions and processes with impressive results. From statistical analysis to machine learning and artificial intelligence, the authors show how many analytical tools can improve decisions about everything in the mine value chain, from exploration to marketing. Combining the science of advanced analytics with the mining industrial business solutions, introduce the "Advanced Analytics in Mining Engineering Book" as a practical road map and tools for unleashing the potential buried in your company's data. The book is aimed at providing mining executives, managers, and research and development teams with an understanding of the business value and applicability of different analytic approaches and helping data analytics leads by giving them a business framework in which to assess the value, cost, and risk of potential analytical solutions. In addition, the book will provide the next generation of miners - undergraduate and graduate IT and mining engineering students - with an understanding of data analytics applied to the mining industry. By providing a book with chapters structured in line with the mining value chain, we will provide a clear, enterprise-level view of where and how advanced data analytics can best be applied. This book highlights the potential to interconnect activities in the mining enterprise better. Furthermore, the book explores the opportunities for optimization and increased productivity offered by better interoperability along the mining value chain - in line with the emerging vision of creating a digital mine with much-enhanced capabilities for modeling, simulation, and the use of digital twins - in line with leading "digital" industries.

This book uses new ideas and language for understanding how self-organization and complexity trend toward increased efficiency. Different measures for efficiency from multiple disciplines are used to probe the ones that provide the most insight. One major goal is to seek a common framework to trace the increase of efficiency as a measure of the level of organization and evolutionary stage of a complex system. The chapters come from a satellite meeting hosted at the Conference on Complex Systems, in Cancun, 2017. The contributions will be peer-reviewed and contributors from outside the conference will be invited to submit chapters to ensure full coverage of the topics. This text will appeal to students and researchers working on complex systems and efficiency.

Replacement Models with Minimal Repair is a collection of works by several well-known specialists on the subject of minimal repair in replacement policies. It gives an exhaustive list of minimal repair models for the effective planning of minimal repair and maintenance actions. Written in an engaging style, Replacement Models with Minimal Repair balances complex mathematical models with practical applications. It is divided into six parts that cover: mathematical modeling of minimal repair; preventive maintenance models and optimal scheduling of imperfect preventive maintenance activities; a new warranty servicing strategy with imperfect repair; mathematical models combining burn-in procedure and general maintenance policies; methods for parameters' estimation of minimal repair models; and product support. Replacement Models with Minimal Repair is for anyone with an interest in minimal repair and its impact on maintenance policies and strategies. It is a particularly useful resource for researchers, practitioners, and graduate students.

This book illustrates the role of randomness and noise in living organisms. Traditionally, the randomness and noise have been used in understanding signal processing in communications. This book is divided into two sections, the first of which introduces readers to the various types and sources of noise and the constructive role of noise in non-linear dynamics. It also analyses the importance of randomness and noise in a variety of science and engineering applications. In turn, the second section discusses in detail the functional role of noise in biological processes for example, in case of brain function at the level of ion channel, synaptic level and even at cognitive level. These are described in various chapters. One of the challenging issue finding the neuronal correlates of various meditative states is to understand how brain controls various types of noise so as to reach a state of synchronized oscillatory state of the brain corresponding to the state of Samadhi. This is described in details in one chapter called Noise, Coherence and meditation. The concept of noise and the role of randomness in living organism raise lot of controversy for last few decades. This is discussed in a separate chapter. Finally, the epistemic and ontic nature of randomness as discussed in physical science are investigated in the context of living organism.

Bayesian methods are growing more and more popular, finding new practical applications in the fields of health sciences, engineering, environmental sciences, business and economics and social sciences, among others. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Beyond presenting Bayesian theory and methods of analysis, the text is illustrated with a variety of applications to real world problems.