A Total Variation Based Regularizer Promoting Piecewise-Lipschitz Reconstructions (2019) Burger M, Korolev Y, Schönlieb CB, Stollenwerk C Conference contribution An On-Line Performance Introspection Framework for Task-Based Runtime Systems (2019) Aguilar X, Jordan H, Heller T, Hirsch A, Fahringer T, Laure E Conference contribution Metric-Driven Learning of Correspondence Weighting for 2-D/3-D Image Registration (2019) Schaffert R, Wang J, Fischer P, Borsdorf A, Maier A Conference contribution Decoupling Respiratory and Angular Variation in Rotational X-ray Scans Using a Prior Bilinear Model (2019) Geimer T, Keall P, Breininger K, Caillet V, Dunbar M, Bert C, Maier A Conference contribution SHAMANN: Shared Memory Augmented Neural Networks (2019) Bercea CI, Pauly O, Maier A, Ghesu FC Conference contribution Sealed computation: Abstract requirements for mechanisms to support trustworthy cloud computing (2019) Abdullah L, Freiling F, Quintero J, Benenson Z Conference contribution Incremental proofs of sequential work (2019) Döttling N, Lai RWF, Malavolta G Conference contribution Resource-aware parameter tuning for real-time applications (2019) Gabriel D, Stechele W, Wildermann S Conference contribution A generic functional simulation of heterogeneous systems (2019) Rachuj S, Reichenbach M, Fey D Conference contribution Path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching (2019) Wißmann T, Dubut J, Katsumata Sy, Hasuo I Conference contribution