You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book covers the topics of differential manifolds, Riemannian metrics, connections, geodesics and curvature, with special emphasis on the intrinsic features of the subject. It treats in detail classical results on the relations between curvature and topology. The book features numerous exercises with full solutions and a series of detailed examples are picked up repeatedly to illustrate each new definition or property introduced.
The Oxford Handbook of Caribbean Archaeology provides an overview of archaeological investigations in the insular Caribbean, understood here as the islands whose shores surround the Caribbean Sea and the islands of the Bahama Archipelago. Though these islands were never isolated from the surrounding mainland, their histories are sufficiently diverse to warrant their identification as distinct areas of culture. Over the past 20 years, Caribbean archaeology has been transformed from a focus on reconstructing culture histories to one on the mobility and exchange expressed in cultural and social dynamics. This Handbook brings together, for the first time, examples of the best research conducted ...
This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. The book presents 22 revised full papers presented together with 3 invited talks. Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.
This IMA Volume in Mathematics and its Applications GEOMETRIC METHODS IN INVERSE PROBLEMS AND PDE CONTROL contains a selection of articles presented at 2001 IMA Summer Program with the same title. We would like to thank Christopher B. Croke (University of Penn sylva nia), Irena Lasiecka (University of Virginia), Gunther Uhlmann (University of Washington), and Michael S. Vogelius (Rutgers University) for their ex cellent work as organizers of the two-week summer workshop and for editing the volume. We also take this opportunity to thank the National Science Founda tion for their support of the IMA. Series Editors Douglas N. Arnold, Director of the IMA Fadil Santosa, Deputy Director of the IMA...
This volume is an English translation of Sakai's textbook on Riemannian Geometry which was originally written in Japanese and published in 1992. The author's intent behind the original book was to provide to advanced undergraduate and graudate students an introduction to modern Riemannian geometry that could also serve as a reference. The book begins with an explanation of the fundamental notion of Riemannian geometry. Special emphasis is placed on understandability and readability, to guide students who are new to this area. The remaining chapters deal with various topics in Riemannian geometry, with the main focus on comparison methods and their applications.
This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.
Collection of pedigree charts, documents, images of places and people, personal correspondence, and interesting memorabilia.