|
|
Stages de Master
- Raisonner automatiquement sur les graphes
encadrants : S. Cerrito, S. Demri
spécialité concernée : MOPS
- Comparaison de performance entre deux calculs pour une partie de la logique
Hybride et étude d'une extension.
encadrants : S. Cerrito, S. Demri
spécialité concernée : MOPS
- Algorithmes pour la réutilisation et l'intégration d'ontologies en utilisant la coopération multi-agents
encadrants : N. Abchiche, F. Tahi
spécialité concernée : MOPS
- Utilisation d’un environnement multi-agents pour l’intégration de
modèles biologiques hétérogènes
encadrants : N. Abchiche, F. Tahi
spécialité concernée : MOPS
- Véracité garantie dans un contexte multicritère
encadrants : E. Angel, E. Bampis
spécialité concernée : MOPS
- Prototypage rapide de systèmes de réalité virtuelle
encadrants : H. Klaudel, J.-Y. Didier, B. Djafri
spécialité concernée : MOPS
- Analyse de systèmes de réalité virtuelle : différents niveaux d'abstraction
encadrants : H. Klaudel, J.-Y. Didier, B. Djafri
spécialité concernée : MOPS
- Etude d'équivalence d'états dans les systèmes multi-threads
encadrants : H. Klaudel, Ch. Laforest
spécialité concernée : MOPS
- Compilation de réseaux de Petri colorés
encadrants : H. Klaudel, F. Pommereau
spécialité concernée : MOPS
- Algorithmes à véracité garantie et rapport d'approximation
encadrants : E. Angel, E. Bampis
spécialité concernée : MOPS
- Prédiction d'équilibres des réseaux d'interactions hétérogènes
génétiques & de signalisation
encadrants : F. Delaplace
spécialité concernée : MOPS
- Extraction fonctionnelle pour les relations inductives
encadrants : D. Delahaye
spécialité concernée : MOPS
- Interconnexion entre différents MANET
encadrants : S. Maag
spécialité concernée : MOPS
- Test d’interopérabilité dans les réseaux ad hoc
encadrants : S. Maag
spécialité concernée : MOPS
- Protocoles de sécurisation des groupes
encadrants : Ch. Laforest
spécialité concernée : MOPS
- Etude et développement d’un algorithme pour minimiser la surface des files pour une application embarquée
encadrants : O. Marchetti, A. Munier Kordon, J.-M. Delosme
spécialité concernée : MOPS
- Joined scheduling and performance verification in real time systems
encadrants : H. Dubois, A. Albinet
spécialité concernée : MOPS
- ACCORD UML
encadrants : H. Dubois
spécialité concernée : MOPS
- Description de politique de gestion de contexte
encadrants : D. Conan
spécialité concernée : MOPS
- Ingénierie dirigée par les modèles et composants sensibles au contexte
encadrants : C. Taconet
spécialité concernée : MOPS
- Gestion de la confiance et confidentialité dans un système de partage d'annotations en P2P
encadrants : B. Defude
spécialité concernée : MOPS
- Cohérence et qualité des informations de contexte en environnement ubiquitaire
encadrants : S. Chabridon
spécialité concernée : MOPS
- Problèmes d'ordonnancement avec minimisation de l'énergie
consommée
encadrants : E. Angel et E. Bampis
spécialité concernée : MOPS
_________________________________________________________________________________________________________________
Created by
admin
Last modified
2008-01-02 02:43 PM
|
|
«
|
January
2009
|
»
|
| Su |
Mo |
Tu |
We |
Th |
Fr |
Sa |
|
|
|
|
|
1 |
2 |
3 |
| 4 |
5 |
6 |
7 |
8 |
9 |
10 |
| 11 |
12 |
13 |
14 |
15 |
16 |
17 |
| 18 |
19 |
20 |
21 |
22 |
23 |
24 |
| 25 |
26 |
27 |
28 |
29 |
30 |
31 |
|
