1
2
by Yoshida, Nobuko.
Published 2021
Format:
Table of Contents: ... Implementation and Experimental Results -- 8 Related Work and Conclusion -- References -- Data Flow Analysis...
Click to View
3
by Henning, Christian.
Published 2017
Format:
Table of Contents: ... Study Design and Econometric Model Framework -- 3.1 Study Design -- 3.2 Econometric Model -- 4 Empirical...
Click to View
4
by Guerra, Esther.
Published 2021
Format:
Table of Contents: ...Paracosm: A Test Framework for Autonomous Driving Simulations -- 1 Introduction -- 2 Paracosm...
Click to View
5
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ....3 Symbol Elimination and Macros -- 5 Implementation -- 6 Related Work -- 6.1 Pre- and In-processing for SAT...
Click to View
6
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ... Simulation -- 3 Quasimodo's Programming and Analysis Interface -- 3.1 Extending Quasimodo -- 4 The Internals...
Click to View
7
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ...4.3 Encodings for AE-Simulation with Prophecies -- 5 Implementation and Experiments -- 5.1 Case...
Click to View
8
by Akhtar, Nadeem.
Published 2023
Format:
Table of Contents: ... Design -- 5.2 Coordinator Summary Node Software Design -- 5.3 Upper Computer Software Development Program...
Click to View