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.

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.

In 1967 Walter K. Hayman published 'Research Problems in Function Theory', a list of 141 problems in seven areas of function theory. In the decades following, this list was extended to include two additional areas of complex analysis, updates on progress in solving existing problems, and over 520 research problems from mathematicians worldwide. It became known as 'Hayman's List'. This Fiftieth Anniversary Edition contains the complete 'Hayman's List' for the first time in book form, along with 31 new problems by leading international mathematicians. This list has directed complex analysis research for the last half-century, and the new edition will help guide future research in the subject. The book contains up-to-date information on each problem, gathered from the international mathematics community, and where possible suggests directions for further investigation. Aimed at both early career and established researchers, this book provides the key problems and results needed to progress in the most important research questions in complex analysis, and documents the developments of the past 50 years.

This book aims to face particles in flows from many different, but essentially interconnected sides and points of view. Thus the selection of authors and topics represented in the chapters, ranges from deep mathematical analysis of the associated models, through the techniques of their numerical solution, towards real applications and physical implications. The scope and structure of the book as well as the selection of authors was motivated by the very successful summer course and workshop "Particles in Flows'' that was held in Prague in the August of 2014. This meeting revealed the need for a book dealing with this specific and challenging multidisciplinary subject, i.e. particles in industrial, environmental and biomedical flows and the combination of fluid mechanics, solid body mechanics with various aspects of specific applications.

This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and original philosophical perspectives on the validation of simulations. Topics and features: introduces the fundamental concepts and principles related to the validation of computer simulations, and examines philosophical frameworks for thinking about validation; provides an overview of the various strategies and techniques available for validating simulations, as well as the preparatory steps that have to be taken prior to validation; describes commonly used reference points and mathematical frameworks applicable to simulation validation; reviews the legal prescriptions, and the administrative and procedural activities related to simulation validation; presents examples of best practice that demonstrate how methods of validation are applied in various disciplines and with different types of simulation models; covers important practical challenges faced by simulation scientists when applying validation methods and techniques; offers a selection of general philosophical reflections that explore the significance of validation from a broader perspective. This truly interdisciplinary handbook will appeal to a broad audience, from professional scientists spanning all natural and social sciences, to young scholars new to research with computer simulations. Philosophers of science, and methodologists seeking to increase their understanding of simulation validation, will also find much to benefit from in the text.

This book presents tensors and differential geometry in a comprehensive and approachable manner, providing a bridge from the place where physics and engineering mathematics end, and the place where tensor analysis begins. Among the topics examined are tensor analysis, elementary differential geometry of moving surfaces, and k-differential forms. The book includes numerous examples with solutions and concrete calculations, which guide readers through these complex topics step by step. Mindful of the practical needs of engineers and physicists, book favors simplicity over a more rigorous, formal approach. The book shows readers how to work with tensors and differential geometry and how to apply them to modeling the physical and engineering world. The authors provide chapter-length treatment of topics at the intersection of advanced mathematics, and physics and engineering: * General Basis and Bra-Ket Notation * Tensor Analysis * Elementary Differential Geometry * Differential Forms * Applications of Tensors and Differential Geometry * Tensors and Bra-Ket Notation in Quantum Mechanics The text reviews methods and applications in computational fluid dynamics; continuum mechanics; electrodynamics in special relativity; cosmology in the Minkowski four-dimensional space time; and relativistic and non-relativistic quantum mechanics. Tensor Analysis and Elementary Differential Geometry for Physicists and Engineers benefits research scientists and practicing engineers in a variety of fields, who use tensor analysis and differential geometry in the context of applied physics, and electrical and mechanical engineering. It will also interest graduate students in applied physics and engineering.

The book provides a state-of-art overview of computational methods for nonlinear aeroelasticity and load analysis, focusing on key techniques and fundamental principles for CFD/CSD coupling in temporal domain. CFD/CSD coupling software design and applications of CFD/CSD coupling techniques are discussed in detail as well. It is an essential reference for researchers and students in mechanics and applied mathematics.

This book gathers the peer-reviewed proceedings of the 12th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'17, held in Sofia, Bulgaria, in December 2017. The general theme of BGSIAM'17 was industrial and applied mathematics, with a particular focus on: high-performance computing, numerical methods and algorithms, analysis of partial differential equations and their applications, mathematical biology, control and uncertain systems, stochastic models, molecular dynamics, neural networks, genetic algorithms, metaheuristics for optimization problems, generalized nets, and Big Data.

Taking the Qinghai-Tibet Railway as an example, this book introduces intelligent processing for Global Positioning Data (GPS) data. Combining theory with practical applications, it provides essential insights into the Chinese Qinghai-Tibet Railway and novel methods of data processing for GPS satellite positioning, making it a valuable resource for all those working with train control systems, train positioning systems, satellite positioning, and intelligent data processing. As satellite positioning guarantees the safe and efficient operation of train control systems, it focuses on how to best process the GPS data collected, including methods for error detection, reduction and information fusion.

