Domestic murder in nineteenth-century England : literary and cultural representations / / Bridget Walsh

• Record Nr.: UNINA9910465220703321
• Autore: Walsh Bridget <1964->
• Pubbl/distr/stampa: Farnham, England ; ; Burlington, Vermont : , : Ashgate, , 2014; ©2014
• ISBN: 1-317-14844-4; 1-4724-2104-3
• Descrizione fisica: 1 online resource (194 p.)
• Disciplina: 820.9/355
• Soggetti: English literature - 19th century - History and criticism; Popular literature - Great Britain - History and criticism; Murder in literature; Family violence in literature; Social values in literature; Electronic books.
• 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: Cover; Contents; List of Figures; Acknowledgements; Introduction; 1 'The Demon in the Dock': Domestic Murder in Street Literature and the Newspaper Press; 2 'The Theatre of His Deep Dyed Guilt': Domestic Murder and the Victorian Stage; 3 'Mixed Motives and Mixed Morality': The Newgate Novel Debate; 4 'Monsters of Affection': The Male Domestic Murderer and Models of Masculinity; 5 'Changed, indeed, but not transformed': The Fin de Siècle and the Female Domestic Murderer; Conclusion; Bibliography; Index
• Sommario/riassunto: Examining novels, trial transcripts, medico-legal documents, broadsides, criminal and scientific writing, illustration and, notably, Victorian melodrama, Bridget Walsh focuses on the relationship between the domestic sphere, so central to Victorian values, and the desecration of that space by the act of murder. Her book tackles crucial questions related to Victorian ideas of nationhood, national health, inequality, newspaper coverage of murder, contested models of masculinity and the portrayal of the female domestic murderer at the ; fin de siècle.

Embedded systems and software validation / / Abhik Roychoudhury

• Record Nr.: UNINA9911006781103321
• Autore: Roychoudhury Abhik
• Pubbl/distr/stampa: Amsterdam ; ; Boston, : Morgan Kaufmann Publishers/Elsevier, c2009
• ISBN: 1-282-25804-4; 9786612258046; 0-08-092125-6
• Descrizione fisica: 1 online resource (267 p.)
• Collana: The Morgan Kaufmann series in systems on silicon
• Disciplina: 004.1
• Soggetti: Embedded computer systems - Design and construction; Embedded computer systems - Testing; Computer software - Testing
• 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 (p. 233-239) and index.
• Nota di contenuto: Front Cover; Embedded Systems and Software Validation; Copyright Page; Dedication Page; Table of Contents; Acknowledgments; Preface; Chapter 1. Introduction; Chapter 2. Model Validation; 2.1 Platform versus System Behavior; 2.2 Criteria for Design Model; 2.3 Informal Requirements: A Case Study; 2.3.1 The Requirements Document; 2.3.2 Simplification of the Informal Requirements; 2.4 Common Modeling Notations; 2.4.1 Finite-State Machines; 2.4.2 Communicating FSMs; 2.4.3 Message Sequence Chart-Based Models; 2.5 Remarks About Modeling Notations; 2.6 Model Simulations; 2.6.1 FSM Simulations; 2.6.2 Simulating MSC-Based System Models2.7 Model-Based Testing; 2.8 Model Checking; 2.8.1 Property Specification; 2.8.2 Checking Procedure; 2.9 The SPIN Validation Tool; 2.10 The SMV Validation Tool; 2.11 Case Study: Air-Traffic Controller; 2.12 References; 2.13 Exercises; Chapter 3. Communication Validation; 3.1 Common Incompatibilities; 3.1.1 Sending/Receiving Signals in Different Order; 3.1.2 Handling a Different Signal Alphabet; 3.1.3 Mismatch in Data Format; 3.1.4 Mismatch in Data Rates; 3.2 Converter Synthesis; 3.2.1 ; Representing Native Protocols and Converters; 3.2.2 Basic Ideas for Converter Synthesis3.2.3 Various Strategies for Protocol Conversion; 3.2.4 Avoiding No-Progress Cycles; 3.2.5 Speculative Transmission to Avoid Deadlocks; 3.3 Changing a Working Design; 3.4 References; 3.5 Exercises; Chapter 4. Performance Validation; 4.1 The Conventional Abstraction of Time; 4.2 Predicting Execution Time of a Program; 4.2.1 WCET Calculation; 4.2.2 Modeling of Microarchitecture; 4.3 Interference within a Processing Element; 4.3.1 Interrupts from Environment; 4.3.2 Contention and Preemption; 4.3.3 Sharing a Processor Cache; 4.4 System-Level Communication Analysis4.5 Designing Systems with Predictable Timing; 4.5.1 Scratchpad Memories; 4.5.2 Time-Triggered Communication; 4.6 Emerging Applications; 4.7 References; 4.8 Exercises; Chapter 5. Functionality Validation; 5.1 Dynamic or Trace-Based Checking; 5.1.1 Dynamic Slicing; 5.1.2 Fault Localization; 5.1.3 Directed Testing Methods; 5.2 Formal Verification; 5.2.1 Predicate Abstraction; 5.2.2 Software Checking via Predicate Abstraction; 5.2.3 Combining Formal Verification with Testing; 5.3 References; 5.4 Exercises; Bibliography; Index
• Sommario/riassunto: Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem. Embedded systems are used to control safety critical applications such as flight control, automotive el

Clean Meat : How Growing Meat Without Animals Will Revolutionize Dinner and the World / Paul Shapiro

• Record Nr.: UNISA996640972403316
• Autore: SHAPIRO, Paul
• Pubbl/distr/stampa: New York, : Gallery books, 2018
• ISBN: 978-1-5011-8908-1
• Descrizione fisica: 241 p. ; 23 cm
• Disciplina: 641.36
• Soggetti: Macellazione
• Collocazione: II.5. 9080
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: In this "important book that could just save your life" (Michael Greger, MD, bestselling author of How Not to Die), Paul Shapiro gives you a front-row seat for the wild story of the race to create and commercialize cleaner, safer, sustainable meat--real meat--without the animals. From the entrepreneurial visionaries to the scientists' workshops to the big business board-rooms--he details that quest for clean meat and that's "poised to revolutionize the business of food and agriculture," (Jack Welch, former CEO of General Electric).Since the dawn of Homo sapiens some quarter million years ago, animals have satiated our species' desire for meat. But with a growing global popula-tion and demand for meat, eggs, dairy, leather, and more, raising such massive numbers of farm animals is woefully inefficient and takes an enormous toll on the planet, public health, and certainly the animals themselves.But what if we could have our meat and eat it, too? The next great scientific revolution is underway--discovering new ways to create enough food for the world's ever-growing, ever-hungry population.Enter "cellular agriculture"--real, actual meat grown from animal cells--as well as other clean foods that ditch animal cells altogether and are simply built from the molecule up. Whereas our ancestors domesticated wild animals into livestock, today we're beginning to domesticate their cells, leaving the animals out of the equation. This is "a fascinating look at the future of food and the innovators who are working to interrupt and reinvent the food system" (Ann Veneman, former executive director of UNICEF and former US Secretary of ; Agriculture).