Format:
Table of Contents: “... this thesis -- Structure -- Background and related work -- Motivation -- High-level parallel programming...”
Click to View

Format:
Table of Contents: “... of Probabilistic Programs -- 3 Training Neural Ranking Supermartingales -- 4 Verifying Ranking Supermartingales...”
Click to View

Format:
Table of Contents: “...Intro -- Preface -- Contents -- Part I Introduction -- 1 What Is the Sublinear Computation Paradigm...”
Click to View

Format:
Table of Contents: “... for Straight-Line Formulas -- 6 Extensions and Undecidability -- 7 Implementations, Optimizations...”
Click to View

Format:
Table of Contents: “... -- Other Existing Approaches and Methods -- Microarchitecture Level -- Addressing Pipelines and Execution...”
Click to View

Format:
Table of Contents: “....3 Convex Optimization -- 2.3.1 Semi-definite Programming -- 2.3.2 Second-Order Cone Programming -- 2...”
Click to View

Format:
Table of Contents: “... on High-precision Calibration and Measurement Method based on Stereo Vision -- Comparison of Three Weak...”
Click to View

Format:
Table of Contents: “... Communication Methods -- 3.3.3 Non-blocking PUT Communication -- 3.3.4 Optimization of GET Communication -- 3...”
Click to View

Format:
Table of Contents: “... Programs and Micro-structures -- 5 Façade Development and Sunlight Optimization -- 6 Conclusion...”
Click to View

Format:
Table of Contents: “... on Architectural Form Optimization Method Based on Environmental Performance-Driven Design -- 1 Introduction -- 2...”
Click to View

Format:
Table of Contents: “... Computation Using Small Data Types -- Optimizing Math Functions -- Specialized Functions and Extensions...”
Click to View

Format:
Table of Contents: “... -- 4 HOLL: Implementation and Optimization -- 5 SynthAttack: Attacking HOLL with Program Synthesis -- 5...”
Click to View

Format:
Table of Contents: “... the Probabilistic Recourse Optimization Problem -- 5 Experiments -- 5.1 Compared Methods -- 5.2 Metrics -- 5...”
Click to View

Format:
Table of Contents: “... of the Method -- 5 Modified Parameter Abstraction -- 5.1 Abstraction Computation -- 5.2 Stuttering Simulation...”
Click to View

Format:
Table of Contents: “....2 Traceability glossary -- 4 Traceability Survey method -- 4.1 Data source and search strategy -- 4.2 Pruning...”
Click to View

Format:
Table of Contents: “... -- References -- Program Synthesis in Saturation -- 1 Introduction -- 2 Preliminaries -- 2.1 Computable Symbols...”
Click to View

Format:
Table of Contents: “... ALGORITHM FOR ESTIMATION OF THE MAXIMUM LIKELIHOOD ANCESTRAL RECONSTRUCTION ERROR -- OPTIMIZATION METHODS...”
Click to View

Format:
Table of Contents: “... Objectives -- 3 Method -- 3.1 Analysis of Design Constraints -- 3.2 Mapping of Key Stakeholders -- 4 Results...”
Click to View

Format:
Table of Contents: “...: (Automated) -- Level 4: (Continuous) -- Level 5: (Optimized) -- Accelerating Maturity: Three Ways...”
Click to View