Format:
Table of Contents: “... Methods for Probabilistic Programs -- Data-Driven Invariant Learning for Probabilistic Programs -- 1...”
Click to View

Format:
Table of Contents: “... by SMT Solving -- 4.1 From Programs to Symbolic Store Trees -- 4.2 Marginalisation -- 5 Case Studies -- 5...”
Click to View

Format:
Table of Contents: “... Transition from One International Regime to Another -- 3 The East-West Divide in Data -- 3.1 Economic...”
Click to View

Format:
Table of Contents: “... -- Job Aids -- Audit and Feedback -- Data Collection and Analysis -- Support for Improvement Coaching...”
Click to View

Format:
Table of Contents: “... Induction -- Introduction -- Learning from Data: The Problem of Induction -- Learning Frameworks...”
Click to View

Format:
Table of Contents: “....4.1.1 Mothers Donating Data: Going from Research to Policy to Practice -- 6.4.1.2 Civil Society: Driving...”
Click to View