Équipe CSTB : Systèmes Complexes et Bioinformatique Translationnelle

Différences entre les versions de « Articles Introduction à la Recherche »

De Équipe CSTB : Systèmes Complexes et Bioinformatique Translationnelle
Aller à la navigation Aller à la recherche
Ligne 12 : Ligne 12 :
 
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Automatic_Parallelization-David_Padua.pdf Parallelization, Automatic]
 
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Automatic_Parallelization-David_Padua.pdf Parallelization, Automatic]
 
* IGG :
 
* IGG :
 +
** [http://dpt-info.u-strasbg.fr/~mathis/Tmp/arinyo_dynamic_architecture.pdf Article sur l'architecture d'un logiciel de géométrie dynamique à la Geogebra]
 +
** [http://www.cl.cam.ac.uk/~jrh13/papers/ab.pdf John Harrison - A short survey of automated reasoning]
 +
** [https://samidavies.files.wordpress.com/2016/07/paper.pdf Herman Geuvers - Proof assistant : history, ideas and future]
 +
** [http://www.mat.uc.cl/~cmartine/documents/FP.pdf Tomas Hales - Formal Proof]
 +
** [http://www-pequan.lip6.fr/~tierny/stuff/papers/tierny_phd_thesis08.pdf Chapitre 2 de la thèse de Julien Tierny - Reeb graph based 3D shape modeling and applications]
 
* SDC :
 
* SDC :
 
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/knoblock15-aimagazine.pdf Exploiting Semantics for Big Data Integration]
 
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/knoblock15-aimagazine.pdf Exploiting Semantics for Big Data Integration]
 
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/nature02236.pdf Functional genomic hypothesis generation and experimentation by a robot scientist]
 
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/nature02236.pdf Functional genomic hypothesis generation and experimentation by a robot scientist]

Version du 13 février 2017 à 16:30