Partenaires
Home page > PhD Theses and HDR
PhD Theses and HDR
Gestion de l’incertitude et codage des politiques de sécurités dans les systèmes de contrôle d’accès — PhD of Khalid Bouriche (in French)
Le travail de cette thèse se situe à l’intersection du domaine de l’intelligence artificielle et du domaine de la sécurité informatique. Cette thèse a deux objectifs principaux : le premier est de confirmer la puissance expressive du modèle OTBAC, en particulier par rapport aux politiques de sécurité par défaut utilisées dans SELinux. Le deuxième objectif est d’étendre ce modèle OTBAC, en intégrant le concept de priorité qui sera représenté dans le cadre de la théorie des possibilités. Dans la première (...)
Incomparabilité et incommensurabilité dans le raisonnement et la dynamique des croyances - HDR of Sylvain Lagrue (in French)
Monday 12/12/2011 10:00, salle des thèses, Faculté des sciences Jean Perrin
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes - PhD thesis of Jean-Marie Lagniez
Tuesday 06/12/2011, 10:30, salle des thèses, faculté Jean Perrin
Contraintes qualitatives pour le raisonnement sur le temps et l’espace - Habilitation à Diriger des Recherches de Jean-François Condotta - in French
Thursday, 8/12/2011 at 14:15 - IUT de Lens, Amphithéâtre SRC - LENS
Méthodes Permettant la Prédominance de Connaissances Subsumées - PhD of Sébastien Ramon - in French
Friday 02/12/2011 at 10:30, IUT de Lens (Amphithéâtre SRC)
Treillis de Galois et réseaux de neurones : une approche constructive d’architecture des réseaux de neurones - PhD thesis of Norbert Tsopze (in French)
Tuesday, december 28th, 2010 at 9h00, room E206, bloc pédagogique, Faculté de Sciences de l’Université de Yaoundé I
Contributions à l’alignement d’ontologies OWL par agrégation de similarités - PhD thesis of Sami Zghal (in French)
Tuesday, december 21st, 2010 at 11h00, salle de conférence du Département des Sciences de l’Informatique, Faculté de Sciences de Tunis (Tunisia)
Résolution de problèmes autour de SAT - HDR of Gilles Audemard (in French)
Monday november 29th 2010, 10h, IUT de Lens, amphi SRC.
Raisonnement & Incohérence - HDR of Sébastien Konieczny (in French)
Mercredi 3 Mars 2010 14h00 - Salle des thèses, Faculté des Sciences, Lens.
From Possibilistic Similarity Measures to Possibilistic Decision Trees - PhD Thesis of Ilyes Jenhani (in French)
lundi 01 février 2010 - 10h - Salle des Thèses UFR des Sciences Lens
SAT et au-delà de SAT : Modèles et Algorithmes - HDR of Bertrand Mazure (in French)
Vendredi 29 janvier 2010 - 9 heures - Salle des Thèses UFR des Sciences Lens
Intégration des ressources en planification temporelle optimale - PhD of Zied Loukil (in French)
Vendredi 12 Décembre - 14h00 - Salle des thèses
Un Modèle pour la Prise de Décision Multi-agent sousIncertitude Stricte - PhD Thesis from Ramzi Ben Larbi (in French)
lundi 14 décembre 2009 - 14h00 - salle des thèses
Raisonnement en présence d’incohérence : de la compilation de bases de croyances stratifiées à l’inférence à partir de bases de croyances partiellement préordonnées - PhD Thesis from Safa Yahi (in French)
vendredi 04 décembre 2009 - 10h00 - Amphi S16
Fusion d’informations incertaines sans commensurabilité des échelles de référence - PhD Thesis of Julien Rossit
Summary : The problem of merging multiple-source information is crucial for many applications, in particular when one requires to take into account several potentially conflicting pieces of information, such as distributed databases frameworks, multi-agent systems, or distributed information in general. The relevant pieces of information are provided by different sources and all existing pieces of information have to be confronted to obtain a global and coherent point of view. This problem (...)
Travailler avec des préférences: rester simple pour faire plus - HDR of Souhila Kaci (in French)
vendredi 3 avril 2009 - 13h30 - IUT de Lens, amphi SRC
Étude du raisonnement temporel basé sur la résolution de contraintes - PhD Thesis Mahmoud Saade (in French)
Lundi 15 décembre 2008 - 14h00 - Salle des thèses
De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées - PhD Thesis from Said Jabbour (in French)
vendredi 5 Décembre 2008 - 14h00 - Amphi SRC (IUT)
Raisonnement sous incertitude et en présence des préférences : Application à la détection d’intrusions et à la corrélation d’alertes - PhD Thesis from Karima Sedki (in French)
jeudi 4 décembre 2008 - 14h00 - salle des thèses
Modèles graphiques et approches comportementales pour la détection d’intrusions - PhD Thesis from Karim Tabia (in French)
vendredi 28 novembre 2008 - 9h30 - salle des thèses
Contributions à la résolution générique des problèmes de satisfaction de contraintes - PhD Thesis of Julien Vion
Friday, November 30, 14h30 - IUT de Lens (amphi SRC)
Réseaux possibilistes hybrides: Représentation des interventions et algorithmes - PhD Thesis of Salma Smaoui (in French)
Vendredi 14 décembre - 14h00 - Salle des thèses
Utilisation de techniques polynomiales pour la résolution pratique - PhD Thesis from Olivier Fourdrinoy (in French)
mardi 27 novembre 2007 - 14h30 - Salle des thèses
Techniques algorithmiques pour l’extraction de formules minimales inconsistantes - PhD Thesis from Cédric Piette (in French)
mercredi 21 novembre 2007 - 15h00 - Salle des thèses
"Tenter la simplicité en satisfaction de contraintes" — HDR, Christophe Lecoutre (in French)
jeudi 22 novembre 2007 à 9H30 L’un des défis majeurs en programmation par contraintes est de proposer des approches génériques efficaces pour la résolution de problèmes de satisfaction de contraintes. C’est dans ce sens, i.e. un contexte aussi générique que possible, que nos travaux concernant le cadre CSP (Constraint Satisfaction Problem) ont été menés ces dernières années. En particulier, la plus grande partie des résultats que nous avons obtenus depuis 2003 sont exploitables quelle que soit la nature (...)
Exploiter les conflits pour réduire l’effort de recherche en satisfaction de contraintes - PhD Thesis of Sébastien Tabary (in French)
Thursday, November 22 2007 - Salle des thèses
"Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive" — PhD thesis of Patricia Everaere (in French)
Jeudi 07 Décembre 2006 Les opérateurs de fusion propositionnelle permettent de déterminer les croyances/buts d’un groupe d’agents à partir des croyances/buts individuels, exprimés par des formules de la logique propositionnelle. Deux critères souvent utilisés pour comparer les opérateurs existants sont la rationalité et l’efficacité algorithmique. Notre thèse est que ces deux seuls critères ne suffisent pas et qu’il faut considérer en plus celui de la manipulabilité. Un opérateur de fusion est dit (...)
"Contribution à l’étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung" — PhD thesis of Caroline Devred (in French)
Vendredi 01 Décembre 2006 L’argumentation est un modèle de raisonnement qui, par la construction d’arguments et l’étude de leurs interactions, permet de justifier une conclusion. Notre cadre d’étude est celui proposé par Dung dans lequel les arguments et leurs interactions sont donnés. Les interactions sont représentées par une relation binaire entre arguments. On cherche alors à caractériser les arguments dérivables. Un des premiers axes de recherche de notre travail a concerné l’étude des propriétés (...)
"De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d’un prouveur QBF" — PhD thesis of Florian Letombe (in French)
Mardi 13 Décembre 2005 Cette thèse est centrée sur le problème QBF de décision de la validité des formules booléennes quantifiées : étant donnée une formule de la forme S = A a1 E e2 ... A aN E eN . P où P est une formule propositionnelle construite sur e1, a1, ..., eN, aN (la matrice de S), il s’agit de déterminer si pour toute affectation d’une valeur de vérité à a1 dans P, il existe une affectation d’une valeur de vérité à e1 dans P, ..., pour toute affectation d’une valeur de vérité à aN dans P, il (...)
"Contribution à la fouille de données : Règles d’association et interactivité au sein d’un processus d’extraction de connaissances dans les données" — PhD thesis of Olivier Couturier (in French)
Lundi 12 Décembre 2005 Au regard du nombre croissant des grandes bases de données, déterminer la façon dont sont organisées les données, les interpréter et en extraire des informations utiles est un problème difficile et ouvert. En effet, à l’heure actuelle, notre capacité à collecter et stocker les données de tout type outrepasse nos possibilités d’analyse, de synthèse et d’extraction de connaissances dans les données. Notre travail se situe au niveau de la recherche de règles d’association qui constitue (...)
"Algorithmique des Treillis de Concepts : Application à la Fouille de Données" — PhD thesis of Huaiguo Fu (in French)
Lundi 14 Février 2005 Dans cette thèse, nous nous intéressons à la structure du treillis de concepts (ou treillis de Galois) et à ses applications à la fouille de données. Plusieurs travaux antérieurs ont montré l’intérêt des treillis de concepts à l’analyse de données, la classification supervisée ou non supervisée, à la recherche documentaire, et plus récemment à la recherche des règles d’association. Cependant devant la taille des bases de données utilisées en fouille de données, l’usage des systèmes basés (...)
"Utilisation et extensions de l’algorithmique pour SAT pour la résolution de différents problèmes d’intelligence artificielle" — PhD thesis of David Ansart (in French)
Vendredi 04 Février 2005 Un domaine particulièrement fertile de la recherche en intelligence artificielle ces dix dernières années a concerné l’algorithmique pour SAT, c’est-à-dire l’algorithmique pour le problème de décision qui consiste à vérifier la consistance d’un ensemble fini de clauses propositionnelles. Ce problème revêt une importance considérable en informatique théorique et en intelligence artificielle. S’agissant du problème NP-complet de référence, c’est pour la communauté scientifique un défi (...)
"Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT" — PhD thesis of Richard Ostrowski (in French)
Mercredi 15 Décembre 2004 Le problème de satisfiabilité (SAT) en logique propositionnelle capture l’essence de nombreux problèmes difficiles présents dans de nombreuses disciplines tels que l’intelligence artificielle, l’informatique, la recherche opérationnelle, etc. Ce problème revient à décider si une formule booléenne mise sous forme normale conjonctive est satisfaisable ou non. Ce problème est NP-Complet et est au coeur de la théorie de la complexité, où il joue un rôle fondamental. Dernièrement, (...)
"Gestion des Incohérences dans les Systèmes de Contrôle d’Accès" — PhD thesis of Rania El Baida (in French)
Lundi 13 Décembre 2004 La modélisation formelle des politiques de sécurité, contrôlant l’accès aux informations sensibles, est un problème important dans de nombreux domaines. La première contribution de notre travail consiste à proposer, dans le cadre du projet MPSSICSS (Modèles et Politiques de Sécurité des Systèmes d’Informations et de Communication en Santé et Social), un nouveau système de contrôle d’accès appelé OrBAC (Organization Based Access Control). Ce système apporte de nombreuses solutions aux (...)
"Contributions aux techniques de fusion de connaissances en intelligence artificielle" — PhD thesis of Ahcène Sofiane (in French)
Lundi 16 Juin 2003 Ce travail de thèse s’inscrit dans le domaine de l’intelligence artificielle symbolique. Plus précisément, il apporte une contribution au domaine de la représentation des connaissances et du raisonnement en se penchant sur des problèmes liés à la fusion de bases (ou de sources) de connaissance et de croyance qui peuvent être mutuellement contradictoires. À cet égard, notre contribution scientifique est triple. Dans un premier temps, nous nous sommes intéressés aux approches (...)
"Extraction des connaissances basée sur les treillis de Galois: Méthodes et applications" — HDR of Engelbert Mephu Nguifo (in French)
Lundi 10 Décembre 2001 L’extraction de connaissances est un processus interactif et itératif d’analyse d’un grand ensemble de données brutes afin d’en extraire des connaissances exploitables, et où l’utilisateur-analyste joue un rôle central. Dans la perspective de conception de systèmes d’extraction de connaissances, nous présentons nos travaux d’élaboration de méthodes de prétraitement de données, et de classification par treillis pour la fouille de données. La première partie introduit la problématique (...)