Improvements on graph path queries : expression, evaluation, and minimum-weight satisfiability

Nous traitons trois problèmes liés aux requêtes de chemin en graphes. La plupart des langages de requête en graphes actuels prennent en charge les requêtes de chemins réguliers. Cependant, certaines applications telles que l analyse du code source et la génétique nécessitent des requêtes de chemins...

Fuld beskrivelse

Enregistré dans:
Bibliografiske detaljer
Hovedforfatter: Morais Medeiros, Ciro, 1994-
Andre forfattere: Halfeld Ferrari Alves, Mírian, 1962- (Directeur de thèse), Musicante, Martin, 19..- (Directeur de thèse), Travers, Nicolas, 1979-...., chercheur en informatique, Hara, Carmem Satie, 19..-, Reyes, Nora, 19..-, Liedloff, Mathieu, 1980- (Membre du jury), Toumani, Farouk, 19..- (Membre du jury), Goldbarg, Elizabeth, 19..- (Membre du jury)
Format: Thèse numérique
Sprog:Anglais
Udgivet: 2022.
Fag:
Online adgang:Accès au texte intégral
https://theses.univ-orleans.fr/public/2022ORLE1038_va.pdf
http://www.theses.fr/2022ORLE1038/abes
https://theses.hal.science/tel-04186027
Kommentar: Thèse soutenue en co-tutelle
Titre provenant de l'écran-titre
Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....)
Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire)
Autre(s) contribution(s) : Nicolas Travers (Président du jury) ; Mathieu Liedloff, Farouk Toumani, Elizabeth Goldbarg (Membre(s) du jury) ; Carmem Satie Hara, Nora Reyes (Rapporteur(s))
Autres localisations: Voir dans le Sudoc
Variante du titre:Améliorations de requêtes de chemin dans les graphes :, expression, évaluation et satisfiabilité de coût minimal

Lignende værker