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

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 thesis presents the state of the art in the study of Bondi-Metzner-Sachs (BMS) symmetry and its applications in the simplified setting of three dimensions. It focuses on presenting all the background material in a pedagogical and self-contained manner to enable readers to fully appreciate the original results that have been obtained while learning a number of fundamental concepts in the field along the way. This makes it a highly rewarding read and a perfect starting point for anybody with a serious interest in the four-dimensional problem.

This book concerns the mathematical modeling and computer simulation of the human stomach. It follows the four modern P's (prevention, prediction, personalization, and precision in medicine) approach in addressing the highly heterogeneous nature of processes underlying gastric motility disorders manifested as gastroparesis, functional dyspepsia, myenteric enteropathy etc. The book comprehensively guides readers through the fundamental theoretical concepts to complex physiological models of the organ. This requires a deep and thorough understanding of driving pathophysiological mechanisms as well as the collaborative effort of specialists working in fundamental and biological science. Such a multidisciplinary partnership is vital because it upholds gnostic capabilities and provides the exchange of thoughts and ideas thus offering broad perspectives into the evolution and management of diseases. The book is a valuable resource for applied mathematicians, computational biologists, bioengineers, physicians, physiologists and researchers working in various fields of biomedicine.

This book shows how to develop efficient quantitative methods to characterize neural data and extra information that reveals underlying dynamics and neurophysiological mechanisms. Written by active experts in the field, it contains an exchange of innovative ideas among researchers at both computational and experimental ends, as well as those at the interface. Authors discuss research challenges and new directions in emerging areas with two goals in mind: to collect recent advances in statistics, signal processing, modeling, and control methods in neuroscience; and to welcome and foster innovative or cross-disciplinary ideas along this line of research and discuss important research issues in neural data analysis. Making use of both tutorial and review materials, this book is written for neural, electrical, and biomedical engineers; computational neuroscientists; statisticians; computer scientists; and clinical engineers.

This monograph investigates violations of statistical stability of physical events, variables, and processes and develops a new physical-mathematical theory taking into consideration such violations - the theory of hyper-random phenomena. There are five parts. The first describes the phenomenon of statistical stability and its features, and develops methods for detecting violations of statistical stability, in particular when data is limited. The second part presents several examples of real processes of different physical nature and demonstrates the violation of statistical stability over broad observation intervals. The third part outlines the mathematical foundations of the theory of hyper-random phenomena, while the fourth develops the foundations of the mathematical analysis of divergent and many-valued functions. The fifth part contains theoretical and experimental studies of statistical laws where there is violation of statistical stability. The monograph should be of particular interest to engineers and scientists in general who study the phenomenon of statistical stability and use statistical methods for high-precision measurements, prediction, and signal processing over long observation intervals.

This proceedings volume originates from a conference held in Herrnhut in June 2013. It provides unique insights into the power of abstract methods and techniques in dealing successfully with numerous applications stemming from classical analysis and mathematical physics. The book features diverse topics in the area of operator semigroups, including partial differential equations, martingale and Hilbert transforms, Banach and von Neumann algebras, Schroedinger operators, maximal regularity and Fourier multipliers, interpolation, operator-theoretical problems (concerning generation, perturbation and dilation, for example), and various qualitative and quantitative Tauberian theorems with a focus on transfinite induction and magics of Cantor. The last fifteen years have seen the dawn of a new era for semigroup theory with the emphasis on applications of abstract results, often unexpected and far removed from traditional ones. The aim of the conference was to bring together prominent experts in the field of modern semigroup theory, harmonic analysis, complex analysis and mathematical physics, and to present the lively interactions between all of those areas and beyond. In addition, the meeting honored the sixtieth anniversary of Prof C. J. K. Batty, whose scientific achievements are an impressive illustration of the conference goal. These proceedings present contributions by prominent scientists at this international conference, which became a landmark event.They will be a valuable and inspiring source of information for graduate students and established researchers.

