ThesubjectofthisbookisSemi-In?niteAlgebra,ormorespeci?cally,Semi-In?nite Homological Algebra. The term "semi-in?nite" is loosely associated with objects that can be viewed as extending in both a "positive" and a "negative" direction, withsomenaturalpositioninbetween,perhapsde?nedupto a"?nite"movement. Geometrically, this would mean an in?nite-dimensional variety with a natural class of "semi-in?nite" cycles or subvarieties, having always a ?nite codimension in each other, but in?nite dimension and codimension in the whole variety [37]. (For further instances of semi-in?nite mathematics see, e. g. , [38] and [57], and references below. ) Examples of algebraic objects of the semi-in?nite type range from certain in?nite-dimensional Lie algebras to locally compact totally disconnected topolo- cal groups to ind-schemes of ind-in?nite type to discrete valuation ?elds. From an abstract point of view, these are ind-pro-objects in various categories, often - dowed with additional structures. One contribution we make in this monograph is the demonstration of another class of algebraic objects that should be thought of as "semi-in?nite", even though they do not at ?rst glance look quite similar to the ones in the above list. These are semialgebras over coalgebras, or more generally over corings - the associative algebraic structures of semi-in?nite nature. The subject lies on the border of Homological Algebra with Representation Theory, and the introduction of semialgebras into it provides an additional link with the theory of corings [23], as the semialgebrasare the natural objects dual to corings.

This monograph presents a collection of results, observations, and examples related to dynamical systems described by linear and nonlinear ordinary differential and difference equations. In particular, dynamical systems that are susceptible to analysis by the Liapunov approach are considered. The naive observation that certain "diagonal-type" Liapunov functions are ubiquitous in the literature attracted the attention of the authors and led to some natural questions. Why does this happen so often? What are the spe cial virtues of these functions in this context? Do they occur so frequently merely because they belong to the simplest class of Liapunov functions and are thus more convenient, or are there any more specific reasons? This monograph constitutes the authors' synthesis of the work on this subject that has been jointly developed by them, among others, producing and compiling results, properties, and examples for many years, aiming to answer these questions and also to formalize some of the folklore or "cul ture" that has grown around diagonal stability and diagonal-type Liapunov functions. A natural answer to these questions would be that the use of diagonal type Liapunov functions is frequent because of their simplicity within the class of all possible Liapunov functions. This monograph shows that, although this obvious interpretation is often adequate, there are many in stances in which the Liapunov approach is best taken advantage of using diagonal-type Liapunov functions. In fact, they yield necessary and suffi cient stability conditions for some classes of nonlinear dynamical systems."

The nature of the physical Universe has been increasingly better understood in recent years, and cosmological concepts have undergone a rapid evolution (see, e.g., [11], [2],or [5]). Although there are alternate theories, it is generally believed that the large-scale relationships and homogeneities that we see can only be explainedby having the universe expand suddenlyin a very early "in?ationary" period. Subsequent evolution of the Universe is described by the Hubble expansion, the observation that the galaxies are ?ying away from each other. We can attribute di?erent rates of this expansion to domination of di?erent cosmological processes, beginning with radiation, evolving to matter domination, and, relatively recently, to vacuum domination (the Cosmological Constant term)[4]. We assume throughout that we will be relying as much as possible on observational data, with simulations used only for limited purposes, e.g., the appearance of the Milky Wayfrom nearbyintergalactic viewpoints. The visualization of large-scale astronomical data sets using?xed, non-interactive animations has a long history. Several books and ?lms exist, ranging from "Cosmic View: The Universe in Forty Jumps" [3] by Kees Boeke to "Powers of 10" [6,13] by Charles and Ray Eames, and the recent Imax ?lm "Cosmic Voyage" [15]. We have added our own contribution [9], "Cosmic Clock," which is an animation based entirely on the concepts and implementation described in this paper.

