This book presents a comprehensive overview of fundamental issues and recent advances in graph data management. Its aim is to provide beginning researchers in the area of graph data management, or in fields that require graph data management, an overview of the latest developments in this area, both in applied and in fundamental subdomains. The topics covered range from a general introduction to graph data management, to more specialized topics like graph visualization, flexible queries of graph data, parallel processing, and benchmarking. The book will help researchers put their work in perspective and show them which types of tools, techniques and technologies are available, which ones could best suit their needs, and where there are still open issues and future research directions. The chapters are contributed by leading experts in the relevant areas, presenting a coherent overview of the state of the art in the field. Readers should have a basic knowledge of data management techniques as they are taught in computer science MSc programs.

Three approaches can be applied to determine the performance of parallel and distributed computer systems: measurement, simulation, and mathematical methods. This book introduces various network architectures for parallel and distributed systems as well as for systems-on-chips, and presents a strategy for developing a generator for automatic model derivation. It will appeal to researchers and students in network architecture design and performance analysis.

Spatial Patterns offers a study of nonlinear higher order model equations that are central to the description and analysis of spatio-temporal pattern formation in the natural sciences. Through a unique combination of results obtained by rigorous mathematical analysis and computational studies, the text exhibits the principal families of solutions, such as kinks, pulses and periodic solutions, and their dependence on critical eigenvalue parameters, and points to a rich structure, much of which still awaits exploration.

The exposition unfolds systematically, first focusing on a single equation to achieve optimal transparency, and then branching out to wider classes of equations. The presentation is based on results from real analysis and the theory of ordinary differential equations.

Key features:

* presentation of a new mathematical method specifically designed for the analysis of multi-bump solutions of reversible systems

* strong emphasis on the global structure of solution branches

* extensive numerical illustrations of complex solutions and their dependence on eigenvalue parameters

* application of the theory to well-known equations in mathematical physics and mechanics, such as the Swift--Hohenberg equation, the nonlinear SchrAdinger equation and the equation for the nonlinearly supported beam

* includes recent original results by the authors

* exercises scattered throughout the text to help illuminate the theory

* many research problems

The book is intended for mathematicians who wish to become acquainted with this new area of partial and ordinary differential equations, for mathematical physicists who wish to learn about the theory developed for aclass of well-known higher order pattern-forming model equations, and for graduate students who are looking for an exciting and promising field of research.

The book "Analysis and Design of Control Systems using MATLAB", is designed as a supplement to an introductory course in feedback control systems for undergraduate or graduate engineering students of all disciplines. Feedback control systems engineering is a multidisciplinary subject and presents a control engineering methodology based on mathematical fundamentals and stresses physical system modeling.This book includes the coverage of classical methods of control systems engineering: introduction to control systems, matrix analysis, Laplace transforms, mathematical modeling of dynamic systems, control system representation, performance and stability of feedback systems, analysis and design of feedback control systems, state space analysis and design, and MATLAB basics and MATLAB tutorial. The numerous worked examples offer detailed explanations, and guide the students through each set of problems to enable them to save a great deal of time and effort in arriving at an understanding of problems in this subject. Extensive references to guide the students to further sources of information on control systems and MATLAB is provided. In addition to students, practising engineers will also find this book immensely useful.

This book presents generalized Caputo fractional Ostrowski and Gruss-type inequalities involving several Banach algebra valued functions. Furthermore, the author gives generalized Canavati fractional Ostrowski, Opial, Gruss, and Hilbert-Pachpatte-type inequalities for multiple Banach algebra valued functions. By applying the p-Schatten norms over the von Neumann-Schatten classes, the author produces the analogous refined and interesting inequalities. The author provides many applications. This book's results are expected to find applications in many areas of pure and applied mathematics, especially in fractional inequalities and fractional differential equations. Other interesting applications are in applied sciences like geophysics, physics, chemistry, economics, and engineering. This book is appropriate for researchers, graduate students, practitioners, and seminars of the above disciplines, also to be in all science and engineering libraries.

