Search Results - Clairo~

Refine Results
  1. 7781

    Performing Citizenship Bodies, Agencies, Limitations /

    Published 2019
    Table of Contents: “…Silence, Motifs and Echoes - Acts of Listening in Postcolonial Hamburg; Katharina Kellermann -- 8. Claims for the Future: Indigenous Rights, Housing Rights, Land Rights, Women's Rights; Elke Krasny -- 9. …”
    Link to Metadata
    Electronic eBook
  2. 7782

    Foundational Practices of Online Writing Instruction

    Published 2015
    Table of Contents: “…Teaching Multimodal Assignments in OWI Contexts, Kristine L. Blair -- Chapter 16. OWI on the Go, Rochelle Rodrigo -- Chapter 17. …”
    Access online version
    Electronic eBook
  3. 7783

    Processes Writing Across Academic Careers by Iverson, Christopher, Ehrenfeld, Dan

    Published 2023
    Table of Contents: “…Marcia Littenberg, former Chair, FSC WID -- Writers on Writing -- Messages from the Nursing Department -- Utilizing a Writing in the Disciplines (WID) Course to Teach Nursing Students about Their Profession -- The Importance of Correct Perspective of the Nursing Profession -- How Nursing Taught Me to Write Scholarly -- My Education in Writing as a Nurse -- Messages from STEM and Health Science Scholars -- Sexual and Asexual Reproductive Stages of Fungi -- Medical Maladies and Existential Healing -- Who Runs Boston? …”
    Access online version
    Electronic eBook
  4. 7784
  5. 7785
  6. 7786
  7. 7787
  8. 7788
  9. 7789
  10. 7790
  11. 7791
  12. 7792
  13. 7793
  14. 7794
  15. 7795
  16. 7796
  17. 7797

    Rethinking Nordic Courts

    Published 2021
    Table of Contents: “…Plea Bargaining: Criminal Justice as Communication -- Chapter 19. Small Claims in a Nordic Context -- Chapter 20. Online Dispute Resolution and the Role of Courts -- Part VI: Nordic Courts and Cooperation -- Chapter 21. …”
    Link to Metadata
    Electronic eBook
  18. 7798

    Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

    Published 2018
    Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
    Link to Metadata
    Electronic eBook
  19. 7799

    Wellbeing, Freedom and Social Justice The Capability Approach Re-Examined by Robeyns, Ingrid

    Published 2017
    Table of Contents: “…Core Ideas and the Framework -- 2.1 Introduction -- 2.2 A preliminary definition of the capability approach -- 2.3 The capability approach versus capability theories -- 2.4 The many modes of capability analysis -- 2.5 The modular view of the capability approach -- 2.6 The A-module: the non-optional core of all capability theories -- 2.7 The B-modules: non-optional modules with optional content -- 2.8 The C-modules: contingent modules -- 2.9 The modular view of the capability account: a summary -- 2.10 Hybrid theories -- 2.11 The relevance and implications of the modular view -- 2.12 A visualisation of the core conceptual elements -- 2.13 The narrow and broad uses of the capability approach -- 2.14 Conclusion -- 3. Clarifications -- 3.1 Introduction -- 3.2 Refining the notions of ‘capability' and ‘functioning' -- 3.3 Are capabilities freedoms, and if so, which ones? …”
    Access online version
    Electronic eBook
  20. 7800