Arbitrary Lines
Arbitrary Lines

Author: M. Nolan Gray

Publisher: Island Press

Published: 2022-06-21

Total Pages: 258

ISBN-13: 1642832545

DOWNLOAD EBOOK

It's time for America to move beyond zoning, argues city planner M. Nolan Gray in Arbitrary Lines: How Zoning Broke the American City and How to Fix It. With lively explanations, Gray shows why zoning abolition is a necessary--if not sufficient--condition for building more affordable, vibrant, equitable, and sustainable cities. Gray lays the groundwork for this ambitious cause by clearing up common misconceptions about how American cities regulate growth and examining four contemporary critiques of zoning (its role in increasing housing costs, restricting growth in our most productive cities, institutionalizing racial and economic segregation, and mandating sprawl). He sets out some of the efforts currently underway to reform zoning and charts how land-use regulation might work in the post-zoning American city. Arbitrary Lines is an invitation to rethink the rules that will continue to shape American life--where we may live or work, who we may encounter, how we may travel. If the task seems daunting, the good news is that we have nowhere to go but up

Mechanical Theorem Proving in Geometries
Mechanical Theorem Proving in Geometries

Author: Wen-tsün Wu

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 301

ISBN-13: 370916639X

DOWNLOAD EBOOK

There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The objective of mathematics is the study of space forms and quantitative relations of the real world. " Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry. This method has become a model of deduction methods in mathematics. The other, represented by the relevant work of Archimedes, focused on the study of quantitative re lations of geometric objects as well as their measures such as the ratio of the circumference of a circle to its diameter and the area of a spherical surface and of a parabolic sector. Though these approaches vary in style, have their own features, and reflect different viewpoints in the development of geometry, both have made great contributions to the development of mathematics. The development of geometry in China was all along concerned with quanti tative relations.

Analytical Geometry of Three Dimensions
Analytical Geometry of Three Dimensions

Author: D. M. Y. Sommerville

Publisher: Cambridge University Press

Published: 2016-02-25

Total Pages: 435

ISBN-13: 1316601900

DOWNLOAD EBOOK

Originally published in 1934, this book starts at the subject's beginning, but also engages with profoundly more specialist concepts in the field of geometry.

Sammlung
Sammlung

Author: Wen-tsn Wu

Publisher: World Scientific

Published: 2008

Total Pages: 477

ISBN-13: 9812791078

DOWNLOAD EBOOK

This important book presents all the major works of Professor Wen-Tsun Wu, a widely respected Chinese mathematician who has made great contributions in the fields of topology and computer mathematics throughout his research career.The book covers Wu's papers from 1948 to 2005 and provides a comprehensive overview of his major achievements in algebraic topology, computer mathematics, and history of ancient Chinese mathematics. In algebraic topology, he discovered Wu classes and Wu formulas for Stiefel-Whitney classes of sphere bundles or differential manifolds, established an imbedding theory with an application to the layout problem of integrated circuits, and introduced the I*-functors which turned the ?rational homotopy theory? created by D Sullivan into algorithmic form. In computer mathematics, he discovered Wu's method of mechanical theorem proving by means of computers, which has been applied to prove and even discover on the computers hundreds of non-trivial theorems in various kinds of elementary and differential geometries. He also discovered a new effective method of polynomial equations solving, which has been used to solve problems raised from the fields of robotics and mechanisms, CAGD, computer vision, theoretic physics, celestial mechanics, and chemical equilibrium computation.

Fundamentals of Information Systems
Fundamentals of Information Systems

Author: Torsten Polle

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 190

ISBN-13: 1461551374

DOWNLOAD EBOOK

Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory: identification as a primitive of database models deontic action programs marked nulls in queries topological canonization in spatial databases complexity of search queries complexity of Web queries attribute grammars for structured document queries hybrid multi-level concurrency control efficient navigation in persistent object stores formal semantics of UML reengineering of object bases and integrity dependence . Fundamentals of Information Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.

Near Polygons
Near Polygons

Author: Bart de Bruyn

Publisher: Springer Science & Business Media

Published: 2010-04-11

Total Pages: 268

ISBN-13: 3764375531

DOWNLOAD EBOOK

Dedicated to the Russian mathematician Albert Shiryaev on his 70th birthday, this is a collection of papers written by his former students, co-authors and colleagues. The book represents the state-of-the-art of a quickly maturing theory and will be an essential source for researchers in this area. The diversity of topics and comprehensive style of the papers make the book attractive for Ph.D. students and young researchers.

Elements of 3D Seismology, third edition
Elements of 3D Seismology, third edition

Author: Christopher L. Liner

Publisher: SEG Books

Published: 2016-10-15

Total Pages: 363

ISBN-13: 1560803371

DOWNLOAD EBOOK

Elements of 3D Seismology, third edition is a thorough introduction to the acquisition, processing, and interpretation of 3D seismic data. This third edition is a major update of the second edition. Sections dealing with interpretation have been greatly revised in accordance with improved understanding and availability of data and software. Practice exercises have been added, as well as a 3D seismic survey predesign exercise. Discussions include: conceptual and historical foundations of modern reflection seismology; an overview of seismic wave phenomena in acoustic, elastic, and porous media; acquisition principles for land and marine seismic surveys; methods used to create 2D and 3D seismic images from field data; concepts of dip moveout, prestack migration, and depth migration; concepts and limitations of 3D seismic interpretation for structure, stratigraphy, and rock property estimation; and the interpretation role of attributes, impedance estimation, and AVO. This book is intended as a general text on reflection seismology, including wave propagation, data acquisition, processing, and interpretation and will be of interest to entry-level geophysicists, experts in related fields (geology, petroleum engineering), and experienced geophysicists in one subfield wishing to learn about another (e.g., interpreters wanting to learn about seismic waves or data acquisition).