Liste des rapports de recherche de l'année 2008 (au format pdf) : 

Numérotation suivant le code ISRN (International Standard Report Number) - norme internationale ISO-NF 10444 (dans la numérotation, FR correspond au pays d'origine du rapport)


I3S/RR-2008-01-FR       Jean-Yves TIGLI, Michel RIVEILL, Gaëtan REY, Stéphane LAVIROTTE, Vincent HOURDIN, Daniel CHEUNG-FOO-WO, Eric CALLEGARI
"A Middleware for Ubiquitous Computing: WComp". Equipe RAINBOW - Pôle GLC - 28 Janvier 2008, 22 pages.

I3S/RR-2008-02-FR      Aymen KAMMOUN, Frédéric PAYAN, Marc ANTONINI
"Remaillage et analyse spatio-temporelle basée ondelette pour les animations 3D". Equipe CREATIVE - Pôle SIS - Février 2008, 43 pages.

I3S/RR-2008-03-FR      Matthias HESSE, Jérôme LEBRUN, Luc DENEIRE
"L2 OSTC-CPM: Theory and design". Equipe SYSTEMES - Pôle SIS - Février 2008, 13 pages.

I3S/RR-2008-04-FR      Hélène COLLAVIZZA, Michel RUEHER, Pascal Van HENTENRYCK
"CPBPV: A Contraint-Programming Framework For Bounded Program Verification". Equipe CEP - Pôle MDSC - Février 2008 (version révisée Avril 2008), 18 pages.

I3S/RR-2008-05-FR      Adrien RICHARD
"Positive circuits and maximal number of fixed points in discrete dynamical systems". Equipe BIOINFO - Pôle MDSC - Mars 2008, 12 pages.

I3S/RR-2008-06-FR      Hélène COLLAVIZZA, Michel RUEHER, Pascal Van HENTENRYCK
"Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification". Equipe CEP - Pôle MDSC - Avril 2008, (version révisée Juin 2008), 21 pages.

I3S/RR-2008-07-FR      Sandrine JULIA
"Ambiguity of infinite words". Equipe MC3 - Pôle MDSC - Avril 2008, 11 pages.

I3S/RR-2008-08-FR      Vicente ZARZOSO, Pierre COMON, Ronald PHLYPO
"ICA Permutation Ambiguity is Fixed with Rough Guesses on Source Kurtoses". Equipe SIGNAL - Pôle SIS - Avril 2008, 9 pages.

I3S/RR-2008-09-FR      Pierre COMON, Xavier LUCIANI, André LIMA FERRER DE ALMEIDA
"Identification aveugle de mélanges sous-déterminés". Equipe SIGNAL - Pôle  SIS - Mai 2008 (version corrigée : Juillet 2008), 34 pages.

I3S/RR-2008-10-FR      Adrien RICHARD
"Sufficient conditions for the presence of several fixed points or the absence of fixed point in boolean networks". Equipe BIOINFO - Pôle MDSC - Mai 2008,  11 pages.

I3S/RR-2008-11-FR      Alexandre GOLDSZTEJN, Yahia LEBBAH, Claude MICHEL, Michel RUEHER
"Revisiting the upper bounding process in a safe Branch and Bound algorithm". Equipe CEP - Pôle MDSC - Juin 2008, 15 pages.

I3S/RR-2008-12-FR      Pierre COMON, Bernard MOURRAIN, Elias TSIGARIDAS
"Symmetric Tensor Decomposition". Equipe SIGNAL - Pôle SIS - Août 2008, 20 pages.

I3S/RR-2008-13-FR      Olivier MESTE, Grégory BLAIN, Stéphane BERMON
"Effect of cycling on the heart rate variability : a simulation study". Equipe SIGNAL - Pôle SIS - Décembre 2008, 9 pages.

I3S/RR-2008-14-FR      Luc PRONZATO
"One-step ahead adaptive D-optimal design on a finite design space is asymptotically optimal". Equipe SYSTEMES - Pôle SIS - Septembre 2008, 22 pages.

I3S/RR-2008-15-FR      Luc PRONZATO
"On the regularization of singular C-optimal designs" Equipe SYSTEMES - Pôle SIS - Septembre 2008, 15 pages.

I3S/RR-2008-16-FR      Luc PRONZATO
"Penalized and response-adaptive optimal designs with application to dose-finding". Equipe SYSTEMES - Pôle SIS - Septembre 2008, 53 pages.

I3S/RR-2008-17-FR      François MERIAUX, Frédéric PAYAN, Marc ANTONINI
"View-dependent coding of 3D scenes". Equipe IMAGES - Pôle SIS - Septembre 2008, 29 pages.

I3S/RR-2008-18-FR      Luc PRONZATO
"Penalized optimal designs for dose-finding". Equipe SYSTEMES - Pôle SIS - Octobre 2008, 25 pages.

I3S/RR-2008-19-FR      Luc PRONZATO
"Asymptotic properties of adaptive penalized optimal design with application to dose-finding". Equipe SYSTEMES - Pôle SIS - Octobre 2008, 33 pages.

I3S/RR-2008-20-FR      Nicolas FERRY, Stéphane LAVIROTTE, Gaëtan REY, Jean-Yves TIGLI
"Adaptation dynamique d'applications au contexte en informatique ambiante". Equipe RAINBOW - Pôle GLC - Octobre 2008, 34 pages.

I3S/RR-2008-21-FR      Hélène COLLAVIZZA, Mike GORDON
"Integration of Theorem-proving and Constraint Programming for Software Verification". Equipe CeP - Pôle MDSC - Novembre 2008, 17 pages.