This book is intended to provide a compilation of the state-of-the-art numerical methods for nonlinear fluid-structure interaction using the moving boundary Lagrangian-Eulerian formulation. Single and two-phase viscous incompressible fluid flows are considered with the increasing complexity of structures ranging from rigid-body, linear elastic and nonlinear large deformation to fully-coupled flexible multibody system. This book is unique with regard to computational modeling of such complex fluid-structure interaction problems at high Reynolds numbers, whereby various coupling techniques are introduced and systematically discussed. The techniques are demonstrated for large-scale practical problems in aerospace and marine/offshore engineering. This book also provides a comprehensive understanding of underlying unsteady physics and coupled mechanical aspects of the fluid-structure interaction from a computational point of view. Using the body-fitted and moving mesh formulations, the physical insights associated with structure-to-fluid mass ratios (i.e., added mass effects), Reynolds number, large structural deformation, free surface, and other interacting physical fields are covered. The book includes the basic tools necessary to build the concepts required for modeling such coupled fluid-structure interaction problems, thus exposing the reader to advanced topics of multiphysics and multiscale phenomena.

This textbook explains the physics of phase transformation and associated constraints from a metallurgical or materials science point of view, based on many topics including crystallography, mass transport by diffusion, thermodynamics, heat transfer and related temperature gradients, thermal deformation, and even fracture mechanics. The work presented emphasizes solidification and related analytical models based on heat transfer. This corresponds with the most fundamental physical event of continuous evolution of latent heat of fusion for directional or non-directional liquid-to-solid phase transformation at a specific interface with a certain geometrical shape, such as planar or curved front. Dr. Perez introduces mathematical and engineering approximation schemes for describing the phase transformation, mainly during solidification of pure metals and alloys. Giving clear definitions and explanations of theoretical concepts and full detail of derivation of formulae, this interdisciplinary volume is ideal for graduate and upper-level undergraduate students in applied science, and professionals in the metal making and surface reconstruction industries.

Soliton theory is an important branch of applied mathematics and mathematical physics. An active and productive field of research, it has important applications in fluid mechanics, nonlinear optics, classical and quantum fields theories etc. This book presents a broad view of soliton theory. It gives an expository survey of the most basic ideas and methods, such as physical background, inverse scattering, Backl nd transformations, finite-dimensional completely integrable systems, symmetry, Kac-moody algebra, solitons and differential geometry, numerical analysis for nonlinear waves, and gravitational solitons. Besides the essential points of the theory, several applications are sketched and some recent developments, partly by the authors and their collaborators, are presented.

This special volume of the conference will be of immense use to the researchers and academicians. In this conference, academicians, technocrats and researchers will get an opportunity to interact with eminent persons in the field of Applied Mathematics and Scientific Computing. The topics to be covered in this International Conference are comprehensive and will be adequate for developing and understanding about new developments and emerging trends in this area. High-Performance Computing (HPC) systems have gone through many changes during the past two decades in their architectural design to satisfy the increasingly large-scale scientific computing demand. Accurate, fast, and scalable performance models and simulation tools are essential for evaluating alternative architecture design decisions for the massive-scale computing systems. This conference recounts some of the influential work in modeling and simulation for HPC systems and applications, identifies some of the major challenges, and outlines future research directions which we believe are critical to the HPC modeling and simulation community.

This book studies the vulnerability of wireless communications under line-of-sight (LoS) and non-LoS correlated fading environments. The authors theoretically and practically provide physical layer security analyses for several technologies and networks such as Fifth-Generation (5G) networks, Internet of Things (IoT) applications, and Non-orthogonal multiple access (NOMA). The authors have provided these under various practical scenarios, and developed theoretical aspects to validate their proposed applications. Presents physical layer security (PLS) under correlated fading environments, 5G wireless networks, and NOMA networks; Provides end-to-end analyses, combination of channel correlation and outdated CSI and their effects on PL; Includes contributions of PLS research written by global experts in academia and industry.

In simulation tests of dynamic states of the power system (PS), the database of parameters of mathematical models of generating units is most commonly used. In many cases, the parameter values are burdened with large errors. Consequently, the results obtained are not reliable and do not allow drawing true conclusions. This monograph presents the developed methods and tools supporting the process of measurement determination of reliable values of parameters of mathematical models of synchronous generators and excitation systems. Special measurement tests are the basis for determining the parameters. The tests can be carried out in conditions of normal operation of generating units, in which electrical machines operate in the state of saturation of magnetic cores, and voltage regulators can reach limits. This book is intended for specialists in power engineering as well as students of faculties of electrical engineering interested in issues of PS transient states.

