Search Results - MNDF~

Refine Results
  1. 11181

    Safety Cultures, Safety Models Taking Stock and Moving Forward /

    Published 2018
    Table of Contents: “…Guldenmund -- The Use and Abuse of "Culture", by Andrew Hopkins -- The Safety Culture Construct: Theory and Practice, by Dominic Cooper -- A Pluralist Approach to Safety Culture: Safety Cultures as Management Tools and as Professional Practices, by Benoît Journé -- Culture as Choice, by David Marx -- Safety, Model, Culture: the Visual Side of Safety, by Jean-Christophe Le Coze -- On the Importance of Culture for Safety: Bridging Modes of Operation in Adaptive Safety Management, by Gudela Grote -- Safety Culture and Models: "Regime Change", by Mathilde Bourrier -- Safety Culture in a Complex Mix of Safety Models: Are We Missing the Point?…”
    Link to Metadata
    Electronic eBook
  2. 11182

    World Class Universities A Contested Concept /

    Published 2020
    Table of Contents: “…-- 2 Disorderly Identities: University rankings and the re-ordering of the academic mind -- 3 Becoming World Class: What it means and what it does -- 4 Three Notions of the Global -- Part II World-Class Around the World -- 5 The Kafkaesque Pursuit of 'World Class': Audit culture and the reputational arms race in academia -- 6 Complicit Reproductions in the Global South: Courting world class universities and global rankings -- 7 Realizing the World Class University: Litigation and the state -- 8 World Class at All Costs -- 9 The Paradox of the Global University -- Part III Playing the World-Class Numbers Game -- 10 World Class Universities, Rankings and the Global Space of International Students -- 11 What Counts as World Class? …”
    Link to Metadata
    Electronic eBook
  3. 11183

    The Political Economy of Education in Central Asia Evidence from the Field /

    Published 2023
    Table of Contents: “…The politics of languages in education: issues of access to education and labour market participation of minority ethnic groups in Kazakhstan (Fariza Tolesh) -- Chapter 10. Equity-minded assessment from the perceptions of university stakeholders in Tajikistan (Vasila Bozichaeva) -- Chapter 11. …”
    Link to Metadata
    Electronic eBook
  4. 11184
  5. 11185

    Mixed-Criticality Industrial Wireless Networks by Jin, Xi, Xia, Changqing, Xu, Chi, Li, Dong

    Published 2023
    Table of Contents: “…Chapter 1 Introduction -- Chapter 2 Schedulability analysis of mixed-criticality data under fixed-priority scheduling -- Chapter 3 Schedulability Analysis of Mixed-Criticality Data under EDF Scheduling -- Chapter 4 Mixed-Criticality scheduling for TDMA networks -- Chapter 5 Mixed-Criticality scheduling with multiple radio interfaces -- Chapter 6 Mixed-Criticality Scheduling on 5G New Radio -- Chapter 7 Conclusions and Future Directions.…”
    Link to Metadata
    Electronic eBook
  6. 11186

    Beginning Japanese for Professionals Book 2 by Konomi, Emiko

    Published 2017
    Table of Contents: “…-- 6-2-3 Particle de “by means of” -- 6-2-4 The Starting Point ~kara, The Ending Point ~made -- Dialogue 3 -- 6-3-1 Nan-ji goro: Approximation of Naming Time -- 6-3-2 sugi/ mae: More about telling time -- 6-3-3 Learning Verbs with Particles -- Dialogue 4 -- 6-4-1Onomatopoeia -- Review -- Drill Tape Scripts -- Lesson 7: Calendar -- Dialogue 1 -- 7-1-1 Calendar time: Counting and Naming Dates -- 7-1-2 Counting Weeks -- Dialogue 2 -- 7-2-1 Naming and Counting Months and Years -- 7-2-2 Counting age: ~sai for people and animals, ~nen for others -- 7-2-3 Japanese Calendar -- 7-2-4 Informal Style: Noun Sentence and Adjective Sentence -- Dialogue 3 -- 7-3-1 Verb ~te Form -- 7-3-2 Verb ~te form + motion verbs -- 7-3-3 Particle To indicating accompaniment ‘with' -- Dialogue 4 -- 7-4-1 ~te itadakemasen ka: More on Requests -- 7-4-2 Relative Time Words -- 7-4-3 Raigetsu kara no sukejuuru: Noun + Particle as a Noun Phrase -- ReviewDrill Tape ScriptsLesson 8: Pastime -- Dialogue 1 -- 8-1-1 Verb Plain Form, Non-Past, Affirmative -- Dialogue 2 -- 8-2-1 Plain Form + n desu -- 8-2-2 [Purpose X] ni iku ‘go to do X' -- 8-2-3 Plain Form + deshou / darou -- Dialogue 3 -- 8-3-1 Comparing Two or More Items -- 8-3-2 Sentence + shi -- Dialogue 4 -- 8-4-1 Non-Past Plain Negative Forms of Verbs -- 8-4-2 ~te form of desu; X de ii ‘X will do' -- ReviewDrill Tape Scripts…”
    Access online version
    Electronic eBook
  7. 11187

    The Search for Ultralight Bosonic Dark Matter

    Published 2023
    Table of Contents: “…Global Sensor Networks for Detection of Terrestrial Encounters with Compact Dark-Matter Objects -- Appendix. Solutions to End-of-Chapter Problems.…”
    Link to Metadata
    Electronic eBook
  8. 11188

    Theorie und Ideengeschichte der Steuergerechtigkeit Eine steuertheoretische, steuerrechtliche und politische Betrachtung / by Sahm, Reiner

    Published 2019
    Table of Contents: “…Steuergerechtigkeitskonzept als normativer Maßstab der Untersuchung -- Die Entwicklung der Steuergerechtigkeitsideen und -prinzipien: von Mitte des 17. bis Ende des 18. …”
    Link to Metadata
    Electronic eBook
  9. 11189

    The Ethics of Cybersecurity

    Published 2020
    Table of Contents: “…Basic Concepts and Models of Cybersecurity (Endre Bangerter) -- Chapter 3. Core values in Cybersecurity (Ibo van de Poel) -- Chapter 4. …”
    Link to Metadata
    Electronic eBook
  10. 11190

    Large-Scale Cognitive Assessment Analyzing PIAAC Data /

    Published 2020
    Table of Contents: “…Analysing PIAAC data with the IDB Analyzer (SPSS and SAS) (Andrés Sandoval-Hernández and Diego Carrasco) -- Chapter 7. …”
    Link to Metadata
    Electronic eBook
  11. 11191

    The World of the Seafarer Qualitative Accounts of Working in the Global Shipping Industry /

    Published 2021
    Table of Contents: “…by Victor Oyaro Gekara -- 4 Careers at Sea: Exploring Seafarer Motivations and Aspirations by Polina Baum-Talmor -- 5 Women Seafarers: An Analysis of Barriers for Their Employment by Momoko Kitada -- Part Two: Being at Sea: 6 Transitions and Adjustments Made by Seafarers Whilst at Sea by Helen Devereux -- 7 The Rhythms of Shipboard Life: Work, Hierarchy, Occupational Culture and Multinational Crews by Helen Sampson -- 8 The Experience of Being a Filipino Seafarer on a Multinationally Crewed Ship by Iris Acejo -- 9 Environmental Management at Sea, What Being 'Green' Means for Seafarers by Ngwatung Akamangwa -- 10 Safety Aboard Chinese Vessels by Conghua Xue -- 11 Multiple Roles and Role Conflict: Seafarers as Economic, Humanitarian and Security Actors by Amaha Senu -- Part Three: Support for Seafarers and Their Families: 12 Union Organising in the Context of Regional Labour Market Decline: The Case of Nautilus International by Victor Oyaro Gekara -- 13 Trade Union Representation in the Philippines by Ralph Buiser -- 14 On-line Support Groups for Families in China by Lijun Tang.…”
    Link to Metadata
    Electronic eBook
  12. 11192

    Dependable Embedded Systems

    Published 2021
    Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
    Link to Metadata
    Electronic eBook
  13. 11193

    Words, Objects and Events in Economics The Making of Economic Theory /

    Published 2021
    Table of Contents: “…Introduction -- Chapter 1. Made with Words. Intentionality and the Objects of Economics (Péter Róna) -- Chapter 2. …”
    Link to Metadata
    Electronic eBook
  14. 11194

    Researching with Proximity Relational methodologies for the Anthropocene /

    Published 2024
    Table of Contents: “…Slowing down with stinging nettle (Veera Kinnunen, Françoise Martz, and Outi Rantala) -- Chapter 10. Made-to-measure - In and out of touch with the old-growth forest (Joonas Vola, Pasi Rautio, and Outi Rantala) -- Chapter 11. …”
    Link to Metadata
    Electronic eBook
  15. 11195

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

    Published 2018
    Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
    Link to Metadata
    Electronic eBook
  16. 11196

    Understanding Basic Music Theory by Schmidt-Jones, Catherine

    Published 2013
    Table of Contents: “…1 Notation -- 1.1 Pitch -- 1.2 Time -- 1.3 Style -- 2 Definitions -- 2.1 Rhythm -- 2.2 Timbre -- 2.3 Melody -- 2.4 Texture -- 2.5 Harmony -- 2.6 Counterpoint -- 2.7 Range -- 2.8 Classifying Music -- 3 The Physical Basis -- 3.1 Acoustics for Music Theory -- 3.2 Standing Waves and Musical Instruments -- 3.3 Harmonic Series I: Timbre and Octaves Solutions -- 4 Notes and Scales -- 4.1 Octaves and the Major-Minor Tonal System -- 4.2 Half Steps and Whole Steps -- 4.3 Major Keys and Scales -- 4.4 Minor Keys and Scales -- 4.5 Interval -- 4.6 Harmonic Series II: Harmonics, Intervals, and Instruments -- 4.7 The Circle of Fifths -- 4.8 Scales that aren't Major or Minor -- 5 Harmony and Form -- 5.1 Triads -- 5.2 Naming Triads -- 5.3 Consonance and Dissonance -- 5.4 Beyond Triads: Naming Other Chords -- 5.5 Beginning Harmonic Analysis -- 5.6 Cadence -- 5.7 Form -- 6 Challenges -- 6.1 Ear Training -- 6.2 Tuning Systems -- 6.3 Modes and Ragas -- 6.4 Transposition: Changing Keys…”
    Access online version
    Electronic eBook
  17. 11197

    A Foundation Course in Reading German by Martin, Howard, Ng, Alan

    Published 2017
    Table of Contents: “…Introduction -- 1: Basics -- 2: Cases, present tense -- 3: Articles, simple past -- 4: Verbs with prefixes; adjective endings -- 5: Prepositions, reflexives -- 6: Conjunctions, comparatives -- 7: Perfect tenses and participles -- 8: Werden, relative clauses -- 9: Passive voice -- 10: Modal verbs -- 11: Infinitive usages -- 12: Da- compounds -- 13: Extended adjective constructions -- 14: Subjunctive I -- 15: Subjunctive II -- 16: Finishing touches -- ReferencePractice…”
    Access online version
    Electronic eBook
  18. 11198

    Oregon’s History People of the Northwest in the Land of Eden by Michaels, Athanasios

    Published 2020
    Table of Contents: “…Cold War and Counterculture -- 9. End of the Twentieth Century and Beyond…”
    Access online version
    Electronic eBook
  19. 11199

    Prediger der Demokratie Die Deutsche Hochschule für Politik und die politische Bildung in West-Berlin (1949-1972/74) by Ludwig, Felix

    Published 2023
    “…Schriften des Bundesarchivs, Sonderreihe "Die zentralen deutschen Behörden und der Nationalsozialismus"…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 11200

    Daten-Fairness in einer globalisierten Welt

    Published 2023
    “…Privatheit und Selbstbestimmung in der digitalen Welt | Privacy and Self-Determination in the Digital World…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter