Rapport d'activitÃ©s & Prospectives - LIP6

More documents

Recommendations

Info

INSTANCES CONSULTATIVES • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • Comité d’évaluation Membres J. Sifakis, Directeur de recherche, VERIMAG, Grenoble, Président du comité G. Tolusso, Directeur Général, Branche CRC – Alcatel CIT, Marcoussis J. Borel, Directeur, Recherche et développement, ST Micro-électronics, Grenoble L. Gasser, Graduate School of Library and Information Science, Universty of Illinois B. Dubuisson, Directeur Scientifique Adjoint SPI, CNRS M. Glass-Maujean, Présidente du Conseil Scientifique de l’UPMC P. Jorrand, Directeur de recherche, CNRS Membre invité P. Doucelance, délégué du CNRS, secteur Paris B Représentants des personnels du laboratoire Frénod Jean-Michel, Ingénieur d’Études, CNRS Brézillon Patrick, Chargé de recherche, CNRS Conseil de laboratoire Alt René Bohelay Nicole Bouchon-Meunier Bernadette Brouard Christophe Deleuze Christophe Durand Gwenael Faugère Jean-Charles Fouque Nicole Gallinari Patrick Gervais Marie-Pierre Greiner Alain Horlait Éric Joab Michèle Le Baquer Jacqueline Meyer Jean-Arcady Montacié Claude Perrot Jean-François Pomerol Jean-Charles Saïd Clémentine Soto Michel Aubry Philippe Bosq Denis Brézillon Patrick Cardon Alain Derieux Anne Encrenaz Emmanuelle Fdida Serge Frénod Jean-Michel Ganascia Jean-Gabriel Girault Claude Hardin Thérèse Jaffray Jean-Yves Lazard Daniel Louerat Marie-Minerve Minoux Michel Paliès Odile Picard Françoise Pouzet Marc Sens Pierre Conseil de direction Daniel Lazard Nicole Bohelay Bertil Folliot Marie-Minerve Louërat Michèle Soria Patrick Gallinari Patrick Brézillon Alain Greiner Jean-Luc Mounier 14 Instances consultatives •
Conseil Scientifique Titulaires Suppléants Thème Lazard Daniel Directeur Gallinari Patrick Directeur-Adjoint Bouchon-Meunier Bernadette Marsala Christophe APA Briot Jean-Pierre Perrot Jean-François OASIS Caraty Marie-José Montacié Claude APA Dutheillet Claude Anelli Pascal RP Faudemay Pascal Joly Philippe ASIM Fdida Serge Horlait Éric RP Gancarski Stéphane Doucet Anne OASIS Girault Claude Bertil Folliot SRC Greiner Alain Habib Mehrez ASIM Hardin Thérèse Marc Pouzet SPI Jaffray Jean-Yves Perny Patrice SYSDEF Joab Michelle Baron Monique SYSDEF Pomerol Jean-Charles Chrétienne Philippe SYSDEF Marzouki Meryem Louërat Marie-Minerve ASIM Minoux Michel Chesneaux Jean-Marie ANP Poitrenaud Denis Ilié Jean-Michel SRC Soria Michèle Faugère Jean-Charles CALFOR Zucker Jean-Daniel Corruble Vincent APA Instances consultatives Conseil Scientifique 15 •
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: ORGANIGRAMME ADMINISTRATIF 1997-200
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 and 34: MOYENS INFORMATIQUES • • •
Page 35 and 36: BREVETS • • • • • • •
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:
Page 173 and 174:
le développement du formalisme des
Page 175 and 176:
Page 177 and 178:
agents autonomes (le framework mult
Page 179 and 180:
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:
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:
Page 313 and 314:
problèmes de conception de modules
Page 315 and 316:
Page 317 and 318:
travail. M. Grabisch collabore éga
Page 319 and 320:
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:
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
show all

Rapport d'activitÃ©s & Prospectives - LIP6

Create successful ePaper yourself

Delete template?

Save as template?