This book is a description of why and how to do Scientific Computing for fundamental models of fluid flow. It contains introduction, motivation, analysis, and algorithms and is closely tied to freely available MATLAB codes that implement the methods described. The focus is on finite element approximation methods and fast iterative solution methods for the consequent linear(ized) systems arising in important problems that model incompressible fluid flow. The problems addressed are the Poisson equation, Convection-Diffusion problem, Stokes problem and Navier-Stokes problem, including new material on time-dependent problems and models of multi-physics. The corresponding iterative algebra based on preconditioned Krylov subspace and multigrid techniques is for symmetric and positive definite, nonsymmetric positive definite, symmetric indefinite and nonsymmetric indefinite matrix systems respectively. For each problem and associated solvers there is a description of how to compute together with theoretical analysis that guides the choice of approaches and describes what happens in practice in the many illustrative numerical results throughout the book (computed with the freely downloadable IFISS software). All of the numerical results should be reproducible by readers who have access to MATLAB and there is considerable scope for experimentation in the "computational laboratory " provided by the software. Developments in the field since the first edition was published have been represented in three new chapters covering optimization with PDE constraints (Chapter 5); solution of unsteady Navier-Stokes equations (Chapter 10); solution of models of buoyancy-driven flow (Chapter 11). Each chapter has many theoretical problems and practical computer exercises that involve the use of the IFISS software. This book is suitable as an introduction to iterative linear solvers or more generally as a model of Scientific Computing at an advanced undergraduate or beginning graduate level.

This book gathers the latest advances, innovations, and applications in the field of computational engineering, as presented by leading international researchers and engineers at the 26th International Conference on Computational & Experimental Engineering and Sciences (ICCES), held in Phuket, Thailand on January 6-10, 2021. ICCES covers all aspects of applied sciences and engineering: theoretical, analytical, computational, and experimental studies and solutions of problems in the physical, chemical, biological, mechanical, electrical, and mathematical sciences. As such, the book discusses highly diverse topics, including composites; bioengineering & biomechanics; geotechnical engineering; offshore & arctic engineering; multi-scale & multi-physics fluid engineering; structural integrity & longevity; materials design & simulation; and computer modeling methods in engineering. The contributions, which were selected by means of a rigorous international peer-review process, highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.

This extended and revised second edition is intended for engineering students and researchers working with finite element methods in structural and mechanical analysis. Discussing numerical structural analysis from first mechanical and mathematical principles, it establishes the central role of influence functions (Green's functions) in finite element analysis, reanalysis, sensitivity analysis, parameter identification and in optimization, with a particular focus on computational aspects and questions of accuracy. It also presents a one-click reanalysis, a new technique that allows instantaneous modifications to a structure to be made by clicking on single elements. Lastly, the book features four programs that can be downloaded for the solution of the Poisson equation, 2-D elasticity, plate-bending problems and planar frames.

This book is intended to be a useful contribution for the modern teaching of applied mathematics, educating Industrial Mathematicians that will meet the growing demand for such experts. It covers many applications where mathematics play a fundamental role, from biology, telecommunications, medicine, physics, finance and industry. It is presented in such a way that can be useful in Modelation, Simulation and Optimization courses, targeting master and PhD students. Its content is based on many editions from the successful series of Modelling Weeks organized by the European Consortium of Mathematics in Industry (ECMI). Each chapter addresses a particular problem, and is written in a didactic way, providing the description of the problem, the particular way of approaching it and the proposed solution, along with the results obtained.

Inverse problems such as imaging or parameter identification deal with the recovery of unknown quantities from indirect observations, connected via a model describing the underlying context. While traditionally inverse problems are formulated and investigated in a static setting, we observe a significant increase of interest in time-dependence in a growing number of important applications over the last few years. Here, time-dependence affects a) the unknown function to be recovered and / or b) the observed data and / or c) the underlying process. Challenging applications in the field of imaging and parameter identification are techniques such as photoacoustic tomography, elastography, dynamic computerized or emission tomography, dynamic magnetic resonance imaging, super-resolution in image sequences and videos, health monitoring of elastic structures, optical flow problems or magnetic particle imaging to name only a few. Such problems demand for innovation concerning their mathematical description and analysis as well as computational approaches for their solution.

