This book summarizes a number of fundamental developments at the interface of granular crystals and the mathematical and computational analysis of some of their key localized nonlinear wave solutions. The subject presents a blend of the appeal of granular crystals as a prototypical engineering tested for a variety of diverse applications, the novelty in the nonlinear physics of its coherent structures, and the tractability of a series of mathematical and computational techniques to analyse them. While the focus is on principal one-dimensional solutions such as shock waves, traveling waves, and discrete breathers, numerous extensions of the discussed patterns, e.g., in two dimensions, chains with defects, heterogeneous settings, and other recent developments are discussed. The emphasis on the subject was motivated by models in condensed matter physics, ferroelectrics, high energy physics, and statistical mechanics, leading to developments in mathematical analysis, numerical computation and insights on the physical aspects of the model. The book appeals to researchers in the field, as well as for graduate and advanced undergraduate students. It will be of interest to mathematicians, physicists and engineers alike.

This book draws together the most interesting recent results to emerge in mechanical engineering in Russia, providing a fascinating overview of the state of the art in the field in that country which will be of interest to a wide readership. A broad range of topics and issues in modern engineering are discussed, including dynamics of machines, materials engineering, structural strength and tribological behavior, transport technologies, machinery quality and innovations. The book comprises selected papers presented at the 6th conference "Modern Engineering: Science and Education", held at the Saint Petersburg State Polytechnic University in June 2017 with the support of the Russian Engineering Union. The authors are experts in various fields of engineering, and all of the papers have been carefully reviewed. The book will be of interest to mechanical engineers, lecturers in engineering disciplines and engineering graduates.

This book presents cutting-edge research on the use of physical and mathematical formalisms to model and quantitatively analyze biological phenomena ranging from microscopic to macroscopic systems. The systems discussed in this compilation cover protein folding pathways, gene regulation in prostate cancer, quorum sensing in bacteria to mathematical and physical descriptions to analyze anomalous diffusion in patchy environments and the physical mechanisms that drive active motion in large sets of particles, both fundamental descriptions that can be applied to different phenomena in biology. All chapters are written by well-known experts on their respective research fields with a vast amount of scientific discussion and references in order the interested reader can pursue a further reading. Given these features, we consider Quantitative Models for Microscopic to Macroscopic Biological Macromolecules and Tissues as an excellent and up-to-date resource and reference for advanced undergraduate students, graduate students and junior researchers interested in the latest developments at the intersection of physics, mathematics, molecular biology, and computational sciences. Such research field, without hesitation, is one of the most interesting, challenging and active of this century and the next.

This book explores Probabilistic Cellular Automata (PCA) from the perspectives of statistical mechanics, probability theory, computational biology and computer science. PCA are extensions of the well-known Cellular Automata models of complex systems, characterized by random updating rules. Thanks to their probabilistic component, PCA offer flexible computing tools for complex numerical constructions, and realistic simulation tools for phenomena driven by interactions among a large number of neighboring structures. PCA are currently being used in various fields, ranging from pure probability to the social sciences and including a wealth of scientific and technological applications. This situation has produced a highly diversified pool of theoreticians, developers and practitioners whose interaction is highly desirable but can be hampered by differences in jargon and focus. This book - just as the workshop on which it is based - is an attempt to overcome these difference and foster interest among newcomers and interaction between practitioners from different fields. It is not intended as a treatise, but rather as a gentle introduction to the role and relevance of PCA technology, illustrated with a number of applications in probability, statistical mechanics, computer science, the natural sciences and dynamical systems. As such, it will be of interest to students and non-specialists looking to enter the field and to explore its challenges and open issues.

This book presents methods for full-wave computer simulation that can be used in various applications and contexts, e.g. seismic prospecting, earthquake stability, global seismic patterns on Earth and Mars, medicine, traumatology, ultrasound investigation of the human body, ultrasound and laser operations, ultrasonic non-destructive railway testing, modelling aircraft composites, modelling composite material delamination, etc. The key innovation of this approach is the ability to study spatial dynamical wave processes, which is made possible by cutting-edge numerical finite-difference grid-characteristic methods. The book will benefit all students, researchers, practitioners and professors interested in numerical mathematics, computer science, computer simulation, high-performance computer systems, unstructured meshes, interpolation, seismic prospecting, geophysics, medicine, non-destructive testing and composite materials.

This book highlights the remarkable importance of special functions, operational calculus, and variational methods. A considerable portion of the book is dedicated to second-order partial differential equations, as they offer mathematical models of various phenomena in physics and engineering. The book provides students and researchers with essential help on key mathematical topics, which are applied to a range of practical problems. These topics were chosen because, after teaching university courses for many years, the authors have found them to be essential, especially in the contexts of technology, engineering and economics. Given the diversity topics included in the book, the presentation of each is limited to the basic notions and results of the respective mathematical domain. Chapter 1 is devoted to complex functions. Here, much emphasis is placed on the theory of holomorphic functions, which facilitate the understanding of the role that the theory of functions of a complex variable plays in mathematical physics, especially in the modeling of plane problems. In addition, the book demonstrates the importance of the theories of special functions, operational calculus, and variational calculus. In the last chapter, the authors discuss the basic elements of one of the most modern areas of mathematics, namely the theory of optimal control.

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

This 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.

This book constitutes the refereed proceedings of the 6th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2018, held in Hanoi, Vietnam, in March 2018.The 39 revised full papers presented in this book were carefully reviewed and selected from 76 initial submissions. The papers are organized in topical sections on uncertainty management and decision support; clustering and classification; machine learning applications; statistical methods; and econometric applications.

This thesis addresses a novel application of network modelling methodologies to power transformers. It develops a novel thermal model and compares its performance against that of a commercial computational fluid dynamics (CFD) code, as well as in experiments conducted in a dedicated setup built exclusively for this purpose. Hence, the thesis cross-links three of the most important aspects in high-quality research: model development, simulation and experimental validation. Network modelling is used to develop a tool to simulate the thermal performance of power transformers, widely acknowledged to be critical assets in electrical networks. After the strong de-regulation of electricity markets and de-carbonization of worldwide economies, electrical networks have been changing fast. Both asset owners and equipment manufacturers are being driven to develop increasingly accurate modelling capabilities in order to optimize either their operation or their design. Temperature is a critical parameter in every electric machine and power transformers are no exception. As such, the thesis is relevant for a wide range of stakeholders, from utilities to power transformer manufacturers, as well as researchers interested in the energy industry. It is written in straightforward language and employs a highly pedagogic approach, making it also suitable for non-experts.

This book constitutes the proceedings of the 12th International Workshop on Algorithms and Computation, WALCOM 2018, held in Dhaka, Bangladesh, in March 2018. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The papers cover diverse areas of algorithms and computation, such as approximation algorithms, computational geometry, combinatorial algorithms, computational biology, computational complexity, data structures, graph and network algorithms, and online algorithms.

To ensure the security and economy of future power system operation in the context of a high degree of renewable energy penetration, this thesis proposes a new distributed algorithm called generalized master-slave-splitting (G-MSS) theory and a new transmission-distribution coordinated energy management (TDCEM) method that is based on the G-MSS theory. The thesis studies the mathematical properties of the G-MSS theory in detail. Based on the G-MSS theory, a distributed TDCEM method - which involves distributed security analysis, distributed voltage stability analysis, distributed economic dispatch and distributed optimal power flow for an integrated transmission-distribution system - is then developed for the first time. The thesis demonstrates that the proposed TDCEM method significantly contributes to more reliable and optimal operation in power systems. The book will benefit researchers, scientists and engineers in the field of power system operation and optimization.

