Search Results - verification framework

1

Competency Verification Toolkit : Ensuring Competency of Direct Care Providers to Implement the Baby-Friendly Hospital Initiative.

Published 2020

Format:
Table of Contents: “...: COMPETENCY FRAMEWORK -- SECTION 2: VERIFICATION OF COMPETENCIES -- Introduction -- Performance indicators...”
Click to View

2

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I.

by Enea, Constantin.
Published 2023

Format:
Table of Contents: “... Timed Automata -- 3 Framework for Learning-Based Compositional Verification of Timed Automata -- 3...”
Click to View

3

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.

by Silva, Alexandra.
Published 2021

Format:
Table of Contents: “... Verification -- DNNV: A Framework for Deep Neural Network Verification -- 1 Introduction -- 2 Background -- 3...”
Click to View

4

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I.

by Shoham, Sharon.
Published 2022

Format:
Table of Contents: “... -- References -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement...”
Click to View

5

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II.

by Enea, Constantin.
Published 2023

Format:
Table of Contents: “... -- 2 Preliminaries -- 2.1 Notation -- 2.2 A General Local Search Framework -- 3 The Search Space of SMT...”
Click to View

6

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III.

by Enea, Constantin.
Published 2023

Format:
Table of Contents: “... Verification -- 1 Introduction -- 2 Instrumentation Framework -- 2.1 The Core Language....”
Click to View

7

Verification of Performance in Results-Based Financing Programs : The Case of Plan Nacer in Argentina

by Perazzo, Alfredo, Josephson, Erik
Published 2015

Subjects: “...INSTITUTIONAL FRAMEWORK...”
Get full text
Get full text

8

Costa Rica - Reform of the Regulatory Framework : Spectrum Aspects

by World Bank
Published 2013

Subjects: “...REGULATORY FRAMEWORK...”
Get full text
Get full text

9

Verification in Results-Based Financing (RBF) : The Case of the United Kingdom

by Cashin, Cheryl, Vergeer, Petra
Published 2013

Subjects: “...VERIFICATION...”
Get full text
Get full text

10

EDBM's Monitoring and Evaluation Framework for Investment Climate Reforms in Madagascar

by World Bank
Published 2013

Subjects: “...VERIFICATION...”
Get full text
Get full text

11

Policy Framework Paper on Business Licensing Reform and Simplification

by International Finance Corporation, Multilateral Investment Guarantee Agency, World Bank
Published 2017

Subjects: “...POLICY FRAMEWORK...”
Get full text
Get full text

12

Building Results Frameworks for Safety Nets Projects

by Rubio, Gloria M.
Published 2013

Subjects: “...INSTITUTIONAL FRAMEWORK...”
Get full text
Get full text

13

Country Procurement Assessment Report : Mauritius, Volume 1

by World Bank
Published 2013

Subjects: “...LEGAL & REGULATORY FRAMEWORK...”
Get full text
Get full text

14

Verification in Results-Based Financing for Health : Summary of Findings and Recommendations from a Cross-Case Analysis

by Vergeer, Petronella, Heard, Anna, Josephson, Erik, Fleisher, Lisa
Published 2017

Subjects: “...verification...”
Get full text
Get full text

15

Salient Issues in Income and Asset Disclosure Systems : Lessons Learned from the Field in Preventing Conflict of Interest and Combating Illicit Enrichment

by Burdescu, Ruxandra, Reid, Gary, Trapnell, Stephanie, Barnes, Dan, Kwapinski, Modest, Berger, Tammar
Published 2012

Subjects: “...LEGAL FRAMEWORK...”
Get full text
Get full text

16

Utilizing Community-Based Registers to Monitor Improved Access to Sanitation and Hygiene in Tanzania

by World Bank
Published 2012

Subjects: “...STANDARD FRAMEWORK...”
Get full text
Get full text

17

Assessment Framework to Monitor and Evaluate e-Government Procurement Systems in India

by World Bank
Published 2014

Subjects: “...INSTITUTIONAL FRAMEWORK...”
Get full text
Get full text

18

What Matters Most for Education Management Information Systems : A Framework Paper

by Abdul-Hamid, Husein
Published 2015

Subjects: “...Assessment Framework...”
Get full text

19

Implementing Anticorruption Programs in the Private Sector

by Berenbeim, Ronald E., Arvis, Jean-Francois
Published 2012

Subjects: “... ENTERPRISES; COMPLIANCE VERIFICATION; CODES OF CONDUCT; MULTINATIONAL ENTERPRISES; BEST PRACTICES; CORPORATE...”
Get full text
Get full text

20

Soil Organic Carbon MRV Sourcebook for Agricultural Landscapes

by World Bank
Published 2021

Subjects: “...MEASUREMENT, REPORTING, AND VERIFICATION...”
Get full text
Get full text

Narrow Search