The book focuses on the next fields of computer science: combinatorial optimization, scheduling theory, decision theory, and computer-aided production management systems. It also offers a quick introduction into the theory of PSC-algorithms, which are a new class of efficient methods for intractable problems of combinatorial optimization. A PSC-algorithm is an algorithm which includes: sufficient conditions of a feasible solution optimality for which their checking can be implemented only at the stage of a feasible solution construction, and this construction is carried out by a polynomial algorithm (the first polynomial component of the PSC-algorithm); an approximation algorithm with polynomial complexity (the second polynomial component of the PSC-algorithm); also, for NP-hard combinatorial optimization problems, an exact subalgorithm if sufficient conditions were found, fulfilment of which during the algorithm execution turns it into a polynomial complexity algorithm. Practitioners and software developers will find the book useful for implementing advanced methods of production organization in the fields of planning (including operative planning) and decision making. Scientists, graduate and master students, or system engineers who are interested in problems of combinatorial optimization, decision making with poorly formalized overall goals, or a multiple regression construction will benefit from this book.

This book gathers the main recent results on positive trigonometric polynomials within a unitary framework. The book has two parts: theory and applications. The theory of sum-of-squares trigonometric polynomials is presented unitarily based on the concept of Gram matrix (extended to Gram pair or Gram set). The applications part is organized as a collection of related problems that use systematically the theoretical results.

Written by the pioneer and foremost authority on the subject, this new book is both a comprehensive university textbook and professional/research reference on the finite-difference time-domain (FD-TD) computational solution method for Maxwell's equations. It presents in-depth discussions of: The revolutionary Berenger PML absorbing boundary condition; FD-TD modelling of nonlinear, dispersive, and gain optical materials used in lasers and optical microchips; unstructured FD-TD meshes for modelling of complex systems; 2.5-dimensional body-of-revolution FD-TD algorithms; Linear and nonlinear electronic circuit models, including a seamless tie-in to SPICE; Digital signal postprocessing of FD-TD data; FD-TD modelling of microlaser cavities; and FD-TD software development for the latest Intel and Cray massively parallel computers.

This book, featuring a truly interdisciplinary approach, provides an overview of cutting-edge mathematical theories and techniques that promise to play a central role in climate science. It brings together some of the most interesting overview lectures given by the invited speakers at an important workshop held in Rome in 2013 as a part of MPE2013 ("Mathematics of Planet Earth 2013"). The aim of the workshop was to foster the interaction between climate scientists and mathematicians active in various fields linked to climate sciences, such as dynamical systems, partial differential equations, control theory, stochastic systems, and numerical analysis. Mathematics and statistics already play a central role in this area. Likewise, computer science must have a say in the efforts to simulate the Earth's environment on the unprecedented scale of petabytes. In the context of such complexity, new mathematical tools are needed to organize and simplify the approach. The growing importance of data assimilation techniques for climate modeling is amply illustrated in this volume, which also identifies important future challenges.

This book is based on lectures given at the first edition of the Domoschool, the International Alpine School in Mathematics and Physics, held in Domodossola, Italy, in July 2018. It is divided into two parts. Part I consists of four sets of lecture notes. These are extended versions of lectures given at the Domoschool, written by well-known experts in mathematics and physics related to General Relativity. Part II collects talks by selected participants, focusing on research related to General Relativity.

The subject of this monograph is the quaternionic spectral theory based on the notion of S-spectrum. With the purpose of giving a systematic and self-contained treatment of this theory that has been developed in the last decade, the book features topics like the S-functional calculus, the F-functional calculus, the quaternionic spectral theorem, spectral integration and spectral operators in the quaternionic setting. These topics are based on the notion of S-spectrum of a quaternionic linear operator. Further developments of this theory lead to applications in fractional diffusion and evolution problems that will be covered in a separate monograph.

This volume is a thorough introduction to contemporary research in elasticity, and may be used as a working textbook at the graduate level for courses in pure or applied mathematics or in continuum mechanics. It provides a thorough description (with emphasis on the nonlinear aspects) of the two competing mathematical models of three-dimensional elasticity, together with a mathematical analysis of these models. The book is as self-contained as possible.

