Not finding it? Sign in to also search OpenAlex live.
-
The Impact of Digital Histopathology Batch Effect on Deep Learning Model Accuracy and Bias2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science AI in cancer detection Open access
Frederick Matthew Howard, James M. Dolezal, Sara E. Kochanny, Jefree J. Schulte, Heather Chen, Lara Rosaline Heij, +7 more
25citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
0citations -
Gate Camouflaging Using Reconfigurable ISFET-Based Threshold Voltage Defined Logic2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Elmira Moussavi, Animesh Kumar Singh, Dominik Šišejković, Aravind Padma Kumar, Daniyar Kizatov, Sven Ingebrandt, +3 more
0citations -
Introducing Eye Movement Modeling Examples for Programming Education and the Role of Teacher's Didactic Guidance2020 ACM Symposium on Eye Tracking Research and Applications (ETRA) conference-paper Computer Science Teaching and Learning Programming Open access
Selina N. Emhardt, Halszka M. Jarodzka, Saskia Brand‐Gruwel, Christian Drumm, Tamara van Gog
3citations