These lecture notes provide a systematic introduction to matrix models of quantum field theories with non-commutative and fuzzy geometries. The book initially focuses on the matrix formulation of non-commutative and fuzzy spaces, followed by a description of the non-perturbative treatment of the corresponding field theories. As an example, the phase structure of non-commutative phi-four theory is treated in great detail, with a separate chapter on the multitrace approach. The last chapter offers a general introduction to non-commutative gauge theories, while two appendices round out the text. Primarily written as a self-study guide for postgraduate students - with the aim of pedagogically introducing them to key analytical and numerical tools, as well as useful physical models in applications - these lecture notes will also benefit experienced researchers by providing a reference guide to the fundamentals of non-commutative field theory with an emphasis on matrix models and fuzzy geometries.

This book treats the derivation and implementation of a unified particle finite element formulation for the solution of fluid and solid mechanics, Fluid-Structure Interaction (FSI) and coupled thermal problems. FSI problems are involved in many engineering branches, from aeronautics to civil and biomedical engineering. The numerical method proposed in this book has been designed to deal with a large part of these. In particular, it is capable of simulating accurately free-surface fluids interacting with structures that may undergo large displacements, suffer from thermo-plastic deformations and even melt. The method accuracy has been successfully verified in several numerical examples. The thesis also contains the application of the proposed numerical strategy for the simulation of a real industrial problem. This thesis, defended at the Universitat Politecnica de Catalunya in 2015, was selected (ex aequo) as the best PhD thesis in numerical methods in Spain for the year 2015 by the Spanish Society of Numerical Methods in Engineering (SEMNI).

Mathematical analyses and computational predictions of the behavior of complex systems are needed to effectively deal with weather and climate predictions, for example, and the optimal design of technical processes. Given the random nature of such systems and the recognized relevance of randomness, the equations used to describe such systems usually need to involve stochastics. The basic goal of this book is to introduce the mathematics and application of stochastic equations used for the modeling of complex systems. A first focus is on the introduction to different topics in mathematical analysis. A second focus is on the application of mathematical tools to the analysis of stochastic equations. A third focus is on the development and application of stochastic methods to simulate turbulent flows as seen in reality. This book is primarily oriented towards mathematics and engineering PhD students, young and experienced researchers, and professionals working in the area of stochastic differential equations and their applications. It contributes to a growing understanding of concepts and terminology used by mathematicians, engineers, and physicists in this relatively young and quickly expanding field.

Modern imaging techniques and computational simulations yield complex multi-valued data that require higher-order mathematical descriptors. This book addresses topics of importance when dealing with such data, including frameworks for image processing, visualization and statistical analysis of higher-order descriptors. It also provides examples of the successful use of higher-order descriptors in specific applications and a glimpse of the next generation of diffusion MRI. To do so, it combines contributions on new developments, current challenges in this area and state-of-the-art surveys. Compared to the increasing importance of higher-order descriptors in a range of applications, tools for analysis and processing are still relatively hard to come by. Even though application areas such as medical imaging, fluid dynamics and structural mechanics are very different in nature they face many shared challenges. This book provides an interdisciplinary perspective on this topic with contributions from key researchers in disciplines ranging from visualization and image processing to applications. It is based on the 5th Dagstuhl seminar on Visualization and Processing of Higher Order Descriptors for Multi-Valued Data. This book will appeal to scientists who are working to develop new analysis methods in the areas of image processing and visualization, as well as those who work with applications that generate higher-order data or could benefit from higher-order models and are searching for novel analytical tools.

This volume consists of contributions spanning a wide spectrum of harmonic analysis and its applications written by speakers at the February Fourier Talks from 2002 - 2013. Containing cutting-edge results by an impressive array of mathematicians, engineers, and scientists in academia, industry, and government, it will be an excellent reference for graduate students, researchers, and professionals in pure and applied mathematics, physics, and engineering. Topics covered include * spectral analysis and correlation; * radar and communications: design, theory, and applications; * sparsity * special topics in harmonic analysis. The February Fourier Talks are held annually at the Norbert Wiener Center for Harmonic Analysis and Applications. Located at the University of Maryland, College Park, the Norbert Wiener Center provides a state-of- the-art research venue for the broad emerging area of mathematical engineering.

