Trouver les Thèses d'étudiant

Automata oriented program verification

!!Author: Grégoire, B., 2002

Superviseur: Schobbens, P.

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

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

!!Author: Bertholet, V., 2003

Superviseur:

Thèse de l'étudiant: Doc typesDocteur en Sciences

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

!!Author: Bonaventure, O., 1998

Thèse de l'étudiant: Doc typesDocteur en Sciences

Network convergence for the provision of in services in the Internet

!!Author: Nicoll, S., 2001

Superviseur: Bonaventure, O.

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

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

!!Author: Dony, G., 2001

Superviseur: &

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

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

!!Author: Hayez, C. & Hendrickx, P., 2000

Superviseur:

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

Etude de systèmes dynamiques à liaisons non intégrables (chocs mécaniques)

!!Author: Petry, C., juin 1999

Superviseur: Plotnikova, G.

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

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

!!Author: Pirotte, C., 2001

Superviseur:

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

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

!!Author: des Touches, V., 2001

Superviseur: Bonaventure, O.

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

Réalisation d'un langage graphique pour ASAX

!!Author: Gumiro, L., 1999

Superviseur:

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

Etude d'un système générique d'aide à la gestion des accès

!!Author: Vandurme, A. & Voisin, J., 2001

Superviseur: Ramaekers, J.

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

Recherche heuristique encapsulée

!!Author: Amezouj, K., 2009

Superviseur: Schobbens, P.

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

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

!!Author: Simon, L., 1998

Superviseur: Schobbens, P.

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

Implementation of belief revision on Sony Aibo

!!Author: Vander Schelden, Y., 2004

Superviseur: Schobbens, P.

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

La libration de la Lune.

!!Author: Moons, M., 1979

Superviseur:

Thèse de l'étudiant: Doc typesDocteur en Sciences

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

!!Author: Koch, E., 2002

Superviseur: Schobbens, P.

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

Requirements Proposal for a Generic Tool for Working with Guidelines

!!Author: Dufour, Y. & Rensonnet, D., 1997

Superviseur: Vanderdonckt, J.

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

Modelling future evolution in a security oriented context

!!Author: Marchal, L., 2010

Superviseur: Schobbens, P.

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

FDNet: enhancing human interface with dynamic capabilities

!!Author: Lambot, N., 2004

Superviseur: Schobbens, P.

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

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

!!Author: Dewaegheneire, X., juin 1995

Superviseur:

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

Robots in health care: an AIBO controller for elderly entertainment

!!Author: Capeqi, T., 2006

Superviseur: Schobbens, P.

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

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

!!Author: Brohez, S. & Grégoire, Y., 2002

Superviseur:

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

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

!!Author: Delhaise, F., 1992

Superviseur:

Thèse de l'étudiant: Doc typesDocteur en Sciences

Congestion control mechanism for multimedia applications

!!Author: Rosman, C., 2001

Superviseur: Bonaventure, O.

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

Théorie analytique du satellite artificiel

!!Author: Claes, H., 1979

Superviseur:

Thèse de l'étudiant: Doc typesDocteur en Sciences