1
by Gregory, Peggy.
Published 2021
Format:
Table of Contents: ... and Conclusions -- 5.1 Related Works -- 5.2 Recommendations -- 5.3 Limitations and Threats to Validity -- 5...
Click to View
2
by Cochez, Michael.
Published 2021
Format:
Table of Contents: ... -- 5.1 The MAIC Diagnostic: Enriching Talks (Mild Therapies) Theories Specified in ASP -- 5.2 The MAIC...
Click to View
3
by Felderer, Michael.
Published 2022
Format:
Table of Contents: ... the Performance of Effect Handlers -- 5.1 Optimizing Handler Search -- 5.1.1 Optimizing Tail Resumptions -- 5.2...
Click to View
4
by Yuan, Philip F.
Published 2021
Format:
Table of Contents: ... -- 3.4 Clustering -- 4 Experiment -- 5 Results -- 5.1 Experiment Results -- 5.2 Evaluation -- 6...
Click to View
5
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Configuration -- 5.2 Scalability: Resource Consumption for Verification -- 5.3 Sufficiency of 4-1-2-2...
Click to View
6
by Yuan, Philip F.
Published 2021
Format:
Table of Contents: ....1 Case Study/User Testing -- 5.2 Future Development -- 5.3 Connections -- References -- Recycling...
Click to View
7
by Schüppstuhl, Thorsten.
Published 2020
Format:
Table of Contents: ..., Discussion and Conclusion -- 5.1 Fulfillment of Requirements -- 5.2 Outlook -- 6 Acknowledgements...
Click to View
8
by Téot, Luc.
Published 2020
Format:
Table of Contents: ...5.2 Prevalence of Burn Scars and Their Consequences -- 5.2.1 Definition of Scars -- 5.2...
Click to View
9
by Marrs, Adam.
Published 2021
Format:
Table of Contents: ... -- ABSTRACT -- 5.1 INTRODUCTION -- 5.2 TEXTURE COORDINATE DERIVATIVES AT VISIBLE POINTS -- 5.2.1 INPUTS...
Click to View
10
by Saqr, Mohammed.
Published 2024
Format:
Table of Contents: ... Operations -- 5.1 Arithmetic Operators -- 5.2 Relational Operators -- 5.3 Logical Operators -- 5.4 Special...
Click to View