This book is dedicated to the systematization and development of models, methods, and algorithms for queuing systems with correlated arrivals. After first setting up the basic tools needed for the study of queuing theory, the authors concentrate on complicated systems: multi-server systems with phase type distribution of service time or single-server queues with arbitrary distribution of service time or semi-Markovian service. They pay special attention to practically important retrial queues, tandem queues, and queues with unreliable servers. Mathematical models of networks and queuing systems are widely used for the study and optimization of various technical, physical, economic, industrial, and administrative systems, and this book will be valuable for researchers, graduate students, and practitioners in these domains.

Robust Integration of Model-Based Fault Estimation and Fault-Tolerant Control is a systematic examination of methods used to overcome the inevitable system uncertainties arising when a fault estimation (FE) function and a fault-tolerant controller interact as they are employed together to compensate for system faults and maintain robustly acceptable system performance. It covers the important subject of robust integration of FE and FTC with the aim of guaranteeing closed-loop stability. The reader's understanding of the theory is supported by the extensive use of tutorial examples, including some MATLAB (R)-based material available from the Springer website and by industrial-applications-based material. The text is structured into three parts: Part I examines the basic concepts of FE and FTC, providing extensive insight into the importance of and challenges involved in their integration; Part II describes five effective strategies for the integration of FE and FTC: sequential, iterative, simultaneous, adaptive-decoupling, and robust decoupling; and Part III begins to extend the proposed strategies to nonlinear and large-scale systems and covers their application in the fields of renewable energy, robotics and networked systems. The strategies presented are applicable to a broad range of control problems, because in the absence of faults the FE-based FTC naturally reverts to conventional observer-based control. The book is a useful resource for researchers and engineers working in the area of fault-tolerant control systems, and supplementary material for a graduate- or postgraduate-level course on fault diagnosis and FTC. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

This book includes a collection of articles that present recent developments in the fields of optimization and dynamic game theory, economic dynamics, dynamic theory of the firm, and population dynamics and non standard applications of optimal control theory. The authors of the articles are well respected authorities in their fields and are known for their high quality research in the fields of optimization and economic dynamics.

This book presents the Statistical Learning Theory in a detailed and easy to understand way, by using practical examples, algorithms and source codes. It can be used as a textbook in graduation or undergraduation courses, for self-learners, or as reference with respect to the main theoretical concepts of Machine Learning. Fundamental concepts of Linear Algebra and Optimization applied to Machine Learning are provided, as well as source codes in R, making the book as self-contained as possible. It starts with an introduction to Machine Learning concepts and algorithms such as the Perceptron, Multilayer Perceptron and the Distance-Weighted Nearest Neighbors with examples, in order to provide the necessary foundation so the reader is able to understand the Bias-Variance Dilemma, which is the central point of the Statistical Learning Theory. Afterwards, we introduce all assumptions and formalize the Statistical Learning Theory, allowing the practical study of different classification algorithms. Then, we proceed with concentration inequalities until arriving to the Generalization and the Large-Margin bounds, providing the main motivations for the Support Vector Machines. From that, we introduce all necessary optimization concepts related to the implementation of Support Vector Machines. To provide a next stage of development, the book finishes with a discussion on SVM kernels as a way and motivation to study data spaces and improve classification results.

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

This accessible monograph introduces physicists to the general relation between classical and quantum mechanics based on the mathematical idea of deformation quantization and describes an original approach to the theory of quantum integrable systems developed by the author.The first goal of the book is to develop of a common, coordinate free formulation of classical and quantum Hamiltonian mechanics, framed in common mathematical language.In particular, a coordinate free model of quantum Hamiltonian systems in Riemannian spaces is formulated, based on the mathematical idea of deformation quantization, as a complete physical theory with an appropriate mathematical accuracy.The second goal is to develop of a theory which allows for a deeper understanding of classical and quantum integrability. For this reason the modern separability theory on both classical and quantum level is presented. In particular, the book presents a modern geometric separability theory, based on bi-Poissonian and bi-presymplectic representations of finite dimensional Liouville integrable systems and their admissible separable quantizations.The book contains also a generalized theory of classical Stackel transforms and the discussion of the concept of quantum trajectories.In order to make the text consistent and self-contained, the book starts with a compact overview of mathematical tools necessary for understanding the remaining part of the book. However, because the book is dedicated mainly to physicists, despite its mathematical nature, it refrains from highlighting definitions, theorems or lemmas.Nevertheless, all statements presented are either proved or the reader is referred to the literature where the proof is available.

