Skip to Main content Skip to Navigation
New interface


...
tel-00430446v1  Theses
Carlos Olarte. Universal Temporal Concurrent Constraint Programming
Modeling and Simulation. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
...
tel-00482208v1  Theses
Raphaël Chenouard. Résolution par satisfation de contraintes appliquée à l'aide à la décision en conception architecturale
Informatique [cs]. Ecole nationale supérieure d'arts et métiers - ENSAM, 2007. Français. ⟨NNT : ⟩
...
tel-00580926v1  Theses
Hicham Idabal. CONTRIBUTION À L'ANALYSE DE L'IMPACT DE MISES À JOUR SUR DES VUES ET SUR DES CONTRAINTES D'INTÉGRITÉ XML.
Interface homme-machine [cs.HC]. Université Panthéon-Sorbonne - Paris I, 2010. Français. ⟨NNT : ⟩
...
tel-01743851v1  Theses
Anicet Bart. Constraint modelling and solving of some verification problems
Programming Languages [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0031⟩
...
tel-00367626v1  Theses
Nicolas Derhy. Multicoupes et sous-graphes induits : complexité et algorithmes.
Modélisation et simulation. Conservatoire national des arts et metiers - CNAM, 2008. Français. ⟨NNT : ⟩
...
tel-00012096v1  Theses
Saïd Moussaoui. Séparation de sources non-négatives. Application au traitement des signaux de spectroscopie
Traitement du signal et de l'image [eess.SP]. Université Henri Poincaré - Nancy I, 2005. Français. ⟨NNT : ⟩
...
tel-01295003v1  Theses
Datta Ramadasan. SLAM temporel à contraintes multiples
Autre. Université Blaise Pascal - Clermont-Ferrand II, 2015. Français. ⟨NNT : 2015CLF22653⟩
...
tel-02057054v1  Habilitation à diriger des recherches
Raul Caplan. Liberté et contrainte dans l'oeuvre romanesque le Leo Maslíah
Littératures. Université d'Angers, 2014
...
tel-02455266v1  Theses
Matthieu Carre. Autonomic Framework For Safety Management In The Autonomous Vehicle
Automatic. Université de Pau et des Pays de l'Adour, 2019. English. ⟨NNT : ⟩
...
tel-00630122v1  Theses
Arnaud Malapert. Techniques d'ordonnancement d'atelier et de fournées basées sur la programmation par contraintes
Autre [cs.OH]. Université de Nantes; Ecole Centrale de Nantes (ECN), 2011. Français. ⟨NNT : ⟩
...
tel-00484779v1  Theses
Hugo Arboleda. FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product Lines
Software Engineering [cs.SE]. Université de Nantes; Universidad Los Andès, Bogota, 2009. English. ⟨NNT : ⟩
...
tel-00961501v1  Theses
Rémy Guyonneau. Méthodes ensemblistes pour la localisation en robotique mobile
Automatique / Robotique. Université d'Angers, 2013. Français. ⟨NNT : ⟩
...
tel-00516706v1  Theses
Dominique Gay. Calcul de motifs sous contraintes pour la classification supervisée
Interface homme-machine [cs.HC]. Université de Nouvelle Calédonie; INSA de Lyon, 2009. Français. ⟨NNT : 2009NCAL0044⟩
...
tel-00408225v1  Theses
Besnik Seljimi. Test de logiciels synchrones avec la PLC
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨NNT : ⟩
...
tel-02408009v1  Theses
Giovanni Christian Lo Bianco Accou. Estimating the number of solutions on cardinality constraints
Combinatorics [math.CO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0155⟩
...
tel-01861173v1  Theses
Nicolas Barnier. Application de la programmation par contraintes à des problèmes de gestion du trafic aérien
Intelligence artificielle [cs.AI]. Institut National Polytechnique De Toulouse, 2002. Français. ⟨NNT : ⟩
...
tel-01444799v1  Theses
Clément Carbonnel. Harnessing tractability in constraint satisfaction problems
Computer Science [cs]. Institut National Polytechnique de Toulouse, 2016. English. ⟨NNT : ⟩
...
tel-01293212v1  Theses
Ronan Bocquillon. Data distribution optimization in a system of collaborative systems
Operations Research [cs.RO]. Université de Technologie de Compiègne, 2015. English. ⟨NNT : 2015COMP2232⟩
...
tel-01825803v1  Theses
Zhu Wang. Modeling and scheduling of multi-cluster tools in wafer fabrication system
Automatic. Université de Valenciennes et du Hainaut-Cambresis; Tongji university (Shanghai, Chine), 2017. English. ⟨NNT : 2017VALE0044⟩
...
tel-02924854v2  Theses
Pierre Talbot. Spacetime programming : a synchronous language for constraint search
Artificial Intelligence [cs.AI]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS416⟩
...
tel-01068054v1  Theses
Jun Xiong. Set-membership state estimation and application on fault detection
Automatique / Robotique. Institut National Polytechnique de Toulouse - INPT, 2013. Français. ⟨NNT : ⟩
...
tel-01096401v1  Habilitation à diriger des recherches
Xavier Lorca. Éléments de flexibilité et d'efficacité en programmation par contraintes
Informatique [cs]. Université de Nantes, 2014