Showing 4,801 - 4,820 results of 5,791 for search 'Agulo~', query time: 1.74s Refine Results
  1. 4801

    Doing Transitions in the Life Course Processes and Practices /

    Published 2022
    Table of Contents: “…Young People's Use and Construction of Institutional Support in Transitions from School to Work (Heidi Hirschfeld and Bianca Lenz) -- 5. Young Adults' Exclusive Educational Careers in the Transition to Higher Education or Employment: Key Findings of a Qualitative Longitudinal Study (Heinz-Hermann Krüger) -- 6. …”
    Link to Metadata
    Electronic eBook
  2. 4802

    Risk Management for Enterprises and Individuals by Baranoff, Etti, Brockett, Patrick Lee, Kahane, Yehuda

    Published 2009
    Table of Contents: “…Chapter 1: The Nature of Risk: Losses and Opportunities -- Chapter 2: Risk Measurement and Metrics -- Chapter 3: Risk Attitudes: Expected Utility Theory and Demand for Hedging -- Chapter 4: Evolving Risk Management: Fundamental Tools -- Chapter 5: The Evolution of Risk Management: Enterprise Risk Management -- Chapter 6: The Insurance Solution and Institutions -- Chapter 7: Insurance Operations -- Chapter 8: Insurance Markets and Regulation -- Chapter 9: Fundamental Doctrines Affecting Insurance Contracts -- Chapter 10: Structure and Analysis of Insurance Contracts -- Chapter 11: Property Risk Management -- Chapter 12: The Liability Risk Management -- Chapter 13: Multirisk Management Contracts: Homeowners -- Chapter 14: Multirisk Management Contracts: Auto -- Chapter 15: Multirisk Management Contracts: Business -- Chapter 16: Risks Related to the Job: Workers' Compensation and Unemployment Compensation -- Chapter 17: Life Cycle Financial Risks -- Chapter 18: Social Security -- Chapter 19: Mortality Risk Management: Individual Life Insurance and Group Life Insurance -- Chapter 20: Employment-Based Risk Management (General) -- Chapter 21: Employment-Based and Individual Longevity Risk Management -- Chapter 22: Employment and Individual Health Risk Management -- Chapter 23: Cases in Holistic Risk Management…”
    Access online version
    Electronic eBook
  3. 4803

    The Seine River Basin

    Published 2021
    Table of Contents: “…Trajectories of the Seine River Basin -- The evolution of the Seine basin water bodies through historical maps -- Pluri-annual water budget on the Seine basin: past, current and future trends -- The Seine watershed water-agro-food system: long-term trajectories of C, N, P metabolism -- Past and future trajectories of human excreta management systems - the case of Paris 19th-21st centuries -- How agricultural practices should be integrated to understand and simulate long-term pesticide contamination in the Seine River basin? …”
    Link to Metadata
    Electronic eBook
  4. 4804

    Women's Private Practices of Knowledge Production in Early Modern Europe

    Published 2024
    Table of Contents: “…Situating Women's Private Practices of Knowledge Production in the Early Modern Context -- References -- Lady Jane Lumley's Private Education and Its Political Resonances -- Introduction: Education at a Noble Household -- The Private, the Public, and the Political in Lady Lumley's Writings -- Lady Lumley's The Tragedie of Euripides Called Iphigeneia -- Comparing Translations of Iphigenia at Aulis -- In Conclusion -- References -- Camilla Herculiana (Erculiani): Private Practices of Knowledge Production -- Herculiana's Private Life and Connections: Biographical and Contextual Framework -- Camilla Herculiana é Gregetta, Lettere di philosophia naturale (1584) -- Inquisitional Trial -- Conclusion -- References -- From Behind the Folding Screen to the Collège de France: Victorine de Chastenay's Privacy Dynamics for Knowledge in the Making -- Note-Taking and Knowledge Acquisition as Private Practices -- Adapting the Household's Privacy to Reconcile Writing and Social Obligations -- Privacy in Institutional Spaces -- Conclusion -- References -- "Fait à mes heures de loisir": Women's Private Libraries as Spaces of Learning and Knowledge Production -- The Ducal Libraries: Private Collections? …”
    Link to Metadata
    Electronic eBook
  5. 4805

    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
  6. 4806

    Tutorials of Visual Graphic Communication Programs for Interior Design, Volume 2 by Cho, Yongyeon

    Published 2022
    Table of Contents: “…Painter - Tools and brushes -- Chapter 7. Painter - Auto painting & Clone painting -- Chapter 8. iPad & Procreate -- Part Three. …”
    Access online version
    Electronic eBook
  7. 4807
  8. 4808
  9. 4809
  10. 4810
  11. 4811
  12. 4812
  13. 4813
  14. 4814
  15. 4815
  16. 4816

    Writing Manuals for the Masses The Rise of the Literary Advice Industry from Quill to Keyboard /

    Published 2021
    Table of Contents: “…Visual Plot Models in a Sample of Anglo-American Advice Handbooks, Liorah Hoek -- 8. …”
    Link to Metadata
    Electronic eBook
  17. 4817

    ePortfolio Performance Support Systems Constructing, Presenting, and Assessing Portfolios

    Published 2013
    Table of Contents: “…Klein -- Section 2: Constructing the Bridge -- Chapter 4. ePorts: Making the Passage from Academics to Workplace, Barbara J. D'Angelo and Barry M. Maid -- Chapter 5. What Are You Going to Do With That Major? …”
    Access online version
    Electronic eBook
  18. 4818
  19. 4819

    Migration and Pandemics Spaces of Solidarity and Spaces of Exception /

    Published 2022
    Table of Contents: “…Return Migration from the Gulf Region to India Amidst COVID-19 (S Irudaya Rajan and H. …”
    Link to Metadata
    Electronic eBook
  20. 4820

    Global Perspectives on Educational Innovations for Emergency Situations

    Published 2022
    Table of Contents: “…PART I - AFRICAN REGION -- Chapter 1 - PROVIDING AGILE FACULTY DEVELOPMENT IN TIMES OF UNCERTAINTY (MAHA BALI) -- Chapter 2 - EXPLORING NAMIBIA'S EDUCATIONAL EMERGENCY RESPONSE TEACHING: A POLICY AND PRACTICE PERSPECTIVE (PERIEN JONIELL BOER, TUTALENI I. …”
    Link to Metadata
    Electronic eBook