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 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
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 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
5
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