Showing 1 - 20 results of 229 for search 'CompCert~', query time: 5.05s Refine Results
  1. 1

    Compartment Syndrome A Guide to Diagnosis and Management /

    Published 2019
    Table of Contents: “…Diagnostic Dilemma for Orthopaedic Surgeon -- Legal Aspects of Compartment Syndrome -- Pathophysiology of compartment syndrome -- Determining Ischemic Thresholds Through Our Understanding of Cellular Metabolism -- PRESSURE MEASUREMENT - A SURROGATE OF ISCHEMIA -- Limitations of Pressure Measurement -- Fasciotomy - Upper Extremity -- Compartment Syndrome of the Lower Extremity -- Fasciotomy Wound Management -- Foot Compartment Syndrome Controversy -- Management of Missed Compartment Syndrome -- Compartment Syndrome Due to Patient Positioning -- Acute Compartment Syndrome in Children -- Compartment Syndrome in Polytrauma Patients -- Unusual Presentation of Compartment Syndrome -- Common Misperceptions Among Health Care Professionals -- Novel Modalities to Diagnose and Prevent Compartment Syndrome.…”
    Link to Metadata
    Electronic eBook
  2. 2

    Intercultural Competence and Pragmatics by Schauer, Gila A.

    Published 2024
    Table of Contents: “…Results: The Relationship Between Intercultural and Pragmatic Competence -- Chapter 7. Results: Intercultural Competence and Gender-Neutral Language -- Chapter 8. …”
    Link to Metadata
    Electronic eBook
  3. 3

    Gender-Competent Legal Education

    Published 2023
    Table of Contents: “…Introduction by Mareike Fröhlich, Thomas Giegerich and Dragica Vujadinovic -- Part I Gender in a General Context: Gender Issues in Comparative Legal History by Una Divac, Maurilio Felici, Pietro Lo Iacono, Nina Kršljanin and Vojislav Stanimirović -- Feminist Political and Legal Theories by Antonio Álvarez del Cuvillo, Fabio Macioce and Sofia Strid -- Gender and Structural Inequalities from a Socio-legal Perspective by Eva Bermúdez Figueroa, Valerija Dabetić , Raquel Pastor Yuste and Zara Saeidzadeh -- Feminist Judgments by Marco Evola, Ivana Krstic and Fuensanta Rabadán Sánchez-Lafuente -- Gender Research and Feminist Methodologies by Zara Saeidzadeh -- Part II Gender in a Public Context: Human Rights Law through the Lens of the Gender Perspective by Marco Evola, Julia Jungfleisch and Tanasije Marinkovic -- The Evolving Recognition of Gender in International and European Law by Rigmor Argren, Marco Evola, Thomas Giegerich and Ivana Krstic -- Gender Equality Aspects on Public Law by Marko Davinic, Eleonor Kristoffersson and Tanasije Marinkovic -- Gender Perspective of Social Security Law by MªAngustias Benito and Carmen Jover Ramírez -- Gender Equitable Taxation by Marco Cedro, Eleonor Kristoffersson, Teresa Ponton Aricha and Lidija Živković -- Public Policies on Gender Equality by Vanesa Hervías Parejo and Branko Radulović -- Gender Competent Criminal Law by María Acale Sánchez, Ivana Marković and Susanne Strand -- Gender Perspective of Victimization, Crime and Penal Policy by Beatriz Cruz, Natalija Lukić and Susanne Strand -- Part III Gender in a Private Context: Gender Equality in the Different Fields of Private Law by Amalia Blandino, Letizia Coppo, Gabriele Carapezza Figlia, Snežana Dabic and Katarina Dolovic -- Gender Competent Family Law by Ivana Barac, Amalia Blandino, Letizia Coppo, Giampaolo Frezza, Uros Novakovic, Fuensanta Rabadán and ZaraSaeidzadeh -- Labour Law and Gender by Thais Guerrero Padrón, Ljubinka Kovačević and Mª Isabel Ribes Moreno -- Integrating Gender Equality in Economics and Management by Lydia Bares Lopez, Francesca Costanza, Manuela Ortega Gil and Sofia Strid -- Gender, Business and the Law by Mareike Fröhlich, Tatjana Jevremović Petrović and Jelena Lepetić.…”
    Link to Metadata
    Electronic eBook
  4. 4

    Education, Competence Development and Career Trajectories Analysing Data of the National Educational Panel Study (NEPS) /

    Published 2023
    Table of Contents: “…Introduction -- Education, Competence Development and Career Trajectories (Hans-Peter Blossfeld, Gwendolin J. …”
    Link to Metadata
    Electronic eBook
  5. 5

    Cultural Competence and the Higher Education Sector Australian Perspectives, Policies and Practice /

    Published 2020
    Table of Contents: “…Part I Introduction -- 1 Cultural Competence and the Higher Education Sector: A journey in the academy -- Part II Perspectives -- 2 The "Culture" in Cultural Competence -- 3 Reflecting on a Way of Being: Anchor principles of cultural competence -- 4 Locating Human Rights in the Cultural Competence Context -- 5 On the Critical, Morally Driven, Self-Reflective Agents of Change and Transformation: A literature review on culturally competent leadership in higher education -- 6 Beliefs, Events and Values Inventory Assessment of Global Identity: Implications and applications for international, cross-cultural and transformative learning -- Part III Policy and Policy Issues -- 7 Evaluating Cultural Competence in Indigenous Higher Education Contexts in Australia: A challenge for change -- 8 Indigenist Leadership in Academia: Towards an aspirational model of mindful servant leadership -- 9 Racism a Social Determinant of Indigenous Health: Yarning about cultural safety and cultural competence strategies toimprove indigenous health -- 10 Healing Mainstream Health: Building understanding and respect for indigenous knowledges -- 11 History in the Now: Asserting indigenous difference in "Top End" higher education using culturally responsive pedagogy -- Part IV Practice and Programs -- 12 The Sydney Language on our Campuses and in our Curriculum -- 13 Students and Academics Working in Partnership to Embed Cultural Competence as a Graduate Quality -- 14 Embedding Cultural Competence in Science Curricula -- 15 Embedding Cultural Competence in Faculty: A mixed-methods evaluation of an applied indigenous proficiency workshop -- 16 An Indigenous Australian Cultural Competence Course: Talking culture, race and power -- 17 "Learning Through Reflection" - Enhancing culturally proficient learning communities in midwifery practice and education: An experience-based learning journey in London, United Kingdom -- Part V Conclusion -- 19 Future Directions: Cultural competence and the higher education sector.…”
    Link to Metadata
    Electronic eBook
  6. 6
  7. 7

    Handbook of Teaching Competency Development in Higher Education

    Published 2024
    Table of Contents: “…Introduction -- Definitions and Theoretical Foundations -- Standards Framework and Evaluation Instruments -- Teaching Competency Development -- Practices of Teaching Competency Development.…”
    Link to Metadata
    Electronic eBook
  8. 8
  9. 9
  10. 10
  11. 11

    Transforming Lives and Systems Cultural Competence and the Higher Education Interface /

    Published 2020
    Table of Contents: “…1 The National Centre for Cultural Competence: Transformative Journeys -- 2 Creating Effective Cultural Competence Workshops for Australian Higher Education Staff -- 3 Methodology for Evaluating the University of Sydney's Culturally Competent Leadership Program -- 4 Deconstructing and Embedding Cultural Competence in Initial Teacher Education: Responding to University Graduate Qualities for Undergraduate Students -- 5 Navigating the Cultural Interface to Develop a Model for Dentistry Education: Cultural Competence Curricula in Dentistry Education -- 6 Fostering Diversity Competence in the Veterinary Curriculum -- 7 Progressing STEM Education using Adaptive, Responsive Techniques to Support and Motivate Students.…”
    Link to Metadata
    Electronic eBook
  12. 12
  13. 13

    Life Cycle Management

    Published 2015
    “…LCA Compendium - The Complete World of Life Cycle Assessment,…”
    Link to Metadata
    Electronic eBook
  14. 14

    Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

    Published 2022
    Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
    Link to Metadata
    Electronic eBook
  15. 15
  16. 16
  17. 17

    Handbook of Technical and Vocational Teacher Professional Development in the Digital Age

    Published 2024
    Table of Contents: “…Introduction -- Chapter 2 Definitions and a review of relevant theories, frameworks and approaches -- Chapter 3 Professional competencies in TVET: Framework, indicators and assessment instrument -- Chapter 4 Strategies for developing TVET teachers' professional competencies -- Chapter 5 Exemplars of good practice.…”
    Link to Metadata
    Electronic eBook
  18. 18

    Reshaping Engineering Education Addressing Complex Human Challenges / by Habbal, Fawwaz, Kolmos, Anette, Hadgraft, Roger G., Holgaard, Jette Egelund, Reda, Kamar

    Published 2024
    Table of Contents: “…Introduction -- A Systems Approach to Addressing Human Challenges -- Design for Complexity -- New Competencies for Systems Thinking -- Towards a Comprehensive Pedagogy -- Teaching and Learning Strategies -- Generic Competencies -- Educational Transformation -- Engineers and Practice at Harvard -- Problem and Project-Based Learning at Aalborg -- Studios Reshape Engineering Curricula -- Invitation to Change.…”
    Link to Metadata
    Electronic eBook
  19. 19

    Understanding Willing Participants, Volume 2 Milgram's Obedience Experiments and the Holocaust / by Russell, Nestar

    Published 2019
    Table of Contents: “…How Milgram Ensured Most Participants Completed the First Official Experiment -- 4. The Obedience to Authority Variations and Milgram's Agentic State Theory -- 5. …”
    Link to Metadata
    Electronic eBook
  20. 20