"The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field." Journal of Symbolic Logic Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and applications of Kolmogorov complexity. The book presents a thorough treatment of the subject with a wide range of illustrative applications. Such applications include the randomness of finite objects or infinite sequences, Martin-Loef tests for randomness, information theory, computational learning theory, the complexity of algorithms, and the thermodynamics of computing. It will be ideal for advanced undergraduate students, graduate students, and researchers in computer science, mathematics, cognitive sciences, philosophy, artificial intelligence, statistics, and physics. The book is self-contained in that it contains the basic requirements from mathematics and computer science. Included are also numerous problem sets, comments, source references, and hints to solutions of problems. New topics in this edition include Omega numbers, Kolmogorov-Loveland randomness, universal learning, communication complexity, Kolmogorov's random graphs, time-limited universal distribution, Shannon information and others.

This book is the outcome of a series of discussions at the Philips Symposium on Intelligent Algorithms, held in Eindhoven in December 2004. It offers exciting and practical examples of the use of intelligent algorithms in ambient and biomedical computing. It contains topics such as bioscience computing, database design, machine consciousness, scheduling, video summarization, audio classification, semantic reasoning, machine learning, tracking and localization, secure computing, and communication.

The ADI Model Problem presents the theoretical foundations of Alternating Direction Implicit (ADI) iteration for systems with both real and complex spectra and extends early work for real spectra into the complex plane with methods for computing optimum iteration parameters for both one and two variable problems. This book provides application of theory to the solution of boundary value problems and description of stable similarity reduction of a full matrix to low-band upper Hessenberg form, with application to computation of eigenvalues and solution of Lyapunov and Sylvester equations. Also included are MATLAB programs and numerical verification of theory and applications.

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniques and analysis.

While preparing and teaching 'Introduction to Geodesy I and II' to undergraduate students at Stuttgart University, we noticed a gap which motivated the writing of the present book: Almost every topic that we taught required some skills in algebra, and in particular, computer algebra! From positioning to transformation problems inherent in geodesy and geoinformatics, knowledge of algebra and application of computer algebra software were required. In preparing this book therefore, we have attempted to put together basic concepts of abstract algebra which underpin the techniques for solving algebraic problems. Algebraic computational algorithms useful for solving problems which require exact solutions to nonlinear systems of equations are presented and tested on various problems. Though the present book focuses mainly on the two ?elds, the concepts and techniques presented herein are nonetheless applicable to other ?elds where algebraic computational problems might be encountered. In Engineering for example, network densi?cation and robotics apply resection and intersection techniques which require algebraic solutions. Solution of nonlinear systems of equations is an indispensable task in almost all geosciences such as geodesy, geoinformatics, geophysics (just to mention but a few) as well as robotics. These equations which require exact solutions underpin the operations of ranging, resection, intersection and other techniques that are normally used. Examples of problems that require exact solutions include; * three-dimensional resection problem for determining positions and orientation of sensors, e. g. , camera, theodolites, robots, scanners etc.

Whether different types of costs are to be reduced, benefits to be maximized or scarce resources to be managed, scheduling theory provides intelligent methods for practitioners and scientists. The just-in-time (JIT) production philosophy has enriched the classical scheduling theory with models that consider characteristics such as inventory costs, set-up times, lot sizing, or maintenance. This edited volume considers the specifics of just-in-time systems. It provides knowledge and insights on recent advances in scheduling theory where just-in-time aspects are considered. Contributions on models, theory, algorithms, and applications, that bring the theory up-to-date on the state-of-the-art of JIT systems are presented. Professionals, researchers and graduate students will find this book useful.

The projectors are considered as simple but important type of matrices and operators. Their basic theory can be found in many books, among which Hal mas [177], [178] are of particular significance. The projectors or projections became an active research area in the last two decades due to ideas generated from linear algebra, statistics and various areas of algorithmic mathematics. There has also grown up a great and increasing number of projection meth ods for different purposes. The aim of this book is to give a unified survey on projectors and projection methods including the most recent results. The words projector, projection and idempotent are used as synonyms, although the word projection is more common. We assume that the reader is familiar with linear algebra and mathemati cal analysis at a bachelor level. The first chapter includes supplements from linear algebra and matrix analysis that are not incorporated in the standard courses. The second and the last chapter include the theory of projectors. Four chapters are devoted to projection methods for solving linear and non linear systems of algebraic equations and convex optimization problems.