This book presents an overview of the most recent advances in nonlinear science. It provides a unified view of nonlinear properties in many different systems and highlights many new developments. While volume 1 concentrates on mathematical theory and computational techniques and challenges, which are essential for the study of nonlinear science, this second volume deals with nonlinear excitations in several fields. These excitations can be localized and transport energy and matter in the form of breathers, solitons, kinks or quodons with very different characteristics, which are discussed in the book. They can also transport electric charge, in which case they are known as polarobreathers or solectrons. Nonlinear excitations can influence function and structure in biology, as for example, protein folding. In crystals and other condensed matter, they can modify transport properties, reaction kinetics and interact with defects. There are also engineering applications in electric lattices, Josephson junction arrays, waveguide arrays, photonic crystals and optical fibers. Nonlinear excitations are inherent to Bose-Einstein Condensates, constituting an excellent benchmark for testing their properties and providing a pathway for future discoveries in fundamental physics.

This contributed volume contains articles written by the plenary and invited speakers from the second international MATHEON Workshop 2015 that focus on applications of compressed sensing. Article authors address their techniques for solving the problems of compressed sensing, as well as connections to related areas like detecting community-like structures in graphs, curbatures on Grassmanians, and randomized tensor train singular value decompositions. Some of the novel applications covered include dimensionality reduction, information theory, random matrices, sparse approximation, and sparse recovery. This book is aimed at both graduate students and researchers in the areas of applied mathematics, computer science, and engineering, as well as other applied scientists exploring the potential applications for the novel methodology of compressed sensing. An introduction to the subject of compressed sensing is also provided for researchers interested in the field who are not as familiar with it.

This book analyzes the impact of quiescent phases on biological models. Quiescence arises, for example, when moving individuals stop moving, hunting predators take a rest, infected individuals are isolated, or cells enter the quiescent compartment of the cell cycle. In the first chapter of Topics in Mathematical Biology general principles about coupled and quiescent systems are derived, including results on shrinking periodic orbits and stabilization of oscillations via quiescence. In subsequent chapters classical biological models are presented in detail and challenged by the introduction of quiescence. These models include delay equations, demographic models, age structured models, Lotka-Volterra systems, replicator systems, genetic models, game theory, Nash equilibria, evolutionary stable strategies, ecological models, epidemiological models, random walks and reaction-diffusion models. In each case we find new and interesting results such as stability of fixed points and/or periodic orbits, excitability of steady states, epidemic outbreaks, survival of the fittest, and speeds of invading fronts. The textbook is intended for graduate students and researchers in mathematical biology who have a solid background in linear algebra, differential equations and dynamical systems. Readers can find gems of unexpected beauty within these pages, and those who knew K.P. (as he was often called) well will likely feel his presence and hear him speaking to them as they read.

This book provides state-of-the-art and interdisciplinary topics on solving matrix eigenvalue problems, particularly by using recent petascale and upcoming post-petascale supercomputers. It gathers selected topics presented at the International Workshops on Eigenvalue Problems: Algorithms; Software and Applications, in Petascale Computing (EPASA2014 and EPASA2015), which brought together leading researchers working on the numerical solution of matrix eigenvalue problems to discuss and exchange ideas - and in so doing helped to create a community for researchers in eigenvalue problems. The topics presented in the book, including novel numerical algorithms, high-performance implementation techniques, software developments and sample applications, will contribute to various fields that involve solving large-scale eigenvalue problems.

The purpose of this primer is to provide the basics of the Finite Element Method, primarily illustrated through a classical model problem, linearized elasticity. The topics covered are: * Weighted residual methods and Galerkin approximations, * A model problem for one-dimensional linear elastostatics, * Weak formulations in one dimension, * Minimum principles in one dimension, * Error estimation in one dimension, * Construction of Finite Element basis functions in one dimension, * Gaussian Quadrature, * Iterative solvers and element by element data structures, * A model problem for three-dimensional linear elastostatics, * Weak formulations in three dimensions, * Basic rules for element construction in three-dimensions, * Assembly of the system and solution schemes, * An introduction to time-dependent problems and * An introduction to rapid computation based on domain decomposition and basic parallel processing. The approach is to introduce the basic concepts first in one-dimension, then move on to three-dimensions. A relatively informal style is adopted. This primer is intended to be a "starting point", which can be later augmented by the large array of rigorous, detailed, books in the area of Finite Element analysis. In addition to overall improvements to the first edition, this second edition also adds several carefully selected in-class exam problems from exams given over the last 15 years at UC Berkeley, as well as a large number of take-home computer projects. These problems and projects are designed to be aligned to the theory provided in the main text of this primer.

