- Page 1: 6 LABORATOIRE D'INFORMATIQUE DE PAR
- Page 5 and 6: Le laboratoire - - - - - - - - - -
- Page 7 and 8: LE LABORATOIRE
- Page 9 and 10: LE MOT DU DIRECTEUR - BILAN (DANIEL
- Page 11 and 12: Valorisation et diffusion de logici
- Page 13 and 14: En ce qui concerne les enseignants-
- Page 15 and 16: LE MOT DU DIRECTEUR - PROSPECTIVES
- Page 17 and 18: Toutes les composantes du laboratoi
- Page 19 and 20: ORGANIGRAMME ADMINISTRATIF 1997-200
- Page 21 and 22: Conseil Scientifique Titulaires Sup
- Page 23 and 24: Blain Gilles Maître de conférence
- Page 25 and 26: Guittard Régine 1 Secrétaire d’
- Page 27 and 28: Doctorants dans l’industrie ou sa
- Page 29 and 30: RÉPARTITION DU PERSONNEL (NOMBRE E
- Page 31 and 32: Budget consolidé (1997 à 2000) Bu
- Page 33: MOYENS INFORMATIQUES • • •
- Page 37 and 38: Qosmos Cette entreprise est constit
- Page 39 and 40: ALGORITHMIQUE NUMÉRIQUE ET PARALL
- Page 41 and 42: ANP PROSPECTIVE • • • • •
- Page 43 and 44: ANP décomposition du processus de
- Page 45 and 46: ANP BILAN SYNTHÉTIQUE DES RECHERCH
- Page 47 and 48: ANP BILAN DÉTAILLÉ DES RECHERCHES
- Page 49 and 50: ANP relaxations, réalisation d’u
- Page 51 and 52: ANP PUBLICATIONS ANP • • •
- Page 53 and 54: ANP Autres publications 47 •
- Page 55 and 56: ANP FORMATION PAR LA RECHERCHE ANP
- Page 57 and 58: ANP ANIMATION DE LA RECHERCHE ANP
- Page 59 and 60: ANP PROJETS ET CONTRATS • • •
- Page 61 and 62: APPRENTISSAGE ET ACQUISITION DE CON
- Page 63 and 64: APA PROSPECTIVE • • • • •
- Page 65 and 66: APA BILAN SYNTHÉTIQUE DES RECHERCH
- Page 67 and 68: APA Plusieurs réalisations ont eu
- Page 69 and 70: APA BILAN DÉTAILLÉ DES RECHERCHES
- Page 71 and 72: APA Livre électronique De plus en
- Page 73 and 74: APA continuons actuellement à expl
- Page 75 and 76: APA tion d’un grand nombre de par
- Page 77 and 78: APA nement. Ce système a été app
- Page 79 and 80: APA solution soient améliorées. O
- Page 81 and 82: APA La base de données de parole T
- Page 83 and 84: APA PUBLICATIONS APA • • •
- Page 85 and 86:
APA (52) M. Rifqi, S. Bothorel, B.
- Page 87 and 88:
APA [7] I. Akoulchina and J.-G. Gan
- Page 89 and 90:
APA [62] C. Brouard and B. Bouchon,
- Page 91 and 92:
APA [120] R. Glowinski, B. Mantel,
- Page 93 and 94:
APA [175] C. Meyer, J.-G. Ganascia,
- Page 95 and 96:
APA [236] A. Toudeft and P. Gallina
- Page 97 and 98:
APA FORMATION PAR LA RECHERCHE APA
- Page 99 and 100:
APA ANIMATION DE LA RECHERCHE APA
- Page 101 and 102:
APA • IJCAI-97 Workshop on Fuzzy
- Page 103 and 104:
APA • Rencontres Francophones sur
- Page 105 and 106:
APA Zucker J.-D. • Responsable du
- Page 107 and 108:
APA PROJETS ET CONTRATS • • •
- Page 109 and 110:
APA UPMC-Université Vytautas Magnu
- Page 111 and 112:
ARCHITECTURE DES SYSTÈMES INTÉGR
- Page 113 and 114:
ASIM PROSPECTIVE • • • •
- Page 115 and 116:
ASIM Circuits analogiques et mixtes
- Page 117 and 118:
ASIM BILAN SYNTHÉTIQUE DES RECHERC
- Page 119 and 120:
ASIM BILAN DÉTAILLÉ DES RECHERCHE
- Page 121 and 122:
ASIM Testabilité des circuits et s
- Page 123 and 124:
ASIM Utilisation d’un émulateur
- Page 125 and 126:
ASIM nels globaux (type vitesse, co
- Page 127 and 128:
ASIM Machine parallèle de type "Gr
- Page 129 and 130:
ASIM (INT : P. Lallevée). Cette co
- Page 131 and 132:
ASIM de conception… Des forums de
- Page 133 and 134:
ASIM PUBLICATIONS ASIM • • •
- Page 135 and 136:
ASIM [35] M. Dessouky, A. Greiner,
- Page 137 and 138:
ASIM [83] L. Jacomme, F. Pétrot, a
- Page 139 and 140:
ASIM [136] B. Zerrouk, V. Reibaldi,
- Page 141 and 142:
ASIM FORMATION PAR LA RECHERCHE ASI
- Page 143 and 144:
ASIM ANIMATION DE LA RECHERCHE ASIM
- Page 145 and 146:
ASIM PROJETS ET CONTRATS • •
- Page 147 and 148:
ASIM MEDEA 406/98 Responsable scien
- Page 149 and 150:
CALCUL FORMEL CALFOR Soria Michèle
- Page 151 and 152:
PROSPECTIVE • • • • • •
- Page 153 and 154:
BILAN SYNTHÉTIQUE DES RECHERCHES
- Page 155 and 156:
BILAN DÉTAILLÉ DES RECHERCHES •
- Page 157 and 158:
soit sémantiquement fondée et pro
- Page 159 and 160:
PUBLICATIONS CALFOR • • • •
- Page 161 and 162:
(17) A. Valibouze : “Construction
- Page 163 and 164:
FORMATION PAR LA RECHERCHE CALFOR
- Page 165 and 166:
ANIMATION DE LA RECHERCHE CALFOR
- Page 167 and 168:
PROJETS ET CONTRATS • • • •
- Page 169 and 170:
OBJETS ET AGENTS POUR SYSTÈMES D
- Page 171 and 172:
PROSPECTIVE • • • • • •
- Page 173 and 174:
le développement du formalisme des
- Page 175 and 176:
BILAN SYNTHÉTIQUE DES RECHERCHES
- Page 177 and 178:
agents autonomes (le framework mult
- Page 179 and 180:
BILAN DÉTAILLÉ DES RECHERCHES •
- Page 181 and 182:
tionnelles (par réassemblage et é
- Page 183 and 184:
des réseaux de neurones à l’arc
- Page 185 and 186:
PUBLICATIONS OASIS • • • •
- Page 187 and 188:
(56) M. Rukoz, C. León, M. Rívas
- Page 189 and 190:
[17] A. Cardon and J.-P. Vacher,
- Page 191 and 192:
[73] Z. Guessoum, A. Cardon, and A.
- Page 193 and 194:
[132] F. Peschanski, “Comet - A C
- Page 195 and 196:
(21) F. Pachet, G. Assayag : “Dos
- Page 197 and 198:
FORMATION PAR LA RECHERCHE OASIS
- Page 199 and 200:
ANIMATION DE LA RECHERCHE OASIS •
- Page 201 and 202:
Codognet P. OASIS • workshop "Mod
- Page 203 and 204:
• Journées CRAC’96 (contrôle
- Page 205 and 206:
• Responsable du projet LOCO de l
- Page 207 and 208:
PROJETS ET CONTRATS • • • •
- Page 209 and 210:
Contrats internationaux 4MISD Respo
- Page 211 and 212:
RÉSEAUX ET PERFORMANCES RP Fdida S
- Page 213 and 214:
RP PROSPECTIVE • • • • •
- Page 215 and 216:
RP BILAN SYNTHÉTIQUE DES RECHERCHE
- Page 217 and 218:
RP cepts de base, à l’absence de
- Page 219 and 220:
RP BILAN DÉTAILLÉ DES RECHERCHES
- Page 221 and 222:
RP (European Distributed and Intera
- Page 223 and 224:
RP ficative dans les routeurs et fa
- Page 225 and 226:
RP Aucun simulateur ne peut satisfa
- Page 227 and 228:
RP produit dont chaque station corr
- Page 229 and 230:
RP à multiplier le nombre de varia
- Page 231 and 232:
RP Logique temporelle pour les syst
- Page 233 and 234:
RP PUBLICATIONS RP • • • •
- Page 235 and 236:
RP [18] B. Desclefs and M. Soto,
- Page 237 and 238:
RP (6) E. Horlait, N. Rouhana : “
- Page 239 and 240:
RP FORMATION PAR LA RECHERCHE RP
- Page 241 and 242:
RP ANIMATION DE LA RECHERCHE RP •
- Page 243 and 244:
RP • 1er workshop sur les agents
- Page 245 and 246:
RP PROJETS ET CONTRATS • • •
- Page 247 and 248:
RP ESPRIT : Projet HPCN-EDISON Resp
- Page 249 and 250:
SÉMANTIQUE, PREUVE ET IMPLANTATION
- Page 251 and 252:
SPI PROSPECTIVE • • • • •
- Page 253 and 254:
SPI BILAN SYNTHÉTIQUE DES RECHERCH
- Page 255 and 256:
SPI BILAN DÉTAILLÉ DES RECHERCHES
- Page 257 and 258:
SPI susbtitution en présence de li
- Page 259 and 260:
SPI nitions récursives et donné u
- Page 261 and 262:
SPI PUBLICATIONS SPI • • •
- Page 263 and 264:
SPI FORMATION PAR LA RECHERCHE SPI
- Page 265 and 266:
SPI ANIMATION DE LA RECHERCHE SPI
- Page 267 and 268:
SPI PROJETS ET CONTRATS • • •
- Page 269 and 270:
SYSTÈMES RÉPARTIS ET COOPÉRATIFS
- Page 271 and 272:
SRC PROSPECTIVE • • • • •
- Page 273 and 274:
SRC Systèmes Virtuels Systèmes to
- Page 275 and 276:
SRC portements non prévus, on vér
- Page 277 and 278:
SRC giciel sont donc munis de gén
- Page 279 and 280:
SRC BILAN SYNTHÉTIQUE DES RECHERCH
- Page 281 and 282:
SRC Mémoires partagées réparties
- Page 283 and 284:
SRC notre plate-forme d’accueil.
- Page 285 and 286:
SRC BILAN DÉTAILLÉ DES RECHERCHES
- Page 287 and 288:
SRC Systèmes dynamiquement adaptab
- Page 289 and 290:
SRC chine Virtuelle Universelle (UV
- Page 291 and 292:
SRC PUBLICATIONS SRC • • •
- Page 293 and 294:
SRC [33] D. Collard, “Approche mu
- Page 295 and 296:
SRC [83] Y. H. Mahmoud, B. Folliot,
- Page 297 and 298:
SRC (21) S. Haddad, D. Poitrenaud :
- Page 299 and 300:
SRC FORMATION PAR LA RECHERCHE SRC
- Page 301 and 302:
SRC ANIMATION DE LA RECHERCHE SRC
- Page 303 and 304:
SRC • Workshop on High Level Petr
- Page 305 and 306:
SRC PROJETS ET CONTRATS • • •
- Page 307 and 308:
SRC Partenaire(s) : ALFA réseau Pa
- Page 309 and 310:
SYSTÈMES D'AIDE À LA DÉCISION ET
- Page 311 and 312:
PROSPECTIVE • • • • • •
- Page 313 and 314:
problèmes de conception de modules
- Page 315 and 316:
BILAN SYNTHÉTIQUE DES RECHERCHES
- Page 317 and 318:
travail. M. Grabisch collabore éga
- Page 319 and 320:
BILAN DÉTAILLÉ DES RECHERCHES •
- Page 321 and 322:
transition de phase ont été obser
- Page 323 and 324:
une étape donnée de la résolutio
- Page 325 and 326:
suffisamment riche pour construire
- Page 327 and 328:
action incitative “Environnements
- Page 329 and 330:
lution de l'apprenant au fur et à
- Page 331 and 332:
PUBLICATIONS SYSDEF • • • •
- Page 333 and 334:
(45) F. Philippe, G. Debs, J.-Y. Ja
- Page 335 and 336:
[13] M. Baker, L. Charnay, M. Joab,
- Page 337 and 338:
[67] C. Hanen and A. Munier, “Min
- Page 339 and 340:
Autres publications • • • •
- Page 341 and 342:
FORMATION PAR LA RECHERCHE SYSDEF
- Page 343 and 344:
ANIMATION DE LA RECHERCHE SYSDEF
- Page 345 and 346:
Organisation scientifique de congr
- Page 347 and 348:
• NTICF'98, Nouvelles Technologie
- Page 349 and 350:
• Président de la commission des
- Page 351 and 352:
PROJETS ET CONTRATS • • • •
- Page 353 and 354:
LES PROJETS LIP6 Projets Modélisat
- Page 355 and 356:
MODÉLISATION ET VÉRIFICATION DE S
- Page 357 and 358:
tion Series), 30(1), The Society fo
- Page 359 and 360:
MICROB2: ÉQUIPES DE ROBOTS FOOTBAL
- Page 361 and 362:
355 Description du projet MICRobES
- Page 363 and 364:
MONDES VIRTUELS INTEROPÉRABLES PAR
- Page 365 and 366:
virtuelle du monde RV étranger. Ce
- Page 367 and 368:
GESTION DE SYSTÈMES DE PRODUCTION
- Page 369 and 370:
363 Description du projet Systèmes
- Page 371 and 372:
VÉRIFICATION DE MODÈLE ET AIDE À
- Page 373 and 374:
FORMEL OCAML ET COQ (FOC) Hardin Th
- Page 375 and 376:
eprésentations et les heuristiques
- Page 377 and 378:
Projet LIP6 - 1998/1999 Bibliograph
- Page 379 and 380:
INDEXATION MULTIMEDIA Faudemay Pasc
- Page 381 and 382:
Moteurs de recherche "pull" Moteurs
- Page 383 and 384:
377 Description du projet Indexatio
- Page 385 and 386:
INDEXATION DE 60 HEURES DE VIDÉO F
- Page 387 and 388:
fixes extraites des vidéos pour la
- Page 389 and 390:
Bibliographie (1) R. Ruiloba, P. Jo
- Page 391 and 392:
MISE EN ŒUVRE DE LA MACHINE MPC Gr
- Page 393 and 394:
(en puissance). À terme, il est en
- Page 395 and 396:
BILAN PROJET MPC LIP6 1999 Greiner
- Page 397 and 398:
Conclusion L’absence d’un ingé
- Page 399 and 400:
CAO DE CIRCUITS ET SYSTÈMES INTÉG
- Page 401 and 402:
ésultat du meilleur compromis coû
- Page 403 and 404:
Présentation aux Industriels Les r
- Page 405 and 406:
399 Description du projet CAO de ci
- Page 407 and 408:
MICROBES Drogoul Alexis Meyer Jean-
- Page 409 and 410:
collectivités, afin de disposer d
- Page 411 and 412:
PROJET MICROBES (BILAN ET PROLONGAT
- Page 413 and 414:
AGENTS INTELLIGENTS POUR LA RECHERC
- Page 415 and 416:
capable de les indexer. Il se trouv
- Page 417 and 418:
MODÉLISATION DES PRÉFÉRENCES ET
- Page 419 and 420:
EXTRACTION DE CONNAISSANCES À PART
- Page 421 and 422:
RÉPARTITION ET FIABILITÉ DE SYST
- Page 423 and 424:
ORDONNANCEMENT AVEC PÉNALITÉS D
- Page 425 and 426:
SYSTÈME D’EXPLOITATION DES GRAND
- Page 427 and 428:
AIDE À LA GESTION DES SERVICES HOS
- Page 429 and 430:
PLATE-FORME LOGICIELLE EMBARQUÉE R
- Page 431 and 432:
• un segment sol dédié à la re
- Page 434:
Ce document a été réalisé avec