P01 - Prädiktorfunktion
SAT-Hard: A Learning-based Hardware SAT-Solver, EUROMICRO Digital System Design Conference (DSD), Kallithea - Chalkidiki, Greece, 2019. M. Picklum, M. Beetz: MatCALO: Knowledge-enabled machine learning in materials [...] mittels Cross-Validation optimiert. Publikationen R. Drechsler, S. Huhn, Chr. Plump: Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials [...] Konferenz ], [Link zum PDF] S. E. Harshad Dhotre, Krishnendu Chakrabarty, Rolf Drechsler: Machine Learning-based Prediction of Test Power, IEEE European Test Symposium (ETS), Baden-Baden, Germany, 2019.