This book covers two major classes of mixed effects models, linear mixed models and generalized linear mixed models. It presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. The book offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it includes recently developed methods, such as mixed model diagnostics, mixed model selection, and jackknife method in the context of mixed models. The book is aimed at students, researchers and other practitioners who are interested in using mixed models for statistical data analysis.

This book highlights essential concepts in connection with the traditional bat algorithm and its recent variants, as well as its application to find optimal solutions for a variety of real-world engineering and medical problems. Today, swarm intelligence-based meta-heuristic algorithms are extensively being used to address a wide range of real-world optimization problems due to their adaptability and robustness. Developed in 2009, the bat algorithm (BA) is one of the most successful swarm intelligence procedures, and has been used to tackle optimization tasks for more than a decade. The BA's mathematical model is quite straightforward and easy to understand and enhance, compared to other swarm approaches. Hence, it has attracted the attention of researchers who are working to find optimal solutions in a diverse range of domains, such as N-dimensional numerical optimization, constrained/unconstrained optimization and linear/nonlinear optimization problems. Along with the traditional BA, its enhanced versions are now also being used to solve optimization problems in science, engineering and medical applications around the globe.

This book evaluates the seismic performance of concrete gravity dams, considering the effects of strong motion duration, mainshock-aftershock seismic sequence, and near-fault ground motion. It employs both the extended finite element method (XFEM) and concrete damaged plasticity (CDP) models to characterize the mechanical behavior of concrete gravity dams under strong ground motions, including the dam-reservoir-foundation interaction. In addition, it discusses the effects of the initial crack, earthquake direction, and cross-stream seismic excitation on the nonlinear dynamic response to strong ground motions, and on the damage-cracking risk of concrete gravity dams. This book provides a theoretical basis for the seismic performance evaluation of high dams, and can also be used as a reference resource for researchers and graduate students engaged in the seismic design of high dams.

This book presents theoretical modeling and numerical simulations applied to drive several applications towards Industrial Revolution 4.0 (IR 4.0). The topics discussed range from theoretical parts to extensive simulations involving many efficient algorithms as well as various statistical techniques. This book is suitable for postgraduate students, researchers as well as other scientists who are working in mathematics, statistics and numerical modeling and simulation.

To put the world of linear algebra to advanced use, it is not enough to merely understand the theory; there is a significant gap between the theory of linear algebra and its myriad expressions in nearly every computational domain. To bridge this gap, it is essential to process the theory by solving many exercises, thus obtaining a firmer grasp of its diverse applications. Similarly, from a theoretical perspective, diving into the literature on advanced linear algebra often reveals more and more topics that are deferred to exercises instead of being treated in the main text. As exercises grow more complex and numerous, it becomes increasingly important to provide supporting material and guidelines on how to solve them, supporting students' learning process. This book provides precisely this type of supporting material for the textbook "Numerical Linear Algebra and Matrix Factorizations," published as Vol. 22 of Springer's Texts in Computational Science and Engineering series. Instead of omitting details or merely providing rough outlines, this book offers detailed proofs, and connects the solutions to the corresponding results in the textbook. For the algorithmic exercises the utmost level of detail is provided in the form of MATLAB implementations. Both the textbook and solutions are self-contained. This book and the textbook are of similar length, demonstrating that solutions should not be considered a minor aspect when learning at advanced levels.