This volume contains the proceedings of the Kovalevsky symposium held in Stockholm 2000. The first part is devoted to the life of S. Kovalevsky, the first female professor of mathematics, who influenced the development of European science during the last century. Historical notes by G. Mittag-Leffler and copies of official documents related to her life as well as several articles on her life and mathematics are presented. The main articles by J.-E. BjArk describe her life and professorship at Stockholm University. Part two of the volume contains 23 contributions in pure and applied mathematics, and in mathematical physics resulting from the lectures delivered within the program of the symposium.

There has been extensive research in the past twenty years devoted to a better understanding of the stable and other closely related infinitely divisible models. The late Professor Stamatis Cambanis, a distinguished educator and researcher, played a special leadership role in the development of these fields from the early seventies until his untimely death in April 1995. This commemorative volume honoring Stamatis Cambanis consists of a collection of research articles devoted to review the state of the art in rapidly developing research areas in Stochastic Processes and to explore new directions of research. The volume is a tribute to the life and work of Stamatis by his students, friends, and colleagues whose personal and professional lives he deeply touched through his generous insights and dedication to his profession.

A Deep Dive into NoSQL Databases: The Use Cases and Applications, Volume 109, the latest release in the Advances in Computers series first published in 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth. This update includes sections on NoSQL and NewSQL databases for big data analytics and distributed computing, NewSQL databases and scalable in-memory analytics, NoSQL web crawler application, NoSQL Security, a Comparative Study of different In-Memory (No/New)SQL Databases, NoSQL Hands On-4 NoSQLs, the Hadoop Ecosystem, and more.

This textbook presents the application of mathematical methods and theorems tosolve engineering problems, rather than focusing on mathematical proofs. Applications of Vector Analysis and Complex Variables in Engineering explains the mathematical principles in a manner suitable for engineering students, who generally think quite differently than students of mathematics. The objective is to emphasize mathematical methods and applications, rather than emphasizing general theorems and principles, for which the reader is referred to the literature. Vector analysis plays an important role in engineering, and is presented in terms of indicial notation, making use of the Einstein summation convention. This text differs from most texts in that symbolic vector notation is completely avoided, as suggested in the textbooks on tensor algebra and analysis written in German by Duschek and Hochreiner, in the 1960s. The defining properties of vector fields, the divergence and curl, are introduced in terms of fluid mechanics. The integral theorems of Gauss (the divergence theorem), Stokes, and Green are introduced also in the context of fluid mechanics. The final application of vector analysis consists of the introduction of non-Cartesian coordinate systems with straight axes, the formal definition of vectors and tensors. The stress and strain tensors are defined as an application. Partial differential equations of the first and second order are discussed. Two-dimensional linear partial differential equations of the second order are covered, emphasizing the three types of equation: hyperbolic, parabolic, and elliptic. The hyperbolic partial differential equations have two real characteristic directions, and writing the equations along these directions simplifies the solution process. The parabolic partial differential equations have two coinciding characteristics; this gives useful information regarding the character of the equation, but does not help in solving problems. The elliptic partial differential equations do not have real characteristics. In contrast to most texts, rather than abandoning the idea of using characteristics, here the complex characteristics are determined, and the differential equations are written along these characteristics. This leads to a generalized complex variable system, introduced by Wirtinger. The vector field is written in terms of a complex velocity, and the divergence and the curl of the vector field is written in complex form, reducing both equations to a single one. Complex variable methods are applied to elliptical problems in fluid mechanics, and linear elasticity. The techniques presented for solving parabolic problems are the Laplace transform and separation of variables, illustrated for problems of heat flow and soil mechanics. Hyperbolic problems of vibrating strings and bars, governed by the wave equation are solved by the method of characteristics as well as by Laplace transform. The method of characteristics for quasi-linear hyperbolic partial differential equations is illustrated for the case of a failing granular material, such as sand, underneath a strip footing. The Navier Stokes equations are derived and discussed in the final chapter as an illustration of a highly non-linear set of partial differential equations and the solutions are interpreted by illustrating the role of rotation (curl) in energy transfer of a fluid.

"Difference Equations, Second Edition," presents a practical introduction to this important field of solutions for engineering and the physical sciences. Topic coverage includes numerical analysis, numerical methods, differential equations, combinatorics and discrete modeling. A hallmark of this revision is the diverse application to many subfields of mathematics.

