EN 
FR
Publié par , le 14 février 2018 à 15:58
Mathieu Delsaut (LE2P) et Dominique Gay (LIM) étaient présents à la 18è conférence “Extraction et Gestion de Connaissances 2018” à Paris pour présenter les données de flux solaires et assister à la session dédiée au défi EGC 2018 sur ces données. Défi EGC 2018 : Un défi sous le soleil […]
Publié par , le 14 novembre 2017 à 08:49
Désormais, les séminaires du LIM sont liés à un agenda public ! Vous pouvez vous abonner (CMD+ALT+S) dans Calendrier (Mac) et fournir l’URL suivante : https://lim.univ-reunion.fr/web-data/seminaire/service/seminar.php (sur iPhone: Réglages, Calendrier, Comptes, “Ajouter un compte”, autre, “Ajouter un cal. avec abonnement”) Ce calendrier est normalement compatible avec Outlook, etc….
Publié par , le 7 avril 2017 à 10:57
Le LIM accueille une quinzaine de doctorants en 2017. Deux demi-journées leurs sont consacrées afin qu’ils puissent présenter l’avancer de leur thèse. Ces deux sessions se dérouleront le mercredi 7 et le jeudi 8 juin 2017. Les doctorants (par ordre alphabétique) : Jérémy Benard — Import, export et traduction sémantiques génériques […]
Publié par , le 7 avril 2017 à 10:49
Le LIM est membre de l’organisation du GIIS’2017 : Global Information Infrastructure and Networking Symposium (GIIS’2017) October 25-27, 2017, Saint Pierre, Reunion Island, France pour en savoir plus : http://giis.univ-reunion.fr/
Animé par , le 24 Octobre 2024 à 13:30:00
Les buts de ce séminaire (13:30 - ??:??) sont
1) de mieux connaître les recherches effectuées au LIM sur – ou exploitant – des
systèmes formels (donc sur des langages et systèmes de déduction), et
2) de catégoriser/relier de manière formelle des concepts principaux de ces recherches,
donc de créer un index sémantique de ces concepts, utilisable pour la valorisation de
ces recherches et l'enseignement de ces concepts. Un noyau de cet index pour ces
recherches est présenté à https://www.webkb.org/kb/it/o_KR/d_KM_at_LIM.html
Ces recherches du LIM sont par exemple celles sur
1) la vérification et analyse statique de programmes (-> une présentation de Mesnard sur
"Automated Theorem Proving for Prolog Verification"), et
2) la représentation et le partage des connaissances (-> au moins
deux présentations, dont une d'Anil Cassam-chenai sur ses recherches et une de
moi-même sur l'index sémantique cité plus haut).
N'hésitez pas à me contacter (philippe.martin@univ-reunion.fr), avant début octobre, pour
1) effectuer une présentation (entre 15 et 45 minutes, plus questions) pour ce séminaire, ou
2) participer à l'index (un Google Doc est disponible pour cela), ou
3) me demander l'addition dans l'index des concepts importants de votre recherche/exploitation
d'un système formel : envoyez-moi un résumé ou un article ou une présentation sur cette
recherche/exploitation et je ferai la catégorisation de ses concepts importants dans l'index.
Animé par , le 23 Mai 2024 à 16:00:00
Un projet data doit répondre à un objectif clair, souvent une problématique à solutionner ou un besoin rencontré par les métiers d’une organisation, publique ou privée. Si ce sont eux qui sont généralement à l’origine du projet data, la réussite de ce dernier nécessite de créer les conditions d’un dialogue entre les équipes métiers, de la data et de l’informatique afin de modéliser le problème à traiter avant de le traiter. Le séminaire présentera une approche méthodologique d’un projet data illustrée par quelques retours d’expérience de l’industrie et des transports
Animé par , le 06 Mai 2024 à 13:30:00
Cet exposé présente un travail réalisé dans le cadre d'une collaboration avec l'Université d'Antananarivo. Il s’agit d’utiliser une méthode avancée d’analyse de séries temporelles à des fins de prévision. Les expérimentations numériques présentées exploitent des données climatologiques et les prévisions sont des prévisions météorologiques de longue durée. On s’interroge ici sur la sélection des paramètres de la SSA et l’automatisation de cette sélection. La qualité de cette sélection est en effet essentielle pour l’exactitude des prévisions obtenues.