Trouver les Thèses d'étudiant

Automata oriented program verification

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

Apports de l'estimation de densité aux arbres de discrimination: applications réelles

Superviseur:

Thèse de l'étudiant: Doc types › Docteur en Sciences

Integration of ATM under TCP/IP to provide services with minimum guaranteed bandwidth:

Thèse de l'étudiant: Doc types › Docteur en Sciences

Network convergence for the provision of in services in the Internet

Superviseur: Bonaventure, O.

Thèse de l'étudiant: Master types › Master en informatique

Un analyseur syntaxique et un interpréteur abstrait pour un sous-ensemble de Java

Superviseur: &

Thèse de l'étudiant: Master types › Master en informatique

Towards a generic static analyser for Java: a compiler and a simple analyser for two sub-languages of Java

Superviseur:

Thèse de l'étudiant: Master types › Master en informatique

Vers un analyseur statique générique de Java par interprétation abstraite: un utilitaire d'affichage de l'environnement et du store

Superviseur:

Thèse de l'étudiant: Master types › Master en informatique

Simple network management protocol et policy-based network management: appliqué à un cas pratique: le réseau de l'Office national des pensions

Superviseur: Bonaventure, O.

Thèse de l'étudiant: Master types › Master en informatique

Réalisation d'un langage graphique pour ASAX

Superviseur:

Thèse de l'étudiant: Master types › Master en informatique

Recherche heuristique encapsulée

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

Résolution d'un paradoxe en logique de croyance et de connaissance

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

Implementation of belief revision on Sony Aibo

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

La libration de la Lune.

Superviseur:

Thèse de l'étudiant: Doc types › Docteur en Sciences

Simulation multiagent de situations d'urgence dans le cadre de la RoboCupRescue

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

Requirements Proposal for a Generic Tool for Working with Guidelines

Superviseur: Vanderdonckt, J.

Thèse de l'étudiant: Master types › Master en informatique

Modelling future evolution in a security oriented context

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

FDNet: enhancing human interface with dynamic capabilities

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

Système hamiltonien perturbé par une force non conservative : application au drag de Stokes

Superviseur:

Thèse de l'étudiant: Master types › Master en mathématiques

Robots in health care: an AIBO controller for elderly entertainment

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

ORKA: obstacles recognition with KAOS based on ASAX = utilisation d'ASAX pour la détection d'obstacle

Superviseur:

Thèse de l'étudiant: Master types › Master en informatique

Analytical and Semi-Numerical Treatments of two Typical Problems in Artificial Satellite Theory: Air-Drag and Critical Inclination.

Superviseur:

Thèse de l'étudiant: Doc types › Docteur en Sciences

Congestion control mechanism for multimedia applications

Superviseur: Bonaventure, O.

Thèse de l'étudiant: Master types › Master en informatique

Théorie analytique du satellite artificiel

Superviseur:

Thèse de l'étudiant: Doc types › Docteur en Sciences

Agent de détection et de notification d'erreurs EDNA : annexe F: code source complet

Superviseur: Schobbens, P.

Thèse de l'étudiant: Master types › Master en informatique

Le problème de Dulac pour les polycycles hyperboliques

Superviseur: Dumortier, F. B.

Thèse de l'étudiant: Master types › Master en mathématiques