Search Results - Omloop~
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 91
- Technology: general issues 76
- Research & information: general 34
- Medicine 15
- Biology, life sciences 14
- Computer Science 13
- Computer science 13
- Electrical engineering 12
- Physics 12
- Media studies 11
- Politics & government 10
- Science: general issues 10
- Artificial intelligence 9
- Software Engineering 9
- Applied ecology 8
- Energy industries & utilities 8
- Neurosciences 8
- Nuclear physics 8
- Artificial Intelligence 7
- Materials science 7
- Programming Languages 7
- Software engineering 7
- Sustainability 6
- Chemistry 5
- Mathematics 5
- Mechanical engineering & materials 5
- Alternative & renewable energy sources & technology 4
- Automatic control engineering 4
- Climate change 4
- Cognition & cognitive psychology 4
-
2561
J.C. Steyn en Afrikaans n Viering
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2562
-
2563
-
2564
-
2565
-
2566
-
2567
-
2568
-
2569
-
2570
-
2571
-
2572
-
2573
-
2574
-
2575
-
2576
-
2577
-
2578
Social Development in the World Bank Essays in Honor of Michael M. Cernea /
Published 2021Table 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 -
2579
-
2580
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table 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