This textbook treats graph colouring as an algorithmic problem, with a strong emphasis on practical applications. The author describes and analyses some of the best-known algorithms for colouring graphs, focusing on whether these heuristics can provide optimal solutions in some cases; how they perform on graphs where the chromatic number is unknown; and whether they can produce better solutions than other algorithms for certain types of graphs, and why. The introductory chapters explain graph colouring, complexity theory, bounds and constructive algorithms. The author then shows how advanced, graph colouring techniques can be applied to classic real-world operational research problems such as designing seating plans, sports scheduling, and university timetabling. He includes many examples, suggestions for further reading, and historical notes, and the book is supplemented by an online suite of downloadable code. The book is of value to researchers, graduate students, and practitioners in the areas of operations research, theoretical computer science, optimization, and computational intelligence. The reader should have elementary knowledge of sets, matrices, and enumerative combinatorics.

Non-commutative integration has its origin in the classical papers of Murray and von Neumann on rings of operators, and was introduced because of unsolved problems in unitary group representations and the elucidation of various aspects of quantum-mechanical formalism, together with formal calculus in such operator rings. These papers emphasized the interest in 1I -factors and pOinted out the remarkable behavior and 1 algebraic structure of the set of all unbounded closed operators a. ffiliated to such rings. The absence of power tools in functional analysis - mainly settled in their definitive form by A. Grothendieck around 1950-195- together with the pathological manipulation of algebraic operations on closed operators in Hilbert spaces, has limited ring-theory to the study of algebras of bounded operators with the main objective the difficult question of classifica tion up to isomorphisms of factors. This material has permitted a rigorous study of discrete systems in statistical mechanics but appears to be less convincing in other domains of physics (in the algebraic approach to field theory, for example). The striking role of Hamiltonians, Schrodinger operators and Lie group invariant properties in such areas of physics disappears in the so called C*-approach."

This volume provides an introduction to the properties of functional differential equations and their applications in diverse fields such as immunology, nuclear power generation, heat transfer, signal processing, medicine and economics. In particular, it deals with problems and methods relating to systems having a memory (hereditary systems). The book contains eight chapters. Chapter 1 explains where functional differential equations come from and what sort of problems arise in applications. Chapter 2 gives a broad introduction to the basic principle involved and deals with systems having discrete and distributed delay. Chapters 3-5 are devoted to stability problems for retarded, neutral and stochastic functional differential equations. Problems of optimal control and estimation are considered in Chapters 6-8. For applied mathematicians, engineers, and physicists whose work involves mathematical modeling of hereditary systems. This volume can also be recommended as a supplementary text for graduate students who wish to become better acquainted with the properties and applications of functional differential equations.

An authoritative treatment of contaminant transport modeling now significantly revised and expanded

The challenges facing groundwater scientists and engineers today demand expertise in a wide variety of disciplines–geology, hydraulics, geochemistry, geophysics, and biology. As the number of the subdisciplines has increased and as each has become more complex and quantitative, the problem of integrating their concepts and contributions into a coherent overall interpretation has become progressively more difficult. To an increasing degree transport simulation has emerged as an answer to this problem, and the transport model has become a vehicle for integrating the vast amount of field data from a variety of sources and for understanding the relationship of various physical, chemical, and biological processes.

Applied Contaminant Transport Modeling is the first resource designed to provide coverage of the discipline’s basic principles, including the theories behind solute transport in groundwater, common numerical techniques for solving transport equations, and step-by-step guidance on the development and use of field-scale modeling.

The Second Edition incorporates recent advances in contaminant transport theory and simulation techniques, adding the following to the original text:

• An expanded discussion of the role of aquifer heterogeneity in controlling solute transport
• A new section on the dual-domain mass transfer approach as an alternative to the classical advection-dispersion model
• Additional chemical processes and reactions in the discussion of reactive transport
• A discussion of the TVD (total-variation-diminishing) approach to transport solution
• An entirely new Part III containing two chapters on simulation of flow and transport under variable water density and under variable saturation, respectively, and a third chapter on the use of the simulation-optimization approach in remediation system design

Applied Contaminant Transport Modeling, Second Edition remains the premier reference for practicing hydrogeologists, environmental scientists, engineers, and graduate students in the field. In 1998, in recognition of their work on the first edition, the authors were honored with the John Hem Excellence in Science and Engineering Award of the National Ground Water Association.