Recent advances in the field of guided-wave optics, such as fiber optics and integrated optics, have included the introduction of arbitrarily-shaped optical waveguides which, in many cases, also happened to be arbitrarily inhomogeneous, dissipative, anisotropic, and/or nonlinear. Most of such cases of waveguide arbitrariness do not lend themselves to analytical so lutions; hence, computational tools for modeling and simulation are es sential for successful design, optimization, and realization of the optical waveguides. For this purpose, various numerical techniques have been de veloped. In particular, the finite element method (FEM) is a powerful and efficient tool for the most general (i. e. , arbitrarily-shaped, inhomogeneous, dissipative, anisotropic, and nonlinear) optical waveguide problem. Its use in industry and research is extensive, and indeed it could be said that with out it many optical waveguide problems would be incapable of solution. This book is intended for students, engineers, designers, and techni cal managers interested in a detailed description of the FEM for optical waveguide analysis. Starting from a brief review of electromagnetic theory, the first chapter provides the concepts of the FEM and its fundamentals. In addition to conventional elements, i. e. , line elements, triangular elements, tetrahedral elements, ring elements, and triangular ring elements which are utilized for one-dimensional, two-dimensional, three-dimensional, axisymmetric two dimensional, and axisymmetric three-dimensional problems, respectively, special-purpose elements, such as isoparametric elements, edge elements, infinite elements, and boundary elements, are also introduced.

The Institute for Mathematics and its Applications (IMA) devoted its 1997-1998 program to Emerging Applications of Dynamical Systems. Dynamical systems theory and related numerical algorithms provide powerful tools for studying the solution behavior of differential equations and mappings. In the past 25 years computational methods have been developed for calculating fixed points, limit cycles, and bifurcation points. A remaining challenge is to develop robust methods for calculating more complicated objects, such as higher- codimension bifurcations of fixed points, periodic orbits, and connecting orbits, as well as the calcuation of invariant manifolds. Another challenge is to extend the applicability of algorithms to the very large systems that result from discretizing partial differential equations. Even the calculation of steady states and their linear stability can be prohibitively expensive for large systems (e.g. 10_3- -10_6 equations) if attempted by simple direct methods. Several of the papers in this volume treat computational methods for low and high dimensional systems and, in some cases, their incorporation into software packages.A few papers treat fundamental theoretical problems, including smooth factorization of matrices, self -organized criticality, and unfolding of singular heteroclinic cycles. Other papers treat applications of dynamical systems computations in various scientific fields, such as biology, chemical engineering, fluid mechanics, and mechanical engineering.

Multivariate polynomials are a main tool in approximation. The book begins with an introduction to the general theory by presenting the most important facts on multivariate interpolation, quadrature, orthogonal projections and their summation, all treated under a constructive view, and embedded in the theory of positive linear operators. On this background, the book gives the first comprehensive introduction to the recently developped theory of generalized hyperinterpolation. As an application, the book gives a quick introduction to tomography. Several parts of the book are based on rotation principles, which are presented in the beginning of the book, together with all other basic facts needed.

Infotext]((Kurztext))These are the proceedings of the 7th International Conference on Hyperbolic Problems, held in Zurich in February 1998. The speakers and contributors have been rigorously selected and present the state of the art in this field. The articles, both theoretical and numerical, encompass a wide range of applications, such as nonlinear waves in solids, various computational fluid dynamics from small-scale combustion to relativistic astrophysical problems, multiphase phenomena and geometrical optics.

((Volltext))These proceedings contain, in two volumes, approximately one hundred papers presented at the conference on hyperbolic problems, which has focused to a large extent on the laws of nonlinear hyperbolic conservation. Two-fifths of the papers are devoted to mathematical aspects such as global existence, uniqueness, asymptotic behavior such as large time stability, stability and instabilities of waves and structures, various limits of the solution, the Riemann problem and so on. Roughly the same number of articles are devoted to numerical analysis, for example stability and convergence of numerical schemes, as well as schemes with special desired properties such as shock capturing, interface fitting and high-order approximations to multidimensional systems. The results in these contributions, both theoretical and numerical, encompass a wide range of applications such as nonlinear waves in solids, various computational fluid dynamics from small-scale combustion to relativistic astrophysical problems, multiphase phenomena and geometrical optics."

