130 citations · 255 across the 5 of their papers we have counts for
5 papers
Generating induction principles and subterm relations for inductive types using MetaCoq
Bohdan Liesnikov, Marcel Ullrich, Yannick Forster
We implement three Coq plugins regarding inductive types in MetaCoq. The first plugin is a simple syntax transformation generating alternative constructors for inductive types by a…
Monotonicity based shape reconstruction in electrical impedance tomography
Bastian Harrach, Marcel Ullrich
Current-voltage measurements in electrical impedance tomography can be partially ordered with respect to definiteness of the associated self-adjoint Neumann-to-Dirichlet operators…
Resolution Guarantees in Electrical Impedance Tomography
Bastian Harrach, Marcel Ullrich
Electrical impedance tomography (EIT) uses current-voltage measurements on the surface of an imaging subject to detect conductivity changes or anomalies. EIT is a promising new tec…
Local uniqueness for an inverse boundary value problem with partial data
Bastian Harrach, Marcel Ullrich
In dimension , we prove a local uniqueness result for the potentials of the Schrödinger equation from partial boundary data. More precisely, we show that po…
Combining frequency-difference and ultrasound modulated electrical impedance tomography
Bastian Harrach, Eunjung Lee, Marcel Ullrich
Electrical impedance tomography (EIT) is highly affected by modeling errors regarding electrode positions and the shape of the imaging domain. In this work, we propose a new inclus…