Rapport d'activitÃ©s & Prospectives - LIP6

More documents

Recommendations

Info

BUDGET • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • Budgets consolidés en Francs (1997, 1998, 1999, 2000) Origine des crédits 1997 1998 1999 2000 Financements institutionnels UPMC Vacations 85000 85000 85000 Fonctionnement 1191000 1191000 1175098 1175098 Infrastructure a 6016248 6076248 7526400 7526400 Équipement 1081374 956374 959750 959750 Personnel b 26867242 27427493 27907214 28476749 CNRS Soutien de base 630000 630000 960000 990000 Actions/programmes 100000 300000 380000 198000 Actions internationales 96000 26000 Personnel 11100070 12639124 11149773 10730320 Autres Bourses (évaluation) 1805040 1595760 1974033 2014320 Enseignants-chercheurs hors UPMC 2250092 2729100 3114911 3876063 Ressources propres Contrats européens 4965869 5635841 5545263 4764580 Coopérations internationales 24000 0 12600 65668 Conventions avec étab. publics 4999723 2303257 3317596 5013961 Programmes nationaux 614000 1289000 Contrats industriels 3260676 5221300 5051577 2880944 Totaux 64291335 66790498 69869215 70071853 a. Valeur locative correspondant à la surface occupée augmentée des charges directement prises en compte par l’UPMC. b. Ce chiffre inclut les allocataires de recherche du Ministère. À noter que cette somme est évaluée en tenant compte de la pondération pratiquée par l’université, à savoir, 50 % des salaires réels. 24 Budget •
Budget consolidé (1997 à 2000) Budget Budget consolidé (1997 à 2000) 45 000 000 40 000 000 35 000 000 30 000 000 25 000 000 20 000 000 15 000 000 10 000 000 1997 1998 1999 2000 5 000 000 0 Budget hors salaires et infrastructure (1997 à 2000) Budget hors salaires et infrastructure (1997 à 2000) 6 000 000 5 000 000 4 000 000 3 000 000 2 000 000 1997 1998 1999 2000 1 000 000 0 Budget consolidé (1997 à 2000) 25 •
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: RÉPARTITION DU PERSONNEL (NOMBRE E
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?