vendredi 25 mars 2016

Fin du Blog Bador

Bases de données relationnelles : Comprendre pour maîtriser

Plus de 9 000 inscrits ! Ça change des petites classes à l'ENS Cachan. C'est un autre plaisir.

Des commentaires sympas des élèves et mon favori : Si vous arrivez au bout, il peut contribuer à vous donner l'illusion que vous êtes intelligent.C'est très bon pour le moral.

mercredi 23 mars 2016

aujourd"hui
  • rencontre avec Fred de c'est pas sorcier


demain

vendredi 18 mars 2016

At a conference in Bordeaux

International Conference on Database Theory: A formal study of collaborative access control in distributed datalog, with Pierre Bourhis and Victor Vianu

Extending Database Technology Conference:  Data, Responsibly, fairness, neutrality and transparencyin data analysis with Julia Stoyanovich and Gerome Miklau (a presentation text)

jeudi 3 mars 2016

Exploiter la structure des savoirs incertains

Je serai le 14 mars du jury de thèse d'Antoine Amarilli, annoncé de la manière suivante :

On ne sait aujourd'hui comment gérer des faits
Lorsqu'ils sont inexacts ou qu'ils sont incomplets.
Les probabilités font que rien n'est faisable,
Et, sous le monde ouvert, tout est indécidable.
L'objet de cette thèse est de montrer comment
Les probabilités et le raisonnement
Sont à notre portée et à notre mesure
Si règles comme faits sont munis de structure.

On recherche d'abord quelle condition
Sur les faits donnés rend l'évaluation
De requêtes facile et rend la provenance
Aisément calculable étant donné l'instance.
Nous montrons, dans plusieurs des cadres existants,
Que c'est le cas des faits quasi-arborescents ;
Mais, réciproquement, la tâche est infaisable
Si l'instance n'est pas ainsi décomposable.

On étudie ensuite un monde indéfini,
Partiellement connu mais supposé fini,
Et l'on cherche à savoir si notre règle entraîne
Que, sous les faits donnés, la requête est certaine.
On montre que l'on peut, même en haute arité,
Chaque règle bornant la cardinalité
Ou bien ne propageant qu'une unique variable,
Prouver que ce nouveau problème est décidable.

Antoine Amarilli

PS (de Serge) : Antoine va présenter un travail super brillant.

La tête au carré : les coulisses d'Internet

Sur France inter, 3 mars, 14 à 15:00, La tête au carré : les coulisses d'Internet

http://www.franceinter.fr/emission-la-tete-au-carre-les-coulisses-dinternet

"Comment fonctionne réellement Internet ? Comment sont conservées et utilisées nos données ? Quel est le coût énergétique du fonctionnement de la toile ? Quelles initiatives et quel avenir s'ouvrent à nous ?

Pour y voir plus clair, nous recevons Coline Tison, journaliste audiovisuelle. Réalisatrice du documentaire « Internet : la pollution cachée » ; et Serge Abiteboul, informaticien, chercheur à l’INRIA, professeur à l’ENS Cachan et membre de l’académie des science"