Search Results - Gawker~

Ethics and Drug Resistance: Collective Responsibility for Global Public Health

Table of Contents: “…Introduction -- Part 1 Theoretical and conceptual approaches to ethics in antimicrobial resistance -- Chapter 1 The practical ethics of antimicrobial resistance as a collective action problem (Julian Savulescu) -- Chapter 2 Collective responsibility for antimicrobial resistance (Angus Dawson) -- Chapter 3 Moral aspects of antimicrobial stewardship (Marcel Verweij) -- Chapter 4 Ethical frameworks for rational antibiotic use (Annette Rid, Jasper Littmann, Alena Buyx) -- Chapter 5 The virtuous physician as antimicrobial prescriber (Justin Oakley) -- Chapter 6 Solidarity and compliance with antimicrobial policy (Søren Holm, Thomas Ploug) -- Chapter 7 Resistance, inequality, and epidemiological transition (Lynette Reid) -- Chapter 8 The price of precaution (Joakim Larsson, Christian Munthe) -- Part 2 Ethics and antimicrobial resistance in context -- Chapter 9 Hospital acquired infection (Lyn Gilbert & Ian Kerridge) -- Chapter 10 Antibiotic use in childhood (Michael Millar) -- Chapter 11 Ethics, animals, public goods (Jonny Anomaly) -- Chapter 12 Malaria (PY Cheah& Mike Parker) -- Chapter 13 Resistant HIV (Bridget Haire) -- Chapter 14 Access & availability of new TB drugs (Diego Silva, Adrian Viens, Jasper Littmann) -- Chapter 15 TB Resistance and Human rights (Leslie London) -- Chapter 16 TB Resistance in developing countries (Richard Coker, Marco Liverani, Mishal Khan) -- Chapter 17 Animal Epidemiology (Lisa Boden & Dominic Mellor) -- Part 3 Ethical, legal and economic aspects of antimicrobial resistance -- Chapter 18 Privacy and data collection(Leslie Francis) -- Chapter 19 Mandatory treatment interventions (Carl Coleman) -- Chapter 20 Ethics and AMR Regulation (Belinda Bennett) -- Chapter 21 Ethics of Drug Development (Nick King) -- Chapter 22 Economics of resistance (Coast/Smith) -- Conclusion.…”
Link to Metadata

Co-Creativity and Engaged Scholarship Transformative Methods in Social Sustainability Research /

Table of Contents: “…Supporting institutional transformations: experimenting with reflexive and embodied cross-boundary research -- 17. How to make policy makers care about "wicked problems" such as biodiversity loss? …”
Link to Metadata

Zero Distance Management in the Quantum Age / by Zohar, Danah

Table of Contents: “…-- Chap. 15: Haier: A Maker's Culture -- Chap. 16: Roche India: A Purpose Driven Culture -- Chap. 17: GE Appliances: An American Catalyst -- Chap. 18: Other Companies Featuring Quantum Management Principles -- Chap.19: US Army Special Operations Task Force: RenDanHeyi for the Military -- Part V: The Quantum Society -- Chap. 20: What Is a Quantum Society? …”
Link to Metadata

Reading Prehistoric Human Tracks Methods & Material /

Table of Contents: “…Tracking with Batek Hunter-Gatherers of Malaysia (Lye Tuck-Po) -- Chapter 19. …”
Link to Metadata

Researching Elites and Power Theory, Methods, Analyses /

Table of Contents: “…An interview with Michael Hartmann -- Chapter 8. Central bankers as a Sociological Object. Stakes, Problems and Possible Solutions -- Chapter 9. …”
Link to Metadata

Wirtschaft neu lehren Erfahrungen aus der pluralen, sozioökonomischen Hochschulbildung /

Table of Contents: “…Conceptual Notes and Practical Advice for Teaching a Subject in the Making -- Plurale Lehre in den Wirtschaftswissenschaften an der Georg-August-Universität Göttingen -- Low-Profit im Kontext der UN-Nachhaltigkeitsziele -- Using Academic Travel to Teach Sustainable Economic Development -- "Uni auf den Acker!" - eine weltzugewandte ökonomische Bildung auf Exkursion -- Lebensentwürfe im Spannungsfeld von Ökonomisierung, Selbstverwirklichung und unternehmerischer Nachhaltigkeit -- Gestaltungsorientiert forschen lernen mit design thinking - Erläutert am Beispiel des Umgangs mit dem Lernfeldparadoxon der wirtschaftsberuflichen Bildung -- Was ist Ökonomie? …”
Link to Metadata

