| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910458642003321 |
|
|
Autore |
Blum Gabriella |
|
|
Titolo |
Laws, outlaws, and terrorists [[electronic resource] ] : lessons from the War on Terrorism / / Gabriella Blum and Philip B. Heymann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, Mass., : MIT Press, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-282-89918-X |
9786612899188 |
0-262-28920-2 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (254 p.) |
|
|
|
|
|
|
Collana |
|
Belfer Center studies in international security |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
War on Terrorism, 2001-2009 |
Terrorism - United States - Prevention |
Terrorism - Government policy - United States |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
"In an age of global terrorism, can the pursuit of security be reconciled with liberal democratic values and legal principles? During its "global war on terrorism," the Bush administration argued that the United States was in a new kind of conflict, one in which peacetime domestic law was irrelevant and international law inapplicable. From 2001 to 2009, the United States thus waged war on terrorism in a "no-law zone." |
Gabriella Blum and Philip Heymann reject the argument that traditional American values embodied in domestic and international law can be ignored in any sustainable effort to keep the United States safe from terrorism. In Laws, Outlaws, and Terrorists, they demonstrate that the costs are great and the benefits slight from separating security and the rule of law. |
Blum and Heymann argue that the harsh measures employed by the Bush administration were authorized too broadly, resulted in too much harm, and often proved to be counterproductive for security. Blum and Heymann recognize that a severe terrorist attack might justify changing |
|
|
|
|
|
|
|
|
|
|
|
|
|
the balance between law and security, but they call for reasoned judgment instead of a wholesale abandonment of American values. They also argue that being open to negotiations and seeking to win the moral support of the communities from which the terrorists emerge are noncoercive strategies that must be included in any future efforts to reduce terrorism."--Pub. desc. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483640303321 |
|
|
Titolo |
Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers / / edited by Francisco Botana, Tomas Recio |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 218 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 4869 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Geometry |
Artificial intelligence |
Computer graphics |
Machine theory |
Pattern recognition systems |
Computer science - Mathematics |
Discrete mathematics |
Artificial Intelligence |
Computer Graphics |
Formal Languages and Automata Theory |
Automated Pattern Recognition |
Discrete Mathematics in Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Towards an Electronic Geometry Textbook -- Equidecomposable |
|
|
|
|
|
|
|
|
|
|
|
Quadratic Regions -- Automatic Verification of Regular Constructions in Dynamic Geometry Systems -- Recognition of Computationally Constructed Loci -- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems -- Cylinders Through Five Points: Complex and Real Enumerative Geometry -- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method -- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems -- Mechanical Theorem Proving in Tarski’s Geometry -- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons -- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry -- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System -- Constructing a Tetrahedron with Prescribed Heights and Widths. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies. |
|
|
|
|
|
|
|
| |