Hazard Detection for Robotic Applications as Visual Anomaly Detection
Cryptocurrency vs. consensus
XXVIII Dies academicus
CTL* Verification and Synthesis using Existential Horn Clauses
Interaction Substitution for Mobile Games Accessibility and Exergaming
Business Ideas 2024
Workshop of the International Center for Advanced Computing in Medicine (ICAM)
Exploring the Usage of Pre-trained Models for Code-Related Tasks