The objective of Kai Zhang and his research is to assess the existing process monitoring and fault detection (PM-FD) methods. His aim is to provide suggestions and guidance for choosing appropriate PM-FD methods, because the performance assessment study for PM-FD methods has become an area of interest in both academics and industry. The author first compares basic FD statistics, and then assesses different PM-FD methods to monitor the key performance indicators of static processes, steady-state dynamic processes and general dynamic processes including transient states. He validates the theoretical developments using both benchmark and real industrial processes.

This book deals with solving mathematically the unsteady flame propagation equations. New original mathematical methods for solving complex non-linear equations and investigating their properties are presented. Pole solutions for flame front propagation are developed. Premixed flames and filtration combustion have remarkable properties: the complex nonlinear integro-differential equations for these problems have exact analytical solutions described by the motion of poles in a complex plane. Instead of complex equations, a finite set of ordinary differential equations is applied. These solutions help to investigate analytically and numerically properties of the flame front propagation equations.

This edited volume highlights the scientific contributions of Volker Mehrmann, a leading expert in the area of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory. These mathematical research areas are strongly related and often occur in the same real-world applications. The main areas where such applications emerge are computational engineering and sciences, but increasingly also social sciences and economics. This book also reflects some of Volker Mehrmann's major career stages. Starting out working in the areas of numerical linear algebra (his first full professorship at TU Chemnitz was in "Numerical Algebra," hence the title of the book) and matrix theory, Volker Mehrmann has made significant contributions to these areas ever since. The highlights of these are discussed in Parts I and II of the present book. Often the development of new algorithms in numerical linear algebra is motivated by problems in system and control theory. These and his later major work on differential-algebraic equations, to which he together with Peter Kunkel made many groundbreaking contributions, are the topic of the chapters in Part III. Besides providing a scientific discussion of Volker Mehrmann's work and its impact on the development of several areas of applied mathematics, the individual chapters stand on their own as reference works for selected topics in the fields of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory.

This book compiles solutions of linear theory of elasticity problems for isotropic and anisotropic bodies with sharp and rounded notches. It contains an overview of established and recent achievements, and presents the authors' original solutions in the field considered with extensive discussion. The volume demonstrates through numerous, useful examples the effectiveness of singular integral equations for obtaining exact solutions of boundary problems of the theory of elasticity for bodies with cracks and notches. Incorporating analytical and numerical solutions of the problems of stress concentrations in solid bodies with crack-like defects, this volume is ideal for scientists and PhD students dealing with the problems of theory of elasticity and fracture mechanics.

Together, the volumes in this series present all of the data needed at various length scales for a multidisciplinary approach to modeling and simulation of flows in the cardiovascular and ventilatory systems, especially multiscale modeling and coupled simulations. The cardiovascular and respiratory systems are tightly coupled, as their primary function is to supply oxygen to and remove carbon dioxide from the body's cells. Because physiological conduits have deformable and reactive walls, macroscopic flow behavior and prediction must be coupled to nano- and microscopic events in a corrector scheme of regulated mechanism. Therefore, investigation of flows of blood and air in anatomical conduits requires an understanding of the biology, chemistry, and physics of these systems together with the mathematical tools to describe their functioning in quantitative terms. The present volume focuses on macroscopic aspects of the cardiovascular and respiratory systems in pathological conditions, i.e., diseases of the cardiac pump, blood vessels, and airways, as well as their treatments. Only diseases that have a mechanical origin or are associated with mechanical disorders are covered. Local flow disturbances can trigger pathophysiological processes or, conversely, result from diseases of conduit walls or their environment. The ability to model these phenomena is essential to the development and manufacturing of medical devices, which incorporate a stage of numerical tests in addition to experimental procedures.

The papers in this volume represent the most timely and advanced contributions to the 2014 Joint Applied Statistics Symposium of the International Chinese Statistical Association (ICSA) and the Korean International Statistical Society (KISS), held in Portland, Oregon. The contributions cover new developments in statistical modeling and clinical research: including model development, model checking, and innovative clinical trial design and analysis. Each paper was peer-reviewed by at least two referees and also by an editor. The conference was attended by over 400 participants from academia, industry, and government agencies around the world, including from North America, Asia, and Europe. It offered 3 keynote speeches, 7 short courses, 76 parallel scientific sessions, student paper sessions, and social events.