Statistical Techniques for Transportation Engineering is written with a systematic approach in mind and covers a full range of data analysis topics, from the introductory level (basic probability, measures of dispersion, random variable, discrete and continuous distributions) through more generally used techniques (common statistical distributions, hypothesis testing), to advanced analysis and statistical modeling techniques (regression, AnoVa, and time series). The book also provides worked out examples and solved problems for a wide variety of transportation engineering challenges.

This volume offers an overview of the area of waves in fluids and the role they play in the mathematical analysis and numerical simulation of fluid flows. Based on lectures given at the summer school "Waves in Flows", held in Prague from August 27-31, 2018, chapters are written by renowned experts in their respective fields. Featuring an accessible and flexible presentation, readers will be motivated to broaden their perspectives on the interconnectedness of mathematics and physics. A wide range of topics are presented, working from mathematical modelling to environmental, biomedical, and industrial applications. Specific topics covered include: Equatorial wave-current interactions Water-wave problems Gravity wave propagation Flow-acoustic interactions Waves in Flows will appeal to graduate students and researchers in both mathematics and physics. Because of the applications presented, it will also be of interest to engineers working on environmental and industrial issues.

Perturbative Algebraic Quantum Field Theory (pAQFT), the subject of this book, is a complete and mathematically rigorous treatment of perturbative quantum field theory (pQFT) that doesn't require the use of divergent quantities and works on a large class of Lorenzian manifolds. We discuss in detail the examples of scalar fields, gauge theories and the effective quantum gravity. pQFT models describe a wide range of physical phenomena and have remarkable agreement with experimental results. Despite this success, the theory suffers from many conceptual problems. pAQFT is a good candidate to solve many, if not all, of these conceptual problems. Chapters 1-3 provide some background in mathematics and physics. Chapter 4 concerns classical theory of the scalar field, which is subsequently quantized in chapters 5 and 6. Chapter 7 covers gauge theory and chapter 8 discusses effective quantum gravity. The book aims to be accessible to researchers and graduate students, who are interested in the mathematical foundations of pQFT.

This proceedings book presents selected contributions from the XVIII Congress of APDIO (the Portuguese Association of Operational Research) held in Valenca on June 28-30, 2017. Prepared by leading Portuguese and international researchers in the field of operations research, it covers a wide range of complex real-world applications of operations research methods using recent theoretical techniques, in order to narrow the gap between academic research and practical applications. Of particular interest are the applications of, nonlinear and mixed-integer programming, data envelopment analysis, clustering techniques, hybrid heuristics, supply chain management, and lot sizing and job scheduling problems. In most chapters, the problems, methods and methodologies described are complemented by supporting figures, tables and algorithms. The XVIII Congress of APDIO marked the 18th installment of the regular biannual meetings of APDIO - the Portuguese Association of Operational Research. The meetings bring together researchers, scholars and practitioners, as well as MSc and PhD students, working in the field of operations research to present and discuss their latest works. The main theme of the latest meeting was Operational Research Pro Bono. Given the breadth of topics covered, the book offers a valuable resource for all researchers, students and practitioners interested in the latest trends in this field.

The first 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 devoted specifically to the mathematical aspects of Clifford algebras and their applications in physics. Algebraic geometry, cohomology, non-communicative spaces, "q"-deformations and the related quantum groups, and projective geometry provide the basis for algebraic topics covered. Physical applications and extensions of physical theories such as the theory of quaternionic spin, a projective theory of hadron transformation laws, and electron scattering are also presented, showing the broad applicability of Clifford geometric algebras in solving physical problems. Treatment of the structure theory of quantum Clifford algebras, the connection to logic, group representations, and computational techniques including symbolic calculations and theorem proving rounds out the presentation.

This book was written to serve as a graduate-level textbook for special topics classes in mathematics, statistics, and economics, to introduce these topics to other researchers, and for use in short courses. It is an introduction to the theory of majorization and related notions, and contains detailed material on economic applications of majorization and the Lorenz order, investigating the theoretical aspects of these two interrelated orderings. Revising and expanding on an earlier monograph, Majorization and the Lorenz Order: A Brief Introduction, the authors provide a straightforward development and explanation of majorization concepts, addressing historical development of the topics, and providing up-to-date coverage of families of Lorenz curves. The exposition of multivariate Lorenz orderings sets it apart from existing treatments of these topics. Mathematicians, theoretical statisticians, economists, and other social scientists who already recognize the utility of the Lorenz order in income inequality contexts and arenas will find the book useful for its sound development of relevant concepts rigorously linked to both the majorization literature and the even more extensive body of research on economic applications. Barry C. Arnold, PhD, is Distinguished Professor in the Statistics Department at the University of California, Riverside. He is a Fellow of the American Statistical Society, the American Association for the Advancement of Science, and the Institute of Mathematical Statistics, and is an elected member of the International Statistical Institute. He is the author of more than two hundred publications and eight books. Jose Maria Sarabia, PhD, is Professor of Statistics and Quantitative Methods in Business and Economics in the Department of Economics at the University of Cantabria, Spain. He is author of more than one hundred and fifty publications and ten books and is an associate editor of several journals including TEST, Communications in Statistics, and Journal of Statistical Distributions and Applications.

