Laughter in the next room / sir Osbert Sitwell

• Record Nr.: UNIBAS000029383
• Autore: Sitwell, Osbert
• Pubbl/distr/stampa: Boston : Little, Brown, 1948
• Descrizione fisica: 400 p. ; 23 cm.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Tractatus quinque medico-physici [[electronic resource] ] : quorum primus agit de sal-nitro, et spiritu nitro-aereo : secundus de respiratione : tertius de respiratione foetus in utero, et ovo : quartus de moto musculari, et spiritibus animalibus : ultimus de rhachitide / / studio Joh. Mayow .

• Record Nr.: UNISA996385661403316
• Autore: Mayow John <1640-1679.>
• Pubbl/distr/stampa: Oxonii, : E Teatro Sheldoniano, 1674
• Descrizione fisica: [40], 335, 152 p., [7] leaves of plates : ill
• Soggetti: Oxygen; Oxygen - Physiological effect; Respiration; Respiratory organs; Muscles; Rickets
• Lingua di pubblicazione: Latino
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Reproduction of original in Cambridge University Library.
• Sommario/riassunto: eebo-0021

Genocide on settler frontiers : when hunter-gatherers and commercial stock farmers clash / / edited by Mohamed Adhikari

• Record Nr.: UNINA9910822209203321
• Pubbl/distr/stampa: New York, New York ; ; Oxford, [England] : , : Berghahn Books, , 2015; ©2015
• ISBN: 1-78238-739-0
• Descrizione fisica: 1 online resource (370 p.)
• Collana: Studies on War and Genocide ; ; 22
• Disciplina: 967.57104
• Soggetti: Indigenous peoples - Violence against - History; Indigenous peoples - Violence against - South Africa - History; Indigenous peoples - Violence against - Australia - History; Genocide - South Africa - Cape of Good Hope - History; Genocide - Australia - History
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Genocide on Settler Frontiers; Table of Contents; Acknowledgements; Notes in the Contributors; Chapter 1. 'We are Determined to Exterminate Them': The Genocidal Impetus Behind Commercial Stock Farmer Invasions of Hunter-Gatherer Territories; Chapter 2. 'The Bushman is a Wild Animal to be Shot at Sight': Annihilation of the Cape Colony's Foraging Societies by Stock-Farming Settlers in the Eighteenth and Nineteenth Centuries; Chapter 3. 'Like a Wild Beast, He Can be Got for the Catching': Child Forced Labour and the 'Taming' of the San along the Cape's North-Eastern Frontier, c.1806-1830; Chapter 4. 'We Exterminated Them, and Dr. Philip Gave the Country': The Griqua People and the Elimination of San from South Africa's Transorangia RegionChapter 5. Vogelfrei and Besitzlos, with no Concept of Property: Divergent Settler Responses to Bushmen and Damara in German South West Africa; Chapter 6. Why Racial Paternalism and not Genocide? The Case of the Ghanzi Bushmen of ; Bechuanaland; Chapter 7. The Destruction of Hunter-Gatherer Societies on the Pastoralist Frontier: The Cape and Australia Compared; Chapter 8. 'No Right to the Land': The Role of the Wool Industry in the Destruction of Aboriginal Societies in Tasmania (1817-1832) and Victoria (1835-1851) ComparedChapter 9. Indigenous Dispossession and Pastoral Employment in Western Australia during the Nineteenth Century: Implications for Understanding Colonial Forms of Genocide; Chapter 10. 'A Fierce and Irresistible Cavalry': Pastoralists, Homesteaders and Hunters on the American Plains Frontier; Chapter 11. Dispossession, Ecocide, Genocide: Cattle Ranching and Agriculture in the Destruction of Hunting Cultures on the Canadian Prairies; Chapter 12. Seeing Receding Hunter-Gatherers and Advancing Commercial Pastoralists: 'Nomadisation', Transfer, GenocideSelect Bibliography; Index
• Sommario/riassunto: European colonial conquest included many instances of indigenous peoples being exterminated. Cases where invading commercial stock farmers clashed with hunter-gatherers were particularly destructive, often resulting in a degree of dispossession and slaughter that destroyed the ability of these societies to reproduce themselves. The experience of aboriginal peoples in the settler colonies of southern Africa, Australia, North America, and Latin America bears this out. The frequency with which encounters of this kind resulted in the annihilation of forager societies raises the question of whethe

Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings / / edited by Rupak Majumdar, Paulo Tabuada

• Record Nr.: UNINA9910484027903321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
• ISBN: 3-642-00602-7
• Edizione: [1st ed. 2009.]
• Descrizione fisica: 1 online resource (XIV, 492 p.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5469
• Classificazione: DAT 240f; SS 4800
• Altri autori (Persone): MajumdarRupak; TabuadaPaulo
• Disciplina: 004.19
• Soggetti: Computer networks; Computer systems; Software engineering; Computers, Special purpose; Microprocessors; Computer architecture; Computer science; Computer Communication Networks; Computer System Implementation; Software Engineering; Special Purpose and Application-Based Systems; Processor Architectures; Computer Science Logic and Foundations of Programming
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: International conference proceedings.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Regular Papers -- Applications of MetiTarski in the Verification of Control and Hybrid Systems -- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach -- Safe and Secure Networked Control Systems under Denial-of-Service Attacks -- Actors without Directors: A Kahnian View of Heterogeneous Systems -- Simultaneous Optimal Control and Discrete Stochastic Sensor Selection -- Hybrid ; Modelling, Power Management and Stabilization of Cognitive Radio Networks -- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study -- Local Identification of Piecewise Deterministic Models of Genetic Networks -- Distributed Wombling by Robotic Sensor Networks -- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces -- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach -- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models -- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem -- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More -- Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions -- Trajectory Based Verification Using Local Finite-Time Invariance -- Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program -- Uniform Consensus among Self-driven Particles -- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes -- Decompositional Construction of Lyapunov Functions for Hybrid Systems -- Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems -- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems -- Hybrid Modeling, Identification, and Predictive Control: An Application toHybrid Electric Vehicle Energy Management -- On Event Based State Estimation -- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer -- Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays -- Specification and Analysis of Network Resource Requirements of Control Systems -- Periodically Controlled Hybrid Systems -- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach -- Bounded and Unbounded Safety Verification Using Bisimulation Metrics -- Short Papers -- The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers -- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems -- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata -- Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract) -- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting -- Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets -- Distributed Tree Rearrangements for Reachability and Robust Connectivity -- The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters -- STORMED Hybrid Games -- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.