|
|
 |
 |
 |
|
8th French Combinatorial Conference (8FCC)
8th French Combinatorial Conference (8FCC) à l'Université Paris-Sud du 28 Juin au 2 Juillet. |
|
|
 |
|
Julia Kempe Ă©lue Femme en Or de la recherche 2010
Chercheuse au CNRS, Julia Kempe s'est vue décerner le 7 juin 2010 à Paris le Trophée Femme en Or 2010 dans la catégorie « recherche ». |
|
|
 |
|
"Sparse correlation screening for large scale data analysis"
A.Hero, professeur de l'Université de Michigan, Chaire d'excellence Digiteo, fera un exposé le mardi 8 juin à Supelec (amphi F3.05) à 14h00. |
|
| |
|
 |
|
|
|
HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
Sascha Böhme, Michal Moskal, Wolfram Schulte, and Burkhart Wolff. J. Autom. Resoning(JAR),2009. |
|
|
|
|
Non-conservative Extension of a Peer in a P2P Inference System
Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009. |
|
|
|
|
Meilleur SAT-Solveur au monde sur les instances industrielles
glucose, démonstrateur SAT développé par L. Simon (LRI) et G. Audemard du CRIL (Lens) a gagné la com |
|
| |
|
|
|
