This monograph is devoted to the theory and approximation by finite volume methods of nonlinear hyperbolic systems of conservation laws in one or two space variables. It follows directly a previous publication on hyperbolic systems of conservation laws by the same authors. Since the earlier work concentrated on the mathematical theory of multidimensional scalar conservation laws, this book will focus on systems and the theoretical aspects which are needed in the applications, such as the solution of the Riemann problem and further insights into more sophisticated problems, with special attention to the system of gas dynamics. This new edition includes more examples such as MHD and shallow water, with an insight on multiphase flows. Additionally, the text includes source terms and well-balanced/asymptotic preserving schemes, introducing relaxation schemes and addressing problems related to resonance and discontinuous fluxes while adding details on the low Mach number situation.

This book presents a complete and accurate study of arithmetic and algebraic circuits. The first part offers a review of all important basic concepts: it describes simple circuits for the implementation of some basic arithmetic operations; it introduces theoretical basis for residue number systems; and describes some fundamental circuits for implementing the main modular operations that will be used in the text. Moreover, the book discusses floating-point representation of real numbers and the IEEE 754 standard. The second and core part of the book offers a deep study of arithmetic circuits and specific algorithms for their implementation. It covers the CORDIC algorithm, and optimized arithmetic circuits recently developed by the authors for adders and subtractors, as well as multipliers, dividers and special functions. It describes the implementation of basic algebraic circuits, such as LFSRs and cellular automata. Finally, it offers a complete study of Galois fields, showing some exemplary applications and discussing the advantages in comparison to other methods. This dense, self-contained text provides students, researchers and engineers, with extensive knowledge on and a deep understanding of arithmetic and algebraic circuits and their implementation.

This book provides a systematic introduction to the fundamental concepts, major challenges, and effective solutions for Quality of Service in Wireless Sensor Networks (WSNs). Unlike other books on the topic, it focuses on the networking aspects of WSNs, discussing the most important networking issues, including network architecture design, medium access control, routing and data dissemination, node clustering, node localization, query processing, data aggregation, transport and quality of service, time synchronization, and network security. Featuring contributions from researchers, this book strikes a balance between fundamental concepts and new technologies, providing readers with unprecedented insights into WSNs from a networking perspective. It is essential reading for a broad audience, including academics, research engineers, and practitioners, particularly postgraduate/postdoctoral researchers and engineers in industry. It is also suitable as a textbook or supplementary reading for graduate computer engineering and computer science courses.

This book provides an in-depth analysis of the current evolutionary clustering techniques. It discusses the most highly regarded methods for data clustering. The book provides literature reviews about single objective and multi-objective evolutionary clustering algorithms. In addition, the book provides a comprehensive review of the fitness functions and evaluation measures that are used in most of evolutionary clustering algorithms. Furthermore, it provides a conceptual analysis including definition, validation and quality measures, applications, and implementations for data clustering using classical and modern nature-inspired techniques. It features a range of proven and recent nature-inspired algorithms used to data clustering, including particle swarm optimization, ant colony optimization, grey wolf optimizer, salp swarm algorithm, multi-verse optimizer, Harris hawks optimization, beta-hill climbing optimization. The book also covers applications of evolutionary data clustering in diverse fields such as image segmentation, medical applications, and pavement infrastructure asset management.

This book presents the refereed proceedings of the 13th International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at the University of Rennes, France, and organized by Inria, in July 2018. These biennial conferences are major events for Monte Carlo and quasi-Monte Carlo researchers. The proceedings include articles based on invited lectures as well as carefully selected contributed papers on all theoretical aspects and applications of Monte Carlo and quasi-Monte Carlo methods. Offering information on the latest developments in these very active areas, this book is an excellent reference resource for theoreticians and practitioners interested in solving high-dimensional computational problems, arising, in particular, in finance, statistics and computer graphics.

An increasing complexity of models used to predict real-world systems leads to the need for algorithms to replace complex models with far simpler ones, while preserving the accuracy of the predictions. This two-volume handbook covers methods as well as applications. This first volume focuses on real-time control theory, data assimilation, real-time visualization, high-dimensional state spaces and interaction of different reduction techniques.