The papers collected in this volume focus on new perspectives on individuals, society, and science, specifically in the field of socio-economic systems. The book is the result of a scientific collaboration among experts from "Alexandru Ioan Cuza" University of Iasi (Romania), "G. d'Annunzio" University of Chieti-Pescara (Italy), "University of Defence" of Brno (Czech Republic), and "Pablo de Olavide" University of Sevilla (Spain). The heterogeneity of the contributions presented in this volume reflects the variety and complexity of social phenomena. The book is divided in four Sections as follows. The first Section deals with recent trends in social decisions. Specifically, it aims to understand which are the driving forces of social decisions. The second Section focuses on the social and public sphere. Indeed, it is oriented on recent developments in social systems and control. Trends in quantitative theories and models are described in Section 3, where many new formal, mathematical-statistical tools for modelling complex social phenomena are presented. Finally, Section 4 shows integrative theories and models; particularly, it deals with the ethical, cultural and political approaches to social science, the pedagogical methods, and the relationship between literature, politics, religion and society. The book is addressed to sociologists, philosophers, mathematicians, statisticians, people interested in ethics, and specialists in the fields of communication, social, and political sciences.

Topological surgery is a mathematical technique used for creating new manifolds out of known ones. In this book the authors observe that it also occurs in natural phenomena of all scales: 1-dimensional surgery happens during DNA recombination and when cosmic magnetic lines reconnect; 2-dimensional surgery happens during tornado formation and cell mitosis; and they conjecture that 3-dimensional surgery happens during the formation of black holes from cosmic strings, offering an explanation for the existence of a black hole's singularity. Inspired by such phenomena, the authors present a new topological model that extends the formal definition to a continuous process caused by local forces. Lastly, they describe an intrinsic connection between topological surgery and a chaotic dynamical system exhibiting a "hole drilling" behavior. The authors' model indicates where to look for the forces causing surgery and what deformations should be observed in the local submanifolds involved. These predictions are significant for the study of phenomena exhibiting surgery and they also open new research directions. This novel study enables readers to gain a better understanding of the topology and dynamics of various natural phenomena, as well as topological surgery itself and serves as a basis for many more insightful observations and new physical implications.

The objective of this textbook is the construction, analysis, and interpretation of mathematical models to help us understand the world we live in. Rather than follow a case study approach it develops the mathematical and physical ideas that are fundamental in understanding contemporary problems in science and engineering. Science evolves, and this means that the problems of current interest continually change. What does not change as quickly is the approach used to derive the relevant mathematical models, and the methods used to analyze the models. Consequently, this book is written in such a way as to establish the mathematical ideas underlying model development independently of a specific application. This does not mean applications are not considered, they are, and connections with experiment are a staple of this book. The book, as well as the individual chapters, is written in such a way that the material becomes more sophisticated as you progress. This provides some flexibility in how the book is used, allowing consideration for the breadth and depth of the material covered. Moreover, there are a wide spectrum of exercises and detailed illustrations that significantly enrich the material. Students and researchers interested in mathematical modelling in mathematics, physics, engineering and the applied sciences will find this text useful. The material, and topics, have been updated to include recent developments in mathematical modeling. The exercises have also been expanded to include these changes, as well as enhance those from the first edition. Review of first edition: "The goal of this book is to introduce the mathematical tools needed for analyzing and deriving mathematical models. ... Holmes is able to integrate the theory with application in a very nice way providing an excellent book on applied mathematics. ... One of the best features of the book is the abundant number of exercises found at the end of each chapter. ... I think this is a great book, and I recommend it for scholarly purposes by students, teachers, and researchers." Joe Latulippe, The Mathematical Association of America, December, 2009

