AUTOMATED PREDICTION OF THREE-WAY JUNCTION TOPOLOGICAL FAMILIES IN RNA SECONDARY STRUCTURES 11 février 2012 Alexis Lamiable, Dominique Barth, Alain Denise, Franck Quessette, Sandrine Vial, Éric Westhof. Comp
		ON THEOREM PROVER-BASED TESTING 10 janvier 2012 Achim D. Brucker and Burkhart Wolff
> tous les résultats

SAGE - DIGITEO
   SAGE

TYPEX - ANR
   TYPEFUL CERTIFIED XML: : INTEGRATING LANGUAGE, LOGIC, AND DATA- ORIENTED BEST PRACTICES

UTP'2012 - DIGITEO
   UTP'2012

SOAPS.2 (OSEO) - INDUSTRIEL
   SOAPS.2 (OSEO)

LOTRELAX - ANR
   LOTRELAX

QUAFF
Quaff: Dataflow EDSL for Parallel Programming

NT2
The Numerical Template Toolbox

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé

HOL-TESTGEN
Un generateur pour des donnees de test sur base de HOL

Algorithmes pour l'étude de la structure secondaire des ARN et l'alignement de séquences

Coût énergétique, coût mémoire du calcul réversible

Test symbolique de services Web composites

Sur le contexte spatial en gestion de fenêtres et en interaction homme-machine