This monograph presents the state of the art in aeroservoelastic (ASE) modeling and analysis and develops a systematic theoretical and computational framework for use by researchers and practicing engineers. It is the first book to focus on the mathematical modeling of structural dynamics, unsteady aerodynamics, and control systems to evolve a generic procedure to be applied for ASE synthesis. Existing robust, nonlinear, and adaptive control methodology is applied and extended to some interesting ASE problems, such as transonic flutter and buffet, post-stall buffet and maneuvers, and flapping flexible wing. The author derives a general aeroservoelastic plant via the finite-element structural dynamic model, unsteady aerodynamic models for various regimes in the frequency domain, and the associated state-space model by rational function approximations. For more advanced models, the full-potential, Euler, and Navier-Stokes methods for treating transonic and separated flows are also briefly addressed. Essential ASE controller design and analysis techniques are introduced to the reader, and an introduction to robust control-law design methods of LQG/LTR and H2/H synthesis is followed by a brief coverage of nonlinear control techniques of describing functions and Lyapunov functions. Practical and realistic aeroservoelastic application examples derived from actual experiments are included throughout. Aeroservoelasiticity fills an important gap in the aerospace engineering literature and will be a valuable guide for graduate students and advanced researchers in aerospace engineering, as well as professional engineers, technicians, and test pilots in the aircraft industry and laboratories.

This textbook offers theoretical and practical knowledge of the finite element method. The book equips readers with the skills required to analyze engineering problems using ANSYS (R), a commercially available FEA program. Revised and updated, this new edition presents the most current ANSYS (R) commands and ANSYS (R) screen shots, as well as modeling steps for each example problem. This self-contained, introductory text minimizes the need for additional reference material by covering both the fundamental topics in finite element methods and advanced topics concerning modeling and analysis. It focuses on the use of ANSYS (R) through both the Graphics User Interface (GUI) and the ANSYS (R) Parametric Design Language (APDL). Extensive examples from a range of engineering disciplines are presented in a straightforward, step-by-step fashion. Key topics include: * An introduction to FEM * Fundamentals and analysis capabilities of ANSYS (R) * Fundamentals of discretization and approximation functions * Modeling techniques and mesh generation in ANSYS (R) * Weighted residuals and minimum potential energy * Development of macro files * Linear structural analysis * Heat transfer and moisture diffusion * Nonlinear structural problems * Advanced subjects such as submodeling, substructuring, interaction with external files, and modification of ANSYS (R)-GUI Electronic supplementary material for using ANSYS (R) can be found at http://link.springer.com/book/10.1007/978-1-4899-7550-8. This convenient online feature, which includes color figures, screen shots and input files for sample problems, allows for regeneration on the reader's own computer. Students, researchers, and practitioners alike will find this an essential guide to predicting and simulating the physical behavior of complex engineering systems."

The book discusses modern channel coding techniques for wireless communications such as turbo codes, low parity check codes (LDPC), space-time coding, Reed Solomon (RS) codes and convolutional codes. Many illustrative examples are included in each chapter for easy understanding of the coding techniques. The text is integrated with MATLAB-based programs to enhance the understanding of the subject's underlying theories. It includes current topics of increasing importance such as turbo codes, LDPC codes, LT codes, Raptor codes and space-time coding in detail, in addition to the traditional codes such as cyclic codes, BCH and RS codes and convolutional codes. MIMO communications is a multiple antenna technology, which is an effective method for high-speed or high-reliability wireless communications. PC-based MATLAB m-files for the illustrative examples are included and also provided on the accompanying CD, which will help students and researchers involved in advanced and current concepts in coding theory. Channel coding, the core of digital communication and data storage, has undergone a major revolution as a result of the rapid growth of mobile and wireless communications. The book is divided into 11 chapters. Assuming no prior knowledge in the field of channel coding, the opening chapters (1 - 2) begin with basic theory and discuss how to improve the performance of wireless communication channels using channel coding. Chapters 3 and 4 introduce Galois fields and present detailed coverage of BCH codes and Reed-Solomon codes. Chapters 5-7 introduce the family of convolutional codes, hard and soft-decision Viterbi algorithms, turbo codes, BCJR algorithm for turbo decoding and studies trellis coded modulation (TCM), turbo trellis coded modulation (TTCM), bit-interleaved coded modulation (BICM) as well as iterative BICM (BICM-ID) and compares them under various channel conditions. Chapters 8 and 9 focus on low-density parity-check (LDPC) codes, LT codes and Raptor codes. Chapters 10 and 11 discuss MIMO systems and space-time (ST) coding.