Semi-infinite optimization is a vivid field of active research. Recently semi infinite optimization in a general form has attracted a lot of attention, not only because of its surprising structural aspects, but also due to the large number of applications which can be formulated as general semi-infinite programs. The aim of this book is to highlight structural aspects of general semi-infinite programming, to formulate optimality conditions which take this structure into account, and to give a conceptually new solution method. In fact, under certain assumptions general semi-infinite programs can be solved efficiently when their bi-Ievel structure is exploited appropriately. After a brief introduction with some historical background in Chapter 1 we be gin our presentation by a motivation for the appearance of standard and general semi-infinite optimization problems in applications. Chapter 2 lists a number of problems from engineering and economics which give rise to semi-infinite models, including (reverse) Chebyshev approximation, minimax problems, ro bust optimization, design centering, defect minimization problems for operator equations, and disjunctive programming."

Books on computation in the marketplace tend to discuss the topics within specific fields. Many computational algorithms, however, share common roots. Great advantages emerge if numerical methodologies break the boundaries and find their uses across disciplines. Interdisciplinary Computing In Java Programming Language introduces readers of different backgrounds to the beauty of the selected algorithms. Serious quantitative researchers, writing customized codes for computation, enjoy cracking source codes as opposed to the black-box approach. Most C and Fortran programs, despite being slightly faster in program execution, lack built-in support for plotting and graphical user interface. This book selects Java as the platform where source codes are developed and applications are run, helping readers/users best appreciate the fun of computation. Interdisciplinary Computing In Java Programming Language is designed to meet the needs of a professional audience composed of practitioners and researchers in science and technology. This book is also suitable for senior undergraduate and graduate-level students in computer science, as a secondary text.

The focus from most Virtual Reality (VR) systems lies mainly on the visual immersion of the user. But the emphasis only on the visual perception is insufficient for some applications as the user is limited in his interactions within the VR. Therefore the textbook presents the principles and theoretical background to develop a VR system that is able to create a link between physical simulations and haptic rendering which requires update rates of 1\, kHz for the force feedback. Special attention is given to the modeling and computation of contact forces in a two-finger grasp of textiles. Addressing further the perception of small scale surface properties like roughness, novel algorithms are presented that are not only able to consider the highly dynamic behaviour of textiles but also capable of computing the small forces needed for the tactile rendering at the contact point. Final analysis of the entire VR system is being made showing the problems and the solutions found in the work

"Introduction to Computational Science" was developed over a period of two years at the University of Utah Department of Computer Science in conjunction with the U.S. Department of Energy-funded Undergraduate Computation in Engineering Science (UCES) program. Each chapter begins by introducing a problem and then guiding the student through its solution. The computational techniques needed to solve the problem are developed as necassary, making the motivation for learning the computing alwasy apparent. Each chapter will introduce a single problem that will be used to motivate a single computing concept. The notes currently consist of 15 chapters. The first seven chapters deal with Maple and the last eight with C. The textbook will contain 20 to 30 chapters covering a similar mix of concepts at a finer level of detail.

Spontaneous potential (SP) well-logging is one of the most common and useful well-logging techniques in petroleum exploitation. This monograph is the first of its kind on the mathematical model of spontaneous potential well-logging and its numerical solutions. The mathematical model established in this book shows the necessity of introducing Sobolev spaces with fractional power, which seriously increases the difficulty of proving the well-posedness and proposing numerical solution schemes. In this book, in the axisymmetric situation the well-posedness of the corresponding mathematical model is proved and three efficient schemes of numerical solution are proposed, supported by a number of numerical examples to meet practical computation needs.

CASC 2001 continues a tradition ~ started in 1998 ~ of international con ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average. The result of this job is reflected in the present volume, which contains revised versions of the accepted papers. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scientific computing. In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc. A number of papers deal with application of CASs for obtaining and vali dating new exact solutions to initial and boundary value problems for partial differential equations in mathematical physics. Several papers show how CASs can be used to obtain analytic solutions of initial and boundary value problems for ordinary differential equations and for studying their properties.