This is the second edition of the book which has two additional new chapters on Maxwell's equations as well as a section on properties of solution spaces of Maxwell's equations and their trace spaces. These two new chapters, which summarize the most up-to-date results in the literature for the Maxwell's equations, are sufficient enough to serve as a self-contained introductory book on the modern mathematical theory of boundary integral equations in electromagnetics. The book now contains 12 chapters and is divided into two parts. The first six chapters present modern mathematical theory of boundary integral equations that arise in fundamental problems in continuum mechanics and electromagnetics based on the approach of variational formulations of the equations. The second six chapters present an introduction to basic classical theory of the pseudo-differential operators. The aforementioned corresponding boundary integral operators can now be recast as pseudo-differential operators. These serve as concrete examples that illustrate the basic ideas of how one may apply the theory of pseudo-differential operators and their calculus to obtain additional properties for the corresponding boundary integral operators. These two different approaches are complementary to each other. Both serve as the mathematical foundation of the boundary element methods, which have become extremely popular and efficient computational tools for boundary problems in applications. This book contains a wide spectrum of boundary integral equations arising in fundamental problems in continuum mechanics and electromagnetics. The book is a major scholarly contribution to the modern approaches of boundary integral equations, and should be accessible and useful to a large community of advanced graduate students and researchers in mathematics, physics, and engineering.

This book is divided into two parts, the first one to study the theory of differentiable functions between Banach spaces and the second to study the differential form formalism and to address the Stokes' Theorem and its applications. Related to the first part, there is an introduction to the content of Linear Bounded Operators in Banach Spaces with classic examples of compact and Fredholm operators, this aiming to define the derivative of Frechet and to give examples in Variational Calculus and to extend the results to Fredholm maps. The Inverse Function Theorem is explained in full details to help the reader to understand the proof details and its motivations. The inverse function theorem and applications make up this first part. The text contains an elementary approach to Vector Fields and Flows, including the Frobenius Theorem. The Differential Forms are introduced and applied to obtain the Stokes Theorem and to define De Rham cohomology groups. As an application, the final chapter contains an introduction to the Harmonic Functions and a geometric approach to Maxwell's equations of electromagnetism.

This book offers a compact primer on advanced numerical flux functions in computational fluid dynamics (CFD). It comprehensively introduces readers to methods used at the forefront of compressible flow simulation research. Further, it provides a comparative evaluation of the methods discussed, helping readers select the best numerical flux function for their specific needs. The first two chapters of the book reviews finite volume methods and numerical functions, before discussing issues commonly encountered in connection with each. The third and fourth chapter, respectively, address numerical flux functions for ideal gases and more complex fluid flow cases- multiphase flows, supercritical fluids and magnetohydrodynamics. In closing, the book highlights methods that provide high levels of accuracy. The concise content provides an overview of recent advances in CFD methods for shockwaves. Further, it presents the author's insights into the advantages and disadvantages of each method, helping readers implement the numerical methods in their own research.

This book results from the XVIII Spanish-French School 'Jacques Louis Lions' on Numerical Simulation in Physics and Engineering, that took place in Las Palmas de Gran Canaria from 25th to 29th June 2018. These conferences are held biennially since 1984 and sponsored by the Spanish Society of Applied Mathematics (SEMA). They also have the sponsorship of the Societe de Mathematiques Appliquees et Industrielles (SMAI) of France since 2008. Each edition is organized around several main courses and talks delivered by renowned French/Spanish scientists. This volume is highly recommended to graduate students in Engineering or Science who want to focus on numerical simulation, either as a research topic or in the field of industrial applications. It can also benefit senior researchers and technicians working in industry who are interested in the use of state-of-the-art numerical techniques. Moreover, the book can be used as a textbook for master courses in Mathematics, Physics, or Engineering.

The spectral geometry of infinite graphs deals with three major themes and their interplay: the spectral theory of the Laplacian, the geometry of the underlying graph, and the heat flow with its probabilistic aspects. In this book, all three themes are brought together coherently under the perspective of Dirichlet forms, providing a powerful and unified approach. The book gives a complete account of key topics of infinite graphs, such as essential self-adjointness, Markov uniqueness, spectral estimates, recurrence, and stochastic completeness. A major feature of the book is the use of intrinsic metrics to capture the geometry of graphs. As for manifolds, Dirichlet forms in the graph setting offer a structural understanding of the interaction between spectral theory, geometry and probability. For graphs, however, the presentation is much more accessible and inviting thanks to the discreteness of the underlying space, laying bare the main concepts while preserving the deep insights of the manifold case. Graphs and Discrete Dirichlet Spaces offers a comprehensive treatment of the spectral geometry of graphs, from the very basics to deep and thorough explorations of advanced topics. With modest prerequisites, the book can serve as a basis for a number of topics courses, starting at the undergraduate level.

