You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Since its genesis more than thirty-five years ago, the field of computer vision has been known by various names, including pattern recognitions, image analysis, and image understanding. The central problem of computer vision is obtaining descriptive information by computer analysis of images of a scene. Together with the related fields of image processing and computer graphics, it has become an established discipline at the interface between computer science and electrical engineering. This volume contains fourteen papers presented at the AMS Special Session on Geometry Related to Computer Vision, held in Hoboken, New Jersey in Ooctober 1989. This book makes the results presented at the Spec...
1989 marked the 150th anniversary of the birth of the great Danish mathematician Hieronymus George Zeuthen. Zeuthen's name is known to every algebraic geometer because of his discovery of a basic invariant of surfaces. However, he also did fundamental research in intersection theory, enumerative geometry, and the projective geometry of curves and surfaces. Zeuthen's extraordinary devotion to his subject, his characteristic depth, thoroughness, and clarity of thought, and his precise and succinct writing style are truly inspiring. During the past ten years or so, algebraic geometers have reexamined Zeuthen's work, drawing from it inspiration and new directions for development in the field. The 1989 Zeuthen Symposium, held in the summer of 1989 at the Mathematical Institute of the University of Copenhagen, provided a historic opportunity for mathematicians to gather and examine those areas in contemporary mathematical research which have evolved from Zeuthen's fruitful ideas. This volume, containing papers presented during the symposium, as well as others inspired by it, illuminates some currently active areas of research in enumerative algebraic geometry.
This volume contains the proceedings of the NSF-CBMS Regional Conference on Algebraic Geometry, held in Sundance, Utah in July 1988. The conference focused on algebraic curves and related varieties. Some of the papers collected here represent lectures delivered at the conference, some report on research done during the conference, while others describe related work carried out elsewhere.
Two meetings of the AMS in the autumn of 1989 - one at the Stevens Institute of Technology and the other at Ball State University - included Special Sessions on the role of p-adic methods in number theory and algebraic geometry. This volume grew out of these Special Sessions. Drawn from a wide area of mathematics, the articles presented here provide an excellent sampling of the broad range of trends and applications in p-adic methods.
This volume contains the proceedings of the conference, Symbolic Dynamics and its Applications, held at Yale University in the summer of 1991 in honour of Roy L. Adler on his sixtieth birthday. The conference focused on symbolic dynamics and its applications to other fields, including: ergodic theory, smooth dynamical systems, information theory, automata theory, and statistical mechanics. Featuring a range of contributions from some of the leaders in the field, this volume presents an excellent overview of the subject.
Presents the proceedings of AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic that was held at the University of Colorado in Boulder. This book discusses the use of category theory in formalizing aspects of computer programming and program design.
Classical field theory has undergone a renaissance in recent years. Symplectic techniques have yielded deep insights into its foundations, as has an improved understanding of the variational calculus. Further impetus for the study of classical fields has come from other areas, such as integrable systems, Poisson geometry, global analysis, and quantum theory. This book contains the proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Mathematical Aspects of Classical Field Theory, held in July 1991 at the University of Washington at Seattle. The conference brought together researchers in many of the main areas of classical field theory to present the latest ideas and results. T...
This volume contains the proceedings of the Workshop on Logic and Computation, held in July 1987 at Carnegie-Mellon University. The focus of the workshop was the refined interaction between mathematics and computation theory, one of the most fascinating and potentially fruitful developments in logic. The importance of this interaction lies not only in the emergence of the computer as a powerful tool in mathematics research, but also in the various attempts to carry out significant parts of mathematics in computationally informative ways. The proceedings pursue three complementary aims: to develop parts of mathematics under minimal set-theoretic assumptions; to provide formal frameworks suitable for computer implementation; and to extract, from formal proofs, mathematical and computational information. Aimed at logicians, mathematicians, and computer scientists, this volume is rich in results and replete with mathematical, logical, and computational problems.
The study of complex, interconnected mechanical systems with rigid and flexible articulated components is of growing interest to both engineers and mathematicians. Recent work in this area reveals a rich geometry underlying the mathematical models used in this context. In particular, Lie groups of symmetries, reduction, and Poisson structures play a significant role in explicating the qualitative properties of multibody systems. In engineering applications, it is important to exploit the special structures of mechanical systems. For example, certain mechanical problems involving control of interconnected rigid bodies can be formulated as Lie-Poisson systems. The dynamics and control of robot...