* Phase plane analysis for systems of two linear equations
* Use of equations of variation to approximate solutions
* Fundamental matrices and Floquet theory for periodic systems
* LaSalle invariance theorem
* Additional applications: secant line method, Bison problem, juvenile-adult population model, probability theory
* Appendix on the use of "Mathematica" for analyzing difference equaitons
* Exponential generating functions
* Many new examples and exercises

The author presents current work in bond graph methodology by providing a compilation of contributions from experts across the world that covers theoretical topics, applications in various areas as well as software for bond graph modeling.
It addresses readers in academia and in industry concerned with the analysis of multidisciplinary engineering systems or control system design who are interested to see how latest developments in bond graph methodology with regard to theory and applications can serve their needs in their engineering fields.
This presentation of advanced work in bond graph modeling presents the leading edge of research in this field. It is hoped that it stimulates new ideas with regard to further progress in theory and in applications.

This work introduces heavy ion beam probe diagnostics and presents an overview of its applications. The heavy ion beam probe is a unique tool for the measurement of potential in the plasma core in order to understand the role of the electric field in plasma confinement, including the mechanism of transition from low to high confinement regimes (L-H transition). This allows measurement of the steady-state profile of the plasma potential, and its use has been extended to include the measurement of quasi-monochromatic and broadband oscillating components, the turbulent-particle flux and oscillations of the electron density and poloidal magnetic field. Special emphasis is placed on the study of Geodesic Acoustic Modes and Alfven Eigenmodes excited by energetic particles with experimental data sets. These experimental studies help to understand the link between broadband turbulent physics and quasi-coherent oscillations in devices with a rather different magnetic configuration. The book also compares spontaneous and biased transitions from low to high confinement regimes on both classes of closed magnetic traps (tokamak and stellarator) and highlights the common features in the behavior of electric potential and turbulence of magnetized plasmas. A valuable resource for physicists, postgraduates and students specializing in plasma physics and controlled fusion.

This book provides an interdisciplinary approach to complexity, combining ideas from areas like complex networks, cellular automata, multi-agent systems, self-organization and game theory. The first part of the book provides an extensive introduction to these areas, while the second explores a range of research scenarios. Lastly, the book presents CellNet, a software framework that offers a hands-on approach to the scenarios described throughout the book. In light of the introductory chapters, the research chapters, and the CellNet simulating framework, this book can be used to teach undergraduate and master's students in disciplines like artificial intelligence, computer science, applied mathematics, economics and engineering. Moreover, the book will be particularly interesting for Ph.D. and postdoctoral researchers seeking a general perspective on how to design and create their own models.

With the diversification of Internet services and the increase in mobile users, efficient management of network resources has become an extremely important issue in the field of wireless communication networks (WCNs). Adaptive resource management is an effective tool for improving the economic efficiency of WCN systems as well as network design and construction, especially in view of the surge in mobile device demands. This book presents modelling methods based on queueing theory and Markov processes for a wide variety of WCN systems, as well as precise and approximate analytical solution methods for the numerical evaluation of the system performance. This is the first book to provide an overview of the numerical analyses that can be gleaned by applying queueing theory, traffic theory and other analytical methods to various WCN systems. It also discusses the recent advances in the resource management of WCNs, such as broadband wireless access networks, cognitive radio networks, and green cloud computing. It assumes a basic understanding of computer networks and queueing theory, and familiarity with stochastic processes is also recommended. The analysis methods presented in this book are useful for first-year-graduate or senior computer science and communication engineering students. Providing information on network design and management, performance evaluation, queueing theory, game theory, intelligent optimization, and operations research for researchers and engineers, the book is also a valuable reference resource for students, analysts, managers and anyone in the industry interested in WCN system modelling, performance analysis and numerical evaluation.

This book presents the multi-criteria approach to decision support, as well as the various multi-criteria tools to help avoid multi-objective optimization. The book is intended as a tool for understanding the multi-criteria tools for decision support and modeling in mathematical programming. It helps to structure models, to easily model complex constraints, to have a basic modeling guide for any multi-criteria system and to better understand models already existing in the literature. The book is structured in the same order as components of the methodology, established in a multi-criteria optimization problem. It introduces the elements of the actors, the decision-making activity under criteria, calculations, specifications and objective criterion.

