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

Format:
Table of Contents: “... Commissioning Simulation Models -- 1 Introduction -- 2 State of the Art -- 2.1 Related work -- 2.2 Research Gap...”
Click to View

Format:
Table of Contents: “... -- 4 Learning Program Features -- 4.1 Extracting Features from Programs -- 4.2 Data Features -- 4...”
Click to View

Format:
Table of Contents: “... Quality-Based Machine Learning Development through Extended Feature Models -- 1 Introduction -- 2 Related...”
Click to View

Format:
Table of Contents: “... Revisited: Typical Learning Curves in Model Scenarios -- 1 Introduction -- 2 Statistical Physics of Learning...”
Click to View

Format:
Table of Contents: “... Between Security Abstraction Models -- (Semi)-Automatic Acquisition of Tacit Knowledge -- 5.3.4 Tacit...”
Click to View

Format:
Table of Contents: “... Work -- 7 Conclusion -- References -- Automatic Repair for Network Programs -- 1 Introduction....”
Click to View

Format:
Table of Contents: “... in Transitive (Co)closure Logic -- 4.2 Applications in Automated Proof Search -- 4.2.1 Program Equivalence...”
Click to View

Format:
Table of Contents: “... -- Automatically Checking MPI Program Correctness -- Comparing Application Traces -- Instrumenting Application Code...”
Click to View

Format:
Table of Contents: “... and maintenance management -- 3.2.3.2 Transmission and distribution -- Automatic dispatch -- Unified multienergy...”
Click to View