Forschungspapier (31)
121.
Forschungspapier
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 S.
122.
Forschungspapier
Optimizing Human Learning. (2017), 20 S.
123.
Forschungspapier
A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 S.
124.
Forschungspapier
Detecting Fake News in Social Networks via Crowdsourcing. (2017), 9 S.
125.
Forschungspapier
From Parity to Preference-based Notions of Fairness in Classification. (2017), 14 S.
126.
Forschungspapier
Fairness Constraints: Mechanisms for Fair Classification. (2017), 12 S.
127.
Forschungspapier
Cheshire: An Online Algorithm for Activity Maximization in Social Networks. (2017), 16 S.
Bericht (1)
128.
Bericht
854). Technische Universität Dortmund, Dortmund (2017), 67 S.
Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Technical Reports in Computer Science,