Accueil > Cours > TIPE > Liens > Hal - Archives ouvertes
http://hal.archives-ouvertes.fr/
Articles
-
[hal-04567545] RULKKG : Estimating User’s Knowledge Gain in Search-as-Learning Using Knowledge Graphs
3 mai, par ano.nymous@ccsd.cnrs.fr.invalid (Hadi Nasser), Hadi NasserIn the context of search as learning, users engage in search sessions to fill their information gaps and achieve their learning goals. Tracking the user's state of knowledge is therefore essential for estimating how close they are to achieve these learning goals. In this respect, we extend a (...) -
[hal-04567506] Confined diffusion of hydrophilic probes inserted in lyotropic lamellar phases
3 mai, par ano.nymous@ccsd.cnrs.fr.invalid (Patrick Moreau), Patrick MoreauThe dynamic behaviour of three hydrophilic probes (two dyes and one fluorescently-labelled protein) inserted in the water layers of lyotropic lamellar phases has been studied by confocal fluorescence recovery experiments. Two different, ionic (AOT/NaCl/H$_2$O and non-ionic (...) -
[halshs-04567495] Comment les jeunes françaises insérées dans des filières scolaires « masculines » (mécanique, bâtiment…) perçoivent les attitudes et pratiques de leurs enseignant·es à l’égard de la mixité ?
3 mai, par ano.nymous@ccsd.cnrs.fr.invalid (Julie Thomas), Julie Thomas[...] -
[tel-04567491] Évaluation formative et génération de feedbacks soutenues par la technologie
3 mai, par ano.nymous@ccsd.cnrs.fr.invalid (Franck Silvestre), Franck SilvestreCe document présente une synthèse de mes travaux de recherche conduits au sein de l’Institut de Recherche en Informatique de Toulouse. Ces travaux s’inscrivent dans le champ large des recherches en Ingénierie des Environnements Informatiques pour l’Apprentissage Humain (IEIAH). Je m’intéresse (...) -
[tel-04567479] Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP
3 mai, par ano.nymous@ccsd.cnrs.fr.invalid (Simon Bliudze), Simon BliudzeThe work presented in the manuscript was carried out in the framework of the Rigorous System Design (RSD) approach. This approach emphasizes multiple levels of separation of concerns. It enforces behavioural properties through semantics-preserving transformations. The RSD flow involves (...)