Le dernier séminaire a eu lieu le 19 Décembre 2024
Publié par Philippe MARTIN, le 20 octobre 2024 à 11:41
Depuis le 14/11/2017, via Xavier NICOLAY, un agenda Web est automatiquement mis à jour pour les séminaires du LIM, à partir des informations contenues dans https://lim.univ-reunion.fr/seminaire/ ( mises à jour dans l’intranet via “APPLICATIONS – Séminaire” : https://lim.univ-reunion.fr/intranet/app/index.php?seminaire=1&ts=823591736 ). L’adresse Web (l’URL) de cet agenda est : https://lim.univ-reunion.fr/web-data/seminaire/service/seminar.php Vous pouvez […]
Publié par Xavier NICOLAY, 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 Xavier NICOLAY, 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 Xavier NICOLAY, 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/
Les 3 derniers séminaires du LIM
Sequent Calculus: An Important Connection Between Proofs and Programs
Animé par , le 19 Décembre 2024 à 08:30:00
Karim Nour nous propose un séminaire consistant en un exposé / discussions sur le thème :
Sequent Calculus: An Important Connection Between Proofs and Programs.
Il est prévu se dérouler de 8h30 à 11h30 (avec une pause d'un quart d'heure au milieu) et reprendre de 13h30 à 15h30.
Sur les puissances de la fonction de Collatz
Animé par Didier Caucal, le 28 Novembre 2024 à 14:00:00
La fonction de Collatz associe à tout entier naturel n sa moitié si n est pair, et sinon 3n+1.
Par codage en base 2 inverse, il est aisé de réaliser cette fonction à l'aide d'un transducteur à 5 états.
Cependant, ce transducteur ne permet pas de définir en fonction de tout entier p, un transducteur réalisant la puissance p ième de la fonction de Collatz.
Par codage en base 6 (directe), on réalise la fonction de Collatz à l'aide d'un transducteur à 2 états.
Ce transducteur permet alors de définir en fonction de tout entier p, un transducteur réalisant la puissance p ième de la fonction de Collatz.
Ce travail a été présenté à MCU 2024 en collaboration avec Chloé Rispal.
Méthodologie de classification par approche descriptive hybride numérique/symbolique
Animé par Cyprien Pankowski, le 25 Octobre 2024 à 14:00:00
La méthodologie de classification par approche descriptive consiste à caractériser les données en s'appuyant sur des descripteurs extraits de celles-ci. Dans le cadre de la reconnaissance vocale des cétacés, cette approche implique d'abord une analyse détaillée des vocalises enregistrées, en identifiant des paramètres acoustiques tels que la fréquence, la durée, et les motifs temporels. Ensuite, ces descripteurs permettent de regrouper et de classifier les vocalises en fonction de leurs similarités. La description symbolique, telle que l'espèce, le lieu d'enregistrement, l'auteur de l'enregistrement, sont aussi des informations permettant la classification.