This book is motivated largely by a desire to solve shape optimization prob lems that arise in applications, particularly in structural mechanics and in the optimal control of distributed parameter systems. Many such problems can be formulated as the minimization of functionals defined over a class of admissible domains. Shape optimization is quite indispensable in the design and construction of industrial structures. For example, aircraft and spacecraft have to satisfy, at the same time, very strict criteria on mechanical performance while weighing as little as possible. The shape optimization problem for such a structure consists in finding a geometry of the structure which minimizes a given functional (e. g. such as the weight of the structure) and yet simultaneously satisfies specific constraints (like thickness, strain energy, or displacement bounds). The geometry of the structure can be considered as a given domain in the three-dimensional Euclidean space. The domain is an open, bounded set whose topology is given, e. g. it may be simply or doubly connected. The boundary is smooth or piecewise smooth, so boundary value problems that are defined in the domain and associated with the classical partial differential equations of mathematical physics are well posed. In general the cost functional takes the form of an integral over the domain or its boundary where the integrand depends smoothly on the solution of a boundary value problem."

Hyperbolic partial differential equations describe phenomena of material or wave transport in physics, biology and engineering, especially in the field of fluid mechanics. The mathematical theory of hyperbolic equations has recently made considerable progress. Accurate and efficient numerical schemes for computation have been and are being further developed.
This two-volume set of conference proceedings contains about 100 refereed and carefully selected papers. The books are intended for researchers and graduate students in mathematics, science and engineering interested in the most recent results in theory and practice of hyperbolic problems.
Applications touched in these proceedings concern one-phase and multiphase fluid flow, phase transitions, shallow water dynamics, elasticity, extended thermodynamics, electromagnetism, classical and relativistic magnetohydrodynamics, cosmology. Contributions to the abstract theory of hyperbolic systems deal with viscous and relaxation approximations, front tracking and wellposedness, stability of shock profiles and multi-shock patterns, traveling fronts for transport equations. Numerically oriented articles study finite difference, finite volume, and finite element schemes, adaptive, multiresolution, and artificial dissipation methods.

Despite five decades of research, parallel computing remains an exotic, frontier technology on the fringes of mainstream computing. Its much-heralded triumph over sequential computing has yet to materialize. This is in spite of the fact that the processing needs of many signal processing applications continue to eclipse the capabilities of sequential computing. The culprit is largely the software development environment. Fundamental shortcomings in the development environment of many parallel computer architectures thwart the adoption of parallel computing. Foremost, parallel computing has no unifying model to accurately predict the execution time of algorithms on parallel architectures. Cost and scarce programming resources prohibit deploying multiple algorithms and partitioning strategies in an attempt to find the fastest solution. As a consequence, algorithm design is largely an intuitive art form dominated by practitioners who specialize in a particular computer architecture. This, coupled with the fact that parallel computer architectures rarely last more than a couple of years, makes for a complex and challenging design environment. To navigate this environment, algorithm designers need a road map, a detailed procedure they can use to efficiently develop high performance, portable parallel algorithms. The focus of this book is to draw such a road map. The Parallel Algorithm Synthesis Procedure can be used to design reusable building blocks of adaptable, scalable software modules from which high performance signal processing applications can be constructed. The hallmark of the procedure is a semi-systematic process for introducing parameters to control the partitioning and scheduling of computation and communication. This facilitates the tailoring of software modules to exploit different configurations of multiple processors, multiple floating-point units, and hierarchical memories. To showcase the efficacy of this procedure, the book presents three case studies requiring various degrees of optimization for parallel execution.

