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

Format:
Table of Contents: “... Theoretical Background -- 2.1 Solving Rabin Games Symbolically -- 2.2 Computing Symbolic Controllers...”
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: “....4.2 Compression -- 1.4.3 Succinct Data Structures -- 1.5 Need for the Sublinear Computation Paradigm -- 1...”
Click to View

Format:
Table of Contents: “... -- Using Intel Composer XE -- Tuning Intel MPI Library -- Gather Built-in Statistics -- Optimize Process...”
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: “... for Measuring Internal Liquid Level of Sealed Metal Container by Ultrasonic -- Design of Silicon-on-Sapphire...”
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: “...-Time Defect Recognition and Optimized Decision Making for Structural Timber Jointing -- 1 Introduction...”
Click to View

Format:
Table of Contents: “... -- 5 Data Availability Statement -- References -- WASIM: A Word-level Abstract Symbolic Simulation...”
Click to View

Format:
Table of Contents: “... Program Sketching using Lifted Static Analysis -- 1 Introduction -- 2 Motivating Examples -- 3...”
Click to View

Format:
Table of Contents: “... -- 5 Conclusion -- References -- Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes...”
Click to View

Format:
Table of Contents: “... Book Structure -- References -- Current Methods and Challenges -- Explainable AI Methods - A Brief...”
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: “... -- IMPROVEMENT OF STRUCTURE CONSERVATION INDEX WITH CENTROID ESTIMATORS -- DYNAMIC PROGRAMMING ALGORITHMS FOR RNA...”
Click to View