INFORMATIQUE

Dans le rayon INFORMATIQUE il y a différentes étagères, cliquez dessus pour les explorer...

Habilitation à diriger des Recherches

Thèses de doctorat

Activity States: Un Cadre Théorique pour l'Analyse de la Collaboratioin Humaine Concrète sur le Web / Nik Nailah BINTI ABDULLAH 

Public ISBD Titre : Activity States: Un Cadre Théorique pour l'Analyse de la Collaboratioin Humaine Concrète sur le Web Type de document : texte imprimé Auteurs : Nik Nailah BINTI ABDULLAH, Auteur Année de publication : 2006 Langues : Français (fre) Index. décimale : THE Thèses de doctorat Résumé : Ce travail est basé sur l'observation de conversations entre informaticiens sur Internet grâce à des outils de communication comme la messagerie instantanée et la vidéoconférence. L'objectif est de comprendre comment l'apprentissage et la communication peuvent s'influencer mutuellement: les personnes peuvent inférer le comportement communicatif de l'autre en interprétant dans le même temps comment leurs intentions apparaissent quand ils parlent et ont une activité. D'abord plusieurs conversations ont été enregistrés et étudiées (environ 50 000 mots échangés à chaque fois). Puis ces conversations ont été transcrites manuellement en messages formalisés pour un agent. L'analyse de ces messages et laCe travail est basé sur l'observation de conversations entre informaticiens sur Internet grâce à des outils de communication comme la messagerie instantanée et la vidéoconférence. L'objectif est de comprendre comment l'apprentissage et la communication peuvent s'influencer mutuellement: les personnes peuvent inférer le comportement communicatif de l'autre en interprétant dans le même temps comment leurs intentions apparaissent quand ils parlent et ont une activité. D'abord plusieurs conversations ont été enregistrés et étudiées (environ 50 000 mots échangés à chaque fois). Puis ces conversations ont été transcrites manuellement en messages formalisés pour un agent. L'analyse de ces messages et la compréhension des scénarios de communication ont requis une application étendue des théories existantes : (i) hiérarchie de l'apprentissage et de la communication (Bateson, 1972 et 1979), (ii) cognition située (Clancey, 1997) et (iii) théorie de l'activité (Leont'ev 1977 et 1978). Cependant, lors du processus d'analyse, un cadre de travail théorique innovant a émergé et a été appelé Etats d'Activité. Il fournit des règles pour la conversion des conversations dans un langage de communication entre agents (en en conservant la sémantique). Les Etats d'Activité tentent aussi d'expliquer et de comprendre comment, par exemple, la façon de lire et de comprendre un texte peut être liée à l'activité que l'on peut avoir à un moment donné sur Internet. Cela influence directement la façon dont les gens vont formuler leurs intentions. Finalement, l'analyse des messages formalisés à ces remarques préliminaires : (i) les gens possèdent des règles internes (par exemple un système de règles combinatoires) (ii) les gens apprennent, rassemblent et adaptent leurs protocoles de communication au contexte dans lequel ils se trouvent (cela valide en quelque sorte certaines théories qui déjà le suggérait). Pour conclure, les Etats d'activité sont appelés à être une approche prometteuse pour une meilleure compréhension du comportement humain de collaboration à distance via Internet." "The work was centered on observing actual computer scientists communicating on the web via social tools (instant messaging and video conferencing) in the context of a joint project. The objective has been to understand how learning and communication mutually influence one another; allowing people to infer each other's communicative behavior, at the same time understanding how intentions arise when people are speaking and doing activities. First, actual conversations have been recorded and observed (about 50,000 words exchanges). Then those conversations have been manually translated into formalized agent messages. The analysis of those formalized messages, and the comprehension of the communicative scenarios has required the extensive application of existing theories: (i) hierarchy of learning and communication (i.e. logical theories of learning and communications) (Bateson, 1972 & 1979); (ii) situated cognition (Clancey, 1997); and (iii) activity theory (Leont'ev 1977 & 1978). However, during this analytical process, an innovative theoretical framework has emerged that has been called Activity States. It provides guidelines on how to convert the actual conversations into agent communication messages (having equivalent semantics). The Activity State framework also attempts to understand and explain how the activity of reading (as an example), and comprehending the text that one reads, is in relationship to that person's activity on the web. All of this influences how people formulate his/her intentions. Finally, the analysis of the formalized messages enabled preliminary findings: (i) people have internal rules (e.g., a combinatorial rule system); and (ii)people learn, merge and adapt communication protocols in their situated context (in some ways validating some existing theories suggesting this). As a conclusion, our Activity States framework is claimed to be a promising approach for a better understanding of human collaborative behavior at a distance, over the Web." Directeur(s) de thèse : CERRI S.A. Co-directeur(s) de thèse : LIQUIERE M. Président du jury : PRELLER A. Rapporteur(s) : J. CLANCEY W.;SEGHROUCHNI A.E. Examinateur(s) : BREUKER J. Date de soutenance : 10/01/2006 Activity States: Un Cadre Théorique pour l'Analyse de la Collaboratioin Humaine Concrète sur le Web [texte imprimé] / Nik Nailah BINTI ABDULLAH, Auteur . - 2006. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Résumé : Ce travail est basé sur l'observation de conversations entre informaticiens sur Internet grâce à des outils de communication comme la messagerie instantanée et la vidéoconférence. L'objectif est de comprendre comment l'apprentissage et la communication peuvent s'influencer mutuellement: les personnes peuvent inférer le comportement communicatif de l'autre en interprétant dans le même temps comment leurs intentions apparaissent quand ils parlent et ont une activité. D'abord plusieurs conversations ont été enregistrés et étudiées (environ 50 000 mots échangés à chaque fois). Puis ces conversations ont été transcrites manuellement en messages formalisés pour un agent. L'analyse de ces messages et laCe travail est basé sur l'observation de conversations entre informaticiens sur Internet grâce à des outils de communication comme la messagerie instantanée et la vidéoconférence. L'objectif est de comprendre comment l'apprentissage et la communication peuvent s'influencer mutuellement: les personnes peuvent inférer le comportement communicatif de l'autre en interprétant dans le même temps comment leurs intentions apparaissent quand ils parlent et ont une activité. D'abord plusieurs conversations ont été enregistrés et étudiées (environ 50 000 mots échangés à chaque fois). Puis ces conversations ont été transcrites manuellement en messages formalisés pour un agent. L'analyse de ces messages et la compréhension des scénarios de communication ont requis une application étendue des théories existantes : (i) hiérarchie de l'apprentissage et de la communication (Bateson, 1972 et 1979), (ii) cognition située (Clancey, 1997) et (iii) théorie de l'activité (Leont'ev 1977 et 1978). Cependant, lors du processus d'analyse, un cadre de travail théorique innovant a émergé et a été appelé Etats d'Activité. Il fournit des règles pour la conversion des conversations dans un langage de communication entre agents (en en conservant la sémantique). Les Etats d'Activité tentent aussi d'expliquer et de comprendre comment, par exemple, la façon de lire et de comprendre un texte peut être liée à l'activité que l'on peut avoir à un moment donné sur Internet. Cela influence directement la façon dont les gens vont formuler leurs intentions. Finalement, l'analyse des messages formalisés à ces remarques préliminaires : (i) les gens possèdent des règles internes (par exemple un système de règles combinatoires) (ii) les gens apprennent, rassemblent et adaptent leurs protocoles de communication au contexte dans lequel ils se trouvent (cela valide en quelque sorte certaines théories qui déjà le suggérait). Pour conclure, les Etats d'activité sont appelés à être une approche prometteuse pour une meilleure compréhension du comportement humain de collaboration à distance via Internet." "The work was centered on observing actual computer scientists communicating on the web via social tools (instant messaging and video conferencing) in the context of a joint project. The objective has been to understand how learning and communication mutually influence one another; allowing people to infer each other's communicative behavior, at the same time understanding how intentions arise when people are speaking and doing activities. First, actual conversations have been recorded and observed (about 50,000 words exchanges). Then those conversations have been manually translated into formalized agent messages. The analysis of those formalized messages, and the comprehension of the communicative scenarios has required the extensive application of existing theories: (i) hierarchy of learning and communication (i.e. logical theories of learning and communications) (Bateson, 1972 & 1979); (ii) situated cognition (Clancey, 1997); and (iii) activity theory (Leont'ev 1977 & 1978). However, during this analytical process, an innovative theoretical framework has emerged that has been called Activity States. It provides guidelines on how to convert the actual conversations into agent communication messages (having equivalent semantics). The Activity State framework also attempts to understand and explain how the activity of reading (as an example), and comprehending the text that one reads, is in relationship to that person's activity on the web. All of this influences how people formulate his/her intentions. Finally, the analysis of the formalized messages enabled preliminary findings: (i) people have internal rules (e.g., a combinatorial rule system); and (ii)people learn, merge and adapt communication protocols in their situated context (in some ways validating some existing theories suggesting this). As a conclusion, our Activity States framework is claimed to be a promising approach for a better understanding of human collaborative behavior at a distance, over the Web." Directeur(s) de thèse : CERRI S.A. Co-directeur(s) de thèse : LIQUIERE M. Président du jury : PRELLER A. Rapporteur(s) : J. CLANCEY W.;SEGHROUCHNI A.E. Examinateur(s) : BREUKER J. Date de soutenance : 10/01/2006

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-06 / 12915	Papier	THESES	INFORMATIQUE		Disponible

Documents numériques

Fichier (PDF) URL

Adaptation Interactive de Documents dans le Contexte de la Transaction Electronique / J.M. RODRIGUEZ

Public ISBD Titre : Adaptation Interactive de Documents dans le Contexte de la Transaction Electronique Type de document : texte imprimé Auteurs : J.M. RODRIGUEZ, Auteur Année de publication : 1999 Langues : Français (fre) Tags : ONTOLOGIES  CATEGORISATION AUTOMATIQUE DE DOCUMENTS  ANALYSEUR STRUCTUREL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : SALLANTIN J. Président du jury : CHAUCHE J. Rapporteur(s) : KOULOUMDJIAN J.;CHOURAQUI E. Examinateur(s) : FERRIER D.;BARBOUX C. Date de soutenance : 14/06/1999 Adaptation Interactive de Documents dans le Contexte de la Transaction Electronique [texte imprimé] / J.M. RODRIGUEZ, Auteur . - 1999. Langues : Français (fre) Tags : ONTOLOGIES  CATEGORISATION AUTOMATIQUE DE DOCUMENTS  ANALYSEUR STRUCTUREL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : SALLANTIN J. Président du jury : CHAUCHE J. Rapporteur(s) : KOULOUMDJIAN J.;CHOURAQUI E. Examinateur(s) : FERRIER D.;BARBOUX C. Date de soutenance : 14/06/1999

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-99 / 6494	Papier	THESES	INFORMATIQUE		Disponible

Un Agent Rationnel pour Raisonner par Analogie / Michel PY

Public ISBD Titre : Un Agent Rationnel pour Raisonner par Analogie Type de document : texte imprimé Auteurs : Michel PY, Auteur Année de publication : 1992 Langues : Français (fre) Tags : RAISONNEMENT PAR ANALOGIE  AGENT RATIONNEL  CONNAISSANCE  APPRENTISSAGE  CONTROLE  RAISONNEMENT EMPIRIQUE  SIMILARITE  DEPENDANCE Index. décimale : THE Thèses de doctorat Note de contenu : CRIM TH040 Directeur(s) de thèse : SALLANTIN J. Président du jury : HERIN D. Rapporteur(s) : COULON D.;FERBER J. Examinateur(s) : ARLABOSSE F.;DUCOURNAU R.;LAURENCO C.;QUINQUETON J. Date de soutenance : 06/11/1992 Un Agent Rationnel pour Raisonner par Analogie [texte imprimé] / Michel PY, Auteur . - 1992. Langues : Français (fre) Tags : RAISONNEMENT PAR ANALOGIE  AGENT RATIONNEL  CONNAISSANCE  APPRENTISSAGE  CONTROLE  RAISONNEMENT EMPIRIQUE  SIMILARITE  DEPENDANCE Index. décimale : THE Thèses de doctorat Note de contenu : CRIM TH040 Directeur(s) de thèse : SALLANTIN J. Président du jury : HERIN D. Rapporteur(s) : COULON D.;FERBER J. Examinateur(s) : ARLABOSSE F.;DUCOURNAU R.;LAURENCO C.;QUINQUETON J. Date de soutenance : 06/11/1992

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-92 / 1976	Papier	THESES	INFORMATIQUE		Disponible

Aide à la Conception : une Approche sur la Satisfaction de Contraintes / JANSSEN

Public ISBD Titre : Aide à la Conception : une Approche sur la Satisfaction de Contraintes Type de document : texte imprimé Auteurs : JANSSEN, Auteur Année de publication : 1990 Langues : Français (fre) Tags : PROBLEMES DE CONCEPTION  CONTRAINTES DE PREFERENCE  SATISFACTION DE CONTRAINTES  PROPAGATION DE CONTRAINTES  CSP DYNAMIQUE  SYNTHESE PEPTIDIQUE Index. décimale : THE Thèses de doctorat Note de contenu : CRIM TH027 Président du jury : COGIS O. Rapporteur(s) : MOHR R.;HABIB M. Examinateur(s) : CHEIN M.;FALZON P.;VILAREM M.C. Date de soutenance : 14/02/1990 Aide à la Conception : une Approche sur la Satisfaction de Contraintes [texte imprimé] / JANSSEN, Auteur . - 1990. Langues : Français (fre) Tags : PROBLEMES DE CONCEPTION  CONTRAINTES DE PREFERENCE  SATISFACTION DE CONTRAINTES  PROPAGATION DE CONTRAINTES  CSP DYNAMIQUE  SYNTHESE PEPTIDIQUE Index. décimale : THE Thèses de doctorat Note de contenu : CRIM TH027 Président du jury : COGIS O. Rapporteur(s) : MOHR R.;HABIB M. Examinateur(s) : CHEIN M.;FALZON P.;VILAREM M.C. Date de soutenance : 14/02/1990

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-90 / 1963	Papier	THESES	INFORMATIQUE		Disponible

Aide à la Coordination de Groupes et de Communautés Virtuelles dans VIRTUS : Automatisation de la Mise en Oeuvre de Chartes / Henri EBERSPACHER

Public ISBD Titre : Aide à la Coordination de Groupes et de Communautés Virtuelles dans VIRTUS : Automatisation de la Mise en Oeuvre de Chartes Type de document : texte imprimé Auteurs : Henri EBERSPACHER, Auteur Année de publication : 2007 Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : JOAB M. Président du jury : HERIN D. Rapporteur(s) : A. DERYCKE;B. DAVID Date de soutenance : 28/11/2007 Aide à la Coordination de Groupes et de Communautés Virtuelles dans VIRTUS : Automatisation de la Mise en Oeuvre de Chartes [texte imprimé] / Henri EBERSPACHER, Auteur . - 2007. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : JOAB M. Président du jury : HERIN D. Rapporteur(s) : A. DERYCKE;B. DAVID Date de soutenance : 28/11/2007

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-07 / 13405	Non renseigné	THESES	INFORMATIQUE		Disponible

Aide à la Validation de Modèles par une Architecture Multi-Agents. Application à la Localisation des Introns-Exons / Laurence VIGNAL

Public ISBD Titre : Aide à la Validation de Modèles par une Architecture Multi-Agents. Application à la Localisation des Introns-Exons Type de document : texte imprimé Auteurs : Laurence VIGNAL, Auteur Année de publication : 1996 Langues : Français (fre) Tags : SYSTEMES MULTI-AGENTS  APPRENTISSAGE AUTOMATIQUE  PREDICTION DES INTRONS ET DES EXONS  AIDE A LA MODELISATION  REVISION DE COURS Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : QUINQUETON Président du jury : HERIN D. Rapporteur(s) : MARIE J.;RECHENMANN F. Examinateur(s) : LISACEK F.;D'AUBENTON-CARAFA Y. Date de soutenance : 16/12/1996 Aide à la Validation de Modèles par une Architecture Multi-Agents. Application à la Localisation des Introns-Exons [texte imprimé] / Laurence VIGNAL, Auteur . - 1996. Langues : Français (fre) Tags : SYSTEMES MULTI-AGENTS  APPRENTISSAGE AUTOMATIQUE  PREDICTION DES INTRONS ET DES EXONS  AIDE A LA MODELISATION  REVISION DE COURS Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : QUINQUETON Président du jury : HERIN D. Rapporteur(s) : MARIE J.;RECHENMANN F. Examinateur(s) : LISACEK F.;D'AUBENTON-CARAFA Y. Date de soutenance : 16/12/1996

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-96 / 5993	Papier	THESES	INFORMATIQUE		Disponible

Algorithmes d'Analyse de Séquences en Bioinformatique. Périodicité et Répétitions / Eric RIVALS

Public ISBD Titre : Algorithmes d'Analyse de Séquences en Bioinformatique. Périodicité et Répétitions Type de document : texte imprimé Auteurs : Eric RIVALS, Auteur Année de publication : 2005 Langues : Français (fre) Index. décimale : THE Thèses de doctorat Date de soutenance : 09/12/2005 Algorithmes d'Analyse de Séquences en Bioinformatique. Périodicité et Répétitions [texte imprimé] / Eric RIVALS, Auteur . - 2005. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Date de soutenance : 09/12/2005

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-05 / 12895	Non renseigné	THESES	INFORMATIQUE		Disponible

Algorithmes de Synthèse de Circuits Programmables Basés sur des Graphes de Décision Binaire / EUDES PRADO LOPES FILHO

Public ISBD Titre : Algorithmes de Synthèse de Circuits Programmables Basés sur des Graphes de Décision Binaire Type de document : texte imprimé Auteurs : EUDES PRADO LOPES FILHO, Auteur Année de publication : 1996 Langues : Français (fre) Index. décimale : THE Thèses de doctorat Rapporteur(s) : JERRAYA A.A.;LAVENIER D. Examinateur(s) : GREINER A.;LANDRAULT C.;MARTIN E.;PIEDNOIR J.O. Date de soutenance : 05/07/1996 Algorithmes de Synthèse de Circuits Programmables Basés sur des Graphes de Décision Binaire [texte imprimé] / EUDES PRADO LOPES FILHO, Auteur . - 1996. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Rapporteur(s) : JERRAYA A.A.;LAVENIER D. Examinateur(s) : GREINER A.;LANDRAULT C.;MARTIN E.;PIEDNOIR J.O. Date de soutenance : 05/07/1996

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-96 / 5725	Papier	THESES	INFORMATIQUE		Disponible

Alignement, Séquence Consensus, Recherche de Similarités : Complexité et Approximabilité / François NICOLAS 

Public ISBD Titre : Alignement, Séquence Consensus, Recherche de Similarités : Complexité et Approximabilité Type de document : texte imprimé Auteurs : François NICOLAS, Auteur Année de publication : 2005 Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : GASCUEL O. Co-directeur(s) de thèse : RIVALS E. Rapporteur(s) : RUSU I.;CHOFFRUT C. Examinateur(s) : KONIG J.C.;KUCHEROV G. Invité(s) : CASSAIGNE J. Date de soutenance : 13/12/2005 Alignement, Séquence Consensus, Recherche de Similarités : Complexité et Approximabilité [texte imprimé] / François NICOLAS, Auteur . - 2005. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : GASCUEL O. Co-directeur(s) de thèse : RIVALS E. Rapporteur(s) : RUSU I.;CHOFFRUT C. Examinateur(s) : KONIG J.C.;KUCHEROV G. Invité(s) : CASSAIGNE J. Date de soutenance : 13/12/2005

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-05 / 12906	Papier	THESES	INFORMATIQUE		Disponible

Documents numériques

Fichier (PDF) URL

Analyse Conjointe Logiciel/Matériel de la Testabilité de Systèmes Flot de Données / Y. LETRAON

Public ISBD Titre : Analyse Conjointe Logiciel/Matériel de la Testabilité de Systèmes Flot de Données Type de document : texte imprimé Auteurs : Y. LETRAON, Auteur Année de publication : 1997 Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : ROBACH C. Président du jury : MOSSIERE J. Rapporteur(s) : BERNOT G.;LANDRAULT C. Examinateur(s) : MULLERBURG M.;OUABDESSELAM F. Date de soutenance : 26/11/1997 Analyse Conjointe Logiciel/Matériel de la Testabilité de Systèmes Flot de Données [texte imprimé] / Y. LETRAON, Auteur . - 1997. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : ROBACH C. Président du jury : MOSSIERE J. Rapporteur(s) : BERNOT G.;LANDRAULT C. Examinateur(s) : MULLERBURG M.;OUABDESSELAM F. Date de soutenance : 26/11/1997

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-97 / 6138	Papier	THESES	INFORMATIQUE		Disponible

Analyse et Restructuration de Hiérarchies de Classes / C. ROUME 

Public ISBD Titre : Analyse et Restructuration de Hiérarchies de Classes Type de document : texte imprimé Auteurs : C. ROUME, Auteur Année de publication : 2004 Langues : Français (fre) Tags : LANGAGE ORIENTE OBJET  TREILLIS DE GALLOIS  METRIQUES  RECONSTRUCTION DE HIERARCHIES DE CLASSES  PRINCIPE DE FACTORISATION ET DE GENERALISATION  ANALYSE FORMELLE DE CONCEPTS (FCA) Index. décimale : THE Thèses de doctorat Résumé : La taille des hiérarchies de classes ainsi que leur complexité ne permettent plus à un être humain d'en maîtriser tous les aspects. Parmi ceux-ci, nous nous intéressons à la factorisation des propriétés, ce qui implique de les connaître dans leur ensemble, sachant que dans une hiérarchie les propriétés peuvent se compter en dizaines de milliers. Les relations intuitives de spécialisation/généralisation, qui sont conçues entre propriétés d'une hiérarchie de classes et qui ne possèdent aucun support qui les matérialise, sont des difficultés supplémentaires qu'un concepteur ne peut maîtriser sans outil. Afin d'aider un concepteur à gérer ces aspects nous proposons dans cette thèse des méthodes automatiques d'analyse des hiérarchies de classes. La première contribution, pour cette analyse, est un modèle sémantique qui décrit les propriétés de cette hiérarchie ainsi que les relations de spécialisation/généralisation qui existent entre elles. La deuxième contribution est un ensemble de métriques qui quantifient les défauts de factorisation ainsi que le non respect, par les relations d'héritage, des relations de spécialisation/généralisation mises en évidence dans le modèle sémantique. Dans une deuxième partie de la thèse nous proposons, grâce à l'analyse formelle de concepts (treillis de Galois), de restructurer automatiquement une hiérarchies de classes ainsi qu'un diagramme de classes UML. En premier lieu nous adaptons l'algorithme de restructuration CERES au modèle sémantique. Puis nous apportons une nouvelle méthode de restructuration, la méthode GCI (Généralisation Croisée Itérative), que nous appliquons sur des diagrammes UML du milieu industriel (France Télécom R\&D). ** Mots clés Langages à objets, Treillis de Galois (treillis de concepts), Métriques, Reconstruction de Hiérarchies de classes, Principe de Factorisation et de généralisation, Analyse Formelle de Concepts (FCA). The class hierarchy size and complexity can not authorize any more a human to master the whole hierarchy aspects in its mind. Among those aspects, we are interesting in property factorization, which imply the whole knowledge of them inside a hierarchy, but they can be counted by dozen of thousand. Specialization/generalization intuitive relationships, which are designed between properties of classes without any language supports are additional difficulties that a designer can not master without any tool. In order to help a designer to manage these aspects we propose in this thesis some automatic method to analyse class hierarchies. The first contribution is a semantic model which allows to describe the properties of a hierarchy with their specialization/generalization relationships. The second contribution is a set of metrics which measure the factorization defaults and the lack of respect, by inheritance relationships, of the specialization/generalization relationships showed through the semantic model. In the second part of the thesis we propose, through to formal concept analysis (Galois lattices), to restructure automatically a class hierarchy and a UML class diagram. Firstly we adapt the restructuring algorithm CERES to the semantic model. Then we bring a new method of restructuring, the method ICG (Iterative Cross Generalization), that we apply on industrial UML class diagram (France Télécom R\&D). ** Keywords: Objects languages, Galois lattices (concept lattices), Metrics, Classes hierarchy restructuring, Factorization and generalization principle, Formal Concept Analyses (FCA). ** Les membres du jury - Amedeo Napoli, Directeur de recherche CNRS, LORIA à Nancy, Rapporteur - Houari Sahraoui, Professeur agrégé, Université de Montréal, Rapporteur - Michel Dao, Ingenieur I3A, France Télécom R&D à Issy-les-moulineaux, Examinateur , Président - Roland Ducournau, Professeur à l'Université Montpellier 2, Direteur de thèse - Marianne Huchard, Professeur à l'Université Montpellier 2, Co-encadrant - Thérèse Libourel, Maître de Conférences au CNAM, Co-encadrant Directeur(s) de thèse : DUCOURNAU R. Co-directeur(s) de thèse : HUCHARD M.;LIBOUREL T. Président du jury : DAO M. Rapporteur(s) : NAPOLI A.;SAHRAOUI H. Date de soutenance : 09/11/2004 Analyse et Restructuration de Hiérarchies de Classes [texte imprimé] / C. ROUME, Auteur . - 2004. Langues : Français (fre) Tags : LANGAGE ORIENTE OBJET  TREILLIS DE GALLOIS  METRIQUES  RECONSTRUCTION DE HIERARCHIES DE CLASSES  PRINCIPE DE FACTORISATION ET DE GENERALISATION  ANALYSE FORMELLE DE CONCEPTS (FCA) Index. décimale : THE Thèses de doctorat Résumé : La taille des hiérarchies de classes ainsi que leur complexité ne permettent plus à un être humain d'en maîtriser tous les aspects. Parmi ceux-ci, nous nous intéressons à la factorisation des propriétés, ce qui implique de les connaître dans leur ensemble, sachant que dans une hiérarchie les propriétés peuvent se compter en dizaines de milliers. Les relations intuitives de spécialisation/généralisation, qui sont conçues entre propriétés d'une hiérarchie de classes et qui ne possèdent aucun support qui les matérialise, sont des difficultés supplémentaires qu'un concepteur ne peut maîtriser sans outil. Afin d'aider un concepteur à gérer ces aspects nous proposons dans cette thèse des méthodes automatiques d'analyse des hiérarchies de classes. La première contribution, pour cette analyse, est un modèle sémantique qui décrit les propriétés de cette hiérarchie ainsi que les relations de spécialisation/généralisation qui existent entre elles. La deuxième contribution est un ensemble de métriques qui quantifient les défauts de factorisation ainsi que le non respect, par les relations d'héritage, des relations de spécialisation/généralisation mises en évidence dans le modèle sémantique. Dans une deuxième partie de la thèse nous proposons, grâce à l'analyse formelle de concepts (treillis de Galois), de restructurer automatiquement une hiérarchies de classes ainsi qu'un diagramme de classes UML. En premier lieu nous adaptons l'algorithme de restructuration CERES au modèle sémantique. Puis nous apportons une nouvelle méthode de restructuration, la méthode GCI (Généralisation Croisée Itérative), que nous appliquons sur des diagrammes UML du milieu industriel (France Télécom R\&D). ** Mots clés Langages à objets, Treillis de Galois (treillis de concepts), Métriques, Reconstruction de Hiérarchies de classes, Principe de Factorisation et de généralisation, Analyse Formelle de Concepts (FCA). The class hierarchy size and complexity can not authorize any more a human to master the whole hierarchy aspects in its mind. Among those aspects, we are interesting in property factorization, which imply the whole knowledge of them inside a hierarchy, but they can be counted by dozen of thousand. Specialization/generalization intuitive relationships, which are designed between properties of classes without any language supports are additional difficulties that a designer can not master without any tool. In order to help a designer to manage these aspects we propose in this thesis some automatic method to analyse class hierarchies. The first contribution is a semantic model which allows to describe the properties of a hierarchy with their specialization/generalization relationships. The second contribution is a set of metrics which measure the factorization defaults and the lack of respect, by inheritance relationships, of the specialization/generalization relationships showed through the semantic model. In the second part of the thesis we propose, through to formal concept analysis (Galois lattices), to restructure automatically a class hierarchy and a UML class diagram. Firstly we adapt the restructuring algorithm CERES to the semantic model. Then we bring a new method of restructuring, the method ICG (Iterative Cross Generalization), that we apply on industrial UML class diagram (France Télécom R\&D). ** Keywords: Objects languages, Galois lattices (concept lattices), Metrics, Classes hierarchy restructuring, Factorization and generalization principle, Formal Concept Analyses (FCA). ** Les membres du jury - Amedeo Napoli, Directeur de recherche CNRS, LORIA à Nancy, Rapporteur - Houari Sahraoui, Professeur agrégé, Université de Montréal, Rapporteur - Michel Dao, Ingenieur I3A, France Télécom R&D à Issy-les-moulineaux, Examinateur , Président - Roland Ducournau, Professeur à l'Université Montpellier 2, Direteur de thèse - Marianne Huchard, Professeur à l'Université Montpellier 2, Co-encadrant - Thérèse Libourel, Maître de Conférences au CNAM, Co-encadrant Directeur(s) de thèse : DUCOURNAU R. Co-directeur(s) de thèse : HUCHARD M.;LIBOUREL T. Président du jury : DAO M. Rapporteur(s) : NAPOLI A.;SAHRAOUI H. Date de soutenance : 09/11/2004

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-04 / 11553	Papier	THESES	INFORMATIQUE		Disponible

Documents numériques

Fichier (PDF) URL

Analyse Tridimensionnelle des Modes de Contractions Ventriculaires sur des Tomoscintigraphies Synchronisées à l'Electrocardiogramme / C. CADERASDEKERLEAU 

Public ISBD Titre : Analyse Tridimensionnelle des Modes de Contractions Ventriculaires sur des Tomoscintigraphies Synchronisées à l'Electrocardiogramme Type de document : texte imprimé Auteurs : C. CADERASDEKERLEAU, Auteur Année de publication : 2003 Langues : Français (fre) Tags : SEGMENTATION  APPARIEMENT  APPROXIMATION PAR MODELE DEFORMABLE  COURBE TEMPS ACTIVITE  TOMO-VENTRICULOGRAPHIE  FS: SEGMENTATION  APPARIEMENT  APPROXIMATION PAR MODELE DEFORMABLE  COURBE TEMPS/ACTIVITE  TOMO-VENTRICULOGRAPHIE  SEGMENTATION  PAIRING  DEFORMABLE MODEL FIT  TIME ACTIVITY CURVE  GATED BLOOD-POOL SPECT Index. décimale : THE Thèses de doctorat Résumé : L'objectif de cette thèse est de developper une méthodologie complète afin d'étudier le comportement contractile du coeur. On cherche à caractériser les modes de contraction ventriculaire droit et gauche à l'aide de tomographie ventriculaire isotopique symchronisée à l'électrocardiogramme. Dans un premier temps, nous avons développé une méthode de segmentation des ventricule en 4D. Cette méthode donne accès aux courbes de vidange ventriculaire nécessaire pour l'extraction de tout paramètre clinique utile pour l'évaluation fonctionnelle du coeur. La seconde partie de ce travail est le developpement d'une méthode pour mesurer les paramètres cliniques à partir de courbe temps-activité (CTA) régionales bruitées. Cette méthode est fondée sur la connaissance a priori de la forme d'une CTA et sur sa déformation par approximation. L'application de ce modèle sur l'ensemble des points de la surface du ventricule permet d'obtenir des images paramétriques 3D du coeur caractérisant son comportement contractile. The objective of this thesis is to develop a complete methodology in order to study the contractile behavior of the heart. We sought to characterize the modes of right and left ventricular contraction using gated blood-pool emission tomographic images. Initially, we developed a method of segmentation of the ventricles in 4D. This method gives access to the ventricular time-volume curves necessary to extract any useful clinical parameter for the functional evaluation of the heart. The second part of this work was directed towards the development of theoretical tools to carry out a local study of the contraction. We propose a new method for assessing clinical parameters from noisy regional time-activity curve (TAC). This method is based on a priori knowledge on the shape of a TAC, and shape approximation. The application of this model to all point belonging to the surface of the ventricle makes possible to obtain 3D parametric images of the heart characterizing its contractile behavior. Directeur(s) de thèse : BAJARD J.C. Co-directeur(s) de thèse : AHRONOVITZ E.;MARIANO-GOULART D. Président du jury : ROSSI M. Rapporteur(s) : CHASSERY J.M.;MIGUET S. Invité(s) : VALEE E. Date de soutenance : 17/12/2003 Analyse Tridimensionnelle des Modes de Contractions Ventriculaires sur des Tomoscintigraphies Synchronisées à l'Electrocardiogramme [texte imprimé] / C. CADERASDEKERLEAU, Auteur . - 2003. Langues : Français (fre) Tags : SEGMENTATION  APPARIEMENT  APPROXIMATION PAR MODELE DEFORMABLE  COURBE TEMPS ACTIVITE  TOMO-VENTRICULOGRAPHIE  FS: SEGMENTATION  APPARIEMENT  APPROXIMATION PAR MODELE DEFORMABLE  COURBE TEMPS/ACTIVITE  TOMO-VENTRICULOGRAPHIE  SEGMENTATION  PAIRING  DEFORMABLE MODEL FIT  TIME ACTIVITY CURVE  GATED BLOOD-POOL SPECT Index. décimale : THE Thèses de doctorat Résumé : L'objectif de cette thèse est de developper une méthodologie complète afin d'étudier le comportement contractile du coeur. On cherche à caractériser les modes de contraction ventriculaire droit et gauche à l'aide de tomographie ventriculaire isotopique symchronisée à l'électrocardiogramme. Dans un premier temps, nous avons développé une méthode de segmentation des ventricule en 4D. Cette méthode donne accès aux courbes de vidange ventriculaire nécessaire pour l'extraction de tout paramètre clinique utile pour l'évaluation fonctionnelle du coeur. La seconde partie de ce travail est le developpement d'une méthode pour mesurer les paramètres cliniques à partir de courbe temps-activité (CTA) régionales bruitées. Cette méthode est fondée sur la connaissance a priori de la forme d'une CTA et sur sa déformation par approximation. L'application de ce modèle sur l'ensemble des points de la surface du ventricule permet d'obtenir des images paramétriques 3D du coeur caractérisant son comportement contractile. The objective of this thesis is to develop a complete methodology in order to study the contractile behavior of the heart. We sought to characterize the modes of right and left ventricular contraction using gated blood-pool emission tomographic images. Initially, we developed a method of segmentation of the ventricles in 4D. This method gives access to the ventricular time-volume curves necessary to extract any useful clinical parameter for the functional evaluation of the heart. The second part of this work was directed towards the development of theoretical tools to carry out a local study of the contraction. We propose a new method for assessing clinical parameters from noisy regional time-activity curve (TAC). This method is based on a priori knowledge on the shape of a TAC, and shape approximation. The application of this model to all point belonging to the surface of the ventricle makes possible to obtain 3D parametric images of the heart characterizing its contractile behavior. Directeur(s) de thèse : BAJARD J.C. Co-directeur(s) de thèse : AHRONOVITZ E.;MARIANO-GOULART D. Président du jury : ROSSI M. Rapporteur(s) : CHASSERY J.M.;MIGUET S. Invité(s) : VALEE E. Date de soutenance : 17/12/2003

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-03 / 9944	Papier	THESES	INFORMATIQUE		Disponible

Documents numériques

Fichier (PDF) URL

anglais / R. NOCK

Public ISBD Titre : anglais Type de document : texte imprimé Auteurs : R. NOCK, Auteur Année de publication : 2002 Langues : Français (fre) Tags : ANALYSE D'IMAGES  APPRENTISSAGE AUTOMATIQUE  DATA MINING Index. décimale : HDR Habilitation à diriger des Recherches Résumé : Ces travaux concernent la problématique générale de la classification, et divers domaines d'applications en informatique : l'apprentissage automatique, le data mining et l'analyse d'image. Deux grands types de résultats ont été obtenus : ceux produisant des algorithmes, leur implémentation, leur analyse de performance (théorique et sur test), et ceux concernant des résultats négatifs de complexité, bornant inférieurement les performances de n'importe quel algorithme sur ces problèmes. Les algorithmes concernés par la première catégorie sont des algorithmes d'induction de classes de formules particulières, des algorithmes de plus proche voisins, des algorithmes de réduction de données (sélection de variables et/ou d'exemples), et des algorithmes de segmentation d'images. Un certain nombre de ces algorithmes utilisent des propriétés de concentration de variables aléatoires. Les résultats concernés par la deuxième catégorie sont essentiellement des preuves d'inapproximabilité de problèmes d'optimisation, qui admettent pour certains des extensions dans divers modèles d'apprentissage automatique, avec divers objectifs : minimisation de taille de formules (Formes Normales Disjonctives, ensembles de Clauses de Horn, etc.), minimisation de l'erreur sous contrainte, minimisation de critères alternatifs à l'erreur, minimisation de taille de jeux de données, etc. Note de contenu : Pour plus d'informations, vous pouvez aller sur le site suivant : http://www.univ-ag.fr/~rnock/ Rapporteur(s) : DENIS F.;NADAL J.P.;SAITTA L. Examinateur(s) : AINOUCHE A.;DE LA HIGUERA C.;GASCUEL O.;HABIB M. Date de soutenance : 16/12/2002 anglais [texte imprimé] / R. NOCK, Auteur . - 2002. Langues : Français (fre) Tags : ANALYSE D'IMAGES  APPRENTISSAGE AUTOMATIQUE  DATA MINING Index. décimale : HDR Habilitation à diriger des Recherches Résumé : Ces travaux concernent la problématique générale de la classification, et divers domaines d'applications en informatique : l'apprentissage automatique, le data mining et l'analyse d'image. Deux grands types de résultats ont été obtenus : ceux produisant des algorithmes, leur implémentation, leur analyse de performance (théorique et sur test), et ceux concernant des résultats négatifs de complexité, bornant inférieurement les performances de n'importe quel algorithme sur ces problèmes. Les algorithmes concernés par la première catégorie sont des algorithmes d'induction de classes de formules particulières, des algorithmes de plus proche voisins, des algorithmes de réduction de données (sélection de variables et/ou d'exemples), et des algorithmes de segmentation d'images. Un certain nombre de ces algorithmes utilisent des propriétés de concentration de variables aléatoires. Les résultats concernés par la deuxième catégorie sont essentiellement des preuves d'inapproximabilité de problèmes d'optimisation, qui admettent pour certains des extensions dans divers modèles d'apprentissage automatique, avec divers objectifs : minimisation de taille de formules (Formes Normales Disjonctives, ensembles de Clauses de Horn, etc.), minimisation de l'erreur sous contrainte, minimisation de critères alternatifs à l'erreur, minimisation de taille de jeux de données, etc. Note de contenu : Pour plus d'informations, vous pouvez aller sur le site suivant : http://www.univ-ag.fr/~rnock/ Rapporteur(s) : DENIS F.;NADAL J.P.;SAITTA L. Examinateur(s) : AINOUCHE A.;DE LA HIGUERA C.;GASCUEL O.;HABIB M. Date de soutenance : 16/12/2002

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
HDR-02 / 7472	Non renseigné	THESES	INFORMATIQUE		Disponible

Application des Prégroupes de Lambek au Traitement Automatique des Langues Naturelles / S. DEGEILH

Public ISBD Titre : Application des Prégroupes de Lambek au Traitement Automatique des Langues Naturelles Type de document : texte imprimé Auteurs : S. DEGEILH, Auteur Année de publication : 2006 Langues : Français (fre) Tags : PREGROUPES  ANALYSE SYNTAXIQUE  COMPLEXITE ALGORITHMIQUE  DICTIONNAIRE DE TYPES Index. décimale : THE Thèses de doctorat Résumé : Les prégroupes de Lambek se présentent comme un nouvel outil algébrique d'analyse syntaxique de la langue naturelle. Ils ont déjà été utilisés avec succès pour des langues indo-européennes, arabes et orientales. Le principe consiste à assigner un type à chaque mot de la phrase à analyser. La phrase est déclarée grammaticalement correcte si après les contractions successives des types par paire il ne reste que le seul type représentant la phrase. L'objectif de cette thèse est double : fournir des algorithmes de traitement efficaces, proches d'un temps linéaire autant que possible, et proposer un dictionnaire structuré et muni de métarègles de génération de types de sorte à s'adapter au mieux aux algorithmes. Cette thèse comporte trois parties principales. La première partie présente la théorie algébrique des prégroupes et un état de l'art sur les principaux formalismes symboliques utilisés en analyse syntaxique. La deuxième partie décrit les algorithmes de reconnaissance développés pour les prégroupes. Nous montrons que ces algorithmes en temps cubique dans le cas général peuvent être raffinés en temps linéaire sous certaines conditions liées au dictionnaire utilisé. La troisième partie propose une structuration du dictionnaire de types. Nous formalisons la notation des types en y ajoutant une structure de traits. Nous proposons un algorithme de sélection de types lié à des types génériques. Nous définissons un typage affiné du groupe nominal en français. Finalement nous présentons un analyseur syntaxique à base de prégroupes. Directeur(s) de thèse : PRINCE V. Co-directeur(s) de thèse : PRELLER A. Rapporteur(s) : ANTOINE J.Y.;RETORE C. Examinateur(s) : CHAUCHE J.;LECOMTE A. Date de soutenance : 22/11/2006 Application des Prégroupes de Lambek au Traitement Automatique des Langues Naturelles [texte imprimé] / S. DEGEILH, Auteur . - 2006. Langues : Français (fre) Tags : PREGROUPES  ANALYSE SYNTAXIQUE  COMPLEXITE ALGORITHMIQUE  DICTIONNAIRE DE TYPES Index. décimale : THE Thèses de doctorat Résumé : Les prégroupes de Lambek se présentent comme un nouvel outil algébrique d'analyse syntaxique de la langue naturelle. Ils ont déjà été utilisés avec succès pour des langues indo-européennes, arabes et orientales. Le principe consiste à assigner un type à chaque mot de la phrase à analyser. La phrase est déclarée grammaticalement correcte si après les contractions successives des types par paire il ne reste que le seul type représentant la phrase. L'objectif de cette thèse est double : fournir des algorithmes de traitement efficaces, proches d'un temps linéaire autant que possible, et proposer un dictionnaire structuré et muni de métarègles de génération de types de sorte à s'adapter au mieux aux algorithmes. Cette thèse comporte trois parties principales. La première partie présente la théorie algébrique des prégroupes et un état de l'art sur les principaux formalismes symboliques utilisés en analyse syntaxique. La deuxième partie décrit les algorithmes de reconnaissance développés pour les prégroupes. Nous montrons que ces algorithmes en temps cubique dans le cas général peuvent être raffinés en temps linéaire sous certaines conditions liées au dictionnaire utilisé. La troisième partie propose une structuration du dictionnaire de types. Nous formalisons la notation des types en y ajoutant une structure de traits. Nous proposons un algorithme de sélection de types lié à des types génériques. Nous définissons un typage affiné du groupe nominal en français. Finalement nous présentons un analyseur syntaxique à base de prégroupes. Directeur(s) de thèse : PRINCE V. Co-directeur(s) de thèse : PRELLER A. Rapporteur(s) : ANTOINE J.Y.;RETORE C. Examinateur(s) : CHAUCHE J.;LECOMTE A. Date de soutenance : 22/11/2006

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-06 / 13183	Papier	THESES	INFORMATIQUE		Disponible

Application de Techniques Orientées Agent en Gestion et Supervision de Réseaux / B. ESFANDIARI

Public ISBD Titre : Application de Techniques Orientées Agent en Gestion et Supervision de Réseaux Type de document : texte imprimé Auteurs : B. ESFANDIARI, Auteur Année de publication : 1997 Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : QUINQUETON J. Président du jury : FERBER J. Rapporteur(s) : PUJOLLE G. Examinateur(s) : DEMAZEAU Y.;DAO M.;BOKSENBAUM C.;REITZ P.;AHRONOVITZ E. Date de soutenance : 08/01/1997 Application de Techniques Orientées Agent en Gestion et Supervision de Réseaux [texte imprimé] / B. ESFANDIARI, Auteur . - 1997. Langues : Français (fre) Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : QUINQUETON J. Président du jury : FERBER J. Rapporteur(s) : PUJOLLE G. Examinateur(s) : DEMAZEAU Y.;DAO M.;BOKSENBAUM C.;REITZ P.;AHRONOVITZ E. Date de soutenance : 08/01/1997

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-97 / 6028	Papier	THESES	INFORMATIQUE		Disponible

page /15