Format:
Table of Contents: “... Example -- 4 Approach -- 4.1 Intermediate-Layer Repair -- 4.2 Last-Layer Repair -- 4.3 Combining Experts...”
Click to View

Format:
Table of Contents: “... Evaluation -- 4.1 Comparison to MATLAB's Deep Learning Verification Toolbox -- 4.2 Neural Ordinary...”
Click to View

Format:
Table of Contents: “... Programmatic Controllers -- 4 Proof Space Optimization -- 4.1 Controller Verification -- 4.2 Correctness...”
Click to View

Format:
Table of Contents: “... The Occlusion Robustness Verification Problem -- 4 SMT-Based Occlusion Robustness Verification -- 4.1 A Naïve...”
Click to View

Format:
Table of Contents: “...-iteration -- 4 Satisficing via Comparators -- 4.1 Foundations of comparator automata with threshold v ∈ Q...”
Click to View

Format:
Table of Contents: “... Currency -- 3.4 Financial Mechanism -- 3.5 Risk Assessments -- 4 Analytical Verification -- 4.1 Premise...”
Click to View

Format:
Table of Contents: “....5 Primitive Setup -- 4 Automatic Refinement -- 4.1 Heap nondeterminism refinement -- 4.2 The Sepref Tool -- 4...”
Click to View

Format:
Table of Contents: “... and Verification -- 4.1 Composition Requirements -- 4.2 OS Requirements -- 4.3 Verifying the Requirements -- 4.4 OS...”
Click to View

Format:
Table of Contents: “...-assisted Decision-making -- 4 Research Approach -- 4.1 Constructive Design Research -- 4.2 Motivations -- 4...”
Click to View

Format:
Table of Contents: “... Simulators -- 4 Water Networks and Urban Drainage -- 4.1 Design Phase -- 4.2 Construction and Commissioning...”
Click to View

Format:
Table of Contents: “... Cost Analysis -- 4.1 Inference of Abstract Cost Relations -- 4.2 From ACRS to Abstract Cost Invariants...”
Click to View

Format:
Table of Contents: “... Introduction -- 2 The DP Framework -- 3 Probabilistic Term Rewriting -- 4 Probabilistic Dependency Pairs -- 4.1...”
Click to View

Format:
Table of Contents: “...3 The MTM-based Optimised CDMP Framework -- 4 Experimental Evaluation -- 4.1 Experimental Setup...”
Click to View

Format:
Table of Contents: “... of the Urban Heat Island -- 4.1 Introduction -- 4.2 Methods and Data -- 4.2.1 Physiologically Equivalent...”
Click to View

Format:
Table of Contents: “... -- 3.1 Capability Passing -- 4 Lexically Scoped Effect Handlers: What You See Is What You Get -- 4.1...”
Click to View

Format:
Table of Contents: “....5 Conclusion -- 3.6 Literature -- 4 Function Modeling for Collaborative Embedded Systems -- 4.1 Introduction...”
Click to View

Format:
Table of Contents: “... Learning with Parametric Lenses -- 4.1 Supervised Learning of Parameters -- 4.2 Deep Dreaming: Supervised...”
Click to View

Format:
Table of Contents: “... for Semiconductor Device Parameter Extraction -- 4.1: Introduction -- 4.2: Semantic Segmentation -- 4.2.1: Proof...”
Click to View

Format:
Table of Contents: “... of the Simon and Speck Block Cipher Families -- 4.1 Introduction -- 4.2 Simon and Speck -- 4.2.1 Simon -- 4...”
Click to View

Format:
Table of Contents: “....2.3 Deployment Considerations -- 4 Sample Pipelines Based on the INFINITECH-RA -- 4.1 Simple Machine Learning...”
Click to View