This book provides a theoretical background of branching processes and discusses their biological applications. Branching processes are a well-developed and powerful set of tools in the field of applied probability. The range of applications considered includes molecular biology, cellular biology, human evolution and medicine. The branching processes discussed include Galton-Watson, Markov, Bellman-Harris, Multitype, and General Processes. As an aid to understanding specific examples, two introductory chapters, and two glossaries are included that provide background material in mathematics and in biology. The book will be of interest to scientists who work in quantitative modeling of biological systems, particularly probabilists, mathematical biologists, biostatisticians, cell biologists, molecular biologists, and bioinformaticians. The authors are a mathematician and cell biologist who have collaborated for more than a decade in the field of branching processes in biology for this new edition. This second expanded edition adds new material published during the last decade, with nearly 200 new references. More material has been added on infinitely-dimensional multitype processes, including the infinitely-dimensional linear-fractional case. Hypergeometric function treatment of the special case of the Griffiths-Pakes infinite allele branching process has also been added. There are additional applications of recent molecular processes and connections with systems biology are explored, and a new chapter on genealogies of branching processes and their applications. Reviews of First Edition: "This is a significant book on applications of branching processes in biology, and it is highly recommended for those readers who are interested in the application and development of stochastic models, particularly those with interests in cellular and molecular biology." (Siam Review, Vol. 45 (2), 2003) "This book will be very interesting and useful for mathematicians, statisticians and biologists as well, and especially for researchers developing mathematical methods in biology, medicine and other natural sciences." (Short Book Reviews of the ISI, Vol. 23 (2), 2003)

This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring, in sufficient but not overwhelming detail, just what it is that computers do with numbers. Divided into two parts, the first deals with standard representations of integers and floating point numbers, while the second details several other number representations. Each chapter ends with exercises to review the key points. Topics covered include interval arithmetic, fixed-point numbers, floating point numbers, big integers and rational arithmetic. This book is for anyone who develops software including software engineerings, scientists, computer science students, engineering students and anyone who programs for fun.

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.

This book provides cutting-edge results on the existence of multiple positive periodic solutions of first-order functional differential equations. It demonstrates how the Leggett-Williams fixed-point theorem can be applied to study the existence of two or three positive periodic solutions of functional differential equations with real-world applications, particularly with regard to the Lasota-Wazewska model, the Hematopoiesis model, the Nicholsons Blowflies model, and some models with Allee effects. Many interesting sufficient conditions are given for the dynamics that include nonlinear characteristics exhibited by population models. The last chapter provides results related to the global appeal of solutions to the models considered in the earlier chapters. The techniques used in this book can be easily understood by anyone with a basic knowledge of analysis. This book offers a valuable reference guide for students and researchers in the field of differential equations with applications to biology, ecology, and the environment.

This book for the first time examines periodic motions to chaos in time-delay systems, which exist extensively in engineering. For a long time, the stability of time-delay systems at equilibrium has been of great interest from the Lyapunov theory-based methods, where one cannot achieve the ideal results. Thus, time-delay discretization in time-delay systems was used for the stability of these systems. In this volume, Dr. Luo presents an accurate method based on the finite Fourier series to determine periodic motions in nonlinear time-delay systems. The stability and bifurcation of periodic motions are determined by the time-delayed system of coefficients in the Fourier series and the method for nonlinear time-delay systems is equivalent to the Laplace transformation method for linear time-delay systems.