This handbook serves as a comprehensive, systematic reference to the major mathematical models used in radio engineering and communications, and presents computer simulation algorithms to help the reader estimate parameters of radio systems. It provides the technical details necessary to design and analyze radar, communication, radio navigation, radio control, electronic intelligence and electronic warfare systems. Mathcad routines, cited in the handbook, should help the reader to optimize radar system performance analysis, and can be used to create custom-made software that better answers specific needs.

Going far beyond the standard texts, this book extensively covers boundary integral equation (BIE) formulations and the boundary element method (BEM). The first section introduces BIE formulations for potential and elasticity problems, following the modern regularization approach - the fundamental starting point for research in this field. Secondly, a clear description of BIE formulations for wave and elastodynamics problems, in both time and frequency domains is presented. Finally, recent research in the field, related to variational integral formulations, use of geometrical symmetry, shape sensitivity and fracture mechanics is summarised. Within the text a broad range of application areas, industrial as well as research related, are examined. These include:

• elasticity and small-strain elastoplasticity
• time-domain and frequency-domain scalar and elastic waves
• fracture mechanics

This book is the first part of a two volume anthology comprising a selection of 49 articles that illustrate the depth, breadth and scope of Nigel Kalton's research. Each article is accompanied by comments from an expert on the respective topic, which serves to situate the article in its proper context, to successfully link past, present and hopefully future developments of the theory, and to help readers grasp the extent of Kalton's accomplishments. Kalton's work represents a bridge to the mathematics of tomorrow, and this book will help readers to cross it. Nigel Kalton (1946-2010) was an extraordinary mathematician who made major contributions to an amazingly diverse range of fields over the course of his career.

This book focuses on the finite-time control of attitude stabilization, attitude tracking for individual spacecraft, and finite-time control of attitude synchronization. It discusses formation reconfiguration for multiple spacecraft in complex networks, and provides a new fast nonsingular terminal sliding mode surface (FNTSMS). Further, it presents newly designed controllers and several control laws to enhance the performance of spacecraft systems and meet related demands, such as strong disturbance rejection and high-precision control. As such, the book establishes a fundamental framework for these topics, while also highlighting the importance of integrated analysis. It is a useful resource for all researchers and students who are interested in this field, as well as engineers whose work involves designing flight vehicles.

This book presents in detail an alternative approach to solving problems involving both linear and nonlinear oscillations of elastic distributed parameter systems. It includes the so-called variational, projection and iterative gradient methods, which, when applied to nonlinear problems, use the procedure of linearization of the original non-linear equations. These methods are not universal and require a different solution for each problem or class of problems.However, in many cases the combination of the methods shown in this book leads to more efficient algorithms for solving important applied problems.To record these algorithms in a unified form, the first part of the book and its appendix devote considerable attention to compiling the general operator equations, which include (as particular cases) equations for vibrations in rods, plates, shells and three-dimensional bodies. They are mainly considered to be periodic or nearly periodic oscillations, which correspond to stat ionary or nearly stationary regimes of machinery operation. In turn, the second part of the book presents a number of solutions for selected applications.

This book addresses a broad range of problems commonly encountered in the fields of financial analysis, logistics and supply chain management, such as the use of big data analytics in the banking sector. Divided into twenty chapters, some of the contemporary topics discussed in the book are co-operative/non-cooperative supply chain models for imperfect quality items with trade-credit financing; a non-dominated sorting water cycle algorithm for the cardinality constrained portfolio problem; and determining initial, basic and feasible solutions for transportation problems by means of the "supply demand reparation method" and "continuous allocation method." In addition, the book delves into a comparison study on exponential smoothing and the Arima model for fuel prices; optimal policy for Weibull distributed deteriorating items varying with ramp type demand rate and shortages; an inventory model with shortages and deterioration for three different demand rates; outlier labeling methods for medical data; a garbage disposal plant as a validated model of a fault-tolerant system; and the design of a "least cost ration formulation application for cattle"; a preservation technology model for deteriorating items with advertisement dependent demand and trade credit; a time series model for stock price forecasting in India; and asset pricing using capital market curves. The book offers a valuable asset for all researchers and industry practitioners working in these areas, giving them a feel for the latest developments and encouraging them to pursue further research in this direction.

Simulation has now become an integral part of research and development across many fields of study. Despite the large amounts of literature in the field of simulation and modeling, one recurring problem is the issue of accuracy and confidence level of constructed models. By outlining the new approaches and modern methods of simulation of stochastic processes, this book provides methods and tools in measuring accuracy and reliability in functional spaces. The authors explore analysis of the theory of Sub-Gaussian (including Gaussian one) and Square Gaussian random variables and processes and Cox processes. Methods of simulation of stochastic processes and fields with given accuracy and reliability in some Banach spaces are also considered.