Matthias Eberl

According to our database, Matthias Eberl authored at least 12 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

On the Influence of Humidity on a Thermal Conductivity Sensor for the Detection of Hydrogen.

Sophie Emperhoff, Matthias Eberl, Tim Dwertmann, Jürgen Wöllenstein

Sensors, May, 2024

2023

Higher-order concepts for the potential infinite.

Matthias Eberl

Theor. Comput. Sci., February, 2023

GeoWaVe: geometric median clustering with weighted voting for ensemble clustering of cytometry data.

Ross J. Burton, Simone M. Cuff, Matt P. Morgan, Andreas Artemiou, Matthias Eberl

Bioinform., January, 2023

A Reflection Principle for Potential Infinite Models of Type Theory.

Matthias Eberl

Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023

2022

A Model Theory for the Potential Infinite.

Matthias Eberl

Reports Math. Log., November, 2022

Anodically Bonded Photoacoustic Transducer: An Approach towards Wafer-Level Optical Gas Sensors.

Simon Gassner, Rainer Schaller, Matthias Eberl, Carsten von Koblinski, Simon Essing, Mohammadamir Ghaderi, Katrin Schmitt, Jürgen Wöllenstein

Sensors, 2022

2021

CytoPy: An autonomous cytometry analysis framework.

Ross J. Burton, Raya Ahmed, Simone M. Cuff, Sarah Baker, Andreas Artemiou, Matthias Eberl

PLoS Comput. Biol., 2021

2019

Using artificial intelligence to reduce diagnostic workload without compromising detection of urinary tract infections.

Ross J. Burton, Mahableshwar Albur, Matthias Eberl, Simone M. Cuff

BMC Medical Informatics Decis. Mak., 2019

2017

Cloud, fog and edge: Cooperation for the future?

Kay Bierzynski, Antonio Escobar, Matthias Eberl

Proceedings of the Second International Conference on Fog and Mobile Edge Computing, 2017

2003

Term rewriting for normalization by evaluation.

Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg

Inf. Comput., 2003

2002

Normalization by evaluation.

Matthias Eberl

PhD thesis, 2002

1998

Normalisation by Evaluation.

Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998