This book is one of the first to include an extensive discussion of integrated public transport planning. In times of growing urban populations and increasing environmental awareness, the importance of optimizing public transport systems is ever-developing. Three different aspects are presented: line planning, timetabling, and vehicle scheduling. Classically, challenges concerning these three aspects of planning are solved sequentially. Due to their high interdependence, the author presents a clear and detailed analysis of innovative, integrated models with accompanied numerical experiments performed to assess, and often support, the benefits of integration. The book will appeal to a wide readership ranging from graduate students to researchers.

The theory of dynamic games is very rich in nature and very much alive If the reader does not already agree with this statement, I hope he/she will surely do so after having consulted the contents of the current volume. The activities which fall under the heading of 'dynamic games' cannot easily be put into one scientific discipline. On the theoretical side one deals with differential games, difference games (the underlying models are described by differential, respec tively difference equations) and games based on Markov chains, with determin istic and stochastic games, zero-sum and nonzero-sum games, two-player and many-player games - all under various forms of equilibria. On the practical side, one sees applications to economics (stimulated by the recent Nobel prize for economics which went to three prominent scientists in game theory), biology, management science, and engineering. The contents of this volume are primarily based on selected presentations made at the Sixth International Symposium on Dynamic Games and Applica tions, held in St Jovite, Quebec, Canada, 13-15 July 1994. Every paper that appears in this volume has passed through a stringent reviewing process, as is the case with publications for archival technical journals. This conference, as well as its predecessor which was held in Grimentz, 1992, took place under the auspices of the International Society of Dynamic Games (ISDG), established in 1990. One of the activities of the ISDG is the publication of these Annals. The contributions in this volume have been grouped around five themes."

Most articles contain complete proofs and excellent bibliographies. For graduate students and mathematical physicists as well as mathematicians in analysis and PDEs. The 17 invited research articles in this volume, all written by leading experts in their respective fields, are dedicated to the great French mathematician Jean Leray. A wide range of topics with significant new results---detailed proofs - are presented in the areas of partial differential equations, complex analysis, and mathematical physics. Key subjects are treated from the mathematical physics viewpoint: nonlinear stability of an expanding universe the compressible Euler equation spin groups and the Leray-Maslov index Linked to the Cauchy problem: an intermediate case between effective hyperbolicity and the Levi condition, global Cauchy--Kowalewski theorem in some Gevrey classes, the analytic continuation of the solution, necessary conditions for hyperbolic systems, well posedness in the Gevrey class, uniformly diagonalizable systems and reduced dimension, and monodromy of ramified Cauchy problem. Additional articles examine results on: Local solvability for a system of partial differential operators, The hypoellipticity of second order operators Differential forms and Hodge theory on analytic spaces Subelliptic operators and subriemannian geometry. Contributors: R. Beals, Y. Choquet-Bruhat, F. Colombini, M. De Gosson, B. Gaveau, D. Gourdin, P. Greiner, Y. Hamada, K. Mizohata, T. Nishitani, T. Okaji, S. Ouchi, Y. Ohya, S. Spagnolo, J. Vaillant, C. Wagschal, S. Wakabayashi The book is suitable as a reference text for graduate students and active researchers.

This is the Proceedings of the IUTAM Symposium on Solver Coupling and Co-Simulation that was held in Darmstadt, Germany, September 18-20, 2017. The symposium focused on recent advances in the development of numerical methods for solver coupling, like new explicit, implicit and semi-implicit co-simulation methods, new approaches for realizing variable communication-time grids, and advances in the stability and convergence analysis of solver coupling methods. Recent developments in the practical application of co-simulation methods, for instance new fields of application for solver coupling approaches, new developments in the parallelization of dynamic models with co-simulation techniques, and standardization of co-simulation interfaces, i.e. standardization of data and model exchange were also discussed. The book brings together the research results of leading scientists in applied mathematics, mechanics, and engineering science, thus contributing to further develop numerical methods for coupled simulations.

This book highlights recent advances in natural computing, including biology and its theory, bio-inspired computing, computational aesthetics, computational models and theories, computing with natural media, philosophy of natural computing and educational technology. It presents extended versions of the best papers selected from the symposium "7th International Workshop on Natural Computing" (IWNC7), held in Tokyo, Japan, in 2013. The target audience is not limited to researchers working in natural computing but also those active in biological engineering, fine/media art design, aesthetics and philosophy.