"Data Correcting Approaches in Combinatorial Optimization" focuses on algorithmic applications of thewell known polynomially solvable special cases of computationally intractable problems. The purpose of this text is to design practically efficient algorithms for solving wide classes of combinatorial optimization problems. Researches, students and engineers will benefit from new bounds and branching rules in development efficient branch-and-bound type computational algorithms. This book examines applications for solving the Traveling Salesman Problem and its variations, Maximum Weight Independent Set Problem, Different Classes of Allocation and Cluster Analysis as well as some classes of Scheduling Problems. Data Correcting Algorithms in Combinatorial Optimization introduces the data correcting approach to algorithms which provide an answer to the following questions: how to construct a bound to the original intractable problem and findwhich element of the corrected instance one should branch such that the total size of search tree will be minimized. The PC time needed for solving intractable problems will be adjusted with the requirements for solving real world problems. "

This is a new type of calculus book: Students who master this text will be well versed in calculus and, in addition, possess a useful working knowledge of one of the most important mathematical software systems, namely, MACSYMA. This will equip them with the mathematical competence they need for science and engi neering and the competitive workplace. The choice of MACSYMA is not essential for the didactic goal of the book. In fact, any of the other major mathematical software systems, e. g., AXIOM, MATHEMATICA, MAPLE, DERIVE, or REDUCE, could have been taken for the examples and for acquiring the skill in using these systems for doing mathematics on computers. The symbolic and numerical calcu lations described in this book will be easily performed in any of these systems by slight modification of the syntax as soon as the student understands and masters the MACSYMA examples in this book. What is important, however, is that the student gets all the information necessary to design and execute the calculations in at least one concrete implementation language as this is done in this book and also that the use of the mathematical software system is completely integrated with the text. In these times of globalization, firms which are unable to hire adequately trained technology experts will not prosper. For corporations which depend heavily on sci ence and engineering, remaining competitive in the global economy will require hiring employees having had a traditionally rigorous mathematical education."

This book presents mathematical models that arise in current photographic science. The book contains seventeen chapters, each dealing with one area of photographic science, and a final chapter containing exercises. Each chapter, except the two introductory chapters, begin with general background information at a level understandable by graduate and undergraduate students. It then proceeds to develop a mathematical model, using mathematical tools such as ordinary differential equations, partial differential equations, and stochastic processes. Next, some mathematical results are mentioned, often providing a partial solution to problems raised by the model. Finally, most chapters include open problems. The last chapter of the book contains "Modeling and Applied Mathematics" exercises based on the material presented in the earlier chapters. These exercises are intended primarily for graduate students and advanced undergraduates.

Advances in microelectronic technology have made massively parallel computing a reality and triggered an outburst of research activity in parallel processing architectures and algorithms. Distributed memory multiprocessors - parallel computers that consist of microprocessors connected in a regular topology - are increasingly being used to solve large problems in many application areas. In order to use these computers for a specific application, existing algorithms need to be restructured for the architecture and new algorithms developed. The performance of a computation on a distributed memory multiprocessor is affected by the node and communication architecture, the interconnection network topology, the I/O subsystem, and the parallel algorithm and communication protocols. Each of these parametersis a complex problem, and solutions require an understanding of the interactions among them. This book is based on the papers presented at the NATO Advanced Study Institute held at Bilkent University, Turkey, in July 1991. The book is organized in five parts: Parallel computing structures and communication, Parallel numerical algorithms, Parallel programming, Fault tolerance, and Applications and algorithms.

This book constitutes the thoroughly refereed proceedings of the 38th International Workshop on Graph Theoretic Concepts in Computer Science (WG 2012) held in Jerusalem, Israel on June 26-28, 2012. The 29 revised full papers presented were carefully selected and reviewed from 78 submissions. The papers are solicited describing original results on all aspects of graph-theoretic concepts in Computer Science, e.g. structural graph theory, sequential, parallel, randomized, parameterized, and distributed graph and network algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling, graph-drawing and layout, random graphs, diagram methods, and support of these concepts by suitable implementations. The scope of WG includes all applications of graph-theoretic concepts in Computer Science, including data structures, data bases, programming languages, computational geometry, tools for software construction, communications, computing on the web, models of the web and scale-free networks, mobile computing, concurrency, computer architectures, VLSI, artificial intelligence, graphics, CAD, operations research, and pattern recognition

