Skip to Main content Skip to Navigation
New interface


...
tel-00114971v1  Theses
Hugues Bodiguel. Propriétés mécaniques de films polymères ultraminces
Analyse de données, Statistiques et Probabilités [physics.data-an]. Université Pierre et Marie Curie - Paris VI, 2006. Français
...
tel-00274217v1  Theses
Tudor Petrescu. SYSTEMES DE NUMERISATION HAUTES PERFORMANCES - Etude des solutions à bancs de filtres hybrides - - Caractérisation et optimisation
Traitement du signal et de l'image [eess.SP]. Université Paris Sud - Paris XI, 2006. Français
...
tel-01111979v1  Theses
Luis Fernando Pino Duque. Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
Data Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English
...
tel-00397108v1  Habilitation à diriger des recherches
David Monniaux. Analyse statique : de la théorie à la pratique ; analyse statique de code embarqué de grande taille, génération de domaines abstraits
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2009
...
tel-01333598v1  Theses
Guillaume Wacquet. Classification spectrale semi-supervisée : Application à la supervision de l'écosystème marin
Traitement du signal et de l'image [eess.SP]. Université du Littoral Côte d'Opale, 2011. Français. ⟨NNT : 2011DUNK0389⟩
...
tel-00006742v1  Theses
Sophie Dupuy. Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2000. Français
...
tel-03356083v1  Theses
Jiawei Fu. Identification of corneal mechanical properties using optical tomography and digital volume correlation
Biomechanics [physics.med-ph]. Université de Technologie de Troyes; Loughborough university, 2014. English. ⟨NNT : 2014TROY0013⟩
...
tel-01346105v1  Habilitation à diriger des recherches
Claude Michel. Contraintes sur les réels et contraintes sur les flottants: contributions.
Informatique [cs]. Universite Nice Sophia Antipolis, 2016
...
tel-00864235v1  Theses
Samah Chtourou Kharrat. Contribution à l'ordonnancement des ateliers de traitement de surface avec deux robots
Autre. Université de Technologie de Belfort-Montbeliard; Faculté des Sciences Economiques et des Gestion de Sfax, 2012. Français. ⟨NNT : 2012BELF0184⟩
...
tel-03419041v1  Theses
Auguste Bourgois. Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English. ⟨NNT : 2021ENTA0002⟩
...
tel-00141333v1  Theses
Nabil Jerbi. Apports et Intégration de la Robustesse pour la Supervision de Systèmes Manufacturiers
Automatique / Robotique. Ecole Centrale de Lille; Ecole Nationale d'Ingénieurs de Tunis, 2006. Français
...
tel-02863891v1  Theses
Andres Felipe Lopez Lopera. Gaussian Process Modelling under Inequality Constraints
General Mathematics [math.GM]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEM020⟩
...
tel-00332393v1  Habilitation à diriger des recherches
Gérard Drouet d'Aubigny. L'analyse multidimensionnelle des données de dissimilarité
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1989
...
tel-01498400v1  Theses
Jérôme Beaurain. Recherche de solutions bifurquées et étude de leur stabilité dans les problèmes d'endommagement
Mécanique [physics.med-ph]. Université Pierre et Marie Curie, 2011. Français
...
tel-01529215v1  Theses
Haifa Sallem. Étude de l'aptitude à la rectification des aciers rapides supérieurs : Application aux cylindres de laminage des alliages d'aluminium
Sciences de l'ingénieur [physics]. Ecole Nationale Supérieure des Mines de Saint-Etienne (ENM.SE), 2014. Français. ⟨NNT : 2014ENISE0024⟩