The book, suitable as both an introductory reference and as a text book in the rapidly growing field of topological graph theory, models both maps (as in map-coloring problems) and groups by means of graph imbeddings on sufaces. Automorphism groups of both graphs and maps are studied. In addition connections are made to other areas of mathematics, such as hypergraphs, block designs, finite geometries, and finite fields. There are chapters on the emerging subfields of enumerative topological graph theory and random topological graph theory, as well as a chapter on the composition of English church-bell music. The latter is facilitated by imbedding the right graph of the right group on an appropriate surface, with suitable symmetries. Throughout the emphasis is on Cayley maps: imbeddings of Cayley graphs for finite groups as (possibly branched) covering projections of surface imbeddings of loop graphs with one vertex. This is not as restrictive as it might sound; many developments in topological graph theory involve such imbeddings.

The approach aims to make all this interconnected material readily accessible to a beginning graduate (or an advanced undergraduate) student, while at the same time providing the research mathematician with a useful reference book in topological graph theory. The focus will be on beautiful connections, both elementary and deep, within mathematics that can best be described by the intuitively pleasing device of imbedding graphs of groups on surfaces.

The study of network theory is a highly interdisciplinary field, which has emerged as a major topic of interest in various disciplines ranging from physics and mathematics, to biology and sociology. This book promotes the diverse nature of the study of complex networks by balancing the needs of students from very different backgrounds. It references the most commonly used concepts in network theory, provides examples of their applications in solving practical problems, and clear indications on how to analyse their results. In the first part of the book, students and researchers will discover the quantitative and analytical tools necessary to work with complex networks, including the most basic concepts in network and graph theory, linear and matrix algebra, as well as the physical concepts most frequently used for studying networks. They will also find instruction on some key skills such as how to proof analytic results and how to manipulate empirical network data. The bulk of the text is focused on instructing readers on the most useful tools for modern practitioners of network theory. These include degree distributions, random networks, network fragments, centrality measures, clusters and communities, communicability, and local and global properties of networks. The combination of theory, example and method that are presented in this text, should ready the student to conduct their own analysis of networks with confidence and allow teachers to select appropriate examples and problems to teach this subject in the classroom.

In this monograph, the authors present their recently developed theory of electromagnetic interactions. This neoclassical approach extends the classical electromagnetic theory down to atomic scales and allows the explanation of various non-classical phenomena in the same framework. While the classical Maxwell-Lorentz electromagnetism theory succeeds in describing the physical reality at macroscopic scales, it struggles at atomic scales. Here, quantum mechanics traditionally takes over to describe non-classical phenomena such as the hydrogen spectrum and de Broglie waves. By means of modifying the classical theory, the approach presented here is able to consistently explain quantum-mechanical effects, and while similar to quantum mechanics in some respects, this neoclassical theory also differs markedly from it. In particular, the newly developed framework omits probabilistic interpretations of the wave function and features a new fundamental spatial scale which, at the size of the free electron, is much larger than the classical electron radius and is relevant to plasmonics and emission physics. This book will appeal to researchers interested in advanced aspects of electromagnetic theory. Treating the classical approach in detail, including non-relativistic aspects and the Lagrangian framework, and comparing the neoclassical theory with quantum mechanics and the de Broglie-Bohm theory, this work is completely self-contained.

This book is devoted to describing theories for porous media where such pores have an inbuilt macro structure and a micro structure. For example, a double porosity material has pores on a macro scale, but additionally there are cracks or fissures in the solid skeleton. The actual body is allowed to deform and thus the underlying theory is one of elasticity. Various different descriptions are reviewed. Chapter 1 introduces the classical linear theory of elastodynamics together with uniqueness and continuous dependence results. Chapters 2 and 3 review developments of theories for double and triple porosity using a pressure-displacement structure and also using voids-displacement. Chapter 4 compares various aspects of the pressure-displacement and voids-displacement theories via uniqueness studies and wave motion analysis. Mathematical analyses of double and triple porosity materials are included concentrating on uniqueness and stability studies in chapters 5 to 7. In chapters 8 and 9 the emphasis is on wave motion in double porosity materials with special attention paid to nonlinear waves. The final chapter embraces a novel area where an elastic body with a double porosity structure is analyzed, but the thermodynamics allows for heat to travel as a wave rather than simply by diffusion. This book will be of value to mathematicians, theoretical engineers and other practitioners who are interested in double or triple porosity elasticity and its relevance to many diverse applications.

This work is motivated by the ongoing open question of how information in the outside world is represented and processed by the brain. Consequently, several novel methods are developed. A new mathematical formulation is proposed for the encoding and decoding of analog signals using integrate-and-fire neuron models. Based on this formulation, a novel algorithm, significantly faster than the state-of-the-art method, is proposed for reconstructing the input of the neuron. Two new identification methods are proposed for neural circuits comprising a filter in series with a spiking neuron model. These methods reduce the number of assumptions made by the state-of-the-art identification framework, allowing for a wider range of models of sensory processing circuits to be inferred directly from input-output observations. A third contribution is an algorithm that computes the spike time sequence generated by an integrate-and-fire neuron model in response to the output of a linear filter, given the input of the filter encoded with the same neuron model.

This unique text/reference provides an overview of crossbar-based interconnection networks, offering novel perspectives on these important components of high-performance, parallel-processor systems. A particular focus is placed on solutions to the blocking and scalability problems. Topics and features: introduces the fundamental concepts in interconnection networks in multi-processor systems, including issues of blocking, scalability, and crossbar networks; presents a classification of interconnection networks, and provides information on recognizing each of the networks; examines the challenges of blocking and scalability, and analyzes the different solutions that have been proposed; reviews a variety of different approaches to improve fault tolerance in multistage interconnection networks; discusses the scalable crossbar network, which is a non-blocking interconnection network that uses small-sized crossbar switches as switching elements. This invaluable work will be of great benefit to students, researchers and practitioners interested in computer networks, parallel processing and reliability engineering. The text is also essential reading for course modules on interconnection network design and reliability.

This book introduces the basic fundamentals, models, emulators and analyses of mem-elements in the circuit theory with applications. The book starts reviewing the literature on mem-elements, models and their recent applications. It presents mathematical models, numerical results, circuit simulations, and experimental results for double-loop hysteresis behavior of mem-elements. The authors introduce a generalized memristor model in the fractional-order domain under different input and different designs for emulator-based mem-elements, with circuit and experimental results. The basic concept of memristive-based relaxation-oscillators in the circuit theory is also covered. The reader will moreover find in this book information on memristor-based multi-level digital circuits, memristor-based multi-level multiplier and memcapacitor-based oscillators and synaptic circuits.

During the last two decades, structural equation modelling (SEM) has emerged as a powerful multivariate data analysis tool in social science research settings, especially in the fields of sociology, psychology, and education. Social science researchers and students benefit greatly from acquiring knowledge and skills in SEM, since the methods can provide a bridge between the theoretical and empirical aspects of behavioural research. Ramlall explains in a rigorous, concise, and practical manner all the vital components embedded in structural equation modelling (SEM). Focusing on R and Stata to implement and perform various structural equation models, Ramlall examines the types, benefits, and drawbacks of SEM, delving into model specifications and identifications, fit evaluations, and path diagrams.

This book serves as a self-contained reference source for engineers, materials scientists, and physicists with an interest in relaxation phenomena. It is made accessible to students and those new to the field by the inclusion of both elementary and advanced math techniques, as well as chapter opening summaries that cover relevant background information and enhance the book's pedagogical value. These summaries cover a wide gamut from elementary to advanced topics. The book is divided into three parts. The opening part, on mathematics, presents the core techniques and approaches. Parts II and III then apply the mathematics to electrical relaxation and structural relaxation, respectively. Part II discusses relaxation of polarization at both constant electric field (dielectric relaxation) and constant displacement (conductivity relaxation), topics that are not often discussed together. Part III primarily discusses enthalpy relaxation of amorphous materials within and below the glass transition temperature range. It takes a practical approach inspired by applied mathematics in which detailed rigorous proofs are eschewed in favor of describing practical tools that are useful to scientists and engineers. Derivations are however given when these provide physical insight and/or connections to other material. A self-contained reference on relaxation phenomena Details both the mathematical basis and applications For engineers, materials scientists, and physicists

This work illustrates research conducted over a ten-year timespan and addresses a fundamental issue in reliability theory. This still appears to be an empirically disorganized field and the book suggests employing a deductive base in order to evolve reliability as a science. The study is in line with the fundamental work by Gnedenko. Boris Vladimirovich Gnedenko (1912 - 1995) was a Soviet mathematician who made significant contributions in various scientific areas. His name is especially associated with studies of dependability, for which he is often recognized as the 'father' of reliability theory. In the last few decades, this area has expanded in new directions such as safety, security, risk analysis and other fields, yet the book 'Mathematical Methods in Reliability Theory' written by Gnedenko with Alexander Soloviev and Yuri Belyaev still towers as a pillar of the reliability sector's configuration and identity. The present book proceeds in the direction opened by the cultural project of the Russian authors; in particular it identifies different trends in the hazard rate functions by means of deductive logic and demonstrations. Further, it arrives at multiple results by means of the entropy function, an original mathematical tool in the reliability domain. As such, it will greatly benefit all specialists in the field who are interested in unconventional solutions.

This contributed volume explores the achievements gained and the remaining puzzling questions by applying dynamical systems theory to the linguistic inquiry. In particular, the book is divided into three parts, each one addressing one of the following topics: 1) Facing complexity in the right way: mathematics and complexity 2) Complexity and theory of language 3) From empirical observation to formal models: investigation of specific linguistic phenomena, like enunciation, deixis, or the meaning of the metaphorical phrases The application of complexity theory to describe cognitive phenomena is a recent and very promising trend in cognitive science. At the time when dynamical approaches triggered a paradigm shift in cognitive science some decade ago, the major topic of research were the challenges imposed by classical computational approaches dealing with the explanation of cognitive phenomena like consciousness, decision making and language. The target audience primarily comprises researchers and experts in the field but the book may also be beneficial for graduate and post-graduate students who want to enter the field.

Pulsar timing is a promising method for detecting gravitational waves in the nano-Hertz band. In his prize winning Ph.D. thesis Rutger van Haasteren deals with how one takes thousands of seemingly random timing residuals which are measured by pulsar observers, and extracts information about the presence and character of the gravitational waves in the nano-Hertz band that are washing over our Galaxy. The author presents a sophisticated mathematical algorithm that deals with this issue. His algorithm is probably the most well-developed of those that are currently in use in the Pulsar Timing Array community. In chapter 3, the gravitational-wave memory effect is described. This is one of the first descriptions of this interesting effect in relation with pulsar timing, which may become observable in future Pulsar Timing Array projects. The last part of the work is dedicated to an effort to combine the European pulsar timing data sets in order to search for gravitational waves. This study has placed the most stringent limit to date on the intensity of gravitational waves that are produced by pairs of supermassive black holes dancing around each other in distant galaxies, as well as those that may be produced by vibrating cosmic strings. Rutger van Haasteren has won the 2011 GWIC Thesis Prize of the Gravitational Wave International Community for his innovative work in various directions of the search for gravitational waves by pulsar timing. The work is presented in this Ph.D. thesis.

This book provides a clear picture of the use of applied mathematics as a tool for improving the accuracy of agricultural research. For decades, statistics has been regarded as the fundamental tool of the scientific method. With new breakthroughs in computers and computer software, it has become feasible and necessary to improve the traditional approach in agricultural research by including additional mathematical modeling procedures.

The difficulty with the use of mathematics for agricultural scientists is that most courses in applied mathematics have been designed for engineering students. This publication is written by a professional in animal science targeting professionals in the biological, namely agricultural and animal scientists and graduate students in agricultural and animal sciences. The only prerequisite for the reader to understand the topics of this book is an introduction to college algebra, calculus and statistics. This is a manual of procedures for the mathematical modeling of agricultural systems and for the design and analyses of experimental data and experimental tests. It is a step-by-step guide for mathematical modeling of agricultural systems, starting with the statement of the research problem and up to implementing the project and running system experiments.