Recherche
** A Regular and Complete Notion of Delay for Streaming String Transducers ** The notion of delay between finite transducers is a core element of
Cluster reduction is a technique that can be used to speed up the construction of phylogenetic networks from sets of trees, or so we thought. Baroni
We revisit the problem of entity resolution and propose a novel, logical framework, LACE, which mixes declarative and procedural elements to achieve a
We present probabilistic dynamic I/O automata, a framework to model dynamic probabilistic systems. Our work extends dynamic I/O Automata formalism of
In this talk, I will present the research activities undertaken by our group focused on the study of the electronic structure of molecular systems
We propose a novel variational ansatz for the ground-state preparation of the ℤ2 lattice gauge theory (LGT) in quantum simulators. It combines
Finding a good approximation of the top eigenvector of a given d × d matrix A is a basic and important computational problem, with many applications