The objective of this book is to advance the current knowledge of sensor research particularly highlighting recent advances, current work, and future needs. The goal is to share current technologies and steer future efforts in directions that will benefit the majority of researchers and practitioners working in this broad field of study.

This book provides a comprehensive introduction to the theory of ordinary differential equations with a focus on mechanics and dynamical systems as important applications of the theory. The text is written to be used in the traditional way or in a more applied way. In addition to its use in a traditional one or two semester graduate course in mathematics, the book is organized to be used for interdisciplinary courses in applied mathematics, physics, and engineering.

This introductory and self-contained book gathers as much explicit mathematical results on the linear-elastic and heat-conduction solutions in the neighborhood of singular points in two-dimensional domains, and singular edges and vertices in three-dimensional domains. These are presented in an engineering terminology for practical usage. The author treats the mathematical formulations from an engineering viewpoint and presents high-order finite-element methods for the computation of singular solutions in isotropic and anisotropic materials, and multi-material interfaces. The proper interpretation of the results in engineering practice is advocated, so that the computed data can be correlated to experimental observations.

The book is divided into fourteen chapters, each containing several sections.

Most of it (the first nine Chapters) addresses two-dimensional domains, where

only singular points exist. The solution in a vicinity of these points admits an asymptotic expansion composed of eigenpairs and associatedgeneralized flux/stress intensity factors (GFIFs/GSIFs), which are being computed analytically when possible or by finite element methods otherwise. Singular points associated with weakly coupled thermoelasticity in the vicinity of singularities are also addressed and thermal GSIFs are computed. The computed data is important in engineering practice forpredicting failure initiation in brittlematerial on a daily basis. Several failure lawsfor two-dimensional domains with V-notches arepresented and their validity is examined by comparison to experimental observations.A sufficient simple and reliable condition for predicting failureinitiation (crack formation) in micron level electronic devices, involving singularpoints, is still a topic of active research and interest, and is addressed herein.

Explicit singular solutions in the vicinity of vertices and edges in three-dimensional domains are provided in the remaining five chapters. New methods for the computation of generalized edge flux/stress intensity functions along singular edges are presented and demonstrated by several example problems from the field of fracture mechanics; including anisotropic domains and bimaterial interfaces. Circular edges are also presented and the author concludes with some remarks on open questions.

This well illustrated book will appeal to both applied mathematicians and engineers working in the field of fracture mechanics and singularities.

"

The first book to explicitly use Mathematica so as to allow researchers and students to more easily compute and solve almost any kind of differential equation using Lie's theory. Previously time-consuming and cumbersome calculations are now much more easily and quickly performed using the Mathematica computer algebra software. The material in this book, and on the accompanying CD-ROM, will be of interest to a broad group of scientists, mathematicians and engineers involved in dealing with symmetry analysis of differential equations. Each section of the book starts with a theoretical discussion of the material, then shows the application in connection with Mathematica. The cross-platform CD-ROM contains Mathematica (version 3.0) notebooks which allow users to directly interact with the code presented within the book. In addition, the author's proprietary "MathLie" software is included, so users can readily learn to use this powerful tool in regard to performing algebraic computations.

