Matthias Eberl

13 papers Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Reflection Principle for Potential Infinite Models of Type Theory.
CoRR
Matthias Eberl
2024 J jnl
On the Influence of Humidity on a Thermal Conductivity Sensor for the Detection of Hydrogen.
Sensors
Sophie Emperhoff, Matthias Eberl, Tim Dwertmann, Jürgen Wöllenstein
2023 — conf
A Reflection Principle for Potential Infinite Models of Type Theory.
TYPES
Matthias Eberl
2023 J jnl
GeoWaVe: geometric median clustering with weighted voting for ensemble clustering of cytometry data.
Bioinform.
Ross J. Burton, Simone M. Cuff, Matt P. Morgan, Andreas Artemiou, Matthias Eberl
2023 J jnl
Higher-order concepts for the potential infinite.
Theor. Comput. Sci.
Matthias Eberl
2022 J jnl
A Model Theory for the Potential Infinite.
Reports Math. Log.
Matthias Eberl
2022 J jnl
Anodically Bonded Photoacoustic Transducer: An Approach towards Wafer-Level Optical Gas Sensors.
Sensors
Simon Gassner, Rainer Schaller, Matthias Eberl, Carsten von Koblinski, Simon Essing, Mohammadamir Ghaderi, Katrin Schmitt, Jürgen Wöllenstein
2021 J jnl
CytoPy: An autonomous cytometry analysis framework.
PLoS Comput. Biol.
Ross J. Burton, Raya Ahmed, Simone M. Cuff, Sarah Baker, Andreas Artemiou, Matthias Eberl
2019 J jnl
Using artificial intelligence to reduce diagnostic workload without compromising detection of urinary tract infections.
BMC Medical Informatics Decis. Mak.
Ross J. Burton, Mahableshwar Albur, Matthias Eberl, Simone M. Cuff
2017 — conf
Cloud, fog and edge: Cooperation for the future?
FMEC
Kay Bierzynski, Antonio Escobar, Matthias Eberl
2003 J jnl
Term rewriting for normalization by evaluation.
Inf. Comput.
Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
2002 — —
Normalization by evaluation.
Matthias Eberl
1998 — conf
Normalisation by Evaluation.
Prospects for Hardware Foundations
Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg