.:. Consultation > Liste par domaine > Informatique .:.

25 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

No Free Lunch et recherche de solutions structurantes en coloration Martin J.-N. Université de Technologie de Belfort-Montbeliard (09/12/2010), Alexandre Caminada (UTBM) (Dir.) [tel-00607481 - version 1]

Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP Dib M. Université de Technologie de Belfort-Montbeliard (08/12/2010), Alexandre CAMINADA (Dir.) [tel-00644178 - version 1]

Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP Dib M. Université de Technologie de Belfort-Montbeliard (2010-12-08), Alexandre Caminada (Dir.) [tel-00607503 - version 1]

Analyse de données évolutives par caractérisation spatio-temporelle et modélisation stochastique de la mobilité Joumaa C. Université de Technologie de Belfort-Montbeliard (2010-11-16), Alexandre Caminada (professeur, UTBM) (Dir.) [tel-00607504 - version 1]

Compréhension des mécanismes d'interaction entre des nanotubes de carbone et une membrane biologique : effets toxiques et vecteurs de médicaments potentiels Kraszewski S. Université de Franche-Comté (17/09/2010), Christophe Ramseyer (Dir.) [tel-00642770 - version 1]

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés Dumez C. Université de Technologie de Belfort-Montbeliard (31/08/2010), Maxime Wack. (Dir.) [tel-00515130 - version 1]

Localisation de mobiles par construction de modèles en 3D en utilisant la stéréovision Nogueira S. Université de Technologie de Belfort-Montbeliard (09/12/2009), Yassine Ruichek (Dir.) [tel-00596948 - version 1]

Fusion multi-capteurs pour la représentation et le suivi des objets dynamiques Kmiotek P. UNIVERSITE DES SCIENCES ET TECHNOLOGIE DE CRACOVIE (07/12/2009), Yassine Ruichek (Dir.) [tel-00608155 - version 1]

Modèles multi-agents réactifs pour la navigation multi-véhicules : spécification formelle et vérification Contet J.-M. Université de Technologie de Belfort-Montbeliard (04/12/2009), Pablo Gruer (Dir.) [tel-00472415 - version 1]

Nouveaux outils de communication pour le diagnostic partagé et la surveillance du patient - application au domaine de l'auscultation Reichert S. Université de Technologie de Belfort-Montbeliard (10/10/2009), Abderrafiaa Koukam (Dir.) [tel-00608454 - version 1]