-
Réalisation d'un annuaire de sources de données génomiques en vue de la colle...
Stage de DESS. || Rapport de master professionnel Sciences et Techniques, mention Informatique, spécialité Bio-informatique. Rapport de stage. -
Naming Proofs in Classical Propositional Logic
Rapport interne. -
Types for Web Rule Languages: a preliminary study
Rapport de contrat. -
Production Systems and Rewrite Systems
Rapport de contrat. -
Proving Positive Almost-Sure Termination
Rapport interne. -
The First Key-driven Calculating Machine (1844)
Rapport interne. -
Induction as Deduction Modulo
Rapport interne. -
A Tiling Perspective for Register Optimization
Register allocation is a much studied problem. A particularly important context for optimizing register allocation is within loops, since a significant fraction of the... -
Cops, Robbers, and Threatening Skeletons: Padded Decomposition for Minor-Free...
This dataset has no description
-
Static Quantum Games Revisited
This dataset has no description
-
Calcul du rayon de courbure d'une séquence d'ADN
Stage de DEA. Rapport de stage. -
L'évaluation du modèle gestion/agent dans la gestion de réseaux et services
Stage de DEA. Rapport de stage. -
Instrumentation of the Jxta peer-to-peer framework
Stage d'école d'ingénieur (2ème année). Rapport de stage. -
Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5
\urlhttp://eprint.iacr.org/ -
Certification des preuves de terminaison par interprétations polynomiales
Stage de DEA. Rapport de stage. -
Définition de la classe de réécriture à intégrer
Rapport de contrat. -
Proposition d'architecture du moteur de test de conversion
Rapport de contrat.
