Has title
From LRDE
P
Probabilistic verification and approximation +
Product of Parity Automata +
Produit d'automates à parité +
Program templates: expression templates applied to program evaluation +
Programmatic Manipulation of Common Lisp Type Specifiers +
Progress in C++ source preprocessing +
Progress in C++ source preprocessing +
Progresses towards Vaucanson 1.4 and 2.0 +
Project EFIGI: Automatic classification of galaxies +
Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. +
Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. +
Properties in Milena +
Property based class hierarchy of Vaucanson's Algebra module +
Property based dispatch in functional languages +
Property-Based Genericity: A Dynamic Approach +
Proposal: an XML representation for automata +
Q
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN +
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo +
Quotient of weighted automata and rational series +
Quotients d'automates pondérés et de séries rationnelles +