Documents disponibles écrits par cet auteur

Conception et exploitation d'une base de modèles : application aux data sciences / Cyrille PONCHATEAU 

Titre : Conception et exploitation d'une base de modèles : application aux data sciences Type de document : thèse Auteurs : Cyrille PONCHATEAU, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Mickaël BARON, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Abdelkader HAMEURLAIN, Rapporteur ; Mirian HALFELD FERRARI ALVES, Examinateur ; Carlos ORDONEZ, Examinateur ; Thierry POINOT, Examinateur ; Samira SI-SAID CHERFI, Examinateur Année de publication : 2018 Importance : 209 p. Note générale : NNT 2018ESMA0005 Remerciements Table des matières Table des figures Liste des tableaux Table des sigles et acronymes Annexes Bibliographie Résumé Mots clés Catégories : :Bases de données:Conception :Equations différentielles:Bases de données :Modèles mathématiques:Bases de données :Séries chronologiques:Logiciels Bases de données relationnelles Entrepôts de données Microservices Structures de données (informatique) Résumé : Introduction générale ÉTAT DE L'ART Évolution de la technologie de stockage de données Modèles mathématiques et séries chronologiques dans le monde des bases de données NOS PROPOSITIONS Modélisation conceptuelle et structures de données dédiées aux modèles mathématiques dans une approche entreposage Exploitation des modèles mathématiques Prototype et expérimentations CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01939430

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Vers une approche sûre du développement des Interfaces Homme-Machine / Mickaël BARON

Titre : Vers une approche sûre du développement des Interfaces Homme-Machine Type de document : thèse Auteurs : Mickaël BARON ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Dominique CANSELL, Rapporteur ; Bruno d' AUGSBOURG, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Guy PIERRA, Examinateur ; Jean-Daniel FEKETE, Examinateur ; Francis JAMBON, Examinateur Importance : 253 p. Note générale : Résumé/Abstract Table des matières Table des figures Liste des tableaux Introduction générale Conclusion et perspectives Bibliographie Publications liées à ce mémoire de thèse Mots clés Catégories : Méthode B (informatique) Méthodes formelles (informatique) Systèmes homme-machine Index. décimale : TH-03 Résumé : ETAT DE L'ART Le domaine de l'interaction homme-machine Les techniques formelles pour la conception des systèmes interactifs Les outils de conception Synthèse : justification du travail de thèse MODELISATION ET VALIDATION FORMELLES DE DESCRIPTIONS DE L'INTERACTION DANS LES IHM Rappels Méthode B Approche à base de modules Approche à base d'événements SUIDT : UNE APPROCHE EXPERIMENTALE POUR LA CONSTRUCTION D'INTERFACES UTILISATEURS SURES Généralités sur l'approche expériementale Intégration d'un noyau fonctionnel développé formellement dans une apprche de système basés sur modèles Validation sur le noyau fonctionnel Validation sur la présentation Conclusion générale sur l'approche SUIDT

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002251	TH-03 BAR	Ouvrage	BIBLIOTHEQUE - ACCES RESERVE	Thèses	Exclu du prêt