3 papers
stat.AP2026
Physics-informed distribution of relaxation times estimation and latent-space condition monitoring of solid oxide fuel and electrolysis cells from electrochemical impedance spectroscopy
Žan Gorenc, Žiga Gradišar, Felix Mütter +2
Estimating the distribution of relaxation times (DRT) fromelectrochemical impedance spectroscopy (EIS) is an ill-posed inverse problem that is highly sensitive to regularisation ch…
cs.LO2026
Circular Induction
Dorel Lucanu, Grigore Rosu, Eugen Goriac +1
The Circularity Principle was successfully applied for developing a coinductive proving technique, known as circular coinduction. In this paper, we show that the same principle can…
cs.DC2025
FastSet: Parallel Claim Settlement
Xiaohong Chen, Grigore Rosu
FastSet is a distributed protocol for decentralized finance and settlement, which is inspired from both actors and blockchains. Account holders cooperate by making claims, which ca…