Functions and their properties have been part of the rigorous precollege curriculum for decades. And functional equations have been a favorite topic of the leading national and international mathematical competitions. Yet the subject has not received equal attention by authors at an introductory level. The majority of the books on the topic remain unreachable to the curious and intelligent precollege student. The present book is an attempt to eliminate this disparity. The book opens with a review chapter on functions, which collects the relevant foundational information on functions, plus some material potentially new to the reader. The next chapter presents a working definition of functional equations and explains the difficulties in trying to systematize the theory. With each new chapter, the author presents methods for the solution of a particular group of equations. Each chapter is complemented with many solved examples, the majority of which are taken from mathematical competitions and professional journals. The book ends with a chapter of unsolved problems and some other auxiliary material. The book is an invaluable resource for precollege and college students who want to deepen their knowledge of functions and their properties, for teachers and instructors who wish to enrich their curricula, and for any lover of mathematical problem-solving techniques.

Sparse grids are a popular tool for the numerical treatment of high-dimensional problems. Where classical numerical discretization schemes fail in more than three or four dimensions, sparse grids, in their different flavors, are frequently the method of choice. This volume of LNCSE presents selected papers from the proceedings of the fifth workshop on sparse grids and applications, and demonstrates once again the importance of this numerical discretization scheme. The articles present recent advances in the numerical analysis of sparse grids in connection with a range of applications including uncertainty quantification, plasma physics simulations, and computational chemistry, to name but a few.

This book is the first comprehensive tutorial on matheuristics. Matheuristics are based on mathematical extensions of previously known heuristics, mainly metaheuristics, and on original, area-specific approaches. This tutorial provides a detailed discussion of both contributions, presenting the pseudocodes of over 40 algorithms, abundant literature references, and for each case a step-by-step description of a sample run on a common Generalized Assignment Problem example. C++ source codes of all algorithms are available in an associated SW repository.

This book is a comprehensive collection of extended contributions from the Workshops on Computational Optimization 2019.Our everyday life is unthinkable without optimization. We try to minimize our effort and to maximize the achieved profit. Many real-world and industrial problems arising in engineering, economics, medicine and other domains can be formulated as optimization tasks. This book presents recent advances in computational optimization. The book includes important real problems like modeling of physical processes, wildfire and flood risk modeling, workforce planning, parameter settings for controlling different processes, optimal electrical vehicle modeling, bioreactor modeling and design of VLSI. It shows how to develop algorithms for them based on new intelligent methods like evolutionary computations, ant colony optimization, constrain programming and others. This research demonstrates how some real-world problems arising in engineering, economics and other domains can be formulated as optimization problems.

This companion piece to the author's 2018 book, A Software Repository for Orthogonal Polynomials, focuses on Gaussian quadrature and the related Christoffel function. The book makes Gauss quadrature rules of any order easily accessible for a large variety of weight functions and for arbitrary precision. It also documents and illustrates known as well as original approximations for Gauss quadrature weights and Christoffel functions. The repository contains 60 datasets, each dealing with a particular weight function. Included are classical, quasi-classical, and, most of all, nonclassical weight functions and associated orthogonal polynomials.

This book gathers contributions from the 15th ICOLD Benchmark Workshop on Numerical Analysis of Dams. The workshop provided an opportunity for engineers, researchers and operators to present and exchange their experiences and the latest advances in numerical modelling in the context of the design, performance and monitoring of dams. Covering various aspects of computer analysis tools and safety assessment criteria, and their development over recent decades, the book is a valuable reference resource for those in the engineering community involved in the safety, planning, design, construction, operation and maintenance of dams.

This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theory can help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text.

This volume highlights the mathematical research presented at the 2019 Association for Women in Mathematics (AWM) Research Symposium held at Rice University, April 6-7, 2019. The symposium showcased research from women across the mathematical sciences working in academia, government, and industry, as well as featured women across the career spectrum: undergraduates, graduate students, postdocs, and professionals. The book is divided into eight parts, opening with a plenary talk and followed by a combination of research paper contributions and survey papers in the different areas of mathematics represented at the symposium: algebraic combinatorics and graph theory algebraic biology commutative algebra analysis, probability, and PDEs topology applied mathematics mathematics education

