Publié par Xavier NICOLAY, le 16 juin 2016 à 11:43
Le LIM accueille une quinzaine de doctorants en 2016. Deux demi-journées leurs sont consacrées afin qu’ils puissent présenter l’avancer de leur thèse. Cette programmation s’est déroulée le mercredi 8 et le jeudi 9 juin selon le planning suivant : Mercredi 08 Juin 13:30 : Rehan Noordally — Etudes de l’accès Internet de l’Ile de […]
Publié par Xavier NICOLAY, le 10 juin 2015 à 09:42
Le LIM accueille une quinzaine de doctorants en 2015. Une seconde session spéciale du Séminaire du Laboratoire a été organisée le jeudi 11 juin et consacrée à la présentation de leurs travaux de recherche. La programmation des exposés a été la suivante : Jeudi 11 Juin 13:30 : Cynthia Pitou — Classification de documents numérisés. 14:00 : Luc […]
Publié par Xavier NICOLAY, le 18 mai 2015 à 10:01
Le LIM accueille une quinzaine de doctorants en 2015. Une première session spéciale du Séminaire du Laboratoire a été organisée le mercredi 11 Mars et le Jeudi 12 Mars et consacrée à la présentation de leurs travaux de recherche. La programmation des exposés a été la suivante : Mercredi 11 Mars 13:30 : Nathalie […]
Publié par Stéphane Calderoni, le 2 juin 2014 à 09:47
Le LIM a accueillit une quinzaine de doctorants en 2014. Une session spéciale du Séminaire du Laboratoire a été organisée le jeudi 5 juin 2014 et consacrée à la présentation de leurs travaux de recherche. La programmation des exposés a été la suivante : Jeudi 5 juin 14:30 : Réhan Noordally — Méthodologie d’écoute et d’analyse […]
Publié par Stéphane Calderoni, le 30 avril 2014 à 10:50
Porté par deux laboratoires de l’Université de La Réunion, le LE2P (Laboratoire d’Énergétique, d’Électronique et Procédés) et le LIM, le projet RCIGS (Réseau de Capteurs Intelligents pour une meilleure connaissance du Gisement Solaire) a pour ambition de faire passer la production photovoltaïque de son état actuel de source intermittente à […]
Publié par Stéphane Calderoni, le 13 mai 2013 à 10:55
Le LIM a accueillit en 2013 une quinzaine de doctorants. Une session spéciale du Séminaire du Laboratoire a été organisée les mercredi 15 et jeudi 16 mai 2013 et consacrée à la présentation de leurs travaux de recherche en cours. La programmation des exposés a été la suivante : Mercredi 15 mai 2013 […]
Publié par Stéphane Calderoni, le 26 mars 2013 à 16:38
Le LIM accueille cette année 5 étudiants inscrits en Master 2 Informatique pour un stage d’une durée de 6 mois. Une session spéciale du séminaire du Laboratoire est organisée le jeudi 4 avril 2013, dans le cadre de laquelle chaque étudiant viendra présenter l’avancée de ses travaux à mi-parcours. Vous […]
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.