This self-contained book addresses the three most popular computational methods in CAE (finite elements, boundary elements, collocation methods) in a unified way, bridging the gap between CAD and CAE. It includes applications to a broad spectrum of engineering (benchmark) application problems, such as elasto-statics/dynamics and potential problems (thermal, acoustics, electrostatics). It also provides a large number of test cases, with full documentation of original sources, making it a valuable resource for any student or researcher in FEA-related areas. The book, which assumes readers have a basic knowledge of FEA, can be used as additional reading for engineering courses as well as for other interdepartmental MSc courses.

This book is a new edition of "Tensors and Manifolds: With Applications to Mechanics and Relativity" which was published in 1992. It is based on courses taken by advanced undergraduate and beginning graduate students in mathematics and physics, giving an introduction to the expanse of modern mathematics and its application in modern physics. It aims to fill the gap between the basic courses and the highly technical and specialised courses which both mathematics and physics students require in their advanced training, while simultaneously trying to promote, at an early stage, a better appreciation and understanding of each other's discipline. The book sets forth the basic principles of tensors and manifolds, describing how the mathematics underlies elegant geometrical models of classical mechanics, relativity and elementary particle physics. The existing material from the first edition has been reworked and extended in some sections to provide extra clarity, as well as additional problems. Four new chapters on Lie groups and fibre bundles have been included, leading to an exposition of gauge theory and the standard model of elementary particle physics. Mathematical rigour combined with an informal style makes this a very accessible book and will provide the reader with an enjoyable panorama of interesting mathematics and physics.

The human brain is made up of 85 billion neurons, which are connected by over 100 trillion synapses. For more than a century, a diverse array of researchers searched for a language that could be used to capture the essence of what these neurons do and how they communicate. The language they were looking for was mathematics, and we would not be able to understand the brain as we do today without it. In Models of the Mind, author and computational neuroscientist Grace Lindsay explains how mathematical models have allowed scientists to understand and describe many of the brain's processes. She introduces readers to the most important concepts in modern neuroscience, and highlights the tensions that arise when the abstract world of mathematical modelling collides with the messy details of biology. Each chapter of Models of the Mind focuses on mathematical tools that have been applied in a particular area of neuroscience, progressing from the simplest building block of the brain - the individual neuron - through to circuits of interacting neurons, whole brain areas and even the behaviours that brains command. Grace examines the history of the field, starting with experiments done on frog legs in the late eighteenth century and building to the large models of artificial neural networks that form the basis of modern artificial intelligence. Throughout, she reveals the value of using the elegant language of mathematics to describe the machinery of neuroscience.

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

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

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that, conversely, concepts and methods originating from randomness enrich computability theory.
Covering the basics as well as recent research results, this book provides a very readable introduction to the exciting interface of computability and randomness for graduates and researchers in computability theory, theoretical computer science, and measure theory.

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

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

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

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

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

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

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

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

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

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

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

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

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

This book presents the complex topic of using computational intelligence for pattern recognition in a straightforward and applicable way, using Matlab to illustrate topics and concepts. The author covers computational intelligence tools like particle swarm optimization, bacterial foraging, simulated annealing, genetic algorithm, and artificial neural networks. The Matlab based illustrations along with the code are given for every topic. Readers get a quick basic understanding of various pattern recognition techniques using only the required depth in math. The Matlab program and algorithm are given along with the running text, providing clarity and usefulness of the various techniques. Presents pattern recognition and the computational intelligence using Matlab; Includes mixtures of theory, math, and algorithms, letting readers understand the concepts quickly; Outlines an array of classifiers, various regression models, statistical tests and the techniques for pattern recognition using computational intelligence.

Designed for non-expert student, enthusiast, or researcher, this two-volume text provides an accessible introduction to numerical computation and its applications in science and engineering. It assumes no prior knowledge beyond undergraduate calculus and elementary computer programming. Fundamental and practical issues are discussed in a unified manner with a generous, but not excessive, dose of numerical analysis. Topics are introduced on a need to know basis to concisely illustrate the practical implementation of a variety of algorithms and demystify seemingly esoteric numerical methods. Algorithms that can be explained without too much elaboration and can be implemented within a few dozen lines of computer code are discussed in detail, and computer programs in Fortran, C++, and Matlab are provided. Algorithms whose underlying theories require long, elaborate explanations are discussed at the level of first principles, and references for further information are given. The book uses numerous schematic illustrations to demonstrate concepts and facilitate their understanding by providing readers with a helpful interplay between ideas and visual images. Real-world examples drawn from various branches of science and engineering are presented. Updated information on computer technology and numerical methods is included, many new and some original topics are introduced. Additional solved and unsolved problems are included.

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

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

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

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

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

Optimization is a key concept in mathematics, computer science, and operations research, and is essential to the modeling of any system, playing an integral role in computer-aided design. Fundamentals of Optimization Techniques with Algorithms presents a complete package of various traditional and advanced optimization techniques along with a variety of example problems, algorithms and MATLAB (c) code optimization techniques, for linear and nonlinear single variable and multivariable models, as well as multi-objective and advanced optimization techniques. It presents both theoretical and numerical perspectives in a clear and approachable way. In order to help the reader apply optimization techniques in practice, the book details program codes and computer-aided designs in relation to real-world problems. Ten chapters cover, an introduction to optimization; linear programming; single variable nonlinear optimization; multivariable unconstrained nonlinear optimization; multivariable constrained nonlinear optimization; geometric programming; dynamic programming; integer programming; multi-objective optimization; and nature-inspired optimization. This book provides accessible coverage of optimization techniques, and helps the reader to apply them in practice.

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

This book presents recent mathematical methods in the area of inverse problems in imaging with a particular focus on the computational aspects and applications. The formulation of inverse problems in imaging requires accurate mathematical modeling in order to preserve the significant features of the image. The book describes computational methods to efficiently address these problems based on new optimization algorithms for smooth and nonsmooth convex minimization, on the use of structured (numerical) linear algebra, and on multilevel techniques. It also discusses various current and challenging applications in fields such as astronomy, microscopy, and biomedical imaging. The book is intended for researchers and advanced graduate students interested in inverse problems and imaging.

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