This book applies the convex integration method to multi-dimensional compressible Euler equations in the barotropic case as well as the full system with temperature. The convex integration technique, originally developed in the context of differential inclusions, was applied in the groundbreaking work of De Lellis and Szekelyhidi to the incompressible Euler equations, leading to infinitely many solutions. This theory was later refined to prove non-uniqueness of solutions of the compressible Euler system, too. These non-uniqueness results all use an ansatz which reduces the equations to a kind of incompressible system to which a slight modification of the incompressible theory can be applied. This book presents, for the first time, a generalization of the De Lellis-Szekelyhidi approach to the setting of compressible Euler equations. The structure of this book is as follows: after providing an accessible introduction to the subject, including the essentials of hyperbolic conservation laws, the idea of convex integration in the compressible framework is developed. The main result proves that under a certain assumption there exist infinitely many solutions to an abstract initial boundary value problem for the Euler system. Next some applications of this theorem are discussed, in particular concerning the Riemann problem. Finally there is a survey of some related results. This self-contained book is suitable for both beginners in the field of hyperbolic conservation laws as well as for advanced readers who already know about convex integration in the incompressible framework.

This book provides an overview of the experimental characterization of materials and their numerical modeling, as well as the development of new computational methods for virtual design. Its 17 contributions are divided into four main sections: experiments and virtual design, composites, fractures and fatigue, and uncertainty quantification. The first section explores new experimental methods that can be used to more accurately characterize material behavior. Furthermore, it presents a combined experimental and numerical approach to optimizing the properties of a structure, as well as new developments in the field of computational methods for virtual design. In turn, the second section is dedicated to experimental and numerical investigations of composites, with a special focus on the modeling of failure modes and the optimization of these materials. Since fatigue also includes wear due to frictional contact and aging of elastomers, new numerical schemes in the field of crack modeling and fatigue prediction are also discussed. The input parameters of a classical numerical simulation represent mean values of actual observations, though certain deviations arise: to illustrate the uncertainties of parameters used in calculations, the book's final section presents new and efficient approaches to uncertainty quantification.

This book is a collection of original papers presented at the International Conference on Computational Mathematics in Nanoelectronics and Astrophysics (CMNA 2018) held at the Indian Institute of Technology Indore, India, from 1 to 3 November 2018. It aims at presenting recent developments of computational mathematics in nanoelectronics, astrophysics and related areas of space sciences and engineering. These proceedings discuss the most advanced innovations, trends and real-world challenges encountered and their solutions with the application of computational mathematics in nanoelectronics, astrophysics and space sciences. From focusing on nano-enhanced smart technological developments to the research contributions of premier institutes in India and abroad on ISRO's future space explorations-this book includes topics from highly interdisciplinary areas of research. The book is of interest to researchers, students and practising engineers working in diverse areas of science and engineering, ranging from applied and computational mathematics to nanoelectronics, nanofabrications and astrophysics.

This book provides a thorough guide to the use of numerical methods in energy systems and applications. It presents methods for analysing engineering applications for energy systems, discussing finite difference, finite element, and other advanced numerical methods. Solutions to technical problems relating the application of these methods to energy systems are also thoroughly explored. Readers will discover diverse perspectives of the contributing authors and extensive discussions of issues including: * a wide variety of numerical methods concepts and related energy systems applications;* systems equations and optimization, partial differential equations, and finite difference method;* methods for solving nonlinear equations, special methods, and their mathematical implementation in multi-energy sources;* numerical investigations of electrochemical fields and devices; and* issues related to numerical approaches and optimal integration of energy consumption. This is a highly informative and carefully presented book, providing scientific and academic insight for readers with an interest in numerical methods and energy systems.

This book presents essential concepts of traditional Flower Pollination Algorithm (FPA) and its recent variants and also its application to find optimal solution for a variety of real-world engineering and medical problems. Swarm intelligence-based meta-heuristic algorithms are extensively implemented to solve a variety of real-world optimization problems due to its adaptability and robustness. FPA is one of the most successful swarm intelligence procedures developed in 2012 and extensively used in various optimization tasks for more than a decade. The mathematical model of FPA is quite straightforward and easy to understand and enhance, compared to other swarm approaches. Hence, FPA has attracted attention of researchers, who are working to find the optimal solutions in variety of domains, such as N-dimensional numerical optimization, constrained/unconstrained optimization, and linear/nonlinear optimization problems. Along with the traditional bat algorithm, the enhanced versions of FPA are also considered to solve a variety of optimization problems in science, engineering, and medical applications.

This book focuses primarily on the nature-inspired approach for designing smart applications. It includes several implementation paradigms such as design and path planning of wireless network, security mechanism and implementation for dynamic as well as static nodes, learning method of cloud computing, data exploration and management, data analysis and optimization, decision taking in conflicting environment, etc. The book fundamentally highlights the recent research advancements in the field of engineering and science.

This book is devoted to computing the index of elliptic PDEs on non-compact Riemannian manifolds in the presence of local singularities and zeros, as well as polynomial growth at infinity. The classical Riemann-Roch theorem and its generalizations to elliptic equations on bounded domains and compact manifolds, due to Maz'ya, Plameneskii, Nadirashvilli, Gromov and Shubin, account for the contribution to the index due to a divisor of zeros and singularities. On the other hand, the Liouville theorems of Avellaneda, Lin, Li, Moser, Struwe, Kuchment and Pinchover provide the index of periodic elliptic equations on abelian coverings of compact manifolds with polynomial growth at infinity, i.e. in the presence of a "divisor" at infinity. A natural question is whether one can combine the Riemann-Roch and Liouville type results. This monograph shows that this can indeed be done, however the answers are more intricate than one might initially expect. Namely, the interaction between the finite divisor and the point at infinity is non-trivial. The text is targeted towards researchers in PDEs, geometric analysis, and mathematical physics.

This book compiles recent developments on sliding mode control theory and its applications. Each chapter presented in the book proposes new dimension in the sliding mode control theory such as higher order sliding mode control, event triggered sliding mode control, networked control, higher order discrete-time sliding mode control and sliding mode control for multi-agent systems. Special emphasis has been given to practical solutions to design involving new types of sliding mode control. This book is a reference guide for graduate students and researchers working in the domain for designing sliding mode controllers. The book is also useful to professional engineers working in the field to design robust controllers for various applications.

Over the past 50 years, strain gradient material theories have been developed for the continuum modeling of size effects in materials and structures in terms of their elasticity, plasticity and fracturing. This book puts forward a unifying perspective to combine existing theories involving the higher order gradient of the strain tensor, or of plastic strain. It begins by reviewing experimental findings on the existence (or non-existence) of size effects on the mechanics of materials. In turn, the book devises first, second and higher order strain gradient theories from general principles, and presents constitutive frameworks that satisfy thermodynamic requirements. The special case of strain gradient plasticity is then developed and illustrated via computational analyses of size effects on the plasticity of metals at small scales. In closing, the book explains the origin of gradient effects in the case of lattice structures by drawing on homogenization theory.

This book provides theories on non-parametric shape optimization problems, systematically keeping in mind readers with an engineering background. Non-parametric shape optimization problems are defined as problems of finding the shapes of domains in which boundary value problems of partial differential equations are defined. In these problems, optimum shapes are obtained from an arbitrary form without any geometrical parameters previously assigned. In particular, problems in which the optimum shape is sought by making a hole in domain are called topology optimization problems. Moreover, a problem in which the optimum shape is obtained based on domain variation is referred to as a shape optimization problem of domain variation type, or a shape optimization problem in a limited sense. Software has been developed to solve these problems, and it is being used to seek practical optimum shapes. However, there are no books explaining such theories beginning with their foundations. The structure of the book is shown in the Preface. The theorems are built up using mathematical results. Therefore, a mathematical style is introduced, consisting of definitions and theorems to summarize the key points. This method of expression is advanced as provable facts are clearly shown. If something to be investigated is contained in the framework of mathematics, setting up a theory using theorems prepared by great mathematicians is thought to be an extremely effective approach. However, mathematics attempts to heighten the level of abstraction in order to understand many things in a unified fashion. This characteristic may baffle readers with an engineering background. Hence in this book, an attempt has been made to provide explanations in engineering terms, with examples from mechanics, after accurately denoting the provable facts using definitions and theorems.

This book provides a comprehensive explanation of forward error correction, which is a vital part of communication systems. The book is written in such a way to make the subject easy and understandable for the reader. The book starts with a review of linear algebra to provide a basis for the text. The author then goes on to cover linear block codes, syndrome error correction, cyclic codes, Galois fields, BCH codes, Reed Solomon codes, and convolutional codes. Examples are provided throughout the text.

The present volume gathers contributions to the conference Microlocal and Time-Frequency Analysis 2018 (MLTFA18), which was held at Torino University from the 2nd to the 6th of July 2018. The event was organized in honor of Professor Luigi Rodino on the occasion of his 70th birthday. The conference's focus and the contents of the papers reflect Luigi's various research interests in the course of his long and extremely prolific career at Torino University.