LEADER 01154nam 2200253la 450 001 9910482361703321 005 20221108063433.0 035 $a(UK-CbPIL)2090367803 035 $a(CKB)5500000000091555 035 $a(EXLCZ)995500000000091555 100 $a20210618d1618 uy | 101 0 $alat 135 $aurcn||||a|bb| 200 10$aAlgebra discorsiva numerale, et lineale dove discorrendo ... si inventano le regole alle equationi algebratiche, et il modo da esequire le operationi loro in numeri et in linee / [Pietro Antonio Cataldi]$b[electronic resource] 210 $aBologna $cSebastiano Bonomi$d1618 215 $aOnline resource (3 pts. : t.p. in red & black, diagrs. , (fol.)) 300 $aReproduction of original in The Wellcome Library, London. 700 $aCataldi$b Pietro Antonio$fapproximately 1548-1626.$0744339 801 0$bUk-CbPIL 801 1$bUk-CbPIL 906 $aBOOK 912 $a9910482361703321 996 $aAlgebra discorsiva numerale, et lineale dove discorrendo ... si inventano le regole alle equationi algebratiche, et il modo da esequire le operationi loro in numeri et in linee$91985604 997 $aUNINA LEADER 03821nam 22007334a 450 001 9910813880603321 005 20230617040620.0 010 $a0-19-772090-0 010 $a0-19-988386-6 010 $a1-280-84385-3 010 $a0-19-803857-7 010 $a1-4294-3833-9 035 $a(CKB)1000000000469651 035 $a(EBL)273303 035 $a(OCoLC)476015738 035 $a(SSID)ssj0000260288 035 $a(PQKBManifestationID)11212397 035 $a(PQKBTitleCode)TC0000260288 035 $a(PQKBWorkID)10223887 035 $a(PQKB)10123661 035 $a(SSID)ssj0001149876 035 $a(PQKBManifestationID)12413703 035 $a(PQKBTitleCode)TC0001149876 035 $a(PQKBWorkID)11175470 035 $a(PQKB)10761044 035 $a(Au-PeEL)EBL273303 035 $a(CaPaEBR)ebr10263655 035 $a(CaONFJC)MIL84385 035 $a(OCoLC)935260999 035 $a(Au-PeEL)EBL7033677 035 $a(MiAaPQ)EBC273303 035 $a(EXLCZ)991000000000469651 100 $a20040416d2004 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aTorture$b[electronic resource] $ea collection /$fedited by Sanford Levinson 210 $aOxford ;$aNew York $cOxford University Press$d2004 215 $a1 online resource (326 p.) 300 $aDescription based upon print version of record. 311 $a0-19-530646-5 311 $a0-19-517289-2 320 $aIncludes bibliographical references and index. 327 $aCONTENTS; FOREWORD: The Tyranny of Terror: Is Torture Inevitable in Our Century and Beyond?; ACKNOWLEDGMENTS; 1 Contemplating Torture: An Introduction; Part I: Philosophical Considerations; 2 Torture; 3 Political Action: The Problem of Dirty Hands; 4 Reflection on the Problem of "Dirty Hands"; Part II: Torture as Practiced; 5 The Legal History of Torture; 6 American Interrogation: From Torture to Trickery; 7 The Mental State of Torturers: Argentina's Dirty War; Part III: Contemporary Attempts to Abolish Torture through Law; 8 Escalation and Necessity: Defining Torture at Home and Abroad 327 $a9 Judgment Concerning the Legality of the General Security Service's Interrogation Methods10 Can the War against Terror Justify the Use of Force in Interrogations? Reflections in Light of the Israeli Experience; 11 The Promise and Limits of the International Law of Torture; 12 The European Convention on Human Rights and Its Prohibition on Torture; 13 The Prohibition on Torture and the Limits of the Law; Part IV: Reflections on the Post-September 11 Debate about Legalizing Torture; 14 Tortured Reasoning; 15 Five Errors in the Reasoning of Alan Dershowitz 327 $a16 Torture, Terrorism, and Interrogation17 Loose Professionalism, or Why Lawyers Take the Lead on Torture; CONTRIBUTORS; INDEX; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Y; Z 330 $aThe use of torture, at least under some conditions, has gained some prominent defenders. This title brings together lawyers, political theorists, social scientists and others to debate the advisability of maintaining its absolute ban and to reflect on what it says about our societies if we do--or do not--adhere to it in all circumstances. 606 $aTorture$xMoral and ethical aspects 606 $aHuman rights 606 $aPolitical prisoners$xLegal status, laws, etc 615 0$aTorture$xMoral and ethical aspects. 615 0$aHuman rights. 615 0$aPolitical prisoners$xLegal status, laws, etc. 676 $a323.4/9 701 $aLevinson$b Sanford$f1941-$01090954 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910813880603321 996 $aTorture$94044129 997 $aUNINA LEADER 14363nam 22007575 450 001 9910144126703321 005 20200630120039.0 010 $a3-540-48932-0 024 7 $a10.1007/BFb0097882 035 $a(CKB)1000000000548871 035 $a(SSID)ssj0000325503 035 $a(PQKBManifestationID)11243693 035 $a(PQKBTitleCode)TC0000325503 035 $a(PQKBWorkID)10340160 035 $a(PQKB)11181547 035 $a(DE-He213)978-3-540-48932-0 035 $a(PPN)155230093 035 $a(EXLCZ)991000000000548871 100 $a20121227d1999 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aParallel and Distributed Processing$b[electronic resource] $e11th IPPS/SPDP?99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12?16, 1999 Proceedings /$fedited by Jose Rolim 205 $a1st ed. 1999. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1999. 215 $a1 online resource (XXXIV, 1444 p. 365 illus.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1586 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-65831-9 327 $aFourth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS?99) -- Efficient program partitioning based on compiler controlled communication -- SCI-VM: A flexible base for transparent shared memory programming models on clusters of PCs -- Flexible collective operations for distributed object groups -- SCALA: A framework for performance evaluation of scalable computing -- Recursive individually distributed object -- The MuSE system: A flexible combination of on-stack execution and work-stealing -- Pangaea: An automatic distribution front-end for Java -- Concurrent language support for interoperable applications -- On the distributed implementation of aggregate data structures by program transformation -- Implementing a non-strict functional programming language on a threaded architecture -- Second workhop on bio-inspired solutions to parallel processing problems (BioSP3) -- The biological basis of the immune system as a model for intelligent agents -- A formal definition of the phenomenon of collective intelligence and its IQ measure -- Implementation of data flow logical operations via self-assembly of DNA -- A parallel hybrid evolutionary metaheuristic for the period vehicle routing problem -- Distributed scheduling with decomposed optimization criterion: Genetic programming approach -- A parallel genetic algorithm for task mapping on parallel machines -- Evolution-based scheduling of fault-tolerant programs on multiple processors -- A genetic-based fault-tolerant routing strategy for multiprocessor networks -- Regularity considerations in instance-based locality optimization -- Parallel ant colonies for combinatorial optimization problems -- An analysis of synchronous and asynchronous parallel distributed genetic algorithms with structured and panmictic Islands -- GA-based parallel image registration on parallel clusters -- Implementation of a parallel genetic algorithm on a cluster of workstations: The Travelling Salesman Problem, a case study -- Structural biology metaphors applied to the design of a distributed object system -- Proceedings of the Seventh International Workshop on Parallel and Distributed Real-time Systems -- Building an adaptive multimedia system using the utility model -- Evaluation of real-time fiber communications for parallel collective operations -- The case for prediction-based best-effort real-time systems -- Dynamic real-time channel establishment in multiple access bus networks -- A similarity-based protocol for concurrency control in mobile distributed real-time database systems -- From task scheduling in single processor environments to message scheduling in a PROFIBUS fieldbus network -- An adaptive, distributed airborne tracking sysem -- Non-preemptive scheduling of real-time threads on multi-level-context architectures -- QoS control and adaptation in distributed multimedia systems -- Dependability evaluation of fault tolerant distributed industrial control systems -- An approach for measuring IP security performance in a distributed environment -- An environment for generating applications involving remote manipulation of parallel machines -- Real-time image processing on a local plane SIMD array -- Metrics for the evaluation of multicast communications -- Distributing periodic workload uniformly across time to achieve better service quality -- A dynamic fault-tolerant mesh architecture -- Evaluation of a hybrid real-time bus scheduling mechanism for CAN -- System support for migratory continuous media applications in distributed real-time environments -- Dynamic application structuring on heterogeneous, distributed systems -- Improving support for multimedia system experimentation and deployment -- Run-time systems for parallel programming -- Efficient communications in multithreaded runtime systems -- Application performance of a linux cluster using converse -- An efficient and transparent thread migration scheme in the PM2 runtime system -- Communication-intensive parallel applications and non-dedicated clusters of workstations -- A framework for adaptive storage input/output on computational grids -- ARMCI: A portable remote memory copy library for distributed array libraries and compiler run-time systems -- Multicast-based runtime system for highly efficient causally consistent software-only DSM -- Adaptive DSM-runtime behavior via speculative data distribution -- 6th reconfigurable architectures workshop -- DEFACTO: A design environment for adaptive computing technology -- A web-based multiuser operating system for reconfigurable computing -- Interconnect synthesis for reconfigurable multi-FPGA architectures -- Hardwired-clusters partial-crossbar: A hierarchical routing architecture for multi-FPGA systems -- Integrated block-processing and design-space exploration in temporal partitioning for RTR architectures -- Improved scaling simulation of the general reconfigurable mesh -- Bit summation on the reconfigurable mesh -- Scalable hardware-algorithms for binary prefix sums -- Configuration sequencing with self configurable binary multipliers -- Domain specific mapping for solving graph problems on reconfigurable devices -- MorphoSys: a reconfigurable processor targeted to high performance image application -- An efficient implementation method of fractal image compression on dynamically reconfigurable architecture -- Plastic cell architecture: A dynamically reconfigurable hardware-based computer -- Leonardo and discipulus simplex: -- Reusable internal hardware templates -- An on-line arithmetic-based reconfigurable neuroprocessor -- The re-configurable delay-insensitive Flysig architecture -- Digital signal processing with general purpose microprocessors, DSP and reconfigurable logic -- Solving satisfiability problems on FPGAs using experimental unit propagation heuristic -- FPGA implementation of modular exponentiation -- Workshop on Java for Parallel and Distributed Computing -- More efficient object serialization -- A customizable implementation of RMI for high performance computing -- mpiJava: An object-oriented java interface to MPI -- An adaptive, fault-tolerant implementation of BSP for Java-based volunteer computing systems -- High performance computing for the masses -- Process networks as a high-level notation for metacomputing -- Developing parallel applications using the JavaPorts environment -- 3rd workshop on Optics and Computer Science Message from the Program Chairs -- Permutation routing in all-optical product networks -- NWCache: Optimizing disk accesses via an optical network/write cache hybrid -- NetCache: A network/cache hybrid for multiprocessors -- A multi-wavelength optical content-addressable parallel processor (MW-OCAPP) for high-speed parallel relational database processing: Architectural concepts and preliminary experimental system -- Optimal scheduling algorithms in WDM optical passive star networks -- OTIS-Based multi-hop multi-OPS lightwave networks -- Solving graph theory problems using reconfigurable pipelined optical buses -- High speed, high capacity bused interconnects using optical slab waveguides -- A new architecture for multihop optical networks -- Pipelined versus non-pipelined traffic scheduling in unidirectional WDM rings -- Irregular ?99 Sixth International Workshop on Solving Irregularly Structured Problems in Parallel -- Self-Avoiding walks over adaptive unstructured grids -- A graph based method for generating the fiedler vector of irregular problems -- Hybridizing nested dissection and halo approximate minimum degree for efficient sparce matrix ordering -- ParaPART: Parallel mesh partitioning tool for distributed systems -- Sparse computations with Pei -- Optimizing irregular HPF applications using halos -- From EARTH to HTMT: An evolution of a multiheaded architecture model -- Irregular parallel algorithms in Java -- A simple framework to calculate the reaching definition of array references and its use in subscript array analysis -- Dynamic process composition and communication patterns in irregularly structured applications -- Scalable parallelization of harmonic balance simulation -- A range minima parallel algorithm for coarse grained multicomputers -- Deterministic branch-and-bound on distributed memory machines -- 2nd Workshop on Personal Computer Based Networks of Workstations (PC-NOW?99) -- Performance results for a reliable low-latency cluster communication protocol -- Coscheduling through synchronized scheduling servers?A prototype and experiments -- High-performance knowledge extraction from data on PC-based networks of workstations -- Addressing communication latency issues on clusters for fine grained asynchronous applications?A case study -- Low cost databases for NOW -- Implementation and evaluation of MPI on an SMP cluster -- Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA?99 April 16 1998 -- From a specification to an equivalence proof in object-oriented parallelism -- Examples of program composition illustrating the use of universal properties -- A formal framework for specifying and verifying time warp optimizations -- Verifying end-to-end protocols using induction with CSP/FDR -- Mechanical verification of a garbage collector -- A structured approach to parallel programming: Methodology and models -- BSP in CSP: Easy as ABC -- 4th International Workshop on Embedded HPC Systems and Applications (EHPC?99) -- A distributed system reference architecture for adaptive QoS and resource management -- Transparent real-time monitoring in MPI -- DynBench: A dynamic benchmark suite for distributed real-time systems -- Reflections on the creation of a real-time parallel benchmark suite -- Tailor-made operating systems for embedded parallel applications -- Fiber-optic interconnection networks for signal processing applications -- Reconfigurable parallel sorting and load balancing: HeteroSo. 330 $aThis book constitutes the refereed proceedings of 11 IPPS/SPDP '98 Workshops held in conjunction with the 13th International Parallel Processing Symposium and the 10th Symposium on Parallel and Distributed Processing in San Juan, Puerto Rico, USA in April 1999. The 126 revised papers presented were carefully selected from a wealth of papers submitted. The papers are organised in topical sections on biologically inspired solutions to parallel processing problems: High-Level Parallel Programming Models and Supportive Environments; Biologically Inspired Solutions to Parallel Processing; Parallel and Distributed Real-Time Systems; Run-Time Systems for Parallel Programming; Reconfigurable Architectures; Java for Parallel and Distributed Computing; Optics and Computer Science; Solving Irregularly Structured Problems in Parallel; Personal Computer Based Workstation Networks; Formal Methods for Parallel Programming; Embedded HPC Systems and Applications. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1586 606 $aSoftware engineering 606 $aComputer architecture 606 $aComputer organization 606 $aComputer hardware 606 $aComputer science?Mathematics 606 $aComputers 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 615 0$aSoftware engineering. 615 0$aComputer architecture. 615 0$aComputer organization. 615 0$aComputer hardware. 615 0$aComputer science?Mathematics. 615 0$aComputers. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer System Implementation. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aComputer Hardware. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aTheory of Computation. 676 $a005.1 702 $aRolim$b Jose$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Parallel Processing Symposium$d(13th :$f1999 :$eSan Juan, P.R.) 712 12$aSymposium on Parallel and Distributed Processing$d(10th :$f1999 :$eSan Juan, P.R.) 906 $aBOOK 912 $a9910144126703321 996 $aParallel and distributed processing$91501988 997 $aUNINA