This is the first book to offer a comprehensive overview for anyone wanting to understand the benefits and opportunities of ray tracing, as well as some of the challenges, without having to learn how to program or be an optics scientist.

This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. With natural properties of (general) translations and general distances of X, euclidean and hyperbolic geometries are characterized. For these spaces X also the sphere geometries of Möbius and Lie are studied (besides euclidean and hyperbolic geometry), as well as geometries where Lorentz transformations play the key role. The geometrical notions of this book are based on general spaces X as described. This implies that also mathematicians who have not so far been especially interested in geometry may study and understand great ideas of classical geometries in modern and general contexts.

This volume deals with various topics around equivariant holomorphic maps of Hermitian symmetric domains and is intended for specialists in number theory and algebraic geometry. In particular, it contains a comprehensive exposition of mixed automorphic forms that has never yet appeared in book form. The main goal is to explore connections among complex torus bundles, mixed automorphic forms, and Jacobi forms associated to an equivariant holomorphic map. Both number-theoretic and algebro-geometric aspects of such connections and related topics are discussed.

Following the success of the first edition, recent developments in the field of morphological image analysis called for an extended second edition. The text has been fully revised with the goal of improving its clarity while introducing new concepts of interest to real image analysis applications. One chapter devoted to texture analysis has been added. Main extensions include: discussion about multichannel images and their morphological processing, ordering relations on image partitions, connected operators and levellings, homotopy for greytone images, translation-invariant implementations of erosions and dilations by line segments, reinforced emphasis on rank-based morphological operators, grey tone hit-or-miss, ordered independent homotopic thinnings and anchored skeletons, self-dual geodesic transformation and reconstruction, area based self-dual filters, anti-centre, watershed-based texture segmentation, texture models, and new scientific and industrial applications.

This book is about three seemingly independent areas of mathematics: combinatorial group theory, the theory of Lie algebras and affine algebraic geometry. Indeed, for many years these areas were being developed fairly independently. Combinatorial group theory, the oldest of the three, was born in the beginning of the 20th century as a branch of low-dimensional topology. Very soon, it became an important area of mathematics with its own powerful techniques. In the 1950s, combinatorial group theory started to influence, rather substantially, the theory of Lie algebrasj thus combinatorial theory of Lie algebras was shaped, although the origins of the theory can be traced back to the 1930s. In the 1960s, B. Buchberger introduced what is now known as Gröbner bases. This marked the beginning of a new, "combinatorial", era in commu­ tative algebra. It is not very likely that Buchberger was directly influenced by ideas from combinatorial group theory, but his famous algorithm bears resemblance to Nielsen's method, although in a more sophisticated form.

This book contains a series of research papers on subjects related to the work of Niels Henrik Abel, written by some of the foremost specialists in their fields. Some of the authors have been specifically invited to present papers, discussing the influence of Abel in a mathematical-historical context. Others have submitted papers presented at the Abel Bicentennial Conference, Oslo June 3-8, 2002. The idea behind the book has been to produce a text covering a substantial part of the legacy of Abel, as perceived at the beginning of the 21st century.

The geometric approach to the algebraic theory of quadratic forms is the study of projective quadrics over arbitrary fields. Function fields of quadrics have been central to the proofs of fundamental results since the 1960's. Recently, more refined geometric tools have been brought to bear on this topic, such as Chow groups and motives, and have produced remarkable advances on a number of outstanding problems. Several aspects of these new methods are addressed in this volume, which includes an introduction to motives of quadrics by A. Vishik, with various applications, notably to the splitting patterns of quadratic forms, papers by O. Izhboldin and N. Karpenko on Chow groups of quadrics and their stable birational equivalence, with application to the construction of fields with u-invariant 9, and a contribution in French by B. Kahn which lays out a general framework for the computation of the unramified cohomology groups of quadrics and other cellular varieties.

"Written by two mathematicians who played a crucial role in the development of the modern theory of several complex variables, this is an important book."

Heegner points on both modular curves and elliptic curves over global fields of any characteristic form the topic of this research monograph. The Heegner module of an elliptic curve is an original concept introduced in this text. The computation of the cohomology of the Heegner module is the main technical result and is applied to prove the Tate conjecture for a class of elliptic surfaces over finite fields, this conjecture is equivalent to the Birch and Swinnerton-Dyer conjecture for the corresponding elliptic curves over global fields.

This volume is devoted to a beautiful object, called the valuative tree and designed as a powerful tool for the study of singularities in two complex dimensions. Its intricate yet manageable structure can be analyzed by both algebraic and geometric means. Many types of singularities, including those of curves, ideals, and plurisubharmonic functions, can be encoded in terms of positive measures on the valuative tree. The construction of these measures uses a natural tree Laplace operator of independent interest.

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa. The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements.

In this volume, first we formulate a framework of fuzzy types to represent both partial truth and uncertainty about concept and relation types in conceptual graphs. Like fuzzy attribute values, fuzzy types also form a lattice laying a common ground for lattice-based computation of fuzzy granules. Second, for automated reasoning with fuzzy conceptual graphs, we develop foundations of order-sorted fuzzy set logic programming, extending the theory of annotated logic programs of Kifer and Subrahmanian (1992). Third, we show some recent applications of fuzzy conceptual graphs to modelling and computing with generally quantified statements, approximate knowledge retrieval, and natural language query understanding.

This book presents a new set of embedded system design techniques called multidimensional data flow, which combine the various benefits offered by existing methodologies such as block-based system design, high-level simulation, system analysis and polyhedral optimization. It describes a novel architecture for efficient and flexible high-speed communication in hardware that can be used both in manual and automatic system design and that offers various design alternatives, balancing achievable throughput with required hardware size. This book demonstrates multidimensional data flow by showing its potential for modeling, analysis, and synthesis of complex image processing applications. These applications are presented in terms of their fundamental properties and resulting design constraints. Coverage includes a discussion of how far the latter can be met better by multidimensional data flow than alternative approaches. Based on these results, the book explains the principles of fine-grained system level analysis and high-speed communication synthesis. Additionally, an extensive review of related techniques is given in order to show their relation to multidimensional data flow.

Evolvability, the ability to respond effectively to change, represents a major challenge to today's high-end embedded systems, such as those developed in the medical domain by Philips Healthcare. These systems are typically developed by multi-disciplinary teams, located around the world, and are in constant need of upgrading to provide new advanced features, to deal with obsolescence, and to exploit emerging enabling technologies. Despite the importance of evolvability for these types of systems, the field has received scant attention from the scientific and engineering communities.