EN 
FR
Publié par , 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 , 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 , 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 , 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 , 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 , 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 , 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 […]
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 03 Octobre 2024 à 14:30:00
Travail en collaboration avec Lucas Oger et Jonathan Partington. Nous donnons une description complète des isométries linéaires sur l'espace des fonctions holomorphes sur un ouvert connexe U, avec U égal au disc unité, le demi plan, le plan complexe tout entier et finalement un anneau centré à l' origine. Nous verrons le lien très fort existant avec les opérateurs de composition pondérés.
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