Fra

Pierre Senellart

  • Accueil
  • Curriculum Vitæ
  • Publications
  • Exposés
  • Enseignement
  • Étudiants
  • Autres

Contact : pierre@senellart.com
  • Logiciels
  • Sites Web
  • Travaux divers
    • Stages, Rapports d'informatique
    • Projets informatiques
    • Exposés sur des articles de recherche
    • Divers

Dernière modification
2022-10-02 09:39:25 UTC

Travaux

Logiciels

  • ProvSQL (semiring provenance in PostgreSQL)
  • apxproof (LaTeX package to typeset proofs in appendix)
  • TheoremKB (extraction of semantic information from mathematical research articles)
  • Implementation and dataset on truth finding (data corroboration)
  • Fuzzy XML
  • Large sparse graph library
  • Wikipedia related stuff

Sites Web

En plus de celui-ci, je maintiens un certain nombre de sites Web, ceux de :

  • la section 6 du Comité national de la recherche scientifique
  • l'enseignement au département d'Informatique de l'ENS
  • Mohammad Sufian Bin Hudari
  • la série de conférences Paris BD

Travaux divers

Stages, Rapports d'informatique

  • Divers documents concernant mon stage de maîtrise sur l'extraction d'information dans de grands graphes et la recherche de quasi-synonymes.
  • TIPE d'informatique, réalisé avec Arnaud Boulan, sur les codes correcteurs d'erreurs : des codes convolutifs aux turbo-codes
    • Rapport ENS (pdf)
    • Transparents (pdf)

Projets informatiques

  • Un compilateur d'un micro-langage fonctionnel, conçu dans le cadre du cours de compilation de P. Cousot.
  • Exposé de vulgarisation sur les bases de données et les travaux de thèse de Matthieu Objois et moi-même.

Exposés sur des articles de recherche

  • Présentation de l'article W. H. Hesselink ; Predicate-Transformer Semantics of General Recursion ; Acta Informatica 26, 309-332 (1989).
  • Présentation de l'article R. Meo ; Theory of Dependence Values ; ACM Transactions on Database Systems 25, 380-406 (2000), réalisée avec Marc Glisse
  • Présentation de l'article T. Calders, R. T. Ng, J. Wijsen ; Searching for dependencies at multiple abstraction levels ; TODS 27(3), 229-260 (2002), réalisée avec Matthieu Objois.

Divers

  • Conférences et journaux en libre accès
  • La fonction McCarthy 91 en divers langages de programmation
  • Exposé intermagistères sur le vieillissement biologique
  • Tri manuel d'un jeu de cartes