Informatique théorique, méthodes formelles, automates

Unconstrained 3D Reconstruction originally presented in DUSt3R has seen a rapid growth in popularity for its ease of use, its robustness and its many potential application In some sense, it

This talk presents our recent results on data-driven representations and analyses of deforming 3D shapes. Three classes of shapes will be discussed...

Distributed Computation over Networks

The computational view of intuitionistic dependent type theory is as an intrinsic logic of (functional) programs in which types are viewed as specifications of their behavior. Equational reasoning is

Focus sur 4 ressources pédagogiques libres : Ouvrir les données en informatique théorique, qu’a-t-on à y gagner ?

Statistical Learning Theory for Modern Machine Learning