الصفحة 13
الصفحة 13
Computing in Algebraic Geometry : A Quick Start using SINGULAR
Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference to the actual polynomials used in these systems. … This is especially desirable for classwork where the development of the abstract machinery generally outlasts the patience of the students, except possibly the most motivated ones.
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide an accessible introduction to the mathematical methods needed to deal with these models. They emphasize the use of numerical methods and provide sufficient details for the reader to implement the models and thereby study the effect of various drugs. Examples in the text include stochastic calcium release from internal storage systems in cells, as well as stochastic models of the transmembrane potential. Well known Markov models are studied and a systematic approach to including the effect of mutations is presented.
Computer algebra in scientific computing ; 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.
Computer algebra in scientific computing ; 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
Computer Algebra in Scientific Computing ; 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gröbner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.
Computational Methods in Transport : Verification and Validation
The focus of this book deals with a cross cutting issue affecting all particle transport algorithms and applications; verification and validation (V&V). In other words, are the equations being solved correctly and are the correct equations being solved? Verification and validation assures a scientist, engineer or mathematician that a simulation code is a mirror of reality and not just an expensive computer game. In this book, we will learn what the astrophysicist, atmospheric scientist, mathematician or nuclear engineer do to assess the accuracy of their code. What convergence studies, what error analysis, what problems do each field use to benchmark and ascertain the accuracy of their transport simulations.
Computational Fluid Dynamics for Wind Engineering
Covers topics such as: Fluid mechanics, turbulence in fluid mechanics, turbulence modelling, and mathematical modelling of wind engineering problems The finite difference method for CFD, solutions to the incompressible Navier-Stokes equations, visualization, and animation in CFD, and the application of CFD to building and bridge aerodynamics How to compare CFD analysis with wind tunnel measurements, field measurements, and the ASCE-7 pressure coefficients Wind effects and strain on large structures
Computational Fluid Dynamics for Engineers
This book introduces a wide range of Computational Fluid Dynamics (CFD) methods used in the aerospace industry to solve engineering problems. Its format is arranged so that students and practicing engineers can understand the fundamental principles used in CFD, with sample computer programs for the solution of model problems. The emphasis is on two-dimensional equations in order to present the material in a modest sized book. Source codes for selected problems are given so that the reader can understand how those methods are implemented in FORTRAN and C languages, while exercises provide more hands-on experience.
Computational Electromagnetics
Computational Electromagnetics is a young and growing discipline, expanding as a result of the steadily increasing demand for software for the design and analysis of electrical devices. This book introduces three of the most popular numerical methods for simulating electromagnetic fields: the finite difference method, the finite element method and the method of moments. In particular it focuses on how these methods are used to obtain valid approximations to the solutions of Maxwell's equations, using, for example, "staggered grids" and "edge elements." The main goal of the book is to make the reader aware of different sources of errors in numerical computations, and also to provide the tools for assessing the accuracy of numerical methods and their solutions. To reach this goal, convergence analysis, extrapolation, von Neumann stability analysis, and dispersion analysis are introduced and used frequently throughout the book. Another major goal of the book is to provide students with enough practical understanding of the methods so they are able to write simple programs on their own. To achieve this, the book contains several MATLAB programs and detailed description of practical issues such as assembly of finite element matrices and handling of unstructured meshes.
Computational Discovery of Scientific Knowledge : Introduction, Techniques, and Applications in Environmental and Life Sciences
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at an ever-increasing pace. For the scientist and engineer to benefit from these enhanced data collecting capabilities, it is becoming clear that semi-automated data analysis techniques must be applied to find the useful information in the data. Computational scientific discovery methods can be used to this end: they focus on applying computational methods to automate scientific activities, such as finding laws from observational data. In contrast to mining scientific data, which focuses on building highly predictive models, computational scientific discovery puts a strong emphasis on discovering knowledge represented in formalisms used by scientists and engineers, such as numeric equations and reaction pathways. This state-of-the-art survey provides an introduction to computational approaches to the discovery of scientific knowledge and gives an overview of recent advances in this area, including techniques and applications in environmental and life sciences.
Mathematical Models for Registration and Applications to Medical Imaging
Image registration is an emerging topic in image processing with many applications in medical imaging, picture and movie processing. The classical problem of image registration is concerned with ?nding an appropriate transformation between two data sets. This fuzzy de?nition of registration requires a mathematical modeling and in particular a mathematical speci?cation of the terms appropriate transformations and correlation between data sets. Depending on the type of application, typically Euler, rigid, plastic, elastic deformations are considered. The variety of similarity p measures ranges from a simpleL distance between the pixel values of the data to mutual information or entropy distances. This goal of this book is to highlight by some experts in industry and medicine relevant and emerging image registration applications and to show new emerging mathematical technologies in these areas. Currently, many registration application are solved based on variational prin- ple requiring sophisticated analysis, such as calculus of variations and the theory of partial differential equations, to name but a few. Due to the numerical compl- ity of registration problems ef?cient numerical realization are required. Concepts like multi-level solver for partial differential equations, non-convex optimization, and so on play an important role. Mathematical and numerical issues in the area of registration are discussed by some of the experts in this volume.
Mathematical Modeling of Complex Biological Systems : A Kinetic Theory Approach
Describes the evolution of several socio-biological systems using mathematical kinetic theory. Specifically, it deals with modeling and simulations of biological systems—comprised of large populations of interacting cells—whose dynamics follow the rules of mechanics as well as rules governed by their own ability to organize movement and biological functions. The authors propose a new biological model for the analysis of competition between cells of an aggressive host and cells of a corresponding immune system.Because the microscopic description of a biological system is far more complex than that of a physical system of inert matter, a higher level of analysis is needed to deal with such complexity. Mathematical models using kinetic theory may represent a way to deal with such complexity, allowing for an understanding of phenomena of nonequilibrium statistical mechanics not described by the traditional macroscopic approach. The proposed models are related to the generalized Boltzmann equation and describe the population dynamics of several interacting elements (kinetic population models).The particular models proposed by the authors are based on a framework related to a system of integro-differential equations, defining the evolution of the distribution function over the microscopic state of each element in a given system. Macroscopic information on the behavior of the system is obtained from suitable moments of the distribution function over the microscopic states of the elements involved.
Mathematical Modeling for the Life Sciences
Proposing a wide range of mathematical models that are currently used in life sciences may be regarded as a challenge, and that is precisely the challenge that this book takes up. Of course this panoramic study does not claim to offer a detailed and exhaustive view of the many interactions between mathematical models and life sciences. This textbook provides a general overview of realistic mathematical models in life sciences, considering both deterministic and stochastic models and covering dynamical systems, game theory, stochastic processes and statistical methods. Each mathematical model is explained and illustrated individually with an appropriate biological example. Finally three appendices on ordinary differential equations, evolution equations, and probability are added to make it possible to read this book independently of other literature.
Mathematical Methods in Electro-Magneto-Elasticity
The mechanics of Coupled Fields is a discipline at the edge of modern research connecting Continuum Mechanics with Solid State Physics. It integrates the Mechanics of Continuous Media, Heat Conductivity and the theory of Electromagnetism that are usually studied seperately. For an accurate description of the influence of static and dynamic loadings, high temperatures and strong electromagneticfields in elastic media and constructive installations, a new aproach is required; an approach that has the potential to establish a synergism between the above-mentioned fields. Throughout the book a vast number of problems are considered: two-dimensional problems of electro-magneto-elasticity as well as static and dynamical problems for piecewise homogenous compound piezoelectric plates weakened by cracks and openings. The boundary conditions, the constuctive equations and the mathematical methods for their solution are thoroughly presented, so that the reader can get a clear quantative and qualitative understnding of the phenomena taking place.
Mathematical methods for engineers and scientists 3 : Fourier analysis, partial differential equations and variational methods
Pedagogical insights gained through 30 years of teaching applied mathematics led the author to write this set of student oriented books. Topics such as complex analysis, matrix theory, vector and tensor analysis, Fourier analysis, integral transforms, ordinary and partial differential equations are presented in a discursive style that is readable and easy to follow.
Mathematical methods for engineers and scientists 2 : Vector analysis, ordinary differential equations and laplace transforms
Pedagogical insights gained through 30 years of teaching applied mathematics led the author to write this set of student-oriented books. Topics such as complex analysis, matrix theory, vector and tensor analysis, Fourier analysis, integral transforms, ordinary and partial differential equations are presented in a discursive style that is readable and easy to follow.
Mathematical methods for engineers and scientists 1 : Complex analysis, determinants and matrices
Pedagogical insights gained through 30 years of teaching applied mathematics led the author to write this set of student oriented books. Topics such as complex analysis, matrix theory, vector and tensor analysis, Fourier analysis, integral transforms, ordinary and partial differential equations are presented in a discursive style that is readable and easy to follow.
Mathematical Masterpieces : Further Chronicles by the Explorers
Experience the discovery of mathematics by reading the original work of some of the greatest minds throughout history. Here are the stories of four mathematical adventures, including the Bernoulli numbers as the passage between discrete and continuous phenomena, the search for numerical solutions to equations throughout time, the discovery of curvature and geometric space, and the quest for patterns in prime numbers. Each story is told through the words of the pioneers of mathematical thought. Particular advantages of the historical approach include providing context to mathematical inquiry, perspective to proposed conceptual solutions, and a glimpse into the direction research has taken.
Mathematical Foundation of Turbulent Viscous Flows : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 1-5, 2003
Five leading specialists reflect on different and complementary approaches to fundamental questions in the study of the Fluid Mechanics and Gas Dynamics equations. Constantin presents the Euler equations of ideal incompressible fluids and discusses the blow-up problem for the Navier-Stokes equations of viscous fluids, describing some of the major mathematical questions of turbulence theory.
Mathematical Formulas for Economists
This collection of formulas constitutes a compendium of mathematics for eco nomics and business. It contains the most important formulas, statements and algorithms in this significant subfield of modern mathematics and addresses primarily students of economics or business at universities, colleges and trade schools. But people dealing with practical or applied problems will also find this collection to be an efiicient and easy-to-use work of reference. First the book treats mathematical symbols and constants, sets and state ments, number systems and their arithmetic as well as fundamentals of com binatorics. The chapter on sequences and series is followed by mathematics of finance, the representation of functions of one and several independent vari ables, their differential and integral calculus and by differential and difference equations. In each case special emphasis is placed on applications and models in economics. The chapter on linear algebra deals with matrices, vectors, determinants and systems of linear equations. This is followed by the representation of struc tures and algorithms of linear programming. Finally, the reader finds formu las on descriptive statistics (data analysis, ratios, inventory and time series analysis), on probability theory (events, probabilities, random variables and distributions) and on inductive statistics (point and interval estimates, tests). Some important tables complete the work.