This book introduces methods of robust optimization in multivariate adaptive regression splines (MARS) and Conic MARS in order to handle uncertainty and non-linearity. The proposed techniques are implemented and explained in two-model regulatory systems that can be found in the financial sector and in the contexts of banking, environmental protection, system biology and medicine. The book provides necessary background information on multi-model regulatory networks, optimization and regression. It presents the theory of and approaches to robust (conic) multivariate adaptive regression splines - R(C)MARS - and robust (conic) generalized partial linear models - R(C)GPLM - under polyhedral uncertainty. Further, it introduces spline regression models for multi-model regulatory networks and interprets (C)MARS results based on different datasets for the implementation. It explains robust optimization in these models in terms of both the theory and methodology. In this context it studies R(C)MARS results with different uncertainty scenarios for a numerical example. Lastly, the book demonstrates the implementation of the method in a number of applications from the financial, energy, and environmental sectors, and provides an outlook on future research.

This book offers an ideal introduction to singular perturbation problems, and a valuable guide for researchers in the field of differential equations. It also includes chapters on new contributions to both fields: differential equations and singular perturbation problems. Written by experts who are active researchers in the related fields, the book serves as a comprehensive source of information on the underlying ideas in the construction of numerical methods to address different classes of problems with solutions of different behaviors, which will ultimately help researchers to design and assess numerical methods for solving new problems. All the chapters presented in the volume are complemented by illustrations in the form of tables and graphs.

In this monograph, the authors develop a comprehensive approach for the mathematical analysis of a wide array of problems involving moving interfaces. It includes an in-depth study of abstract quasilinear parabolic evolution equations, elliptic and parabolic boundary value problems, transmission problems, one- and two-phase Stokes problems, and the equations of incompressible viscous one- and two-phase fluid flows. The theory of maximal regularity, an essential element, is also fully developed. The authors present a modern approach based on powerful tools in classical analysis, functional analysis, and vector-valued harmonic analysis. The theory is applied to problems in two-phase fluid dynamics and phase transitions, one-phase generalized Newtonian fluids, nematic liquid crystal flows, Maxwell-Stefan diffusion, and a variety of geometric evolution equations. The book also includes a discussion of the underlying physical and thermodynamic principles governing the equations of fluid flows and phase transitions, and an exposition of the geometry of moving hypersurfaces.

This uniquely accessible book helps readers use CABology to solve real-world business problems and drive real competitive advantage. It provides reliable, concise information on the real benefits, usage and operationalization aspects of utilizing the "Trio Wave" of cloud, analytic and big data. Anyone who thinks that the game changing technology is slow paced needs to think again. This book opens readers' eyes to the fact that the dynamics of global technology and business are changing. Moreover, it argues that businesses must transform themselves in alignment with the Trio Wave if they want to survive and excel in the future. CABology focuses on the art and science of optimizing the business goals to deliver true value and benefits to the customer through cloud, analytic and big data. It offers business of all sizes a structured and comprehensive way of discovering the real benefits, usage and operationalization aspects of utilizing the Trio Wave.

The set of papers in this handbook reflect the varied theory and wide range of applications of network models. Two of the most vibrant applications areas of network models are telecommunications and transportation. Several chapters explicitly model issues arising in these problem domains. Research on network models has been closely aligned with the field of computer science both in developing data structures for efficiently implementing network algorithms and in analyzing the complexity of network problems and algorithms. The basic structure underlying all network problems is a graph. Thus, historically, there have been strong ties between network models and graph theory. A companion volume in the "Handbook" series, entitled "Network Routing", examines problems related to the movement of commodities over a network. The problems treated arise in several application areas including logistics, telecommunications, facility location, VLSI design, and economics.