Applied Probability presents a unique blend of theory and applications, with special emphasis on mathematical modeling, computational techniques, and examples from the biological sciences. It can serve as a textbook for graduate students in applied mathematics, biostatistics, computational biology, computer science, physics, and statistics. Readers should have a working knowledge of multivariate calculus, linear algebra, ordinary differential equations, and elementary probability theory.
Chapter 1 reviews elementary probability and provides a brief survey of relevant results from measure theory. Chapter 2 is an extended essay on calculating expectations. Chapter 3 deals with probabilistic applications of convexity, inequalities, and optimization theory. Chapters 4 and 5 touch on combinatorics and combinatorial optimization. Chapters 6 through 11 present core material on stochastic processes. If supplemented with appropriate sections from Chapters 1 and 2, there is sufficient material for a traditional semester-long course in stochastic processes covering the basics of Poisson processes, Markov chains, branching processes, martingales, and diffusion processes. The second edition adds two new chapters on asymptotic and numerical methods and an appendix that separates some of the more delicate mathematical theory from the steady flow of examples in the main text.
Besides the two new chapters, the second edition includes a more extensive list of exercises, many additions to the exposition of combinatorics, new material on rates of convergence to equilibrium in reversible Markov chains, a discussion of basic reproduction numbers in population modeling, and better coverage of Brownian motion. Because many chapters are nearly self-contained, mathematical scientists from a variety of backgrounds will find Applied Probability useful as a reference

This collection contains papers conceptually related to the classical ideas of Sophus Lie (i.e., to Lie groups and Lie algebras). Obviously, it is impos sible to embrace all such topics in a book of reasonable size. The contents of this one reflect the scientific interests of those authors whose activities, to some extent at least, are associated with the International Sophus Lie Center. We have divided the book into five parts in accordance with the basic topics of the papers (although it can be easily seen that some of them may be attributed to several parts simultaneously). The first part (quantum mathematics) combines the papers related to the methods generated by the concepts of quantization and quantum group. The second part is devoted to the theory of hypergroups and Lie hypergroups, which is one of the most important generalizations of the classical concept of locally compact group and of Lie group. A natural harmonic analysis arises on hypergroups, while any abstract transformation of Fourier type is gen erated by some hypergroup (commutative or not). Part III contains papers on the geometry of homogeneous spaces, Lie algebras and Lie superalgebras. Classical problems of the representation theory for Lie groups, as well as for topological groups and semigroups, are discussed in the papers of Part IV. Finally, the last part of the collection relates to applications of the ideas of Sophus Lie to differential equations."

Recent years have been characterized by the increasing amountofpublications in the field ofso-called ill-posed problems. This is easilyunderstandable because we observe the rapid progress of a relatively young branch ofmathematics, ofwhich the first results date back to about 30 years ago. By now, impressive results have been achieved both in the theory ofsolving ill-posed problems and in the applicationsofalgorithms using modem computers. To mention just one field, one can name the computer tomography which could not possibly have been developed without modem tools for solving ill-posed problems. When writing this book, the authors tried to define the place and role of ill posed problems in modem mathematics. In a few words, we define the theory of ill-posed problems as the theory of approximating functions with approximately given arguments in functional spaces. The difference between well-posed and ill posed problems is concerned with the fact that the latter are associated with discontinuous functions. This approach is followed by the authors throughout the whole book. We hope that the theoretical results will be of interest to researchers working in approximation theory and functional analysis. As for particular algorithms for solving ill-posed problems, the authors paid general attention to the principles ofconstructing such algorithms as the methods for approximating discontinuous functions with approximately specified arguments. In this way it proved possible to define the limits of applicability of regularization techniques."

The first English edition of a well-known Russian monograph. This book presents the method of difference potentials first proposed by the author in 1969, and contains illustrative examples and new algorithms for solving applied problems of gas dynamics, diffraction, scattering theory, and active noise screening.