Rapport d'activitÃ©s & Prospectives - LIP6

More documents

Recommendations

Info

<strong>Rapport</strong> d’activités & <strong>Prospectives</strong> 1 er juillet 1997 — 30 juin 2000
Page 1: 6 LABORATOIRE D'INFORMATIQUE DE PAR
Page 6 and 7: Mise en œuvre de la machine MPC .
Page 8 and 9: 2 •
Page 10 and 11: Nous ne décrirons pas ici les prob
Page 12 and 13: de la préparation du rapport d’a
Page 14 and 15: Il nous apparaît que la réponse e
Page 16 and 17: Les autres domaines d’investigati
Page 18 and 19: 12 Le mot du directeur - Prospectiv
Page 20 and 21: INSTANCES CONSULTATIVES • • •
Page 22 and 23: LISTE DU PERSONNEL, MEMBRE DU LIP6
Page 24 and 25: Spathis Vassiliki Maître de confé
Page 26 and 27: Yoo Min-jung Postdoc Zerrouki Leila
Page 28 and 29: 22 •
Page 30 and 31: BUDGET • • • • • • •
Page 32 and 33: 26 •
Page 34 and 35: 28 •
Page 36 and 37: CRÉATION D’ENTREPRISES • •
Page 38 and 39: 32 •
Page 40 and 41: 34 •
Page 42 and 43: tions scientifiques aussi bien du p
Page 44 and 45: 38 Prospective •
Page 46 and 47: 40 Bilan synthétique des recherche
Page 48 and 49: polation de la solution cherchée s
Page 50 and 51: modélisant le comportement du syst
Page 52 and 53:
[6] R. Bawa and E. Encrenaz, “For
Page 54 and 55:
48 Publications ANP •
Page 56 and 57:
50 Formation par la recherche ANP
Page 58 and 59:
Président de session Vignes J. •
Page 60 and 61:
54 Projets et contrats •
Page 62 and 63:
Doctorants présents 80% du temps a
Page 64 and 65:
apport aux recherches actuelles, es
Page 66 and 67:
apparaître les premiers produits c
Page 68 and 69:
teur, synthèse…). En reconnaissa
Page 70 and 71:
pour faire de la fouille de donnée
Page 72 and 73:
Interfaces stylos et mobiles T. ART
Page 74 and 75:
Le formalisme général que nous av
Page 76 and 77:
tionnement possibiliste qui permet
Page 78 and 79:
travail à l'apprentissage des conn
Page 80 and 81:
de transmission (i.e., microphone
Page 82 and 83:
76 Bilan détaillé des recherches
Page 84 and 85:
(20) G. Chopard-Guillaumot, H. Hadj
Page 86 and 87:
(15) V. Corruble, J. Bliss : “Lea
Page 88 and 89:
[33] A. Borgi, J.-M. Bazin, and H.
Page 90 and 91:
[93] P. Debay, V. Eude, S. Hayat, a
Page 92 and 93:
[147] P. Leray, P. Gallinari, and E
Page 94 and 95:
[207] B. Piwowarski, “Learning in
Page 96 and 97:
(7) S. Kornman : “Colloque Intell
Page 98 and 99:
(23) S. Grolimund : “Apprentissag
Page 100 and 101:
• Revue scientifique et technique
Page 102 and 103:
• CIFED' 98 - (Colloque Internati
Page 104 and 105:
• Rapporteur scientifique du club
Page 106 and 107:
100 Animation de la recherche APA
Page 108 and 109:
Etat de l’art/métaconnaissances
Page 110 and 111:
Page 112 and 113:
Doctorants présents moins de 80% d
Page 114 and 115:
précis au cycle près, et un ensem
Page 116 and 117:
tence développé par le LIP6. Le r
Page 118 and 119:
Indexation Multimedia Le groupe de
Page 120 and 121:
décodeur M/JPEG, comportant un coe
Page 122 and 123:
pement du système TACOS, extension
Page 124 and 125:
lité des formes utilisées du poin
Page 126 and 127:
lement d'une expérience acquise pa
Page 128 and 129:
Liaison série à 2.5 Gbits/s Du po
Page 130 and 131:
Une des principales dimensions scie
Page 132 and 133:
Page 134 and 135:
[10] H. Aboushady, E. de Lira Mende
Page 136 and 137:
[57] J. Dunoyer, F. Pétrot, and L.
Page 138 and 139:
[109] F. Rahim, E. Encrenaz, M. Min
Page 140 and 141:
134 Publications ASIM •
Page 142 and 143:
(25) N. Vaucher : “Méthodogie de
Page 144 and 145:
138 Animation de la recherche ASIM
Page 146 and 147:
CEA-DAM (n°9M4248 EG H4) Responsab
Page 148 and 149:
Page 150 and 151:
144 •
Page 152 and 153:
146 Prospective •
Page 154 and 155:
Projet FOC Le projet Foc (Formel, O
Page 156 and 157:
les nombres infinitésimaux algébr
Page 158 and 159:
d'étudier expérimentalement le co
Page 160 and 161:
[3] P. Aubry, “Constructive Metho
Page 162 and 163:
156 Publications CALFOR •
Page 164 and 165:
158 Formation par la recherche CALF
Page 166 and 167:
• Responsable Paris 6 du DEA Algo
Page 168 and 169:
Page 170 and 171:
Doctorants présents moins de 80 %
Page 172 and 173:
Méta-Modélisation La problématiq
Page 174 and 175:
cules automobiles (projet PREDIT av
Page 176 and 177:
Groupe Méta-Modélisation (MetaFor
Page 178 and 179:
lité d'intégrer l’aspect descri
Page 180 and 181:
Groupe Méta-Modélisation (MetaFor
Page 182 and 183:
le Laboratoire de Robotique de Pari
Page 184 and 185:
Page 186 and 187:
(24) A. Drogoul, A. Collinot : “U
Page 188 and 189:
(20) J.-A. Meyer : “Artificial Li
Page 190 and 191:
[46] A. Drogoul and A. Collinot,
Page 192 and 193:
[102] C. Leon , M. Rukoz, and M. Ri
Page 194 and 195:
[160] J.-P. Vacher, A. Cardon, and
Page 196 and 197:
190 Publications OASIS •
Page 198 and 199:
192 Formation par la recherche OASI
Page 200 and 201:
Drogoul A. • Collective Robotics,
Page 202 and 203:
Codognet P. • Journées Francopho
Page 204 and 205:
• Flairs 98, Special Track on Int
Page 206 and 207:
Ziane M. • Membre de la commissio
Page 208 and 209:
Contrats industriels Modélisation
Page 210 and 211:
Page 212 and 213:
206 •
Page 214 and 215:
208 Prospective •
Page 216 and 217:
myriade de solutions dépendantes d
Page 218 and 219:
d'assemblage, etc.). Nous avons dé
Page 220 and 221:
jet DIS sur réseau IP/ATM (DRET/ME
Page 222 and 223:
avons débuté des études sur la r
Page 224 and 225:
tecture du système. Les partenaire
Page 226 and 227:
Visualisation, navigation de donné
Page 228 and 229:
décomposition. Nous avons déjà m
Page 230 and 231:
seau avec celui d'un réseau à cap
Page 232 and 233:
le d'aller plus vite qu'une méthod
Page 234 and 235:
(26) S. M. Ryan, B. Baynat, F. F. C
Page 236 and 237:
de Services,” presented at Intern
Page 238 and 239:
232 Publications RP •
Page 240 and 241:
(25) F. Royer De Véricourt : “Op
Page 242 and 243:
• International Workshop on Petri
Page 244 and 245:
• Membre du Cocostic (depuis 7/99
Page 246 and 247:
Contrats industriels DGA/MESR - DIS
Page 248 and 249:
Page 250 and 251:
244 •
Page 252 and 253:
Nous comptons répondre au premier
Page 254 and 255:
trois composantes: programmation (e
Page 256 and 257:
évaluables de fa\c{c}on synchrone.
Page 258 and 259:
Développement d'outils d'aide à l
Page 260 and 261:
appelé AGFL (Analyse de graphes fo
Page 262 and 263:
[18] B. Pagano, “X.R.S : explicit
Page 264 and 265:
258 Formation par la recherche SPI
Page 266 and 267:
din, Pagano), langages d'ordre sup
Page 268 and 269:
Page 270 and 271:
Invités au LIP6 Buchs Didier Profe
Page 272 and 273:
tions critiques (développement mat
Page 274 and 275:
de Bologne, ont maîtrisé la répl
Page 276 and 277:
succès mais nécessitent l’explo
Page 278 and 279:
272 Prospective •
Page 280 and 281:
Spécification et implantation du c
Page 282 and 283:
Vérification et génie logiciel de
Page 284 and 285:
278 Bilan synthétique des recherch
Page 286 and 287:
comportements inattendus. Ce travai
Page 288 and 289:
trop lents, on passe de la réplica
Page 290 and 291:
veau semi-formel au niveau formel e
Page 292 and 293:
[9] L. Arantes and L. Sato, “CPAR
Page 294 and 295:
[58] B. Folliot and P.-G. Raverdy,
Page 296 and 297:
[109] M. Taghelit, S. Haddad, and P
Page 298 and 299:
292 Publications SRC •
Page 300 and 301:
294 Formation par la recherche SRC
Page 302 and 303:
Sens, P. • Organisateur de JCS’
Page 304 and 305:
Kordon, F. • Président d’Ada-F
Page 306 and 307:
Contrats industriels Mise au point
Page 308 and 309:
Page 310 and 311:
Munier Alix Professeur, Université
Page 312 and 313:
poursuivie; l’évaluation de ces
Page 314 and 315:
308 Prospective •
Page 316 and 317:
Aide à la décision La modélisati
Page 318 and 319:
oulement de l’exercice de simulat
Page 320 and 321:
(K*/m) où K*=Min(H*, m) et H* est
Page 322 and 323:
d'étudier des méthodes permettant
Page 324 and 325:
communications sur la modélisation
Page 326 and 327:
Nous avons conçu et testé des pro
Page 328 and 329:
des filigranes (entiers ou partiels
Page 330 and 331:
Page 332 and 333:
(14) P. Brézillon, M. Cavalcanti :
Page 334 and 335:
(18) M. Grabisch : “Fuzzy integra
Page 336 and 337:
[38] H. Caetano, L. Mendes Victor,
Page 338 and 339:
[93] P. Perny, “Non-monotonic dec
Page 340 and 341:
(33) G. Tisseau, H. Giroire, F. Le
Page 342 and 343:
336 Formation par la recherche SYSD
Page 344 and 345:
Éditeur d'actes de congrès ou d'o
Page 346 and 347:
Membres de Comité de Programme Bar
Page 348 and 349:
Jaffray J.-Y. • Risque, incertitu
Page 350 and 351:
344 Animation de la recherche SYSDE
Page 352 and 353:
COFECUB-CAPES (Brésil) Responsable
Page 354 and 355:
348 •
Page 356 and 357:
Une fois la transformation en rése
Page 358 and 359:
352 Description du projet Modélisa
Page 360 and 361:
Le travail se décompose en trois g
Page 362 and 363:
356 Description du projet MICRobES
Page 364 and 365:
d’un concept dans une fédératio
Page 366 and 367:
tre lesquels des objets passe de l
Page 368 and 369:
production flexible dont les coûts
Page 370 and 371:
364 Description du projet Systèmes
Page 372 and 373:
366 Description du projet VMAP •
Page 374 and 375:
l'utilisateur et les preuves de cor
Page 376 and 377:
• La librairie fournie contient l
Page 378 and 379:
372 Description du projet FOQ •
Page 380 and 381:
Segmentation spatiale de l’image
Page 382 and 383:
gramme "Autoroutes de l’Informati
Page 384 and 385:
378 Description du projet Indexatio
Page 386 and 387:
fournies par l'utilisateur, le syst
Page 388 and 389:
sur les résultats montre l'intér
Page 390 and 391:
384 Description du projet Indexatio
Page 392 and 393:
Enjeux scientifiques Bien que diff
Page 394 and 395:
388 Description du projet MPC •
Page 396 and 397:
Rappel des besoins du projets • L
Page 398 and 399:
392 rappel des objectifs du projet
Page 400 and 401:
Travail effectué au cours du proje
Page 402 and 403:
Livraisons Alliance Une nouvelle ve
Page 404 and 405:
(1) P. Bukovjan, M. Marzouki, W. Ma
Page 406 and 407:
400 Description du projet CAO de ci
Page 408 and 409:
Contexte Scientifique La réalisati
Page 410 and 411:
ce fait, bien plus " familiers " et
Page 412 and 413:
• Comportement de recharge autono
Page 414 and 415:
Applications potentielles des deux
Page 416 and 417:
410 Description du projet recherche
Page 418 and 419:
d’immobilier etc.) et de collabor
Page 420 and 421:
d'arbres de décision flous (Salamm
Page 422 and 423:
416 Description du projet Multi-Age
Page 424 and 425:
Certains résultats théoriques ant
Page 426 and 427:
Résultats attendus Le projet a pou
Page 428 and 429:
Finalité du projet (à un an) Anal
Page 430 and 431:
150 jours de mesures permettront ch
Page 432:
fonctions de survie du satellite pe
show all

Rapport d'activitÃ©s & Prospectives - LIP6

Create successful ePaper yourself

Delete template?

Save as template?