This book constitutes the refereed proceedings of the First International Conference on Analytical and Computational Methods in Probability Theory and its Applications, ACMPT 2017, held in Moscow, Russia, in October 2017. The 42 full papers presented were carefully reviewed and selected from 173 submissions. The conference program consisted of four main themes associated with significant contributions made by A.D.Soloviev. These are: Analytical methods in probability theory, Computational methods in probability theory, Asymptotical methods in probability theory, the history of mathematics.

This book offers a brief introduction to the general-purpose finite element program MSC Marc, focusing on providing simple examples, often single-element problems, which can easily be related to the theory that is discussed in finite element lectures. As such, it is an ideal companion book to classical introductory courses on the finite element method. MSC Marc is a specialized program for non-linear problems (implicit solver), which is distributed by the MSC Software Corporation and commonly used in academia and industry. The documentation of all finite element programs now includes a variety of step-by-step examples of differing complexity, and all software companies offer professional workshops on different topics. Since the first edition of the book, there have been several new releases of Marc/Mentat and numerous changes. This new edition incorporates the latest Marc/Mentat software developments and new examples.

This book is devoted to describing theories for porous media where such pores have an inbuilt macro structure and a micro structure. For example, a double porosity material has pores on a macro scale, but additionally there are cracks or fissures in the solid skeleton. The actual body is allowed to deform and thus the underlying theory is one of elasticity. Various different descriptions are reviewed. Chapter 1 introduces the classical linear theory of elastodynamics together with uniqueness and continuous dependence results. Chapters 2 and 3 review developments of theories for double and triple porosity using a pressure-displacement structure and also using voids-displacement. Chapter 4 compares various aspects of the pressure-displacement and voids-displacement theories via uniqueness studies and wave motion analysis. Mathematical analyses of double and triple porosity materials are included concentrating on uniqueness and stability studies in chapters 5 to 7. In chapters 8 and 9 the emphasis is on wave motion in double porosity materials with special attention paid to nonlinear waves. The final chapter embraces a novel area where an elastic body with a double porosity structure is analyzed, but the thermodynamics allows for heat to travel as a wave rather than simply by diffusion. This book will be of value to mathematicians, theoretical engineers and other practitioners who are interested in double or triple porosity elasticity and its relevance to many diverse applications.

Partial differential equations (PDEs) are one of the most used widely forms of mathematics in science and engineering. PDEs can have partial derivatives with respect to (1) an initial value variable, typically time, and (2) boundary value variables, typically spatial variables. Therefore, two fractional PDEs can be considered, (1) fractional in time (TFPDEs), and (2) fractional in space (SFPDEs). The two volumes are directed to the development and use of SFPDEs, with the discussion divided as: Vol 1: Introduction to Algorithms and Computer Coding in R Vol 2: Applications from Classical Integer PDEs. Various definitions of space fractional derivatives have been proposed. We focus on the Caputo derivative, with occasional reference to the Riemann-Liouville derivative. The Caputo derivative is defined as a convolution integral. Thus, rather than being local (with a value at a particular point in space), the Caputo derivative is non-local (it is based on an integration in space), which is one of the reasons that it has properties not shared by integer derivatives. A principal objective of the two volumes is to provide the reader with a set of documented R routines that are discussed in detail, and can be downloaded and executed without having to first study the details of the relevant numerical analysis and then code a set of routines. In the first volume, the emphasis is on basic concepts of SFPDEs and the associated numerical algorithms. The presentation is not as formal mathematics, e.g., theorems and proofs. Rather, the presentation is by examples of SFPDEs, including a detailed discussion of the algorithms for computing numerical solutions to SFPDEs and a detailed explanation of the associated source code.

