Search Results - optimization problem implementation framework program.

1

Lessons for Reformers : How to Launch, Implement, and Sustain Regulatory Reform

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

Subjects: “...MACROECONOMIC PROBLEMS...”
Get full text
Get full text

2

Benishangul-Gumuz Regional State : Public Finance Review

by Kidane, Chekol, Alemu, Getnet
Published 2013

Subjects: “...BUDGET IMPLEMENTATION...”
Get full text
Get full text

3

Developing Social-Emotional Skills for the Labor Market : The PRACTICE Model

by Guerra, Nancy, Modecki, Kathryn, Cunningham, Wendy
Published 2014

Subjects: “...ADULT PROGRAMS...”
Get full text
Get full text

4

XcalableMP PGAS Programming Language : From Programming Model to Applications.

by Sato, Mitsuhisa.
Published 2020

Format:
Table of Contents: “... Sequential Python Program -- 4 Application to Order/Degree Problem -- 4.1 What Is Order/Degree Program -- 4...”
Click to View

5

Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers.

by Gregory, Peggy.
Published 2021

Format:
Table of Contents: “....4 Further Research -- References -- The EFIS Framework for Leveraging Agile Organizations Within Large...”
Click to View

6

Incentive Contracts for Environmental Services and Their Potential in REDD

by Fortmann, Lea, Cordero, Paula, Sohngen, Brent, Roe, Brian
Published 2014

Subjects: “...CONSERVATION RESERVE PROGRAM...”
Get full text
Get full text

7

Tajikistan : Early Childhood Development

by World Bank
Published 2013

Subjects: “...EDUCATION PROGRAMS...”
Get full text
Get full text

8

Uganda : Early Childhood Development

by World Bank
Published 2014

Subjects: “...EARLY CHILDHOOD DEVELOPMENT PROGRAMS...”
Get full text
Get full text

9

Belize Systematic Country Diagnostic

by World Bank Group
Published 2016

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

10

Enhancing Development Benefits to Local Communities from Hydropower Projects : A Literature Review

by World Bank
Published 2013

Subjects: “...ENVIRONMENTAL PROBLEMS...”
Get full text
Get full text

11

The Long March to Universal Coverage : Lessons from China

by Liang, Lilin, Langenbrunner, John C.
Published 2013

Subjects: “...adverse selection problems...”
Get full text

12

Niger's HIV Response : Targeted Investments for a Healthy Future

by Fraser, Nicole, Cheikh, Nejma, Haacker, Markus, Masaki, Emiko, Karamoko, Djibrilla, Gorgens, Marelize, Kerr, Cliff, Gray, Richard, Shattock, Andrew, Wilson, David, Frescura, Luisa, Konan, Claude, Alhousseini, Zeinabou, Harouna, Zakou
Published 2014

Subjects: “...PUBLIC HEALTH PROBLEM...”
Get full text
Get full text

13

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice...

by Sankaranarayanan, Sriram.
Published 2023

Format:
Table of Contents: “... for Optimization -- 1 Introduction -- 2 Optimization Problems and Reductions -- 3 Reduction to Conic Form -- 4...”
Click to View

14

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: “... for Stochastic Dynamical Systems -- 3 Implementation Details -- 3.1 Genie -- 3.2 FairSyn -- 3.3 Mascot-SDS -- 4...”
Click to View

15

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: “....2 Concurrent Programs -- 2.3 Concurrent Programs as Labelled Transition Systems -- 3 A Unified Framework...”
Click to View

16

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: “... Frameworks -- 2 An Overview of Programmable Program Synthesis -- 2.1 Why Isn't Existing Work in Synthesis...”
Click to View

17

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: “....3 Concluding Remarks -- References -- Program Verification with Constrained Horn Clauses (Invited Paper) -- 1...”
Click to View

18

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

by Lambers, Leen.
Published 2023

Format:
Table of Contents: “... Suite Diversity -- 4.3 Emotion Patterns' Requirements and Heat-maps -- 4.4 PX Framework Implementation...”
Click to View

19

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice...

by Groote, Jan Friso.
Published 2021

Format:
Table of Contents: “... Provably Optimal Markov Chains -- 1 Introduction -- 2 Problem Statement -- 3 Main Ingredients in a Nutshell...”
Click to View

20

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice...

by Sankaranarayanan, Sriram.
Published 2023

Format:
Table of Contents: “... -- Invited Talk -- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic...”
Click to View

Narrow Search