This book explores the ways in which the broad range of technologies that make up the smart city infrastructure can be harnessed to incorporate more playfulness into the day-to-day activities that take place within smart cities, making them not only more efficient but also more enjoyable for the people who live and work within their confines. The book addresses various topics that will be of interest to playable cities stakeholders, including the human-computer interaction and game designer communities, computer scientists researching sensor and actuator technology in public spaces, urban designers, and (hopefully) urban policymakers. This is a follow-up to another book on Playable Cities edited by Anton Nijholt and published in 2017 in the same book series, Gaming Media and Social Effects.

The second part of a two-volume set concerning the field of Clifford (geometric) algebra, this work consists of thematically organized chapters that provide a broad overview of cutting-edge topics in mathematical physics and the physical applications of Clifford algebras. This volume is a survey of most aspects of Clifford analysis. Topics range from applications such as complex-distance potential theory, supersymmetry, and fluid dynamics to Fourier analysis, the study of boundary value problems, and applications, to mathematical physics and Schwarzian derivatives in Euclidean space. Among the mathematical topics examined are generalized Dirac operators, holonomy groups, monogenic and hypermonogenic functions and their derivatives, quaternionic Beltrami equations, Fourier theory under Mobius transformations, Cauchy-Reimann operators, and Cauchy type integrals.

This book features papers presented during a special session on dynamical systems, mathematical physics, and partial differential equations. Research articles are devoted to broad complex systems and models such as qualitative theory of dynamical systems, theory of games, circle diffeomorphisms, piecewise smooth circle maps, nonlinear parabolic systems, quadtratic dynamical systems, billiards, and intermittent maps. Focusing on a variety of topics from dynamical properties to stochastic properties of dynamical systems, this volume includes discussion on discrete-numerical tracking, conjugation between two critical circle maps, invariance principles, and the central limit theorem. Applications to game theory and networks are also included. Graduate students and researchers interested in complex systems, differential equations, dynamical systems, functional analysis, and mathematical physics will find this book useful for their studies. The special session was part of the second USA-Uzbekistan Conference on Analysis and Mathematical Physics held on August 8-12, 2017 at Urgench State University (Uzbekistan). The conference encouraged communication and future collaboration among U.S. mathematicians and their counterparts in Uzbekistan and other countries. Main themes included algebra and functional analysis, dynamical systems, mathematical physics and partial differential equations, probability theory and mathematical statistics, and pluripotential theory. A number of significant, recently established results were disseminated at the conference's scheduled plenary talks, while invited talks presented a broad spectrum of findings in several sessions. Based on a different session from the conference, Algebra, Complex Analysis, and Pluripotential Theory is also published in the Springer Proceedings in Mathematics & Statistics Series.

"This text covers key mathematical principles and algorithms for nonlinear filters used in image processing. Readers will gain an in-depth understanding of the underlying mathematical and filter design methodologies needed to construct and use nonlinear filters in a variety of applications.
The 11 chapters explore topics of contemporary interest as well as fundamentals drawn from nonlinear filtering's historical roots in mathematical morphology and digital signal processing. This book examines various filter options and the types of applications for which they are best suited. The presentation is rigorous, yet accessible to engineers with a solid background in mathematics."

The book presents pedagogical reviews of important topics on high energy physics to the students and researchers in particle physics. The book also discusses topics on the Quark-Gluon plasma, thermal field theory, perturbative quantum chromodynamics, anomalies and cosmology. Students of particle physics need to be well-equipped with basic understanding of many concepts underlying the standard models of particle physics and cosmology. This is particularly true today when experimental results from colliders, such as large hadron collider (LHC) and relativistic heavy ion collider (RHIC), as well as inferences from cosmological observations, are expected to further expand our understanding of particle physics at high energies. This volume is the second in the Surveys in Theoretical High Energy Physics Series (SThEP). Topics covered in this book are based on lectures delivered at the SERC Schools in Theoretical High Energy Physics at the Physical Research Laboratory, Ahmedabad, and the University of Hyderabad.