This book addresses the global study of finite and infinite singularities of planar polynomial differential systems, with special emphasis on quadratic systems. While results covering the degenerate cases of singularities of quadratic systems have been published elsewhere, the proofs for the remaining harder cases were lengthier. This book covers all cases, with half of the content focusing on the last non-degenerate ones. The book contains the complete bifurcation diagram, in the 12-parameter space, of global geometrical configurations of singularities of quadratic systems. The authors' results provide - for the first time - global information on all singularities of quadratic systems in invariant form and their bifurcations. In addition, a link to a very helpful software package is included. With the help of this software, the study of the algebraic bifurcations becomes much more efficient and less time-consuming. Given its scope, the book will appeal to specialists on polynomial differential systems, pure and applied mathematicians who need to study bifurcation diagrams of families of such systems, Ph.D. students, and postdoctoral fellows.

This book engages in an ongoing topic, such as the implementation of nature-inspired metaheuristic algorithms, with a main concentration on optimization problems in different fields of engineering optimization applications. The chapters of the book provide concise overviews of various nature-inspired metaheuristic algorithms, defining their profits in obtaining the optimal solutions of tiresome engineering design problems that cannot be efficiently resolved via conventional mathematical-based techniques. Thus, the chapters report on advanced studies on the applications of not only the traditional, but also the contemporary certain nature-inspired metaheuristic algorithms to specific engineering optimization problems with single and multi-objectives. Harmony search, artificial bee colony, teaching learning-based optimization, electrostatic discharge, grasshopper, backtracking search, and interactive search are just some of the methods exhibited and consulted step by step in application contexts. The book is a perfect guide for graduate students, researchers, academicians, and professionals willing to use metaheuristic algorithms in engineering optimization applications.

Based on the "Fourth International Conference on Dynamics of Disasters" (Kalamata, Greece, July 2019), this volume includes contributions from experts who share their latest discoveries on natural and unnatural disasters. Authors provide overviews of the tactical points involved in disaster relief, outlines of hurdles from mitigation and preparedness to response and recovery, and uses for mathematical models to describe natural and man-made disasters. Topics covered include economics, optimization, machine learning, government, management, business, humanities, engineering, medicine, mathematics, computer science, behavioral studies, emergency services, and environmental studies will engage readers from a wide variety of fields and backgrounds.

Electroencephalography and magnetoencephalography are the two most efficient techniques to study the functional brain. This book completely aswers the fundamental mathematical question of uniqueness of the representations obtained using these techniques, and also covers many other concrete results for special geometric models of the brain, presenting the research of the authors and their groups in the last two decades.

This monograph is devoted to a new class of non-commutative rings, skew Poincare-Birkhoff-Witt (PBW) extensions. Beginning with the basic definitions and ring-module theoretic/homological properties, it goes on to investigate finitely generated projective modules over skew PBW extensions from a matrix point of view. To make this theory constructive, the theory of Groebner bases of left (right) ideals and modules for bijective skew PBW extensions is developed. For example, syzygies and the Ext and Tor modules over these rings are computed. Finally, applications to some key topics in the noncommutative algebraic geometry of quantum algebras are given, including an investigation of semi-graded Koszul algebras and semi-graded Artin-Schelter regular algebras, and the noncommutative Zariski cancellation problem. The book is addressed to researchers in noncommutative algebra and algebraic geometry as well as to graduate students and advanced undergraduate students.

This book presents a novel approach to umbral calculus, which uses only elementary linear algebra (matrix calculus) based on the observation that there is an isomorphism between Sheffer polynomials and Riordan matrices, and that Sheffer polynomials can be expressed in terms of determinants. Additionally, applications to linear interpolation and operator approximation theory are presented in many settings related to various families of polynomials.

Besides their well-known value in number theory, continued fractions are also a useful tool in modern numerical applications and computer science. The goal of the book is to revisit the almost forgotten classical theory and to contextualize it for contemporary numerical applications and signal processing, thus enabling students and scientist to apply classical mathematics on recent problems. The books tries to be mostly self-contained and to make the material accessible for all interested readers. This provides a new view from an applied perspective, combining the classical recursive techniques of continued fractions with orthogonal problems, moment problems, Prony's problem of sparse recovery and the design of stable rational filters, which are all connected by continued fractions.