This book focuses on the calculus of variations, including fundamental theories and applications. This textbook is intended for graduate and higher-level college and university students, introducing them to the basic concepts and calculation methods used in the calculus of variations. It covers the preliminaries, variational problems with fixed boundaries, sufficient conditions of extrema of functionals, problems with undetermined boundaries, variational problems of conditional extrema, variational problems in parametric forms, variational principles, direct methods for variational problems, variational principles in mechanics and their applications, and variational problems of functionals with vector, tensor and Hamiltonian operators. Many of the contributions are based on the authors' research, addressing topics such as the extension of the connotation of the Hilbert adjoint operator, definitions of the other three kinds of adjoint operators, the extremum function theorem of the complete functional, unified Euler equations in variational methods, variational theories of functionals with vectors, modulus of vectors, arbitrary order tensors, Hamiltonian operators and Hamiltonian operator strings, reconciling the Euler equations and the natural boundary conditions, and the application range of variational methods. The book is also a valuable reference resource for teachers as well as science and technology professionals.

This volume contains results gained from the EU-funded 6th Framework project ADIGMA (Adaptive Higher-order Variational Methods for Aerodynamic Applications in Industry). The goal of ADIGMA was the development and utilization of innovative adaptive higher-order methods for the compressible flow equations enabling reliable, mesh independent numerical solutions for large-scale aerodynamic applications in aircraft industry. The ADIGMA consortium was comprised of 22 organizations which included the main European aircraft manufacturers, the major European research establishments and several universities, all with well proven expertise in Computational Fluid Dynamics (CFD). The book presents an introduction to the project, exhibits partners methods and approaches and provides a critical assessment of the newly developed methods for industrial aerodynamic applications. The best numerical strategies for integration as major building blocks for the next generation of industrial flow solvers are identified. "

Handbook of Probabilistic Models carefully examines the application of advanced probabilistic models in conventional engineering fields. In this comprehensive handbook, practitioners, researchers and scientists will find detailed explanations of technical concepts, applications of the proposed methods, and the respective scientific approaches needed to solve the problem. This book provides an interdisciplinary approach that creates advanced probabilistic models for engineering fields, ranging from conventional fields of mechanical engineering and civil engineering, to electronics, electrical, earth sciences, climate, agriculture, water resource, mathematical sciences and computer sciences. Specific topics covered include minimax probability machine regression, stochastic finite element method, relevance vector machine, logistic regression, Monte Carlo simulations, random matrix, Gaussian process regression, Kalman filter, stochastic optimization, maximum likelihood, Bayesian inference, Bayesian update, kriging, copula-statistical models, and more.

After reading this book, students should be able to analyze computational problems in linear algebra such as linear systems, least squares- and eigenvalue problems, and to develop their own algorithms for solving them. Since these problems can be large and difficult to handle, much can be gained by understanding and taking advantage of special structures. This in turn requires a good grasp of basic numerical linear algebra and matrix factorizations. Factoring a matrix into a product of simpler matrices is a crucial tool in numerical linear algebra, because it allows us to tackle complex problems by solving a sequence of easier ones. The main characteristics of this book are as follows: It is self-contained, only assuming that readers have completed first-year calculus and an introductory course on linear algebra, and that they have some experience with solving mathematical problems on a computer. The book provides detailed proofs of virtually all results. Further, its respective parts can be used independently, making it suitable for self-study. The book consists of 15 chapters, divided into five thematically oriented parts. The chapters are designed for a one-week-per-chapter, one-semester course. To facilitate self-study, an introductory chapter includes a brief review of linear algebra.

This book focuses on origami from the point of view of computer science. Ranging from basic theorems to the latest research results, the book introduces the considerably new and fertile research field of computational origami as computer science. Part I introduces basic knowledge of the geometry of development, also called a net, of a solid. Part II further details the topic of nets. In the science of nets, there are numerous unresolved issues, and mathematical characterization and the development of efficient algorithms by computer are closely connected with each other. Part III discusses folding models and their computational complexity. When a folding model is fixed, to find efficient ways of folding is to propose efficient algorithms. If this is difficult, it is intractable in terms of computational complexity. This is, precisely, an area for computer science research. Part IV presents some of the latest research topics as advanced problems. Commentaries on all exercises included in the last chapter. The contents are organized in a self-contained way, and no previous knowledge is required. This book is suitable for undergraduate, graduate, and even high school students, as well as researchers and engineers interested in origami.