Ce projet vise à fournir des informations détaillées sur les ensembles de données, les schémas et les requêtes utilisés pour l'expérimentation dans une recherche sur l'optimisation de requêtes basée sur un schéma pour des bases de données de graphes. Les ensembles de données comprennent YAGO et LDBC-SNB, qui sont représentés sous forme de nœuds et d'arêtes dans des graphiques. Des schémas spécifiques ont été créés pour chaque ensemble de données pour aider à l'optimisation de requêtes basée sur un schéma. Les requêtes examinées dans l'étude sont acycliques et récursives ou non récursives, avec des formes de requêtes allant de l'arbre aux cycles.

Ce projet permet de créer des visualisations interactives pour des données géospatiales et des réseaux en utilisant des technologies web natives (HTML5, CSS3, SVG). Il facilite l'analyse et la représentation graphique de données complexes, rendant les informations accessibles et compréhensibles. Les visualisations générées peuvent être intégrées dans divers supports, y compris des ebooks, et fonctionnent même hors ligne.

Robot-WATCHDOG est un cadre de détection de défaillances pour les robots autonomes, utilisant une représentation par graphes spatio-temporels centrés sur les objets. Il identifie les erreurs relationnelles (saisie d'objets incorrects, violation d'ordre de tâches) en analysant les interactions entre objets dans des scènes dynamiques. Deux détecteurs complémentaires sont déployés : un transformateur graphique prédictif pour les environnements riches en données, et une méthode non paramétrique pour les scénarios avec peu d'exemples. Le système garantit un taux de faux positifs contrôlé grâce à la prédiction conforme, sans nécessiter de données d'échec.

Ce projet est une implémentation de la théorie des ensembles dans Dedukti, utilisant une version intuitionniste de la théorie des ensembles où les ensembles sont représentés par des graphes pointés. Il contient plusieurs fichiers de code organisés en fonctionnalités, notamment la logique, les nombres naturels, la théorie des graphes pointés, la théorie des formules, l'extension de la langue, la preuve de la théorie des ensembles et des lemmes associés.

Ce projet propose une analyse comparative des approches graphiques existantes pour représenter la variabilité dans les systèmes logiciels. Il recense et évalue différentes méthodes de modélisation (arbres, graphes, diagrammes de fonctionnalités) afin d'aider les développeurs et chercheurs à choisir la représentation la plus adaptée à leurs besoins. L'objectif est de clarifier les relations entre éléments et d'identifier les outils les plus pertinents pour visualiser des architectures logicielles complexes.

Formalisms est un projet dédié à la création et à la manipulation de modèles selon une syntaxe formelle, représentée en XML. Il permet de définir des formalismes, qui spécifient les types d'éléments et d'attributs supportés, ainsi que des modèles, qui sont des instances de ces formalismes. Les modèles sont représentés sous forme de graphes, avec des nœuds et des arcs, et peuvent être validés selon la syntaxe définie par le formalisme.

Ce projet propose une représentation compressée des graphes de développement logiciel, notamment pour l'archive mondiale des codes sources Software Heritage. Il permet d'analyser les relations entre les nœuds (dépôts, commits, fichiers) et de naviguer efficacement dans l'historique des projets open source. Les données sont structurées pour faciliter les recherches complexes et les traitements massifs.

Outil dédié à la représentation graphique de réseaux métaboliques, notamment les voies métaboliques. Il permet d'organiser et de dessiner des graphes bipartites composés de métabolites et de réactions, en tenant compte des réactions réversibles et des composés secondaires comme l'ATP ou l'eau. Le projet génère des positions optimisées pour les nœuds afin de faciliter la visualisation et l'analyse des interactions biochimiques.

Le projet swh-graph fournit une représentation compressée de graphes et des outils pour stocker et interroger des données de graphes. Il est particulièrement utile pour l'analyse de réseaux sociaux et de dépendances logicielles.

Outil dédié à l'analyse génomique utilisant des graphes de variations pour le génotypage et le mappage de données génétiques. Permet de représenter et manipuler des structures de données complexes issues de séquençage haut débit. Utilisé principalement en recherche biomédicale et en génétique des populations pour étudier les variations génétiques et leurs impacts.