Les bulletins archivés
Le dernier séminaire a eu lieu le 09 Décembre 2020
Les 3 derniers séminaires du LIM
Homogénéisation stochastique quantitative
Animé par , le 09 Décembre 2020 à 13:30:00
L'équation de la chaleur, dans un environnement homogène et déterministe, peut déjà être vue comme un problème concernant les marches aléatoires (simples). Si à présent, l'environnement lui-même est aléatoire, que peut-on dire de la solution de l'équation de la chaleur ? Ressemble-t-elle aux solutions dans un environnement déterministe ? À quel point ces deux solutions sont proches lorsqu'on se place à une certaine échelle ?
Zoom & Moodle, une étude temporelle et comportementale.
Animé par , le 26 Novembre 2020 à 13:30:00
Dans cet exposé, je présente les résultats d'une étude menée à l'occasion d'un cours de licence donné à distance à une cohorte de 247 inscrits. Je propose une analyse temporelle et comportementale des données mesurées par Zoom et Moodle. Pour Zoom, ces données concernent la participation aux transmissions en direct des cours magistraux et le visionnage des enregistrements. Dans le cas de Moodle, les informations concernent les devoirs dont les réponses sont complétées et soumises en ligne en temps limité. Mon étude met en lumière comment les étudiants exploitent les matériels pédagogiques en identifiant des schémas récurrents. J’en déduis un ensemble de recommandations concernant l’organisation des enseignements adaptée aux comportements des étudiants, certaines allant à l'encontre de la croyance générale et des convictions préétablies enracinées dans l'enseignement supérieur. Séminaire via Zoom: https://us02web.zoom.us/j/84945031273?pwd=YmZNMCt3ZitsaHFTRFl4S2xaekNEQT09
Introduction à la structure de Graphe Conceptuel Riche
Animé par , le 25 Juin 2020 à 13:30:00
Dans cet exposé nous définirons ce qu'est un Graphe Conceptuel Riche (RCG) i.e. un hypergraphe orienté avec une structure 'objet' obtenue en appliquant des relations sur les relations. Nous montrerons son usage en contexte de logique propositionnelle pour étudier les problématiques d'inférence et de la satisfiabilité. Nous montrerons alors comment ces premières notions s'étendent à la manipulation de la logique d'ordre 1 et des logiques de description.