Copy(write) Intellectual Property in the Writing Classroom

Table of Contents: “…Ashley Hall, Kathie Gossett, and Elizabeth Vincelette -- Copy-rights and Copy-wrong: Intellectual Property in the Classroom Revisited, Janice R. Walker -- Rhetorical Velocity and Copyright: A Case Study on Strategies of Rhetorical Delivery, Jim Ridolfo and Martine Courant Rife -- Following the Framers: Choosing Pedagogy to Further Fair Use and Free Speech, TyAnna Herrington -- Response to Part II—Being Rhetorical When We Teach Intellectual Property and Fair Use, James E. …”
Access online version

New Perspectives in Critical Data Studies The Ambivalences of Data Power /

Table of Contents: “…New Perspectives in Critical Data Studies: The Ambivalences of Data Power-An Introduction -- Part I Global Infrastructures and Local Invisibilities -- Data Power and Counter-power with Chinese Characteristics -- Transnational Networks of Influence: The Twitter Presence of the Quantified Self and Maker Movements' Organizational Elites -- The Power of Data Science Ontogeny: Thick Data Studies on the Indian IT Skill Tutoring Microcosm -- Fighting the "System": A Pilot Project on the Opacity of Algorithms in Political Communication -- Indigenous Peoples, Data, and the Coloniality of Surveillance -- Part II State and Data Justice -- The Datafied Welfare State: A Perspective from the UK -- The Value Dynamics of Data Capitalism: Cultural Production and Consumption in a Datafied World -- Mapping Data Justice as a Multidimensional Concept Through Feminist and Legal Perspectives -- Reconfiguring Education Through Data: How Data Practices Reconfigure Teacher Professionalism and Curriculum -- Public Values and Technological Change: Mapping how Municipalities Grapple with Data Ethics -- Welfare Data Society? …”
Link to Metadata

APCC Special Report: Strukturen für ein klimafreundliches Leben

Table of Contents: “…Beteiligte -- Zusammenfassung für Entscheidungstragende -- Summary for Policy Makers -- Technische Zusammenfassung -- Technical Summary -- Teil 1: Einleitung -- 1 Einleitung: Strukturen für ein klimafreundliches Leben -- 2 Perspektiven zur Analyse und Gestaltung von Strukturen klimafreundlichen Lebens -- Teil 2: Handlungsfelder -- 3 Überblick Handlungsfelder -- 4 Wohnen -- 5 Ernährung -- 6 Mobilität -- 7 Erwerbsarbeit -- 8 Sorgearbeit für die eigene Person, Haushalt, Familie und Gesellschaft -- 9 Freizeit und Urlaub -- Teil 3: Integrierte Perspektiven auf Strukturbedingungen -- 10 Integrierte Perspektiven auf Strukturbedingungen -- 11 Recht -- 12 Governance und politische Beteiligung -- 13 Innovationssystem und -politik -- 14 Die Versorgung mit Gütern und Dienstleistungen -- 15 Globalisierung: Globale Warenketten und Arbeitsteilung -- 16 Geld- und Finanzsystem -- 17 Soziale und räumliche Ungleichheit -- 18 Sozialstaat und Klimawandel -- 19 Raumplanung -- 20 Mediendiskurse und -strukturen -- 21 Bildung und Wissenschaft für ein klimafreundliches Leben -- 22 Netzgebundene Infrastrukturen -- Teil 4: Pfade zur Transformation struktureller Bedingungen für ein klimafreundliches Leben -- 23 Synthese: Pfade zur Transformation struktureller Bedingungen für ein klimafreundliches Leben -- Teil V: Vertiefung in Theorien des Wandels und der Gestaltung von Strukturen -- 24 Theorien des Wandels und der Gestaltung von Strukturen -- 25 Theorien des Wandels und der Gestaltung von Strukturen: Marktperspektive -- 26 Theorien des Wandels und der Gestaltung von Strukturen: Innovationsperspektive -- 27 Theorien des Wandels und der Gestaltung von Strukturen: Bereitstellungsperspektive -- 28 Theorien des Wandels und der Gestaltung von Strukturen: Gesellschaftsperspektive.…”
Link to Metadata

The use of new technologies in Cohort studies by Carlos Antonio Bruno da Silva, Querubina Bringel Olinda

Connect to this object online.

The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /

Table of Contents: “…The Forgotten Obvious: Breathing in Psychoanalysis, Arthur Rose and Oriana Walker -- 19. Mysterious Gear: Modernist Mountaineering, Oxygen Rigs, and the Politics of Breath, Abbie Garrington -- 20. …”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Writing in Knowledge Societies by Starke-Meyerring, Doreen, Paré, Anthony, Artemeva, Natasha, Horne, Miriam, Yousoubova, Larissa

