3 papers
cs.PL2024
Synchronous Programming with Refinement Types
Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele +6
Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently responsible for the saf…
quant-ph2024
Causal Data Fusion with Quantum Confounders
Pedro Lauand, Bereket Ngussie Bekele, Elie Wolfe
From the modern perspective of causal inference, Bell's theorem -- a fundamental signature of quantum theory -- is a particular case where quantum correlations are incompatible wit…
quant-ph2024
Quantum Non-classicality from Causal Data Fusion
Pedro Lauand, Bereket Ngussie Bekele, Elie Wolfe
Bell's theorem, a cornerstone of quantum theory, shows that quantum correlations are incompatible with a classical theory of cause and effect. Through the lens of causal inference,…