Search Results - Orrall~
Suggested Topics within your search.
Suggested Topics within your search.
- Medicine 108
- Research & information: general 64
- Oral history 55
- Biology, life sciences 48
- Social & cultural anthropology, ethnography 37
- Dentistry 36
- Folklore, myths & legends 35
- Literature: history & criticism 32
- Humanities 27
- History 24
- Cultural studies 23
- Social & cultural history 23
- Technology: general issues 20
- Historical & comparative linguistics 17
- European history 15
- Food & society 15
- Oncology 15
- 20th century history: c 1900 to c 2000 14
- Literary studies: classical, early & medieval 14
- Public health & preventive medicine 14
- linguistics 14
- Anthropology 13
- History of engineering & technology 13
- Sociology 12
- Literary studies: general 11
- Oral & maxillofacial surgery 11
- Biography & True Stories 10
- History of the Americas 10
- Literature & literary studies 10
- Society & social sciences 10
-
18181
Contextualised open educational practices Towards student agency and self-directed learning
Published 2022Table of Contents: “…Chapter 1: Open educational practices for self-directed learning: An open educational resources fellowship as a case study -- Chapter 2: Multilingual digital education for social justice through localised self-directed open educational practices in South Africa -- Chapter 3: What open educational resources’ incorporation in education might contribute including implications for self-directed learning -- Chapter 4: Multilingual philosophy glossaries: Steps towards socially just pedagogical praxis -- Chapter 5: Designing an open educational resource as part of a technology-enhanced practice environment developing the oral interactional competence of beginner language learners -- Chapter 6: Decolonising the journalism curriculum through co-creating an OER textbook with students -- Chapter 7: Stories students tell about their learning experiences creating open educational resources in a music education module -- Chapter 8: Second-year health students’ perspectives on developing open educational resources -- Chapter 9: An open educational resource as a tool to create awareness around infectious diseases: A focus on the human immunodeficiency virus, Mycobacterium tuberculosis and the severe acute respiratory syndrome coronavirus -- Chapter 10: How decolonial practices can assist with researching open educational resources and developing open legal pedagogies from a South African perspective -- References -- Index…”
Access online version
Electronic eBook -
18182
Invasive Species in Forests and Rangelands of the United States A Comprehensive Science Synthesis for the United States Forest Sector /
Published 2021Table of Contents: “…Inventory and Monitoring of Invasive Species (Sonja Oswalt, Chris Oswalt, Alycia Crall, Robert Rabaglia, Michael Schwartz, and Becky K. …”
Link to Metadata
Electronic eBook -
18183
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...
Published 2021Table 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
Electronic eBook -
18184
Trajectories of Memory Excavating the Past in Indonesia /
Published 2023Table of Contents: “…Minangkabau Silek Harimau: Evolving Oral Traditions, Performance and Choreography -- Part III. …”
Link to Metadata
Electronic eBook -
18185
The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /
Published 2021Table of Contents: “…'Spoken from the impulse of the moment': Epistolarity, Sensibility, and Breath in Frances Burney's Evelina, Gillian Skinner -- 13. 'Eloquence and Oracle': Tobacco in Eighteenth-Century Life and Literature, Andrew Russell -- 14. …”
Link to Metadata
Electronic eBook -
18186
Decision Science for Future Earth Theory and Practice /
Published 2021Table of Contents: “…Co-designs in a disaster recovery process: Case studies in the area affected by the Kumamoto earthquake -- Chapter 10. Oral care that supports healthy lives as a case study of the Kumamoto Earthquake -- Chapter 11. …”
Link to Metadata
Electronic eBook -
18187
Migration, Displacement, and Higher Education Now What? /
Published 2023Table of Contents: “…Place-Conscious Education: Teaching Displacement Using Oral Histories in Virtual Reality -- 21. Learning at the Borders: How an Experimental Learning Course in Bern, Switzerland Transformed Undergraduate Learning about Memory, Mental Health and Displacement -- 22. …”
Link to Metadata
Electronic eBook -
18188
-
18189
Handbook of Life Course Health Development
Published 2018Table of Contents: “…A Life Course Health-Development Perspective on Oral Health -- Chapter 14. Life Course Health-Development Outcomes after Prematurity: Developing a Community, Clinical, and Translational Research Agenda to Optimize Health, Behavior and Functioning -- Chapter 15. …”
Link to Metadata
Electronic eBook -
18190
How to Practice Academic Medicine and Publish from Developing Countries? A Practical Guide /
Published 2022Table of Contents: “…-- 37 How to present a Poster in a conference? -- 38 How to give an Oral presentation? -- Part 9 Education, planning and execution -- 39 Bedside teaching in Developing Countries -- 40 E-learning in the developing world -- 41 Develop learning objectives and evaluations-Multiple choice questions/ Objective Structured Practical Examination -- 42 How to prepare a lecture? …”
Link to Metadata
Electronic eBook -
18191
-
18192
The EBMT Handbook Hematopoietic Stem Cell Transplantation and Cellular Therapies /
Published 2019Table of Contents: “…Specific organ complications -- 48. Ocular and oral complications -- 49. Hepatic complications -- 50. …”
Link to Metadata
Electronic eBook -
18193
-
18194
-
18195
-
18196
-
18197
Abū Manṣūr al-Tha᾽ālibī Kitāb Khāṣṣ al-Khāṣṣ
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18198
-
18199
-
18200
Abū Manṣūr al-Tha᾽ālibī Kitāb Khāṣṣ al-Khāṣṣ
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter