LEADER 04215oam 22007454a 450 001 9910451681403321 005 20211004153051.0 010 $a1-4571-0966-2 010 $a1-280-50136-7 010 $a9786610501366 010 $a1-4571-1074-1 010 $a0-87081-855-4 035 $a(CKB)1000000000461836 035 $a(EBL)710205 035 $a(OCoLC)784882809 035 $a(SSID)ssj0000171889 035 $a(PQKBManifestationID)12039704 035 $a(PQKBTitleCode)TC0000171889 035 $a(PQKBWorkID)10151211 035 $a(PQKB)10882355 035 $a(MiAaPQ)EBC3039820 035 $a(Au-PeEL)EBL3039820 035 $a(CaPaEBR)ebr10761460 035 $a(OCoLC)923705084 035 $a(OCoLC)1247712181 035 $a(MdBmJHUP)musev2_85357 035 $a(EXLCZ)991000000000461836 100 $a20060615d2005 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHistories of Infamy$eFrancisco López de Gómara and the Ethics of Spanish Imperialism /$fCristia?n A. Roa-de-la-Carrera ; translated by Scott Sessions 210 1$aBoulder :$cUniversity Press of Colorado,$dop. 2005. 210 4$d©op. 2005. 215 $a1 online resource (468 p.) 300 $aI?ndice. 300 $aBibliografi?a: p. 239-254. 311 $a1-60732-185-8 311 $a0-87081-813-9 320 $aIncludes bibliographical references (pages 239-254) and index. 327 $aCover Page; Title Page; Copyright Page; Dedication; Contents; Foreword; Acknowledgments; Introduction; ONE GO?MARA AND THE POLITICS OF CONSENSUS; History as Influence: The Emperor and the Conqueror; Historiography and Empire-Building; In the Service of the King: Historians and Administrators; Contested Histories in a Changing Discursive Landscape; The Authority of Discourse: The Historia general and the World of Fernando Corte?s; The Limits of Consensus: Go?mara Under Attack; TWO TERRITORIES OF REDEMPTION IN THE NEW WORLD; Geography and Culture in the Colonial World 327 $aTerritoriality and Sacred History History, Cartography, and Dominion: Establishing Rights of Conquest; The Indies and Human Diversity; To Inherit the World: Human Intellect and Dominion; THREE EXCHANGE AS A NARRATIVE OF IMPERIAL EXPANSION; Christian Rhetoric, Economic Ends; The Discovery and the Historical Tradition; The Humble Beginnings of the Empire; Exchange as a System of Colonization; Justice and the Dynamics of Intercultural Relations; Searching for a Common Good: Imperialism as a Form of Reciprocity; FOUR GO?MARA AND THE DESTRUCTION OF THE INDIES 327 $aRuling the Indians: The King and His Despots The Infamy of Spain and the Conquistadors; Imperialism and Desire; Lordship and Masculinity; The Patriarchal Life of the Conquistador; Bibliography and References Cited; Index 330 $aIn Histories of Infamy, Cristia?n Roa-de-la-Carrera explores Francisco Lo?pez de Go?mara's (1511-ca.1559) attempt to ethically reconcile Spain's civilizing mission with the conquistadors' abuse and exploitation of Native peoples. The most widely read account of the conquest in its time, Go?mara's Historia general de las Indias y Conquista de Me?xico rationalized the conquistadors' crimes as unavoidable evils in the task of bringing ""civilization"" to the New World. Through an elaborate defense of Spanish imperialism, Go?mara aimed to convince his readers of the merits of the conquest, regardless 606 $aMexico colonial$2tesbhaecid 606 $aIndios de Mexico$2tesbhaecid 606 $aHistoriografia de Mexico$2tesbhaecid 606 $aDescubrimiento y conquista de Mexico$2tesbhaecid 606 $aCronicas$2tesbhaecid 608 $aElectronic books. 615 00$aMexico colonial. 615 00$aIndios de Mexico. 615 00$aHistoriografia de Mexico. 615 00$aDescubrimiento y conquista de Mexico. 615 00$aCronicas. 676 $a970.01/6 700 $aRoa-de-la-Carrera$b Cristian A$01070840 801 0$bMdBmJHUP 801 1$bMdBmJHUP 906 $aBOOK 912 $a9910451681403321 996 $aHistories of Infamy$92565208 997 $aUNINA LEADER 07439nam 22008415 450 001 9910144203903321 005 20200630133355.0 010 $a1-280-30711-0 010 $a9786610307111 010 $a3-540-24743-2 024 7 $a10.1007/b96398 035 $a(CKB)1000000000212341 035 $a(DE-He213)978-3-540-24743-2 035 $a(SSID)ssj0000175460 035 $a(PQKBManifestationID)11165733 035 $a(PQKBTitleCode)TC0000175460 035 $a(PQKBWorkID)10189294 035 $a(PQKB)10143852 035 $a(MiAaPQ)EBC3088760 035 $a(PPN)155182587 035 $a(EXLCZ)991000000000212341 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHybrid Systems: Computation and Control $e7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /$fedited by Rajeev Alur, George Pappas 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 674 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2993 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21259-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aRegular Papers -- Lazy Rectangular Hybrid Automata -- Affine Hybrid Systems -- Abstraction by Projection and Application to Multi-affine Systems -- Observability of Switched Linear Systems -- Inference Methods for Autonomous Stochastic Linear Hybrid Systems -- Synthesis for Idle Speed Control of an Automotive Engine -- Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways -- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems -- A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems -- Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems -- Discrete and Hybrid Nonholonomy -- Approximations of the Rate of Growth of Switched Linear Systems -- The Hybrid Guaranteed Capture Basin Algorithm in Economics -- Staying Alive as Cheaply as Possible -- On O-Minimal Hybrid Systems -- Extended Stochastic Hybrid Systems and Their Reachability Problem -- On the Controllability of Bimodal Piecewise Linear Systems -- Observability of Piecewise-Affine Hybrid Systems -- Non-deterministic Temporal Logics for General Flow Systems -- Almost ASAP Semantics: From Timed Models to Timed Implementations -- Discrete State Estimators for a Class of Hybrid Systems on a Lattice -- Benchmarks for Hybrid Systems Verification -- On the Optimal Control of Switch-Mode DC-DC Converters -- Event-Driven Programming with Logical Execution Times -- A Stochastic Hybrid Model for Air Traffic Control Simulation -- Stochastic Hybrid Systems: Application to Communication Networks -- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints -- Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems -- Sound Code Generation from Communicating Hybrid Models -- Multi-Parametric Toolbox (MPT) -- Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis -- Safety Verification of Hybrid Systems Using Barrier Certificates -- Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes -- A Spatial Logic for the Hybrid ?-Calculus -- Full Paper Sheet Control Using Hybrid Automata -- Constructing Invariants for Hybrid Systems -- Bisimulation of Dynamical Systems -- Control Design for a Hybrid Dynamic System: A NASA Life Support System -- Non-concurrent Error Detection and Correction in Switched Linear Controllers -- Nonlinear Systems: Approximating Reach Sets -- On Practical Stability and Stabilization of Hybrid and Switched Systems -- A Numerical Technique for Stability Analysis of Linear Switched Systems -- Asymptotic Stability and Boundedness of Delay Switching Diffusions -- Invited Contribution -- Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. 330 $aThis volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year?s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2993 606 $aComputers 606 $aComputers, Special purpose 606 $aComputer system failures 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer simulation 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aComputers. 615 0$aComputers, Special purpose. 615 0$aComputer system failures. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer simulation. 615 14$aTheory of Computation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSystem Performance and Evaluation. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aSimulation and Modeling. 676 $a004.19 702 $aAlur$b Rajeev$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPappas$b George$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aHSCC (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144203903321 996 $aHybrid Systems: Computation and Control$9773130 997 $aUNINA