This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
Reflecting the interdisciplinary nature of the authors' collaboration, this book takes seriously the need to understand ubicomp not only technically but also culturally, socially politically and economically.OCLC-licensed vendor bibliographic record.
How the simulation and visualization technologies so pervasive in science, engineering, and design have changed our way of seeing the world.OCLC-licensed vendor bibliographic record.
Speaking Code begins by invoking the "Hello World" convention used by programmers when learning a new language, helping to establish the interplay of text and code that runs through the book. Interweaving the voice of critical writing from the humanities with the tradition of computing and software development, in Speaking Code Geoff Cox formulates an argument that aims to undermine the distinc…
The economic and political stakes in the current heated debates over "openness" and open standards in the Internet's architecture.OCLC-licensed vendor bibliographic record.
Wikipedia, the online encyclopedia, is built by a community - a community of Wikipedians who are expected to "assume good faith" when interacting with one another. In Good Faith Collaboration, Joseph Reagle examines this unique collaborative culture;Wikipedia, says Reagle, is not the first effort to create a freely shared, universal encyclopedia; its early twentieth-century ancestors include Pa…
"This book provides the most holistic approach to the history of the development of programming and computer systems so far written. By embedding this history in a sociological and political context, Ensmenger has added hugely to our understanding of how the world of computing and its work practices came to be." Martin Campbell-Kelly, Professor of Computer Science, Warwick University.;"The Comp…
"An MIT Press classic."Facsim. of ed. originally published: ?1984.This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific knowledge in interactive programming environments. It makes a basic contribution in this area by proposing an attribute-grammar fra…
Genetic programming is a domain-independent method for automatic programming that evolves computer programs that solve, or approximately solve, problems. Starting with a primordial ooze of thousands of randomly created computer programs composed of functions and terminals appropriate to a problem, a population of programs is progressively evolved over many generations using the Darwinian princi…
This book formalizes and analyzes the relations between multiple views of a scene from the perspective of various types of geometries. A key feature is that it considers Euclidean and affine geometries as special cases of projective geometry.Over the last forty years, researchers have made great strides in elucidating the laws of image formation, processing, and understanding by animals, humans…