الصفحة 17
الصفحة 17
img

Advances in Automatic Differentiation

Covers advances in automatic differentiation theory and practice. Computer scientists and mathematicians will learn about recent developments in automatic differentiation theory as well as mechanisms for the construction of robust and powerful automatic differentiation tools. Computational scientists and engineers will benefit from the discussion of various applications, which provide insight into effective strategies for using automatic differentiation for inverse problems and design optimization.

img

Advanced Real Analysis

Basic Real Analysis and Advanced Real Analysis (available separately or together as a Set) systematically develop those concepts and tools in real analysis that are vital to every mathematician, whether pure or applied, aspiring or established. These works present a comprehensive treatment with a global view of the subject, emphasizing the connections between real analysis and other branches of mathematics.

img

Advanced Multivariate Statistics with Matrices

Presents important tools and techniques for treating problems in m- ern multivariate statistics in a systematic way. The ambition is to indicate new directions as well as to present the classical part of multivariate statistical analysis in this framework.

img

Advanced Linear Algebra

For the third edition, the author has added a new chapter on associative algebras that includes the well known characterizations of the finite-dimensional division algebras over the real field (a theorem of Frobenius) and over a finite field (Wedderburn's theorem); polished and refined some arguments (such as the discussion of reflexivity, the rational canonical form, best approximations and the definitions of tensor products); upgraded some proofs that were originally done only for finite-dimensional/rank cases; added new theorems, including the spectral mapping theorem; considerably expanded the reference section with over a hundred references to books on linear algebra.

img

Advanced Linear Algebra

The first part of the book contains a careful but rapid discussion of the basics of linear algebra, including vector spaces, linear transformations, quotient spaces, and isomorphism theorems. The author then proceeds to modules, emphasizing a comparison with vector spaces. A thorough discussion of inner product spaces, eigenvalues, eigenvectors, and finite dimensional spectral theory follows, culminating in the finite dimensional spectral theorem for normal operators. The second part of the book is a collection of topics, including metric vector spaces, metric spaces, Hilbert spaces, tensor products, and affine geometry. The last chapter discusses the umbral calculus, an area of modern algebra with many important applications.

img

Advanced Algebra : Along with a companion Vol. Basic Algebra

Basic Algebra and Advanced Algebra systematically develop concepts and tools in algebra that are vital to every mathematician, whether pure or applied, aspiring or established. Together, the two books give the reader a global view of algebra and its role in mathematics as a whole.

img

Adaptive Mesh Refinement - Theory and Applications; Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3-5, 2003

Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and science. Originally developed for computational fluid dynamics applications these methods have propagated to fields as diverse as astrophysics, climate modeling, combustion, biophysics and many others. The underlying physical models and equations used in these disciplines are rather different, yet algorithmic and implementation issues facing practitioners are often remarkably similar. Unfortunately, there has been little effort to review the advances and outstanding issues of adaptive mesh refinement methods across such a variety of fields. This book attempts to bridge this gap. The book presents a collection of papers by experts in the field of AMR who analyze past advances in the field and evaluate the current state of adaptive mesh refinement methods in scientific computing.

img

Adaptive Atmospheric Modeling : Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications

This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, it functions as a starting point for readers interested in adaptive modeling, in atmospheric sciences and beyond. Coverage includes paradigms of adaptive techniques, such as error estimation and adaptation criteria. Mesh generation methods are presented for triangular/tetrahedral and quadrilateral/hexahedral meshes, with a special section on initial meshes for the sphere.

img

Abstract Harmonic Analysis of Continuous Wavelet Transforms

This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their close connection to the Plancherel formula for locally compact groups. The connection is demonstrated by the discussion of a toy example, and then employed for two purposes: Mathematically, it serves as a powerful tool, yielding existence results and criteria for inversion formulae which generalize many of the known results. Moreover, the connection provides the starting point for a – reasonably self-contained – exposition of Plancherel theory. Therefore, the book can also be read as a problem-driven introduction to the Plancherel formula.

img

Abstract Algebra

In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the last chapters, on universal algebras and categories, including tripleability, give valuable general views of algebra.

img

Absolute Stability of Nonlinear Control Systems

Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor Pei Yu, has created a second edition of his seminal work on the subject. Liao begins with an introduction to the Lurie problem and the Lurie control system, before moving on to the simple algebraic sufficient conditions for the absolute stability of autonomous and non-autonomous ODE systems, as well as several special classes of Lurie-type systems. The focus of the book then shifts toward the new results and research that have appeared in the decade since the first edition was published. This includes nonlinear control systems with multiple controls, interval control systems, time-delay and neutral Lurie control systems, systems described by functional differential equations, the absolute stability for neural networks, as well as applications to chaos control and chaos synchronization.

img

A Theory of Shape Identification

Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have been applied to image stitching, stereo vision, image mosaics, solid object recognition and video or web image retrieval. More fundamentally, the ability of humans and animals to detect and recognize shapes is one of the enigmas of perception. The book describes a complete method that starts from a query image and an image database and yields a list of the images in the database containing shapes present in the query image. A false alarm number is associated to each detection. Many experiments will show that familiar simple shapes or images can reliably be identified with false alarm numbers ranging from 10-5 to less than 10-300.

img

A Taste of Topology

The present book grew out of notes for an introductory topology course at the University of Alberta. It provides a concise introduction to set-theoretic topology (and to a tiny little bit of algebraic topology). Great care has been devoted to the selection of examples that are not self-serving, but already accessible for students who have a background in calculus and elementary algebra, but not necessarily in real or complex analysis.

img

A Singular Introduction to Commutative Algebra

Aims to lead a further stage in the computational revolution in commutative algebra. Another feature of the book is its breadth of coverage of theoretical topics in the portions of commutative algebra closest to algebraic geometry, with algorithmic treatments of almost every topic.

img

A Short Course on Operator Semigroups

Gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on Banach spaces. It treats the fundamental Hille-Yosida generation theorem as well as perturbation and approximation theorems for generators and semigroups.

img

A Remarkable Collection of Babylonian Mathematical Texts : Manuscripts in the Schøyen Collection: Cuneiform Texts I

This new text from Jöran Friberg, the leading expert on Babylonian mathematics, presents 130 previously unpublished mathematical clay tablets from the Norwegian Schøyen collection, and provides a synthesis of the author's most important work. Through a close study of these tablets, Friberg has made numerous amazing discoveries, including the first known examples of pre-Classical labyrinths and mazes, a new understanding of the famous table text Plimpton 322, and new evidence of Babylonian familiarity with sophisticated mathematical ideas and objects, such as the three-dimensional Pythagorean equation and the icosahedron.

img

A Posteriori Error Analysis Via Duality Theory : With Applications in Modeling and Numerical Approximations

This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially those arising in mechanical applications, and for numerical approximations of numerous nonlinear variational problems. The author avoids giving the results in the most general, abstract form so that it is easier for the reader to understand more clearly the essential ideas involved. Many examples are included to show the usefulness of the derived error estimates.

img

A Natural Introduction to Probability Theory

According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, and the left hand refers to ‘pro- bilistic thinking’. The combination of these two aspects makes probability theory one of the most exciting ?elds in mathematics. One can study probability as a purely mathematical enterprise, but even when you do that, all the concepts that arisedo haveameaningontheintuitivelevel.Forinstance,wehaveto de?newhat we mean exactly by independent events as a mathematical concept, but clearly, we all know that when we ?ip a coin twice, the event that the ?rst gives heads is independent of the event that the second gives tails.

img

A Modern Theory of Factorial Design

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is extremely popular in various fields of application, including engineering, agriculture, medicine and life sciences. Factorial experiments are often used in case studies in quality management and Design for Six Sigma (DFSS).Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is extremely popular in various fields of application, including engineering, agriculture, medicine and life sciences. Factorial experiments are often used in case studies in quality management and Design for Six Sigma (DFSS).

img

A Modern Perspective on Type Theory : From its Origins until Today

The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt

عدد النتائج بكل صفحة