This book introduces the development of self-interference (SI)-cancellation techniques for full-duplex wireless communication systems. The authors rely on estimation theory and signal processing to develop SI-cancellation algorithms by generating an estimate of the received SI and subtracting it from the received signal. The authors also cover two new SI-cancellation methods using the new concept of active signal injection (ASI) for full-duplex MIMO-OFDM systems. The ASI approach adds an appropriate cancelling signal to each transmitted signal such that the combined signals from transmit antennas attenuate the SI at the receive antennas. The authors illustrate that the SI-pre-cancelling signal does not affect the data-bearing signal. This book is for researchers and professionals working in wireless communications and engineers willing to understand the challenges of deploying full-duplex and practical solutions to implement a full-duplex system. Advanced-level students in electrical engineering and computer science studying wireless communications will also find this book useful as a secondary textbook.

This book concerns the most up-to-date advances in computational transport phenomena (CTP), an emerging tool for the design of gas-solid processes such as fluidized bed systems. The authors examine recent work in kinetic theory and CTP and illustrate gas-solid processes' many applications in the energy, chemical, pharmaceutical, and food industries. They also discuss the kinetic theory approach in developing constitutive equations for gas-solid flow systems and how it has advanced over the last decade as well as the possibility of obtaining innovative designs for multiphase reactors, such as those needed to capture CO2 from flue gases. Suitable as a concise reference and a textbook supplement for graduate courses, Computational Transport Phenomena of Gas-Solid Systems is ideal for practitioners in industries involved with the design and operation of processes based on fluid/particle mixtures, such as the energy, chemicals, pharmaceuticals, and food processing.

This book focuses on the study of the interfacial water using molecular dynamics simulation and experimental sum frequency generation spectroscopy. It proposes a new definition of the free O-H groups at water-air interface and presents research on the structure and dynamics of these groups. Furthermore, it discusses the exponential decay nature of the orientation distribution of the free O-H groups of interfacial water and ascribes the origin of the down pointing free O-H groups to the presence of capillary waves on the surface. It also describes how, based on this new definition, a maximum surface H-bond density of around 200 K at ice surface was found, as the maximum results from two competing effects. Lastly, the book discusses the absorption of water molecules at the water-TiO2 interface. Providing insights into the combination of molecular dynamics simulation and experimental sum frequency generation spectroscopy, it is a valuable resource for researchers in the field.

This book introduces new methods to analyze vertex-varying graph signals. In many real-world scenarios, the data sensing domain is not a regular grid, but a more complex network that consists of sensing points (vertices) and edges (relating the sensing points). Furthermore, sensing geometry or signal properties define the relation among sensed signal points. Even for the data sensed in the well-defined time or space domain, the introduction of new relationships among the sensing points may produce new insights in the analysis and result in more advanced data processing techniques. The data domain, in these cases and discussed in this book, is defined by a graph. Graphs exploit the fundamental relations among the data points. Processing of signals whose sensing domains are defined by graphs resulted in graph data processing as an emerging field in signal processing. Although signal processing techniques for the analysis of time-varying signals are well established, the corresponding graph signal processing equivalent approaches are still in their infancy. This book presents novel approaches to analyze vertex-varying graph signals. The vertex-frequency analysis methods use the Laplacian or adjacency matrix to establish connections between vertex and spectral (frequency) domain in order to analyze local signal behavior where edge connections are used for graph signal localization. The book applies combined concepts from time-frequency and wavelet analyses of classical signal processing to the analysis of graph signals. Covering analytical tools for vertex-varying applications, this book is of interest to researchers and practitioners in engineering, science, neuroscience, genome processing, just to name a few. It is also a valuable resource for postgraduate students and researchers looking to expand their knowledge of the vertex-frequency analysis theory and its applications. The book consists of 15 chapters contributed by 41 leading researches in the field.

This work presents a study of methods useful for modeling and understanding dynamical systems in the Galaxy. A natural coordinate system for the study of dynamical systems is the angle-action coordinate system. New methods for the approximation of the action-angle variables in general potentials are presented and discussed. These new tools are applied to the construction of dynamical models for two of the Galaxy's components: tidal streams and the Galactic disc. Tidal streams are remnants of tidally stripped satellites in the Milky Way that experience the effects of the large scale structure of the Galactic gravitational potential, while the Galactic disc provides insights into the nature of the Galaxy near the Sun. Appropriate action-based models are presented and discussed for these components, and extended to include further information such as the metallicity of stars.

6 Preliminaries.- 6.1 The operator of singular integration.- 6.2 The space Lp(?, ?).- 6.3 Singular integral operators.- 6.4 The spaces $$L_{p}^{ + }(\Gamma, \rho ), L_{p}^{ - }(\Gamma, \rho ) and \mathop{{L_{p}^{ - }}}\limits^{^\circ } (\Gamma, \rho )$$.- 6.5 Factorization.- 6.6 One-sided invertibility of singular integral operators.- 6.7 Fredholm operators.- 6.8 The local principle for singular integral operators.- 6.9 The interpolation theorem.- 7 General theorems.- 7.1 Change of the curve.- 7.2 The quotient norm of singular integral operators.- 7.3 The principle of separation of singularities.- 7.4 A necessary condition.- 7.5 Theorems on kernel and cokernel of singular integral operators.- 7.6 Two theorems on connections between singular integral operators.- 7.7 Index cancellation and approximative inversion of singular integral operators.- 7.8 Exercises.- Comments and references.- 8 The generalized factorization of bounded measurable functions and its applications.- 8.1 Sketch of the problem.- 8.2 Functions admitting a generalized factorization with respect to a curve in Lp(?, ?).- 8.3 Factorization in the spaces Lp(?, ?).- 8.4 Application of the factorization to the inversion of singular integral operators.- 8.5 Exercises.- Comments and references.- 9 Singular integral operators with piecewise continuous coefficients and their applications.- 9.1 Non-singular functions and their index.- 9.2 Criteria for the generalized factorizability of power functions.- 9.3 The inversion of singular integral operators on a closed curve.- 9.4 Composed curves.- 9.5 Singular integral operators with continuous coefficients on a composed curve.- 9.6 The case of the real axis.- 9.7 Another method of inversion.- 9.8 Singular integral operators with regel functions coefficients.- 9.9 Estimates for the norms of the operators P?, Q? and S?.- 9.10 Singular operators on spaces H?o(?, ?).- 9.11 Singular operators on symmetric spaces.- 9.12 Fredholm conditions in the case of arbitrary weights.- 9.13 Technical lemmas.- 9.14 Toeplitz and paired operators with piecewise continuous coefficients on the spaces lp and ?p.- 9.15 Some applications.- 9.16 Exercises.- Comments and references.- 10 Singular integral operators on non-simple curves.- 10.1 Technical lemmas.- 10.2 A preliminary theorem.- 10.3 The main theorem.- 10.4 Exercises.- Comments and references.- 11 Singular integral operators with coefficients having discontinuities of almost periodic type.- 11.1 Almost periodic functions and their factorization.- 11.2 Lemmas on functions with discontinuities of almost periodic type.- 11.3 The main theorem.- 11.4 Operators with continuous coefficients - the degenerate case.- 11.5 Exercises.- Comments and references.- 12 Singular integral operators with bounded measurable coefficients.- 12.1 Singular operators with measurable coefficients in the space L2(?).- 12.2 Necessary conditions in the space L2(?).- 12.3 Lemmas.- 12.4 Singular operators with coefficients in ?p(?). Sufficient conditions.- 12.5 The Helson-Szegoe theorem and its generalization.- 12.6 On the necessity of the condition a ? Sp.- 12.7 Extension of the class of coefficients.- 12.8 Exercises.- Comments and references.- 13 Exact constants in theorems on the boundedness of singular operators.- 13.1 Norm and quotient norm of the operator of singular integration.- 13.2 A second proof of Theorem 4.1 of Chapter 12.- 13.3 Norm and quotient norm of the operator S? on weighted spaces.- 13.4 Conditions for Fredholmness in spaces Lp(?, ?).- 13.5 Norms and quotient norm of the operator aI + bS?.- 13.6 Exercises.- Comments and references.- References.