187 articles  [version française]
.:. Home > Document list .:.
187 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux
Cabrera Castillos K.
Université de Franche-Comté (28/11/2013), Jacques Julliand (Dir.) [tel-00924485 - version 1]
fulltext access Vers une méthodologie de développement d'outils de réalité virtuelle pour faciliter la convergence métiers en conception de produits centrée sur l'homme
Bennes L.
Université de Technologie de Belfort-Montbeliard (27/11/2013), Jean-Claude Sagot;Florence Bazzaro;Philippe Fuchs;Benoit Jeanne (Dir.) [tel-00931376 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Approche réactive pour la conduite en convoi des véhicules autonomes : Modélisation et vérification
Jradi M.
Université de Technologie de Belfort-Montbeliard Université Libanaise (Liban) (22/11/2013), Pablo Gruer;Mohammad Hajjar;Franck Gechter (Dir.) [tel-01010896 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Vision et asservissement visuel pour nanomanipulation et nanocaractérisation en utilisant un microscope électronique à balayage.
Marturi N.
Université de Franche-Comté (19/11/2013), Nadine LE-FORT PIAT (Dir.) [tel-01025318 - version 1]
fulltext access Etude sur fusion laser sélective de matériau céramique Zircone Yttriée
Liu Q.
Université de Technologie de Belfort-Montbeliard (05/11/2013), Hanlin Liao (Dir.) [tel-00976254 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Hyper-heuristic cooperation based approach for bus driver scheduling
Li S.
Université de Technologie de Belfort-Montbeliard (18/10/2013), Amir Hajjam;Abderrafiâa Koukam (Dir.) [tel-00976554 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Segmentation d'images par combinaison adaptative couleur-texture et classification de pixels. : Applications à la caractérisation de l'environnement de réception de signaux GNSS
ATTIA D.
Université de Technologie de Belfort-Montbeliard (03/10/2013), Cyril Meurie;Yassine Ruichek;Juliette Marais (Dir.) [tel-01001748 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking
Hugot V.
Université de Franche-Comté (27/09/2013), Olga Kouchnarenko;Pierre-cyrille Heam (Dir.) [tel-00909608 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Un système multi-agents pour la gestion des connaissances hétérogènes et distribuées
Lahoud I.
Université de Technologie de Belfort-Montbeliard (10/09/2013), Vincent Hilaire;Davy Monticolo (Dir.) [tel-00977758 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access An organizational ontology for multiagent-based Enterprise Process modeling and automation
Lin Y.
Université de Technologie de Belfort-Montbeliard (10/09/2013), Nicolas Gaud;Vincent Hilaire (Dir.) [tel-00977726 - version 1]
STAR - Dépôt national des thèses électroniques