Search Results - Omloop~

Refine Results
  1. 2561
  2. 2562
  3. 2563
  4. 2564
  5. 2565
  6. 2566
  7. 2567
  8. 2568
  9. 2569
  10. 2570
  11. 2571
  12. 2572
  13. 2573
  14. 2574
  15. 2575
  16. 2576
  17. 2577
  18. 2578

    Social Development in the World Bank Essays in Honor of Michael M. Cernea /

    Published 2021
    Table of Contents: “…Growing Social Science Demand at the World Bank -- The Important Contribution of Social Knowledge to International Development -- The Road to Achieving Critical Mass of Sociologists and Anthropologists in the World Bank -- Address to the World Bank Sociological Group -- Working Together: Broadening the World Bank's Development Paradigm -- Social Analysis in the World Bank -- Resettlement, Impoverishment, and Development's Pathologies -- The Direct and Major Operational Relevance of Social Assessments -- Writing New Rules and Changing Old Practices -- Social Development Work - Live -- Malinowski Award Lecture 1996 Social Organization and Development Anthropology -- Anthropology at Work -- Social Development (excerpts from her 2004 Oral History) -- Putting People First in Practice: Indonesia and the Kecamatan Development Program -- The World Bank and Indigenous Peoples -- The Need for Social Research and the Broadening of CGIAR's Paradigm -- Fighting Poverty, Combatting Social Exclusion -- Involuntary Resettlement -- The Risk and Reconstruction Model for Resettling Displaced Populations -- Muddy Waters: Inside The World Bank As It Struggled With The Narmada Irrigation And Resettlement Projects, Western India -- Performance in Resettlement -- From Onlookers to Participants: How the Role of Social Scientists has Changed in India's Development in the last Seventy Years -- Social Assessment and Resettlement Policies and Practice in China: Contributions by Michael Cernea to Development in China -- Retrospective & Outlook -- A Retrospective: MICHAEL M. …”
    Link to Metadata
    Electronic eBook
  19. 2579
  20. 2580

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
    Link to Metadata
    Electronic eBook