Thèses ISAE-ENSMA en ligne
Thèses > Auteurs commençant par L
Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie / Linda MOHAND-OUSSAÏD
Titre : Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie Type de document : thèse Auteurs : Linda MOHAND-OUSSAÏD, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Idir AIT SADOUNE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christophe KOLSKI, Rapporteur ; Hassan MOUNTASSIR, Rapporteur ; Patrick GIRARD, Examinateur ; Christian ATTIOGBE, Examinateur Importance : 184 p. Note générale : NNT 2014ESMA0022
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clésCatégories : Interaction homme-ordinateur
Interfaces utilisateur (informatique)
Méthode B (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : LES INTERFACES HOMME-MACHINE MULTIMODALES
Introduction
Interaction homme-machine
Systèmes interactifs
Concepts de base
Interfaces homme-machine multimodales
Développement des interfaces homme-machine
Les modèles de description du dialogue
Propriétés des interfaces homme-machine
Conception des IHM multimodales
Les systèmes multimodaux
Conclusion
DEVELOPPEMENTS FORMELS DES SYSTEMES INTERACTIFS
Introduction
Les modèles formels
La conception formelle
Les méthodes de spécification formelles
Vérification formelle
Utilisation des méthodes formelles pour le développement des IHM
Synthèse et proposition
UN MODELE FORMEL GENERIQUE POUR LES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE
Introduction
Démarche générale de modélisation
Modèle formel de conception des interfaces homme-machine multimodales en sortie
Conclusion
MODELISATION DES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE DANS B EVENEMENTIEL
Introduction
La méthode B événementiel
Démarche de modélisation avec B événementiel
Les modèles génériques de développement B événementiel
Conclusion
MODELISATION DE LA FISSION SEMANTIQUE AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de fission sémantique
Bilan des obligations de preuve
Intanciation du modèle B événementiel de fission sémantique
Application à l'étude de cas
Conclusion
MODELISATION DE L'ALLOCATION AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de combinaison des présentations
Le modèle de décomposition des présentations
Le modèle d'affectation
Bilan des obligations de preuve
Instanciation du modèle B événementiel d'allocation
Application à l'étude de cas
Vérification des propriétés
Conclusion
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127547 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010927 TH-14 MOH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 MOH MOH Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles / Henry Valéry TEGUIAK
Titre : Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles Type de document : thèse Auteurs : Henry Valéry TEGUIAK, Auteur ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Sylvie DESPRES, Rapporteur ; Jean CHARLET, Examinateur ; Eric SARDET, Examinateur Année de publication : 2012 Importance : 182 p. Note générale : NNT 2012ESMA0027
Merci à
Epigraphe
Table des matières
Résumé
Introduction générale
Bibliographie
Publications
Annexe
Table des figures
Liste des tableaux
GlossaireCatégories : Bases de données
Langages d'interrogation
Ontologies (informatique)
Web sémantiqueRésumé : ETAT DE L'ART
Construction d'ontologies
Transformation de modèles
CONTRIBUTION
Modélisation
Transformation en environnement persistant
MQL, un langage d'exploitation des mappings
La plateforme DaFOE
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00786260 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009684 TH-12 TEG Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 TEG TEG Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contribution à la définition d'une méthode de conception de bases de données à base ontologique / Chedlia CHAKROUN
Titre : Contribution à la définition d'une méthode de conception de bases de données à base ontologique Type de document : thèse Auteurs : Chedlia CHAKROUN, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Arnaud GIACOMETTI, Rapporteur ; Claude GODART, Examinateur ; Sofian MAABOUT, Examinateur Importance : 204 p. Note générale : NNT 2013ESMA0010
Merci à
Dédicace
Table des matières
Introduction générale
Bibliographie
Publications
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données:Conception
Bases de données:Gestion
Ontologies (informatique)
Structures de données (informatique)Résumé : ETAT DE L'ART
Introduction aux ontologies : genèse
Les bases de données à base ontologique
CONTRIBUTIONS
Ontologies et relations de dépendance
Dépendances fonctionnelles entre propriétés ontologiques et conception des BDBO
Dépendances entre les classes et conception des bases de données à base ontologique
Approche de conception et de déploiement de bases de données à base ontologique
Prototype de validation
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/index.php?halsid=gmm1o4dpmr0c875o7ooemc6eg4&view [...] Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010261 TH-13 CHA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 CHA CHA Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contribution à l'étude de l'exploitation des données temporelles en présence d'imperfections / Aymen GAMMOUDI
Titre : Contribution à l'étude de l'exploitation des données temporelles en présence d'imperfections Type de document : thèse Auteurs : Aymen GAMMOUDI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Riadh FARAH, Rapporteur ; Sofian MAABOUT, Rapporteur ; Nahla BEN AMOR, Examinateur ; Daniel ROCACHER, Examinateur ; Mohamed Salah GOUIDER, Examinateur Importance : 111 p. Note générale : NNT 2017ESMA0008
Dédicace
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Références bibliographiques
Catégories : Architecture:Bases de données
Bases de données spatio-temporelles
Bases de données:Interrogation
Ensembles flous
Intelligence artificielle
Logique floue
SQL (langage de programmation)Résumé : ETAT DE L'ART
Notions de base
Travaux connexes
CONTRIBUTIONS
Requêtes en présence des relations temporelles graduelles
Requêtes en présence des intervalles temporels flous
Implémentation et expériementation
CONCLUSION GENERALEEn ligne : https://tel.archives-ouvertes.fr/tel-01551795 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014321 TH-17 GAM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 GAM GAM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle / Anh Toan BUI LONG
Titre : Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle Type de document : thèse Auteurs : Anh Toan BUI LONG, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yamine AIT AMEUR, Examinateur ; Christian ATTIOGBE, Rapporteur ; Jérôme HUGUES, Rapporteur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 146 p. Note générale : NNT 2018ESMA0020
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Liste des acronymes
Liste des symboles
Résumé
Mots clésCatégories : Analyse temporelle
Ingénierie dirigée par les modèles
Modélisation des données (informatique)
Ordonnancement dynamique
Systèmes à paramètres répartis
Systèmes, Analyse de
Systèmes, Conception de
Temps réel (informatique)
Tolérance aux fautes (informatique)Résumé : ÉTAT DE L'ART
Ordonnancement temps-réel
Conception dirigée par les modèles des systèmes temps réel
CONTRIBUTIONS
Adaptation conservative des cas pratiques à l'analyse
Les réseaux dans les analyses temps réel
Extraction conservative et patrons de modèles d'analyses
CONCLUSIONS
Conclusions et perspectives
En ligne : https://tel.archives-ouvertes.fr/tel-02080119 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-18 BUI BUI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données / Lahcène BRAHIMI
Titre : Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données Type de document : thèse Auteurs : Lahcène BRAHIMI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Yudith CARDINALE, Rapporteur ; Abdelkader HAMEURLAIN, Examinateur ; Khalil DRIRA, Examinateur Importance : 192 p. Note générale : NNT 2017ESMA0009
Remerciements
Table des matières
Introduction générale
Bibliographie
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots-clésCatégories : Apprentissage automatique
Bases de données:Gestion
Entrepôts de données
OLAP (informatique)
Ontologies (informatique)
Prise de décision
Systèmes de recommandation (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : ETAT DE L'ART
Evolution du cycle de conception de bases de données
Etudes des approches de sélection des SGBD et plateformes
CONTRIBUTIONS
Vers une explicitation des composantes de l'environnement de tests
Approche multidimensionnelle des données des environnements de tests
Système de recommandation pour le déploiement des bases de données
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01585828 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014315 TH-17 BRA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 BRA BRA Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne / Zouhir DJILANI
Titre : Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne Type de document : thèse Auteurs : Zouhir DJILANI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Selma KHOURI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Dominique MERY, Rapporteur ; Parisa GHODOUS, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Abderrafiaa KOUKAM, Examinateur Importance : 242 p. Note générale : NNT 2017ESMA0012
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Analyse des données
Bases de données:Conception
Entrepôts de données
Ingénierie des exigences
Intégration de données (informatique)
Ontologies (informatique)
UML (informatique)Résumé : BACKGROUND & ETAT DES L'ART
Notions de base
Etat de l'art sur l'unification, la gestion et l'exploitation des besoins utilisateurs
CONTRIBUTIONS : CONSTRUCTION D'UN ENTREPOT SEMANTIQUE DE BESOINS FONCTIONNELS
Construction de l'ontologie intégrante
Un modèle multidimensionnel pour l'entrepôt des besoins fonctionnels
Un processus ETL pour les besoins fonctionnels
Déploiement de l'entrepôt sémantique de besoins fonctionnels
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01591845 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014260 TH-17 DJI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 DJI DJI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Efficient Query Processing when Spatial Data Meets RDF Graph Titre original : Gestion efficace de Big Data dans le contexte spatial et RDF Type de document : thèse Auteurs : Houssameddine YOUSFI, Auteur ; Allel HADJALI, Directeur de thèse ; Houcine MATALLAH, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Fatima DEBBAT, Rapporteur ; Laurent D'ORAZIO, Rapporteur ; Mohand-Saïd HACID, Examinateur ; Azeddine CHIKH, Examinateur Importance : 121 p. Note générale : NNT 2023ESMA0016
Acknowledgments
Contents
List of Figures
List of Tables
Introduction
Bibliographie
Appendix
Abstract
KeywordsCatégories : Bases de données relationnelles
Bases de données:Gestion
Bases de données:Interrogation
Données massives
Infrastructures de données géographiques
Resource Description Framework (informatique)
SPARQL (langage de programmation)Résumé : STATE OF THE ART
PRELIMINARY
Introduction
Spatial Data Processing
RDF Graph Formalisation
Architectural Overview of RDF_QDAG
Conclusion
STATE OF THE ART
Introduction
Taxonomy of Spatial Processing Techniques
Centralised Spatial Data Processing
Spatial Data Processing at Scale
RDF Data Processiog
Spatial-RDF Data Processing
SPATIAL AND GRAPH DATA PROCESSING
I/O EFFICIENT R-TREE UTILISATION
Introduction
Problem Definition
FASTER Approach
Experimental Validation
Conclusion
SPATIAL RDF DATA QUERYING
Introduction
Query Evaluation Strategies
Optimization Techniques
Experimental Evaluation
Conclusion
CONCLUSION AND PERSPECTIVES
En ligne : https://theses.hal.science/tel-04434691 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 YOU YOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Un environnement unifié pour le développement sur puce à coeurs asymétriques Type de document : thèse Auteurs : Roy JAMIL, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Liliana CUCU-GROSJEAN, Rapporteur ; Jean-Philippe BABAU, Rapporteur ; Nicolas NAVET, Examinateur ; Antoine BERTOUT, Examinateur Importance : 180 p. Note générale : NNT 2022ESMA0003
Remerciements
Table des matières
Liste des figures
Bibliographie
Résumé
Mots clésCatégories : Multiprocesseurs
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes sur puce
Temps réel (informatique)Résumé : LES SYSTÈMES MULTICŒURS ASYMÉTRIQUES
Introduction
Systèmes embarqués
Systèmes temps réel
Multiprocesseurs asymétriques
Les avantages des systèmes multiprocesseurs asymétriques
Les défis de l'environnement de développement AMP
Besoin industriel
Les apports de la thèse
Organisation de la thèse
Publications scientifiques
ARCHITECTURES OPÉRATIONNELLES DES SYSTÈMES EMBARQUÉS TEMPS RÉEL
Introduction
Architectures opérationnelles des systèmes embarqués
Stratégies d’ordonnancement
Systèmes d'exploitation ciblés
Conclusion
ARCHITECTURE DES PROCESSEURS HÉTÉRAOGÈNES
Introduction
Pipeline
Mémoire virtuelle
Mémoire cache
Interruptions
Bus et périphériques sur puce
Architecture ARM
ARM big.LITTLE
Systèmes asymétrique hétérogène
Communication inter-processeurs
Développement sur des processeurs ARM
Débogage
Firmware
Conclusion
MESURE DE DURÉE D'EXÉCUTION
Introduction
Pire durée d'exécution
Méthodes d'analyse de WCET
Caractéristiques des techniques de mesure
Méthodes de mesure sur un cœur
Comparaison expérimentale
Mesure expérimentale de durée d'exécution sur un système multicœur SMP
Contribution industrielle
Conclusion
MESURE DE DURÉE D'EXÉCUTION ET MIGRATION SUR LES SYSTÈMES AMP
Introduction
Application AMP
Mesure de durée d'exécution sur les systèmes AMP
Méthodes de mesure
Migration hétérogène
Étude de cas ROSACE
Discussion et perspective
Conclusion
ENVIRONNEMENT DE DÉVELOPPEMENT UNIFIÉ
Introduction
SW4Linux
Outils de développement des microcontrôleurs
Environnement de développement unifié
Conclusion
CONCLUSION ET PERSPECTIVES
Aperçu de la thèse
Mesure de durée d'exécution
Application AMP
Environnement de développement unifié
Fiabilisation des mesures et analyses de durées
En ligne : https://tel.archives-ouvertes.fr/tel-03662259 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 JAM JAM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Evaluation et validation des systèmes distribués avioniques Type de document : thèse Auteurs : Georges Arnaud KEMAYO, Auteur ; Pascal RICHARD, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Luc SCHARBARG, Rapporteur ; Laurent GEORGE, Rapporteur ; Yvon TRINQUET, Examinateur Importance : 167 p. Note générale : NNT 2014ESMA0010
Remerciements
Table des matières
Introduction générale
Publications
Annexes
Notations
Acronymes
Résumé
Mots clésCatégories : Avionique
Certification
Systèmes à paramètres répartis
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction aux systèmes avioniques
Méthodes de validation
CONTRIBUTIONS
Analyse de la méthode des trajectoires
Nouvelle méthode d'analyse des délais de bout en bout dans l'AFDX
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127020 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010734 TH-14 KEM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 KEM KEM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Exploration des bases de données orientées graphe : Énumération des triangles dans les graphes à grande échelle / Abir FAROUZI
Titre : Exploration des bases de données orientées graphe : Énumération des triangles dans les graphes à grande échelle Type de document : thèse Auteurs : Abir FAROUZI, Auteur ; Mimoun MALKI, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Azeddine CHIKH, Examinateur ; Djamal BENSLIMANE, Examinateur ; Mohand Tahar KECHADI, Examinateur ; Zohra SLAMA, Examinateur Importance : 168 p. Note générale : NNT 2023ESMA0012
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexes
Résumé
Mots clés
Catégories : Bases de données relationnelles
Bases de données:Gestion
Parallélisme (informatique)
Répartition de charge (informatique)
Théorie des graphes
Théorie des nœudsRésumé : CONCEPTS FONDAMENTAUX ET TAT DE L'ART
Notions de base
Travaux connexes : techniques d'énumération et de comptage des triangles
CONTRIBUTIONS
Algorithme adapté pour l'énumération équilibrée des triangles dans les graphes à grande échelle
PandaSQL : énumération randomisée et parallèles des triangles à base des requêtes SQL
Évaluation de l'algorithme adapté pour l'énumération et du comptage de traingles
CONCLUSION GÉNÉRALE
En ligne : https://theses.hal.science/tel-04326161 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 FAR FAR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones / Soulimane KAMNI
Titre : Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones Type de document : thèse Auteurs : Soulimane KAMNI, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Antoine BERTOUT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Philippe BABAU, Rapporteur ; Jean HLADIK, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Jérôme ERMONT, Auteur Importance : 145 p. Note générale : NNT 2023ESMA0014
Résumé
Mots clés
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Liste des abréviations
Liste des symboles
Bibliographie
Résumé
Mots clésCatégories : Drones
Durée de vie (ingénierie)
Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : INTRODUCTION GÉNÉRALE
Contexte et motivations
Objectifs de la thèse
Organisation de la thèse
Publications scientifiques
SYSTÈMES EMBARQUÉS TEMPS RÉEL ET CONCEPTION À BASE DES MODÈLES
Introduction
Système embarqué temps réel
Cycle de vie de développement des systèmes temps réel
Méthodologies et langages de conception standardisés
Conception des systèmes temps réel
Conclusion
ORDONNANCEMENT ET VALIDATION DES SYSTÈMES TEMPS RÉEL
Introduction
Modèles de tâche
Orodonnancement monoprocesseur
Orodonnancement multiprocesseur
Analyse d'ordonnançabilité et validation
Outils d'analyse basés sur les modèles
État de l'art sur les méthodes de déploiement des systèmes temps réel
Conclusion
RYM : UNE APPROCHE BASÉE SUR LES RYTHMES POUR LE PRÉ-DÉPLOIEMENT DES RTES CRITIQUES
Introduction
Principe général
Étude de cas
Comparaison
Outil
Conclusion
PERSONNALISATION DU LOGICIEL D'AUTOPULOTES DE DRONES À TRAVERS UN GFRAMEWORK DE RÉTRO-INGÉNIERIE
Introduction
État de l'art sur la visualisation logicielle et la rétro-ingénierie
Conception des autopilotes des UAV
Architecture logicielle abstraite d'un autopilote
Exemple motivationnel
Architecture de Paparazzi
Concepts spécifiques dans l'architecture logicielle des autopilotes
Implémentaiton du framework
État de l'art sur les systèmes à décalage libre (offset-free)
Application
Conclusion
CONCLUSION GÉNÉRALE
En ligne : https://theses.hal.science/tel-04399687 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 KAM KAM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : A framework for the management of heterogeneous models in systems engineering Type de document : thèse Auteurs : David SIMON ZAYAS, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Anne MONCEAUX, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Frédéric BONIOL, Rapporteur ; Parisa GHODOUS, Rapporteur ; Ladjel BELLATRÈCHE, Examinateur ; Mourad OUSSALAH, Examinateur ; Romaric REDON, Examinateur Année de publication : 2012 Importance : 245 p. Note générale : NNT 2012ESMA0007
Remerciements
Introduction
Résumé
Summary
Introduction
Context
Current practices
Our proposal
Structure of the document
References
Appendices
Table of figures
Summary
KeywordsLangues : Français (fre) Catégories : Aéronautique
Informatique:Groupes de travail
Ontologies (informatique)
Systèmes informatiquesRésumé : HETEROGENEITY OF MODELS IN SYSEMS ENGINEERING DOMAIN
Introduction
System modelling
Systems engineering
Inter-model relations
Heterogeneity
Current approaches to handle with heterogeneity
Conclusion
KNOWLEDGE MODELS TO INTEGRATE AND VALIDATE HETEROGENEOUS MODELS
Implicit knowledge
Formalization of knowledge
Ontologies and annotation of models
Validation of inter-model properties
EXPRESS modelling language
Conclusion
CURRENT PROACTICES IN AIRCRAFT SYSTEMS ENGINEERING
Introduction
Aircraft systems modelling
Current MBSE applications
From document to models
MBSE and development process
Management of heterogeneous modelling in aircraft systems engineering
Expected benefuts of the proposed approach
Conclusion
KNOWLEDGE-BASED INTER-MODEL CONSTRAINT VERIFICATION
Introduction
The proposed general integrated models representation
Manipulated models
The resources
The modelling process activities
Conclusion
APPROACH VALIDATION
Introduction
Exportation of SysML and CORE models
Annotation using implicit knowledge
Model integration using equivalences
General constraint definition with first order logic expressions
Implementation with ECCO toolkit
Conclusion
INDUSTRIAL EVALUATION
Introduction
Water and waste system model
Hydraulic and engine system model
Ram air turbine models
Conclusion
PROPOTYPING TOOL
A prototype to support the method
Actors and use cases
Selected technology and architecture
Current HCI (Human Computer Interface)
Conclusion
DEPLOYMENT IN INDUSTRY
Industrialization requirements
Needed technology enhancements
Conclusion
CONCLUSION AND PERSPECTIVES
Contributions
Perspectives
En ligne : http://tel.archives-ouvertes.fr/tel-00740161/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009484 TH-12 SIM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 SIM SIM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Gestion et exploitation de données capteurs : une approche basée sur la réduction de données / Khedidja BOULANOUAR
Titre : Gestion et exploitation de données capteurs : une approche basée sur la réduction de données Type de document : thèse Auteurs : Khedidja BOULANOUAR, Auteur ; Allel HADJALI, Directeur de thèse ; Mohand LAGHA, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Karima AKLI-ASTOUATI, Rapporteur ; Sofian MAABOUT, Rapporteur ; Salah BOUKRAA, Examinateur ; Daniela GRIGORI, Examinateur Importance : 110 p. Note générale : NNT 2021ESMA0011
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Acronymes
Résumé
Mots clés
Catégories : Algorithmes génétiques
Analyse des données
Bases de données:Gestion
Intelligence computationnelle
Quantificateurs (logique mathématique)
Séries chronologiquesRésumé : PRÉLIMINAIRES ET ÉTAT DE L'ART
Notions de base
Travaux connexes : techniques de réduction des données
CONTRIBUTIONS
Construction de résumés de données : approches fondées sur l'intelligence computationnelle
Résumés linguistiques dans le contexte des séries temporelles
Algorithmes génétiques multiobjectif au service des résumés linguistiques
CONCLUSION GÉNÉRALEEn ligne : https://tel.archives-ouvertes.fr/tel-03483342 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-21 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Gestion et exploitation de larges bases de connaissances en présence de données incomplètes et incertaines / Ibrahim DELLAL
Titre : Gestion et exploitation de larges bases de connaissances en présence de données incomplètes et incertaines Type de document : thèse Auteurs : Ibrahim DELLAL, Auteur ; Allel HADJALI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; Brice CHARDIN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Nadine CULLOT, Rapporteur ; Guy DE TRÉ, Rapporteur ; François GOASDOUE, Examinateur ; Béatrice MARKHOFF, Examinateur Importance : 125 p. Note générale : NNT 2019ESMA0016
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction
Bibliographie
Résumé
Mots clés
Catégories : Bases de données:Gestion
Bases de données:Interrogation
Conception centrée sur l'utilisateur
Incertitude (théorie de l'information)
Questions et réponses, Systèmes de
Resource Description Framework (informatique)
Web sémantiqueRésumé : MODÉLISATION ET INTERROGATION DES BASES DE CONNAISSANCES INCERTAINES
Introduction
Notions de base
Langages de modélisation des bases de connaissances
Interrogation des bases de connaissance avec SPARQL
Prise en compte de la confiance
Bases de connaissances existantes et systèmes de gestion
Conclusion
APPROCHES DE TRAITEMENT COOPÉRATIF : UN PANORAMA
Introduction
Typologie des problèmes : Why Empty? Why so Many? Why Not? Why Answers?
Approches coopératives pour le problème des réponses vides (Why Empty)
Approches coopératives pour le problème des réponses pléthoriques (Why so Many)
Conclusion
TRAITEMENT DE REQUÊTES RDF INCERTAINES À RÉPONSES VIDES
Introduction
Notions de αMFS et αXSS
Calculs des αMFS et αXSS
Évaluation expérimentale
Conclusion
DÉCOUVERTE DE αMFS et αXSS MULTI-SEUILS POUR LE PROBLÈME DES RÉPONSES VIDES
Introduction
Motivation de la problématique
Approche ascendante
Approche descendante
Approche hybride
Analyse de la complexité des algorithmes proposés
Évaluation expérimentale
Conclusion
TRAITEMENT DE REQUÊTES RDF AUX RÉPONSES PLÉTHORIQUES
Introduction
Notions de MFIS et XSS
Approche naïve pour trouver les MFIS et XSS
Approche basée sur les cardinalités
Implémentation et expérimentations
Conclusion
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-02452333 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-19 DEL DEL Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Gestion et optimisation des données massives issues du Web Type de document : thèse Auteurs : Addallah KHELIL, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Mohamed SENOUCI, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Fatima DEBBAT, Rapporteur ; Djamal BENSLIMANE, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Ghalem BELALEM, Examinateur Année de publication : 2020 Importance : 175 p. Note générale : NNT 2020ESMA0009
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexe
Résumé
Mots clés
Catégories : Bases de données:Interrogation
Données massives
Exploration de graphes
Gestion des données (systèmes d'information)
Resource Description Framework (informatique)
SPARQL (langage de programmation)Résumé : LE MONDE DES DONNÉES OUVERTES LIÉES
Le Web sémantique
Données ouvertes liées
Le modèle de données RDF
Langages de requêtes RDF
Conclusion
PANORAMA DES SYSTÈMES DE STOCKAGE ET DE TRAITEMENT DES LOD
Évolution de la gestion de données
Stockage des données RDF
Systèmes RDF distribués
Évaluation des systèmes de gestion des LOD
Évaluation expérimentale des systèmes existants
Conclusion
L'APPROCHE RDF_QDAG : BASES THÉORIQUES, MISES EN ŒUVRE ET OPTIMISATION
Bases théoriques de l'évaluation de requêtes
Mise en œuvre et optimisation
Conclusion
L'APPROCHE RDF_QDAG : VALIDATION EXPÉRIMENTALE
Introduction
Environnement d'expérimentations
Évaluation du pré-traitement
Performances des requêtes
RDF_QDAG vs les systèmes parallèles
Conclusion
CONCLUSION ET PERSPECTIVES
Conclusion
Perspectives
En ligne : https://tel.archives-ouvertes.fr/tel-03079086 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-20 KHE KHE Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Hypergraphs in the Service of Very Large Scale Query Optimization. Application: Data Warehousing / Ahcène BOUKORCA
Titre : Hypergraphs in the Service of Very Large Scale Query Optimization. Application: Data Warehousing Titre original : Les hypergraphes au service de l'optimisation de requêtes à très large échelle. Application : Entrepôt de données Type de document : thèse Auteurs : Ahcène BOUKORCA, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yannis MANOLOPOULOS, Rapporteur ; Sofian MAABOUT, Rapporteur ; Omar BOUSSAID, Examinateur ; Arnaud GIACOMETTI, Examinateur ; Sid-Ahmed BenAli SENOUCI, Examinateur Année de publication : 2016 Importance : 216 p. Note générale : NNT 2016ESMA0026
Acknowledgement
Dedication
Contents
Introduction
Relational Algebra
Résumé
Related Publications
List of Figures
List of Tables
Glossary
References
Résumé
Mots clésCatégories : Bases de données:Conception
Bases de données:Gestion
Bases de données:Interrogation
Données massives
Entrepôts de données
Hypergraphes
Optimisation combinatoireRésumé : BACKGROUNDS
Introduction
The Data Warehousing Technology
Factors Impacting Query Processing and Optimization
Data Structures and Access Algorithms
Conclusion
MODELING QUERY INTERACTION USING HYPERGRAPHS
Introduction
Hypergraphs and Their Usages
Analogy between UQP and EDA
Hypergraph as a solution of scalability
Complexity of the Algorithms
Performance Evaluation
Conclusion
WHAT-IF UQP ANALYSIS
Introduction
A New Approach for Selecting OS
Application of OS-Oriented UQP
Experimental Evaluation and Analysis
Conclusion
QUERY INTERACTION SERVING THE DEPLOYMENT PHASE
Introduction
Parallel Database Design Alternatives
Motivating Example
UQP As a Service for Designing PRDW
Experimental Evaluation and Analysis
Conclusion
BIG-QUERIES FRAMEWORK
Introduction
System Architecture
System Modules
Implementation
Conclusion
CONCLUSION AND PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01488961 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014171 TH-16 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Imperfect RDF Databases: From Modelling to Querying Type de document : thèse Auteurs : Amna ABIDI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Hajer BAAZAOUI, Rapporteur ; Juliette DIBIE BARTHELEMY, Examinateur ; Salah BEN ABDALLAH, Examinateur ; Mohamed Anis BACH TOBJI, Examinateur Importance : 138 p. Note générale : NNT 2019ESMA0008
Abstract
Résumé
Guide de lecture
Acknowledgements
Dédicace
Table of Contents
List of Figures
List of Tables
Nomenclature
Introduction
Appendices
Bibliography
Résumé
Mots clésCatégories : Bases de données:Interrogation
Conception centrée sur l'utilisateur
Incertitude (théorie de l'information)
Opérateur Skyline
Possibilités, Théorie des
Resource Description Framework (informatique)
SPARQL (langage de programmation)
Web sémantiqueRésumé : PRELIMINARIES
RDF Formalism
Background on Possibility Theory and Skyline Queries
CONTRIBUTIONS
Trust Skyline Model: Semantics Experimentations
Possibilistic RDF Data
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-02171934 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-ABI ABI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel / Christian FOTSING TAKOUTSI
Titre : Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Type de document : thèse Auteurs : Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur Année de publication : 2012 Importance : 226 p. Note générale : NNT 2012ESMA0003
Remerciements
Table des matières
Table des figures
Annexe
Bibliographie liée à la thèse
Bibliographie
IndexLangues : Français (fre) Catégories : Logiciels:Validation
Méthodes formelles (informatique)
Ordonnancement (informatique)
Petri, Réseaux de
Simulation, Méthodes de
Temps réel (informatique)Résumé : INTRODUCTION GENERALE
Les systèmes temps-réel
La problématique
Objectifs et intérêts du travail
Contribution : méthodologie globale
Plan et contenu de la présentation
ETAT DE L'ART
Synthèse de quelques travaux connexes
Validation par les réseaux de Pétri
CONTRIBUTION
Modélisation d'une tâche
Modélisation de l'application
Les arbres d’ordonnancement
Ordonnancement linéaire versus ordonnancement arborescent
Mise en œuvre avec les réseaux de Pétri
CONCLUSTION GENERALE
Conclusion
PerspectivesEn ligne : http://tel.archives-ouvertes.fr/tel-00684788 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009301 TH-12 FOT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 FOT FOT Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique / Ilyès BOUKHARI
Titre : Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique Type de document : thèse Auteurs : Ilyès BOUKHARI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Bernard ESPINASSE, Rapporteur ; Jérôme GENSEL, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Omar BOUSSAID, Examinateur ; Hendrik DECKER, Examinateur ; Dominique MERY, Examinateur Importance : 161 p. Note générale : NNT 2014ESMA0001
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
GlossaireCatégories : Bases de données
Entrepôts de données
Ingénierie des exigences
Ingénierie dirigée par les modèles
Ontologies (informatique)Résumé : Introduction générale
ETAT DE L'ART
L'expression des besoins : un état de l'art
Les ontologies au service de l'ingénierie des besoins
CONTRIBUTIONS
Unification des vocabulaires et de langages de modélisation des besoins
Vers une fusion de méta-modèles des langages de modélisation des besoins
Exploitation des besoins pour la conception physique
Prototype de validation
CONCLUSION GENERALEEn ligne : http://tel.archives-ouvertes.fr/tel-00942081 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010414 TH-14 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels / Amira KERKAD
Titre : L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels Type de document : thèse Auteurs : Amira KERKAD, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christine COLLET, Rapporteur ; Bruno DEFUDE, Rapporteur ; Pedro FURTADO, Rapporteur ; René SCHOTT, Examinateur Importance : 189 p. Note générale : NNT 2013ESMA0027
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données relationnelles
Bases de données:Conception
Bases de données:Interrogation
Entrepôts de donnéesRésumé : LA TECHNOLOGIE DE BASES DE DONNEES A-T-ELLE DONNE LE MEILLEUR D'ELLE-MÊME ?
Problématique
Objectifs et contributions
Organisation de la thèse
ETAT DE L'ART
Introduction
La conception physique
Sélection isolée des structures d'optimisation
Sélection multiple des structures d'optimisation
Bilan et discussion
Nouvelle vision
Positionnement et contributions
INTERACTION DES COMPOSANTS SUPPORT ET REQUETES
Introduction
La gestion du buffer et l'ordonnancement des requêtes dans les EDR
Démarche de la gestion du buffer et d'ordonnancement des requêtes dans les EDR
Problème de la gestion du buffer et d'ordonnancement des requêtes hors-ligne
Algorithmes de résolution hors-ligne
Evluation des performances des algorithmes
Conclusion
CONTRIBUTION DE L'INTERACTION SUR LA FRAGMENTATION HORIZONTALE
Introduction
Problème de la fragmentation horizontale dans les entrepôts de données
Fragmentation horizontale par exploitation de l'interaction des requêtes
Combinaison de la FH avec la GBOR
Démarche de résolution du problème combiné
Evaluation des performances des algorithmes
Conclusion
L'ASPECT DYNAMIQUE DE LA CONCEPTION PHYSIQUE
Introduction
L'optimisation en-ligne dans les entrepôts de données relationnels
Problème de la gestion du buffer et d'ordonnancement des requêtes en-ligne dans les EDR
Algorithme d'optimisation en-ligne
Evaluation des performances des algorithmes
Conclusion
OUTIL D'AIDE A LA CONCEPTION PHYSIQUE
Introduction
Difficultés et besoins des administrateurs
Architecture fonctionnelle de l'outil de simulation
Simulations
Validation des résultats sous Oracle11g
Conclusion
CONCLUSION GENERALE ET PERSPECTIVES
Conclusion
Perspectives
EpilogueEn ligne : http://tel.archives-ouvertes.fr/tel-00954469 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010434 TH-13 KER Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 KER KER Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Modèles de conception pour des applications collaboratives mobiles dans le cloud Type de document : thèse Auteurs : Nadir GUETMI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Abdessamad IMINE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sophie CHABRIDON, Rapporteur ; Daniela GRIGORI, Rapporteur ; Mirian HALFELD FERRARI ALVES, Examinateur ; Mohamed Yacine GHAMRI-DOUDANE, Examinateur Importance : 175 p. Note générale : NNT 2016ESMA0016
Remerciements
Table des matières
Introduction générale
Bibliographie
Table des figures
Liste des tableaux
Listings
Glossaire
Résumé
Mots clésCatégories : Applications mobiles
Design patterns
Informatique dans les nuages
Informatique mobile
Logiciels médiateurs
Systèmes de communication sans fil
Systèmes virtuels (informatique)Résumé : CONTEXTE ET ETAT DE L'ART
Contexte de recherche
Etat de l'art
CONTRIBUTIONS
Des "patrons de clou" pour les applications collaboratives mobiles
MidBox : un middleware de déploiement
Service d'édition collaborative pour des graphes RDF
CONCLUSION GENERALEEn ligne : https://tel.archives-ouvertes.fr/tel-01430151 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B000014168 TH-16 GUE Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 GUE GUE Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Modeling and Querying Evidential Databases Type de document : thèse Auteurs : Fatma Ezzahra BOUSNINA, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Arnaud MARTIN, Rapporteur ; Sadok BEN YAHIA, Rapporteur ; Ons Chirine GHEDIRA GUEGAN, Examinateur ; Salah BEN ABDALLAH, Examinateur ; Mohamed Anis BACH TOBJI, Examinateur Importance : 154 p. Note générale : NNT 2019ESMA0007
Résumé
Abstract
Acknowledgements
Contents
List of Tables
List of Figures
Introduction
BibliographyCatégories : Bases de données:Gestion
Bases de données:Interrogation
Mondes possibles
Théorie de Dempster-ShaferRésumé : BACKGROUND MATERIAL
Imperfect Databases: General Context
Theory of Evidence
EVIDENTIAL DATABASE MODELS
Evidential Databases: The Compact Form
Evidential Databases: The Possible Worlds' Form
Evidential Conditional Databases
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-02162105 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-19 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Optimisation basée sur les graphes pour une évaluation efficace et scalable des requêtes / Ishaq ZOUAGHI
Titre : Optimisation basée sur les graphes pour une évaluation efficace et scalable des requêtes Type de document : thèse Auteurs : Ishaq ZOUAGHI, Auteur ; Taoufik AGUILI, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sofian MAABOUT, Rapporteur ; Asma BEN LETAIFA, Rapporteur ; Azza OULED ZAID, Examinateur ; Daniela GRIGORI, Examinateur Année de publication : 2022 Importance : 195 p. Note générale : NNT 2022ESMA0017
Dédicace
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexes
Résumé
Mots clés
Catégories : Bases de données:Conception
Bases de données:Gestion
Bases de données:Interrogation
Coût
Hypergraphes
Multiplicité (mathématiques)
Resource Description Framework (informatique)
Scalabilité (informatique)
SPARQL (langage de programmation)
Web sémantiqueRésumé : ANALYSE DE LA LITTÉRATURE
Préliminaire
État de l'art
Le Triplestore RDF_QDAG
L'APPROCHE GOFAST
L'approche GoFast : Optimisation des requêtes à base de graphes
L'approche GoFast : Validation expérimentale
CONCLUSION GÉNÉRALE ET PERSPECTIVESExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 ZOU ZOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Réseau social anonyme de confiance dédié aux applications communautaires du futur : une approche guidée par le capital social / Chayma SELLAMI
Titre : Réseau social anonyme de confiance dédié aux applications communautaires du futur : une approche guidée par le capital social Type de document : thèse Auteurs : Chayma SELLAMI, Auteur ; Allel HADJALI, Directeur de thèse ; Mickaël BARON, Directeur de thèse ; Mounir BECHCHI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Salima BENBERNOU, Rapporteur ; Richard CHBEIR, Rapporteur ; Djamal BENSLIMANE, Examinateur Importance : 168 p. Note générale : NNT 2022ESMA0024
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clés
Catégories : Apprentissage par renforcement (intelligence artificielle)
Confiance numérique
Identité numérique
Intelligence computationnelle
Logique floue
Processus décisionnels de Markov relationnels
Réseaux anonymes (informatique)
Réseaux sociaux (internet)
Statistique bayésienne
Systèmes de recommandation (informatique)Résumé : ÉTAT DE L'ART
Réseaux sociaux et anonymat
Confiance : modélisation, typologie et calcul
Systèmes de recommandation : un aperçu
CONTRIBUTIONS
Un modèle basé sur l'apprentissage hybride pour la recommandation
Un cadre unifié pour la gestion de la confiance
Recommandation du modèle computationnel de confiance : une approche guidée par les besoins métiers
CONCLUSION GÉNÉRALEEn ligne : https://tel.archives-ouvertes.fr/tel-03967427 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 SEL SEL Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt