Arbitrary Lines

Arbitrary Lines
Author: M. Nolan Gray
Publisher: Island Press
Total Pages: 258
Release: 2022-06-21
Genre: Architecture
ISBN: 1642832545

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
Total Pages: 301
Release: 2012-12-06
Genre: Computers
ISBN: 370916639X

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.

Sammlung

Sammlung
Author: Wen-tsn Wu
Publisher: World Scientific
Total Pages: 477
Release: 2008
Genre: Computers
ISBN: 9812791078

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
Total Pages: 190
Release: 2012-12-06
Genre: Computers
ISBN: 1461551374

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
Total Pages: 268
Release: 2010-04-11
Genre: Mathematics
ISBN: 3764375531

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
Total Pages: 363
Release: 2016-10-15
Genre: Science
ISBN: 1560803371

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).

A Mathematical Journey to Relativity

A Mathematical Journey to Relativity
Author: Wladimir-Georges Boskoff
Publisher: Springer Nature
Total Pages: 412
Release: 2020-06-01
Genre: Science
ISBN: 3030478947

This book opens with an axiomatic description of Euclidean and non-Euclidean geometries. Euclidean geometry is the starting point to understand all other geometries and it is the cornerstone for our basic intuition of vector spaces. The generalization to non-Euclidean geometry is the following step to develop the language of Special and General Relativity. These theories are discussed starting from a full geometric point of view. Differential geometry is presented in the simplest way and it is applied to describe the physical world. The final result of this construction is deriving the Einstein field equations for gravitation and spacetime dynamics. Possible solutions, and their physical implications are also discussed: the Schwarzschild metric, the relativistic trajectory of planets, the deflection of light, the black holes, the cosmological solutions like de Sitter, Friedmann-Lemaître-Robertson-Walker, and Gödel ones. Some current problems like dark energy are also scketched. The book is self-contained and includes details of all proofs. It provides solutions or tips to solve problems and exercises. It is designed for undergraduate students and for all readers who want a first geometric approach to Special and General Relativity.