This book presents a comprehensive set of guidelines and applications of DIgSILENT PowerFactory, an advanced power system simulation software package, for different types of power systems studies. Written by specialists in the field, it combines expertise and years of experience in the use of DIgSILENT PowerFactory with a deep understanding of power systems analysis. These complementary approaches therefore provide a fresh perspective on how to model, simulate and analyse power systems. It presents methodological approaches for modelling of system components, including both classical and non-conventional devices used in generation, transmission and distribution systems, discussing relevant assumptions and implications on performance assessment. This background is complemented with several guidelines for advanced use of DSL and DPL languages as well as for interfacing with other software packages, which is of great value for creating and performing different types of steady-state and dynamic performance simulation analysis. All employed test case studies are provided as supporting material to the reader to ease recreation of all examples presented in the book as well as to facilitate their use in other cases related to planning and operation studies. Providing an invaluable resource for the formal instruction of power system undergraduate/postgraduate students, this book is also a useful reference for engineers working in power system operation and planning.

This book presents a collection of state of the art research on GPU Computing and Application. The major part of this book is selected from the work presented at the 2013 Symposium on GPU Computing and Applications held in Nanyang Technological University, Singapore (Oct 9, 2013). Three major domains of GPU application are covered in the book including (1) Engineering design and simulation; (2) Biomedical Sciences; and (3) Interactive & Digital Media. The book also addresses the fundamental issues in GPU computing with a focus on big data processing. Researchers and developers in GPU Computing and Applications will benefit from this book. Training professionals and educators can also benefit from this book to learn the possible application of GPU technology in various areas.

This book covers all basic areas of mechanical engineering, such as fluid mechanics, heat conduction, beams and elasticity with detailed derivations for the mass, stiffness and force matrices. It is especially designed to give physical feeling to the reader for finite element approximation by the introduction of finite elements to the elevation of elastic membrane. A detailed treatment of computer methods with numerical examples are provided. In the fluid mechanics chapter, the conventional and vorticity transport formulations for viscous incompressible fluid flow with discussion on the method of solution are presented. The variational and Galerkin formulations of the heat conduction, beams and elasticity problems are also discussed in detail. Three computer codes are provided to solve the elastic membrane problem. One of them solves the Poisson's equation. The second computer program handles the two dimensional elasticity problems and the third one presents the three dimensional transient heat conduction problems. The programs are written in C++ environment.

Matrix algorithms are at the core of scientific computing and are indispensable tools in most applications in engineering. This book offers a comprehensive and up-to-date treatment of modern methods in matrix computation. It uses a unified approach to direct and iterative methods for linear systems, least squares and eigenvalue problems. A thorough analysis of the stability, accuracy, and complexity of the treated methods is given. Numerical Methods in Matrix Computations is suitable for use in courses on scientific computing and applied technical areas at advanced undergraduate and graduate level. A large bibliography is provided, which includes both historical and review papers as well as recent research papers. This makes the book useful also as a reference and guide to further study and research work.

There is a growing body of literature that focuses on the similarities and differences between how people behave in the offline world vs. how they behave in these virtual environments. Data mining has aided in discovering interesting insights with respect to how people behave in these virtual environments. The book addresses prediction, mining and analysis of offline characteristics and behaviors from online data and vice versa. Each chapter will focus on a different aspect of virtual worlds to real world prediction e.g., demographics, personality, location, etc.

This book provides an extensive introduction to numerical computing from the viewpoint of backward error analysis. The intended audience includes students and researchers in science, engineering and mathematics. The approach taken is somewhat informal owing to the wide variety of backgrounds of the readers, but the central ideas of backward error and sensitivity (conditioning) are systematically emphasized. The book is divided into four parts: Part I provides the background preliminaries including floating-point arithmetic, polynomials and computer evaluation of functions; Part II covers numerical linear algebra; Part III covers interpolation, the FFT and quadrature; and Part IV covers numerical solutions of differential equations including initial-value problems, boundary-value problems, delay differential equations and a brief chapter on partial differential equations. The book contains detailed illustrations, chapter summaries and a variety of exercises as well some Matlab codes provided online as supplementary material. "I really like the focus on backward error analysis and condition. This is novel in a textbook and a practical approach that will bring welcome attention." Lawrence F. Shampine A Graduate Introduction to Numerical Methods and Backward Error Analysis" has been selected by Computing Reviews as a notable book in computing in 2013. Computing Reviews Best of 2013 list consists of book and article nominations from reviewers, CR category editors, the editors-in-chief of journals, and others in the computing community.