Table of Contents: “…Rogers and Olivia Walling -- Reinventing WAC (again): The First-Year Seminar and Academic Literacy, Doug Brent -- A Code of Ethics as a Collaborative Learning Tool: Comparing a Face-to-Face Engineering Team and Multidisciplinary Online Teams, Anne Parker and Amanda Goldrick-Jones -- "An Engrained Part of My Career": The Formation of a Knowledge Worker in the Dual Space of Engineering Knowledge and Rhetorical Process, Natasha Artemeva -- International Students and Identity: Resisting Dominant Ways of Writing and Knowing in Academe, Heekyeong Lee and Mary H. …”
Access online version

Genre in a Changing World

Table of Contents: “…Russell, Mary Lea Jan Parker, Brian Street, and Tiane Donahue -- Genre and Disciplinary Work in French Didactics Research, Tiane Donahue -- Negotiating Genre: Lecturer's Awareness in Genre Across the Curriculum Project at the University Level, Estela Inés Moyano -- The Development of a Genre-Based Writing Course for Graduate Students in Two Fields, Solange Aranha -- Written Genres in University Studies: Evidence from an Academic Corpus of Spanish in Four Disciplines, Giovanni Parodi -- Author Affiliations…”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Communicative Figurations Transforming Communications in Times of Deep Mediatization /

Table of Contents: “…Communicative Figurations of expertisation: DIY_MAKER and Multi-Player Online Gaming (MOG) as cultures of amateur learning; Karsten Wolf & Urszula Wudarski.- 7.The communicative construction of space-related identities. …”
Link to Metadata

Lives in Peace Research The Oslo Stories /

Table of Contents: “…Sverre Lodgaard Interviewed by Hilde Henriksen Waage -- 11. The Peace Policy Maker: Dan Smith Interviewed by Stein Tønnesson -- 12. …”
Link to Metadata

Academic Integrity in Canada An Enduring and Essential Challenge /

Table of Contents: “…-- Visual plagiarism: Seeing the forest and the trees -- The distinctive nature of academic integrity in graduate legal education -- Perceptions and experiences in understanding academic integrity: Reflections within a doctoral program -- The barriers to reporting incidences of academic dishonesty: The unique perspective of faculty from Canadian community colleges -- Promotion of academic integrity through a marketing lens for Canadian post-secondary institutions -- Academic integrity in the practice / service learning setting -- Promoting academic integrity and preventing misconduct in a Canadian open digital distance education university -- Section III: An urgent and growing problem: Contract cheating in Canada -- Section introduction: Contract cheating in Canada -- Ethics, ed tech, and therise of contract cheating -- Pay-to-pass: Knowledge as a commodity in the digital age -- Education as a financial transaction: Contract employment and contract cheating -- Committing and facilitating academic misconduct as white-collar and corporate crime -- Section IV: Essential strategies and levers to advance academic integrity -- Section introduction: Essential strategies and levers to advance academic integrity -- Using quality assurance frameworks to support an institutional culture of academic integrity at Canadian universities -- Beyond the traditional: Academic integrity advocacy in Canadian librarianship -- Using computer-facilitated focus groups to gather student insight on academic integrity -- Fostering academic integrity through curriculum design -- Threading the needle: Student advocacy offices and their role within academic integrity -- Helping students resolve the ambiguous expectations of academic integrity -- How to talk about academic integrity, so students will listen: The inherent challenge in "mandated" training -- Revisioning instructor-writing specialist collaboration for paraphrasing instruction -- Supporting academic integrity in the writing centre: Student consultant perspectives -- Cultural aspects of academic integrity -- A new framework for enhancing (academic) integrity -- Building a culture of restorative practice and restorative responses to academic misconduct.…”
Link to Metadata

History of Innovative Entrepreneurs in Japan by Kikkawa, Takeo

Table of Contents: “…Catch-Up and Domestic Demand -- Overview 4: Japan since the 1990s -- Case 18: Kazuo Inamori: Managerial Renewal by a Venture Manager -- Case 19: Toshifumi Suzuki: Convenience Store Innovations Originating in Japan Spread to the World -- Case 20: Tadashi Yanai and Masayoshi Son: Exceptional Challenges Undertaken by the Two Risk Takers -- Discussion Point 4: Why did Japan's Economy Slow Down? …”
Link to Metadata