papers
Publications (9)
physics.ins-det2009
Development of a GEM-TPC prototype
Heinz Angerer, Reinhard Beck, Martin Berger +37
physics.med-ph2018
Phase-Sensitive Region-of-Interest Computed Tomography
Lina Felsner, Martin Berger, Sebastian Kaeppler +8
cs.LO2017
Program Logics for Homogeneous Generative Run-Time Meta-Programming
Martin Berger, Laurence Tratt
physics.med-ph2018
Viewpoint Planning for Quantitative Coronary Angiography
Alexander Preuhs, Martin Berger, Sebastian Bauer +4
cs.LO2014
Cathoristic logic: A modal logic of incompatible propositions
Richard Prideaux Evans, Martin Berger
physics.ins-det2009
Si$Î$ViO: A Trigger for $Î$-Particles
Robert Muenzer, Laura Fabbietti, Martin Berger +1
cs.LO2008
Logical Reasoning for Higher-Order Functions with Local State
Nobuko Yoshida, Kohei Honda, Martin Berger
cs.CV2018
Deep Neural Networks for ECG-free Cardiac Phase and End-Diastolic Frame Detection on Coronary Angiographies
Costin Ciusdel, Alexandru Turcea, Andrei Puiu +10
cs.PL2017
Modelling homogeneous generative meta-programming
Martin Berger, Laurence Tratt, Christian Urban