1
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... Termination of C Programs with Lists -- 1 Introduction -- 2 Abstract States for Symbolic Execution -- 3...
Click to View
2
by Roucoules, Lionel.
Published 2021
Format:
Table of Contents: ... Coefficient -- 3.2 Variance Analysis -- 4 Conclusion -- References -- Develop Model for Controlled Depth...
Click to View
3
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Formalism -- 2.2 Model Counting -- 3 The Goal-Conict Resolution Problem -- 4 ACoRe: Automated Goal-Conict...
Click to View
4
by Kohl, Holger.
Published 2023
Format:
Table of Contents: ... Control -- 4 Experimental Results and Model Validation -- 4.1 Experimental Setup -- 4.2 Comparison...
Click to View
5
by Holzinger, Andreas.
Published 2022
Format:
Table of Contents: ....1 Traditional Interpretable Models -- 3.2 State Machine Policies -- 3.3 List Processing Programs....
Click to View
6
by Kim, Kyoung-Yun.
Published 2022
Format:
Table of Contents: ... Introduction -- 2 State of the Art -- 3 Approach -- 4 Case Study on Chatter Detection -- 5 Results...
Click to View
7
by Ark-Yıldırım, Ceren.
Published 2021
Format:
Table of Contents: ....2 The "Industrial" Model of Citizenship and the Twentieth-Century Welfare State -- 2 From Industrial to Market...
Click to View
8
by Rafelski, Johann.
Published 2015
Format:
Table of Contents: ... -- Appreciation -- References -- 10 Hagedorn Model of Critical Behavior: Comparison of Lattice and SBM...
Click to View