This volume represents the refereed proceedings of the Eighth International C- ference on Monte Carlo and Quasi-Monte Carlo Methods in Scienti c Computing, which was held at the University of Montreal, from 6-11 July, 2008. It contains a limited selection of articles based on presentations made at the conference. The program was arranged with the help of an international committee consisting of: Ronald Cools, Katholieke Universiteit Leuven Luc Devroye, McGill University Henri Faure, CNRS Marseille Paul Glasserman, Columbia University Peter W. Glynn, Stanford University Stefan Heinrich, University of Kaiserslautern Fred J. Hickernell, Illinois Institute of Technology Aneta Karaivanova, Bulgarian Academy of Science Alexander Keller, mental images GmbH, Berlin Adam Kolkiewicz, University of Waterloo Frances Y. Kuo, University of New South Wales Christian Lecot, Universite de Savoie, Chambery Pierre L'Ecuyer, Universite de Montreal (Chair and organizer) Jun Liu, Harvard University Peter Mathe, Weierstrass Institute Berlin Makoto Matsumoto, Hiroshima University Thomas Muller-Gronbach, Otto von Guericke Universitat Harald Niederreiter, National University of Singapore Art B. Owen, Stanford University Gilles Pages, Universite Pierre et Marie Curie (Paris 6) Klaus Ritter, TU Darmstadt Karl Sabelfeld, Weierstrass Institute Berlin Wolfgang Ch. Schmid, University of Salzburg Ian H. Sloan, University of New South Wales Jerome Spanier, University of California, Irvine Bruno Tuf n, IRISA-INRIA, Rennes Henryk Wozniak ' owski, Columbia University. v vi Preface The local arrangements (program production, publicity, web site, registration, social events, etc.

The aim of this monograph is to present a self-contained introduction to some geometric and analytic aspects of the Yamabe problem. The book also describes a wide range of methods and techniques that can be successfully applied to nonlinear differential equations in particularly challenging situations. Such situations occur where the lack of compactness, symmetry and homogeneity prevents the use of more standard tools typically used in compact situations or for the Euclidean setting. The work is written in an easy style that makes it accessible even to non-specialists. After a self-contained treatment of the geometric tools used in the book, readers are introduced to the main subject by means of a concise but clear study of some aspects of the Yamabe problem on compact manifolds. This study provides the motivation and geometrical feeling for the subsequent part of the work. In the main body of the book, it is shown how the geometry and the analysis of nonlinear partial differential equations blend together to give up-to-date results on existence, nonexistence, uniqueness and a priori estimates for solutions of general Yamabe-type equations and inequalities on complete, non-compact Riemannian manifolds.

This volume on some recent aspects of finite element methods and their applications is dedicated to Ulrich Langer and Arnd Meyer on the occasion of their 60th birthdays in 2012. Their work combines the numerical analysis of finite element algorithms, their efficient implementation on state of the art hardware architectures, and the collaboration with engineers and practitioners. In this spirit, this volume contains contributions of former students and collaborators indicating the broad range of their interests in the theory and application of finite element methods. Topics cover the analysis of domain decomposition and multilevel methods, including hp finite elements, hybrid discontinuous Galerkin methods, and the coupling of finite and boundary element methods; the efficient solution of eigenvalue problems related to partial differential equations with applications in electrical engineering and optics; and the solution of direct and inverse field problems in solid mechanics.

This text offers an introduction to error-correcting linear codes for researchers and graduate students in mathematics, computer science and engineering. The book differs from other standard texts in its emphasis on the classification of codes by means of isometry classes. The relevant algebraic are developed rigorously. Cyclic codes are discussed in great detail. In the last four chapters these isometry classes are enumerated, and representatives are constructed algorithmically.

This book represents the results of cross-fertilization between OR/MS and CS/AI. It is this interface of OR/CS that makes possible advances that could not have been achieved in isolation. Taken collectively, these articles are indicative of the state-of-the-art in the interface between OR/MS and CS/AI and of the high caliber of research being conducted by members of the INFORMS Computing Society.

This book will have strong appeal to interdisciplinary audiences, particularly in regard to its treatments of fluid mechanics, heat equations, and continuum mechanics. There is also a heavy focus on vector analysis. Maple examples, exercises, and an appendix is also included.

The present book - through the topics and the problems approach - aims at filling a gap, a real need in our literature concerning CFD (Computational Fluid Dynamics). Our presentation results from a large documentation and focuses on reviewing the present day most important numerical and computational methods in CFD. Many theoreticians and experts in the field have expressed their - terest in and need for such an enterprise. This was the motivation for carrying out our study and writing this book. It contains an important systematic collection of numerical working instruments in Fluid Dyn- ics. Our current approach to CFD started ten years ago when the Univ- sity of Paris XI suggested a collaboration in the field of spectral methods for fluid dynamics. Soon after - preeminently studying the numerical approaches to Navier-Stokes nonlinearities - we completed a number of research projects which we presented at the most important inter- tional conferences in the field, to gratifying appreciation. An important qualitative step in our work was provided by the dev- opment of a computational basis and by access to a number of expert softwares. This fact allowed us to generate effective working programs for most of the problems and examples presented in the book, an - pect which was not taken into account in most similar studies that have already appeared all over the world.

Computational Methods in Elasticity and Plasticity: Solids and Porous Media presents the latest developments in the area of elastic and elasto-plastic finite element modeling of solids, porous media and pressure-dependent materials and structures. The book covers the following topics in depth: the mathematical foundations of solid mechanics, the finite element method for solids and porous media, the theory of plasticity and the finite element implementation of elasto-plastic constitutive models. The book also includes: -A detailed coverage of elasticity for isotropic and anisotropic solids. -A detailed treatment of nonlinear iterative methods that could be used for nonlinear elastic and elasto-plastic analyses. -A detailed treatment of a kinematic hardening von Mises model that could be used to simulate cyclic behavior of solids. -Discussion of recent advances in the analysis of porous media and pressure-dependent materials in more detail than other books currently available. Computational Methods in Elasticity and Plasticity: Solids and Porous Media also contains problem sets, worked examples and a solutions manual for instructors.

One of the most elementary questions in mathematics is whether an area minimizing surface spanning a contour in three space is immersed or not; i.e. does its derivative have maximal rank everywhere. The purpose of this monograph is to present an elementary proof of this very fundamental and beautiful mathematical result. The exposition follows the original line of attack initiated by Jesse Douglas in his Fields medal work in 1931, namely use Dirichlet's energy as opposed to area. Remarkably, the author shows how to calculate arbitrarily high orders of derivatives of Dirichlet's energy defined on the infinite dimensional manifold of all surfaces spanning a contour, breaking new ground in the Calculus of Variations, where normally only the second derivative or variation is calculated. The monograph begins with easy examples leading to a proof in a large number of cases that can be presented in a graduate course in either manifolds or complex analysis. Thus this monograph requires only the most basic knowledge of analysis, complex analysis and topology and can therefore be read by almost anyone with a basic graduate education.

Among the group of physics honors students huddled in 1957 on a Colorado mountain watching Sputnik bisect the heavens, one young scientist was destined, three short years later, to become a key player in America s own top-secret spy satellite program. One of our era s most prolific mathematicians, Karl Gustafson was given just two weeks to write the first US spy satellite s software. The project would fundamentally alter America s Cold War strategy, and this autobiographical account of a remarkable academic life spent in the top flight tells this fascinating inside story for the first time.

Gustafson takes you from his early pioneering work in computing, through fascinating encounters with Nobel laureates and Fields medalists, to his current observations on mathematics, science and life. He tells of brushes with death, being struck by lightning, and the beautiful women who have been a part of his journey."

An understanding of emergent computation requires a profound revision of the most fundamental ideas. A noticeable attempt of such a rethinking is a world view in which natural systems are seen not as separate entities but as integrated parts of a unified whole. The book for the first time presents such a mathematical structure, which remarkably is based on integers as the single concept. As integers are considered to be the most fundamental entities irreducible to something simpler, this makes the mathematical structure a final theory, and thus we do not have to look for its explanation in terms of deeper concepts. The book is not only applicable to models of computation and optimization but also has scientific consequences, as it contributes to a rethinking of the most fundamental ideas about nature. Audience: The book is written at a level suitable for advanced undergraduate students and graduate students as well as research workers and practitioners in computer science information technology, mathematics and physics. The book is suitable as a reference or as supplementary reading material for an advanced graduate course. Only a basic knowledge of calculus is required.

At the heart of the topology of global optimization lies Morse Theory: The study of the behaviour of lower level sets of functions as the level varies. Roughly speaking, the topology of lower level sets only may change when passing a level which corresponds to a stationary point (or Karush-Kuhn Tucker point). We study elements of Morse Theory, both in the unconstrained and constrained case. Special attention is paid to the degree of differentiabil ity of the functions under consideration. The reader will become motivated to discuss the possible shapes and forms of functions that may possibly arise within a given problem framework. In a separate chapter we show how certain ideas may be carried over to nonsmooth items, such as problems of Chebyshev approximation type. We made this choice in order to show that a good under standing of regular smooth problems may lead to a straightforward treatment of "just" continuous problems by means of suitable perturbation techniques, taking a priori nonsmoothness into account. Moreover, we make a focal point analysis in order to emphasize the difference between inner product norms and, for example, the maximum norm. Then, specific tools from algebraic topol ogy, in particular homology theory, are treated in some detail. However, this development is carried out only as far as it is needed to understand the relation between critical points of a function on a manifold with structured boundary. Then, we pay attention to three important subjects in nonlinear optimization.

This is an advanced book on modular forms. While there are many books published about modular forms, they are written at an elementary level, and not so interesting from the viewpoint of a reader who already knows the basics. This book offers something new, which may satisfy the desire of such a reader. However, we state every definition and every essential fact concerning classical modular forms of one variable. One of the principal new features of this book is the theory of modular forms of half-integral weight, another being the discussion of theta functions and Eisenstein series of holomorphic and nonholomorphic types. Thus the book is presented so that the reader can learn such theories systematically.