This book studies electron resonant tunneling in two- and three-dimensional quantum waveguides of variable cross-sections in the time-independent approach. Mathematical models are suggested for the resonant tunneling and develop asymptotic and numerical approaches for investigating the models. Also, schemes are presented for several electronics devices based on the phenomenon of resonant tunneling. Compared to its first edition, this book includes four new chapters, redistributes the content between chapters and modifies the estimates of the remainders in the asymptotics of resonant tunneling characteristics. The book is addressed to mathematicians, physicists, and engineers interested in waveguide theory and its applications in electronics.

This volume emphasises studies related to
classical Stefan problems. The term "Stefan problem" is
generally used for heat transfer problems with
phase-changes such
as from the liquid to the solid. Stefan problems have some
characteristics that are typical of them, but certain problems
arising in fields such as mathematical physics and engineering
also exhibit characteristics similar to them. The term
classical" distinguishes the formulation of these problems from
their weak formulation, in which the solution need not possess
classical derivatives. Under suitable assumptions, a weak solution
could be as good as a classical solution. In hyperbolic Stefan
problems, the characteristic features of Stefan problems are
present but unlike in Stefan problems, discontinuous solutions are
allowed because of the hyperbolic nature of the heat equation. The
numerical solutions of inverse Stefan problems, and the analysis of
direct Stefan problems are so integrated that it is difficult to
discuss one without referring to the other. So no strict line of
demarcation can be identified between a classical Stefan problem
and other similar problems. On the other hand, including every
related problem in the domain of classical Stefan problem would
require several volumes for their description. A suitable
compromise has to be made.
The basic concepts, modelling, and analysis of the classical
Stefan problems have been extensively investigated and there seems
to be a need to report the results at one place. This book
attempts to answer that need. Within the framework of the
classical Stefan problem with the emphasis on the basic concepts,
modelling and analysis, it tries to include some weak
solutions and analytical and numerical solutions also. The main
considerations behind this are the continuity and the clarity of
exposition. For example, the description of some phase-field
models in Chapter 4 arose out of this need for a smooth transition
between topics. In the mathematical formulation of Stefan
problems, the curvature effects and the kinetic condition are
incorporated with the help of the modified Gibbs-Thomson relation.
On the basis of some thermodynamical and metallurgical
considerations, the modified Gibbs-Thomson relation can be
derived, as has been done in the text, but the rigorous
mathematical justification comes from the fact that this relation
can be obtained by taking appropriate limits of phase-field
models. Because of the unacceptability of some phase-field models
due their so-called thermodynamical inconsistency, some consistent
models have also been described. This completes the discussion of
phase-field models in the present context.
Making this volume self-contained would require reporting and
deriving several results from tensor analysis, differential
geometry, non-equilibrium thermodynamics, physics and functional
analysis. The text is enriched with appropriate
references so as not to enlarge the scope of the book. The proofs
of propositions and theorems are often lengthy and different from
one another. Presenting them in a condensed way may not be of much
help to the reader. Therefore only the main features of proofs
and a few results have been presented to suggest the essential
flavour of the theme of investigation. However at each place,
appropriate references have been cited so that inquisitive
readers can follow them on their own.
Each chapter begins with basic concepts, objectives and the
directions in which the subject matter has grown. This is followed
by reviews - in some cases quite detailed - of published works. In a
work of this type, the author has to make a suitable compromise
between length restrictions and understandability.

This book is a rare jewel, describing fundamental research in a highly dynamic field of subatomic physics. It presents an overview of cross section measurements of deeply virtual Compton scattering. Understanding the structure of the proton is one of the most important challenges that physics faces today. A typical tool for experimentally accessing the internal structure of the proton is lepton-nucleon scattering. In particular, deeply virtual Compton scattering at large photon virtuality and small four-momentum transfer to the proton provides a tool for deriving a three-dimensional tomographic image of the proton. Using clear language, this book presents the highly complex procedure used to derive the momentum-dissected transverse size of the proton from a pioneering measurement taken at CERN. It describes in detail the foundations of the measurement and the data analysis, and includes exhaustive studies of potential systematic uncertainties, which could bias the result.

This elegant little book discusses a famous problem that helped to define the field now known as topology: What is the minimum number of colors required to print a map such that no two adjoining countries have the same color, no matter how convoluted their boundaries. Many famous mathematicians have worked on the problem, but the proof eluded fomulation until the 1950s, when it was finally cracked with a brute-force approach using a computer. The book begins by discussing the history of the problem, and then goes into the mathematics, both pleasantly enough that anyone with an elementary knowledge of geometry can follow it, and still with enough rigor that a mathematician can also read it with pleasure. The authors discuss the mathematics as well as the philosophical debate that ensued when the proof was announced: Just what is a mathematical proof, if it takes a computer to provide one -- and is such a thing a proof at all?

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

