Le séminaire du Laboratoire

Les archives de 2009

DEC
3
13:00
Vers P différent de NP
Présentation de quelques idées qui vont dans le sens d'une preuve que P est différent de NP.
NOV
26
13:00
Towards a collaboratively-built knowledge base of-and-for scalable knowledge sharing and retrieval
Cet exposé aura le contenu de ma future soutenance d'HDR. Il introduira mes travaux sur des ontologies générales multi-sources, des protocoles de mise à jour collaborative d'une base de connaissances, des notations à la fois expressives, intuitives et concises, et des règles pour la normalisation de représentations de connaissances.
NOV
12
13:00
Une approche cognitive de la détection du thème et de l'opinion dans des textes
Les méthodes appelées « Word Vector » permettent de représenter la distance sémantique entre des mots ou des concepts en s'appuyant sur l'analyse de la distributions de leurs co-occurence dans des corpus textuels de grandes tailles. Ces méthodes ont été très utilisées en informatique dans les domaines de la fouille de texte ou de la recherche d'information d'une part, ainsi qu'en psychologie cognitive pour la modélisation de la mémoire sémantique et pour la compréhension de texte d'autre part. Nous présenterons une approche qui s'inspire de la psychologie cognitive pour modéliser la catégorisation de textes à grande échelle (de plusieurs milliers à plusieurs millions de textes). Nous présenterons les performances obtenues dans les campagnes d'évaluation de fouille de textes nationales et internationales.
NOV
5
13:00
ZotSpot.re : HotSpot WiFi Gratuit, Intégration Open Source et Business Model
Siddique Vally-Adam
Les HotSpots WiFi gratuits sont omniprésents en Métropole et dans le monde, et offrent l'opportunité de pouvoir surfer sur internet avec tout matériel compatible WiFi (ordinateur portable, téléphone mobile, console de jeu, etc.) Pourtant à la Réunion, peu d'initiatives existaient dans ce domaine, jusqu'à l'arrivée en 2008 de ZotSpot. Aujourd'hui, avec 50 ZotSpots répartis sur toute l'île, un large panel de lieu publics et privés (aéroports, bars, restaurants, hôtels, jardin, etc...) sont disponibles pour se connecter à Internet en wifi gratuitement. Et cela ne fait que commencer ! Cette présentation aura donc pour objet de présenter les aspect techniques et stratégiques de ZotSpot.
OCT
28
14:00
Automatic non-termination proofs using compressed loops
Termination of computer programs is an undecidable property. There exists no correct algorithm that can always decide whether any given program terminates or not on every input. Hence, all the approaches that have been designed so far for automatically proving termination succeed in some cases only. When these approaches fail to answer, then the program under analysis is potentially non-terminating i.e., it may not terminate for some input. Therefore, designing methods for automatically proving non-termination is an important issue as it is a way to complement the existing termination analysers. In this habilitation thesis, we present an approach for automatically proving non-termination. It consists in making the loops explicit into a compressed form which is used to detect non-termination. We have applied this approach to the fields of logic programming, constraint logic programming, term rewriting and Java bytecode programming. The thesis consists of four papers that have been published in international journals as well as in the proceedings of an international workshop. The formal contributions of these papers have been implemented and evaluated experimentally.
SEP
24
13:00
Logiciels libres, partage de connaissance et Université
JUN
25
14:00
Gestion des savoir-faire par les systèmes d'information : une application à l'apprentissage instrumental
MAI
25
14:00
Julia: a Java Bytecode Static Analyser
MAI
22
10:30
IODA/JEDI : Une approche de la simulation centrée interactions
MAI
14
14:00
Observation de simulations multi-agents à grande échelle
AVR
20
13:00
Synchronisation de grammaires de graphes
Stéphane Hassen
AVR
16
14:00
Une version interopérable de XCP pour des réseaux hétérogènes à haut débit
AVR
2
14:00
Formation Joomla!
MAR
26
14:00
Experiments with Non-Termination Analysis for Java Bytecode
MAR
12
14:00
Contribution à la représentation immersive des systèmes d'information pour l'aide à la gestion de la biodiversité