1
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Algorithms -- 7 Related Work -- 8 Conclusion -- References -- A Modeling Concept for Formal Verification...
Click to View
2
by Munoz-Gama, Jorge.
Published 2022
Format:
Table of Contents: ... Introduction -- 2 Related Work -- 3 Running Example -- 4 Preliminaries -- 5 Method -- 6 Validation...
Click to View
3
by Blomqvist, Eva.
Published 2020
Format:
Table of Contents: ... Related Work -- 8 Conclusion and Future Work -- References -- DBpedia Archivo: A Web-Scale Interface...
Click to View
4
by Berthold, Michael R.
Published 2012
Format:
Table of Contents: ... Creativity -- Towards a Formal Definition of Bisociation -- Related Work -- Discussion and Conclusion...
Click to View
5
by Johnsen, Einar Broch.
Published 2022
Format:
Table of Contents: ....3 Discussion -- 4 Stateful Information-Flow Interfaces -- 5 Related Work -- 6 Conclusion -- References -- A...
Click to View
6
by Guerra, Esther.
Published 2021
Format:
Table of Contents: ... -- 4.3 From Cost Invariants to Postconditions -- 5 Experimental Evaluation -- 6 Related Work -- 7...
Click to View
7
by Ardi, Shanai.
Published 2020
Format:
Table of Contents: ... methodology -- 4 Research contribution -- 5 Discussion -- 6 Related work - S3P -- 7 Related work - SRA -- 8...
Click to View
8
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... Expected Values of Neural Networks -- 6 Discussion on Extension to General Certificates -- 7 Related Work...
Click to View
9
by Gregory, Peggy.
Published 2021
Format:
Table of Contents: ... and Back: Remote Pair Programming During COVID-19 -- 1 Introduction -- 2 Background and Related Work -- 2...
Click to View
10
by Lu, Wei.
Published 2022
Format:
Table of Contents: ... Technique for Relational Database -- 1 Introduction -- 2 Related Work -- 3 Scheme -- 3.1 Pre-processing...
Click to View
11
by Stray, Viktoria.
Published 2020
Format:
Table of Contents: ... -- 1 Introduction -- 2 Background and Related Work -- 2.1 Activity Theory Based Framework -- 2...
Click to View
12
by Fisman, Dana.
Published 2022
Format:
Table of Contents: ... Selection on Attack Resilience -- 6.3 Hardware cost -- 7 Related Work -- 8 Discussion -- References...
Click to View
13
by Groote, Jan Friso.
Published 2021
Format:
Table of Contents: ... -- 5 Related Work and Alternatives -- 6 Conclusion -- References -- On Satisficing in Quantitative...
Click to View
14
by Shoham, Sharon.
Published 2022
Format:
Table of Contents: ...-invariant Method -- 7 Related Work -- References -- Sound and Complete Certificates for Quantitative...
Click to View
15
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ... Procedure Guess(f,t) -- 4.2 The Check Procedure CheckCond(cf,ct) -- 5 Experimental Results -- 6 Related Work...
Click to View
16
by Groote, Jan Friso.
Published 2021
Format:
Table of Contents: ... -- 6 Evaluation -- 7 Related Work -- 8 Conclusion and Outlook -- References -- A Two-Phase Approach...
Click to View
17
by Reussner, Ralf.
Published 2019
Format:
Table of Contents: ....5 Related Work -- 5.6 Conclusion -- 5.6.1 Summary -- 5.6.2 Outlook -- 5.6.3 Further Reading -- 6 Continuous...
Click to View
18
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... Results -- 8 Related Work -- 9 Conclusion -- References -- On Incremental Pre-processing for SMT -- 1...
Click to View
19
by Schüppstuhl, Thorsten.
Published 2023
Format:
Table of Contents: ...2 Related Work in the Context of Station Planning in LMAS -- 3 Methodology and Foundations -- 4...
Click to View
20
by Platzer, André.
Published 2021
Format:
Table of Contents: ... -- 3 Layered Normal Form with Sets of Levels -- 4 Correctness -- 5 Comparison With Related Work -- 6...
Click to View