Recherche

** A Regular and Complete Notion of Delay for Streaming String Transducers ** The notion of delay between finite transducers is a core element 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 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

Online Lyrics Tracking in Opera Performances Séminaire TAD

We propose a novel variational ansatz for the ground-state preparation of the ℤ2 lattice gauge theory (LGT) in quantum simulators. It combines

Dans le cadre du GT Combinatoire et Interactions, Torsten Mütze donnera un séminaire (sur Zoom) intitulé : “Efficient generation of elimination trees

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

We define a method that takes advantage of structural reductions to accelerate the verification of reachability problems. We prove the correctness of

Title: Building atlases to benchmark transcriptomics studies