This book describes the revolutionary capabilities of new shock fitting algorithms; a great improvement in computational fluid dynamics (CFD) for high-speed numerical simulations. Shock fitting methods provide a solution to the current difficulties and inaccuracies in shock-capturing approaches. This work traces the evolution of shock-fitting methods, from the pioneering methods based on the structured grids (boundary and floating shock-fitting) to recent developments on unstructured grids, illustrating algorithmic details, significant applications and potential developments. Also, to celebrate the centenary birth of the father of shock-fitting techniques, the book also includes a tribute to Gino Moretti, as well as his unpublished manuscript. This book will appeal to professionals, researchers, and graduate students in the field of CFD.

This book provides practical applications of doubly classified models by using R syntax to generate the models. It also presents these models in symbolic tables so as to cater to those who are not mathematically inclined, while numerous examples throughout the book illustrate the concepts and their applications. For those who are not aware of this modeling approach, it serves as a good starting point to acquire a basic understanding of doubly classified models. It is also a valuable resource for academics, postgraduate students, undergraduates, data analysts and researchers who are interested in examining square contingency tables.

This textbook presents the basic concepts and methods of fluid mechanics, including Lagrangian and Eulerian descriptions, tensors of stresses and strains, continuity, momentum, energy, thermodynamics laws, and similarity theory. The models and their solutions are presented within a context of the mechanics of multiphase media. The treatment fully utilizes the computer algebra and software system Mathematica (R) to both develop concepts and help the reader to master modern methods of solving problems in fluid mechanics. Topics and features: Glossary of over thirty Mathematica (R) computer programs Extensive, self-contained appendix of Mathematica (R) functions and their use Chapter coverage of mechanics of multiphase heterogeneous media Detailed coverage of theory of shock waves in gas dynamics Thorough discussion of aerohydrodynamics of ideal and viscous fluids an d gases Complete worked examples with detailed solutions Problem-solving approach Foundations of Fluid Mechanics with Applications is a complete and accessible text or reference for graduates and professionals in mechanics, applied mathematics, physical sciences, materials science, and engineering. It is an essential resource for the study and use of modern solution methods for problems in fluid mechanics and the underlying mathematical models. The present, softcover reprint is designed to make this classic textbook available to a wider audience.

This book provides a frequentist semantics for conditionalization on partially known events, which is given as a straightforward generalization of classical conditional probability via so-called probability testbeds. It analyzes the resulting partial conditionalization, called frequentist partial (F.P.) conditionalization, from different angles, i.e., with respect to partitions, segmentation, independence, and chaining. It turns out that F.P. conditionalization meets and generalizes Jeffrey conditionalization, i.e., from partitions to arbitrary collections of events, opening it for reassessment and a range of potential applications. A counterpart of Jeffrey's rule for the case of independence holds in our frequentist semantics. This result is compared to Jeffrey's commutative chaining of independent updates. The postulate of Jeffrey's probability kinematics, which is rooted in the subjectivism of Frank P. Ramsey, is found to be a consequence in our frequentist semantics. This way the book creates a link between the Kolmogorov system of probability and one of the important Bayesian frameworks. Furthermore, it shows a preservation result for conditional probabilities under the full update range and compares F.P. semantics with an operational semantics of classical conditional probability in terms of so-called conditional events. Lastly, it looks at the subjectivist notion of desirabilities and proposes a more fine-grained analysis of desirabilities a posteriori. This book appeals to researchers who are involved in any kind of knowledge processing systems. F.P. conditionalization is a straightforward, fundamental concept that fits human intuition, and is systematically linked to one of the important Bayesian frameworks. As such, the book is interesting for anybody investigating the semantics of reasoning systems.