1![Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name](https://www.pdfsearch.io/img/630349a3f44fd6986800fb494935f4eb.jpg) | Add to Reading ListSource URL: ejcim2018.sciencesconf.orgLanguage: French - Date: 2018-04-03 08:40:55
|
---|
2![V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay](https://www.pdfsearch.io/img/07cf020a6b093fe23b5006a27a157231.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: French - Date: 2017-07-21 11:03:15
|
---|
3![1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay 1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay](https://www.pdfsearch.io/img/875a65b7cb573e3d05b4b48ba98a33f6.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: French - Date: 2018-05-18 11:41:55
|
---|
4![V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay](https://www.pdfsearch.io/img/dc8d69e2485e5c54e65fd0a880e298d8.jpg) | Add to Reading ListSource URL: cubicle.lri.frLanguage: French - Date: 2014-01-13 12:02:51
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: ens-paris-saclay.fr- Date: 2017-07-13 12:36:03
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: ens-paris-saclay.fr- Date: 2017-09-08 09:29:50
|
---|
7![A pla&orm for decoding and recoding turbulence B. Podvin, L. Mathelin, C. Tenaud LIMSI, Université Paris-Saclay CDS Pitching Day, November 9th A pla&orm for decoding and recoding turbulence B. Podvin, L. Mathelin, C. Tenaud LIMSI, Université Paris-Saclay CDS Pitching Day, November 9th](https://www.pdfsearch.io/img/b647eb7525c6693741065f2110dd6776.jpg) | Add to Reading ListSource URL: indico.lal.in2p3.frLanguage: English |
---|
8![Unsupervised Event Clustering and Aggregation from Newswire and Web Articles Swen Ribeiro LIMSI, CNRS Univ. Paris-Sud Universit´e Paris-Saclay Unsupervised Event Clustering and Aggregation from Newswire and Web Articles Swen Ribeiro LIMSI, CNRS Univ. Paris-Sud Universit´e Paris-Saclay](https://www.pdfsearch.io/img/24776b6becf937b4724bc8a7d7640267.jpg) | Add to Reading ListSource URL: www.aclweb.orgLanguage: English - Date: 2017-09-07 12:37:53
|
---|
9![Direction de la Scolarité et de la Vie Etudiante Courriel : Les inscriptions seront ouvertes à partir du jeudi 26 octobre 2017 : LUNDI : 9h à 12h et de 14h à 17h MARDI : 9h à 12h Direction de la Scolarité et de la Vie Etudiante Courriel : Les inscriptions seront ouvertes à partir du jeudi 26 octobre 2017 : LUNDI : 9h à 12h et de 14h à 17h MARDI : 9h à 12h](https://www.pdfsearch.io/img/38148159e5021b8f5777085704e24565.jpg) | Add to Reading ListSource URL: ens-paris-saclay.fr- Date: 2017-10-30 12:08:00
|
---|