Product Description
This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geome… More >>

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Product Description
Proceedings of the Joint Intl Conference, AISC 2002 and Calculemus 2002, held July 1-5, 2002 in Marseille, France. Softcover…. More >>

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, … / Lecture Notes in Artificial Intelligence)

Product Description
This book examines some crucial aspects of surveillance processes with a view to showing what constitutes them, why the growth of surveillance is accelerating and what is really at stake personally and politically. It scrutinizes individual surveillance systems – CCTV, biometrics, intelligent transportation systems, smart cards, on-line profiling – and discusses their implications for our future. Surveillance as Social Sorting is a fascinating contribution to a rela… More >>

Surveillance as Social Sorting: Privacy, Risk and Automated Discrimination