Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > LIFO seminars (french)

 Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



LIFO seminars (french)


Accès par année : 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019

Sauf exception, les séminaires se déroulent le lundi de 14h à 15h, Salle de réunion 1, bâtiment IIIA (voir plan du campus).


20/05/2019 : sémantique distributionnelle appliquée à un corpus diachronique
Guillaume Desagulier et Ilaine Wang () Résumé
Attention : Débute à 13 h 45.

06/05/2019 : Caractérisation logique du temps minimal des automates cellulaires
Théo Grente (GREYC, Université de Caen Normandie) Résumé
Attention : Débute à 13 h 45.

29/04/2019 : TBA
Petr Golovach (Université de Bergen, Norvège) Résumé
Attention : Débute à 13 h 45.

18/03/2019 : Bisplit graphs satisfy the Chen-Chvátal conjecture
Matthieu Rosenfeld () Résumé
Attention : Débute à 13 h 45.

11/02/2019 : An overview of the Tezos blockchain
Mathias Bourgoin (Nomadic Labs) Résumé
Attention : Débute à 13 h 45.


Résumés des séminaires


sémantique distributionnelle appliquée à un corpus diachronique Guillaume Desagulier et Ilaine Wang,

Nous abordons la question de l'évolution du sens en corpus sous l'angle de la sémantique distributionnelle. Il s'agit pour nous de déduire l'évolution sémantique de marqueurs linguistiques par l'examen de préférences collocationnelles à travers les époques. Deux questions se posent : comment distinguer les principales étapes de l'évolution sémantique d'un marqueur ? Quelle granularité adopter : la distinction artificielle en années ou en décennies proposée par défaut dans les corpus ou une distinction plus naturelle dérivée de la distribution des données ? Nous passons en revue trois méthodes distributionnelles : deux relevant de la linguistique de corpus et une relevant du traitement automatique des langues. La première méthode, VNC (Variability-based Neighbour Clustering), est fondée sur la classification ascendante hiérarchique. Elle procède à une périodisation automatique. Le regroupement de périodes en fonction de leurs similitudes se fait sur la base du principe d'adjacence temporelle. La seconde méthode est une illustration classique des modèles de sémantique distributionnelle. La forme cible est extraite d'un corpus au sein d'une fenêtre contextuelle. Une matrice de co-occurrences est calculée puis transformée à l'aide d'une mesure appelée PPMI (Positive Pointwise Mutual Information). Les dimensions de la matrice ainsi pondérée est réduite par SVD (Singular Value Decomposition) et projetée sur un espace à deux dimensions à l'aide de t-SNE. L'évolution sémantique est capturée par des contours dont le centre de gravité change en fonction des époques. La troisième méthode, HistWords (https://nlp.stanford.edu/projects/histwords/), est proche de la seconde. Elle est inspirée de word2vec. Il s'agit d'un algorithme permettant de tracer l'évolution sémantique de lexèmes sur la base de vecteurs calculés avec la méthode Skip-Gram with Negative Sampling (SGNS). Deux études de cas sont abordées : le split infinitive en anglais (to boldly go where no man has gone before) et les intensifieurs de l'anglais (quite, rather, fairly, pretty, tremendously, utterly, jolly, etc.).


Caractérisation logique du temps minimal des automates cellulaires Théo Grente, GREYC, Université de Caen Normandie

Les automates cellulaires représentent le modèle par excellence du calcul parallèle et local. De la même façon qu’on sait caractériser en logique les langages rationnels, on cherche à caractériser/programmer en logique les calculs des automates cellulaires. Le comportement local et déterministe des automates cellulaires s'exprime naturellement par des clauses de Horn portant sur une arithmétique locale du prédécesseur. L'outil principal utilisé est une méthode de normalisation transformant une formule en une formule équivalente qui imite un circuit grille. Dans cet exposé, je présenterai l'exemple du temps réel (= temps minimal) des automates cellulaires, intéressant par sa puissance de reconnaissance (multiplication d'entiers, majorité...) et son polymorphisme.


TBA Petr Golovach, Université de Bergen, Norvège

TBA


Bisplit graphs satisfy the Chen-Chvátal conjecture Matthieu Rosenfeld,

Un des théorèmes de De Bruijn-Erdos énnonce qu’étant donné un ensemble S de n points du plan soit ils sont colinéaires, soit ils génèrent au moins n droites. On commencera par une démonstration élémentaire de ce résultat. L’un des candidats naturels pour étendre ce résultat est l’ensemble des lignes définies par un système de betweenness (“entritude”). On peut associer à tout système métrique un tel système de betweenness et se demander si le théorème de De Bruijn-Erdos s’applique encore. La question est toujours ouverte et ce en particulier dans les graphes. Nous donnerons toutes les définitions nécessaires et discuterons du cas des graphes plus en détail et en particulier des graphes bisplit.


An overview of the Tezos blockchain Mathias Bourgoin, Nomadic Labs

Blockchains, such as Bitcoin or Ethereum, are distributed and decentralized ledgers. Bitcoin was, in 2009, the first blockchain, allowing financial transactions using a cryptocurrency. Then new blockchains such as Ethereum introduced smart contracts, small computer programs running in the blockchain and Dapps, distributed applications running on the blockchain (through smart contracts). These blockchains are based on an energy consuming 'proof of work' consensus algorithm and their governance is informal and can lead to hard forks of the blockchain. In this talk, I will present Tezos, an innovative self-amending blockchain that - provides a formal *on-chain governance* mechanism to activate upgrades without the need for hard forks. - focuses on *security* (through formal verification) and provides an environment to run formally verifiable smart contracts. - also replaces the classic 'proof of work' consensus algorithm with a modern, resilient and energy efficient (thus ecological) *'proof of stake'* algorithm.