Mathematics of Computing; Computing Methodologies;

Energie- und Paritätsgewinnbedingungen auf Spielstrukturen

2016 · GERMAN · PDF

View details →

Relaxed Abduction: Robust Information Interpretation for Industrial Applications

2016 · ENGLISH · PDF

View details →

Algorithmic Differentiation of Pragma-Defined Parallel Regions: Differentiating Computer Programs Containing OpenMP

2014 · ENGLISH · PDF

View details →