This book presents the theory and practical applications of the Master equation approach, which provides a powerful general framework for model building in a variety of disciplines. The aim of the book is to not only highlight different mathematical solution methods, but also reveal their potential by means of practical examples. Part I of the book, which can be used as a toolbox, introduces selected statistical fundamentals and solution methods for the Master equation. In Part II and Part III, the Master equation approach is applied to important applications in the natural and social sciences. The case studies presented mainly hail from the social sciences, including urban and regional dynamics, population dynamics, dynamic decision theory, opinion formation and traffic dynamics; however, some applications from physics and chemistry are treated as well, underlining the interdisciplinary modelling potential of the Master equation approach. Drawing upon the author's extensive teaching and research experience and consulting work, the book offers a valuable guide for researchers, graduate students and professionals alike.

The Handbook of Mathematical Fluid Dynamics is a compendium of essays that provides a survey of the major topics in the subject. Each article traces developments, surveys the results of the past decade, discusses the current state of knowledge and presents major future directions and open problems. Extensive bibliographic material is provided. The book is intended to be useful both to experts in the field and to mathematicians and other scientists who wish to learn about or begin research in mathematical fluid dynamics. The Handbook illuminates an exciting subject that involves rigorous mathematical theory applied to an important physical problem, namely the motion of fluids.

This book contains the proceedings of the Seventh National Conference of the Italian Systems Society. The title, Systemics of Incompleteness and Quasi-Systems, aims to underline the need for Systemics and Systems Science to deal with the concepts of incompleteness and quasiness. Classical models of Systemics are intended to represent comprehensive aspects of phenomena and processes. They consider the phenomena in their temporal and spatial completeness. In these cases, possible incompleteness in the modelling is assumed to have a provisional or practical nature, which is still under study, and because there is no theoretical reason why the modelling cannot be complete. In principle, this is a matter of non-complex phenomena, to be considered using the concepts of the First Systemics. When dealing with emergence, there are phenomena which must be modelled by systems having multiple models, depending on the aspects being taken into consideration. Here, incompleteness in the modelling is intrinsic, theoretically relating changes in properties, structures, and status of system. Rather than consider the same system parametrically changing over time, we consider sequences of systems coherently. We consider contexts and processes for which modelling is incomplete, being related to only some properties, as well as those for which such modelling is theoretically incomplete-as in the case of processes of emergence and for approaches considered by the Second Systemics. In this regard, we consider here the generic concept of quasi explicating such incompleteness. The concept of quasi is used in various disciplines including quasi-crystals, quasi-particles, quasi-electric fields, and quasi-periodicity. In general, the concept of quasiness for systems concerns their continuous structural changes which are always meta-stable, waiting for events to collapse over other configurations and possible forms of stability; whose equivalence depends on the type of phenomenon under study. Interest in the concept of quasiness is not related to its meaning of rough approximation, but because it indicates an incompleteness which is structurally sufficient to accommodate processes of emergence and sustain coherence or generate new, equivalent or non-equivalent, levels. The conference was devoted to identifying, discussing and understanding possible interrelationships of theoretical disciplinary improvements, recognised as having prospective fundamental roles for a new Quasi-Systemics. The latter should be able to deal with problems related to complexity in more general and realistic ways, when a system is not always a system and not always the same system. In this context, the inter-disciplinarity should consist, for instance, of a constructionist, incomplete, non-ideological, multiple, contradiction-tolerant, Systemics, always in progress, and in its turn, emergent.

This monograph, co-authored by three longtime collaborators, aims to promote the interdisciplinary field of mathematical biology by providing accessible new approaches to study natural systems. As there is currently scarce literature on the applications of mathematical modelling for biology research, this book presents a new way of studying interactions at the level of populations, societies, ecosystems, and biomes through open-sourced modeling platforms. It offers an interdisciplinary approach to analyzing natural phenomena-for example, by showing how master equations developed to describe electrical circuits can also describe biological systems mathematically. Ultimately it promotes a method of study based on modelling and mathematical principles, facilitating collaboration between mathematicians, biologists, engineers, and other researchers to enrich knowledge of the world's ecosystems.