Notre étude consiste à modéliser les connaissances des élèves de collège émanant d'activités de transformations d'expressions algébriques. Elle se base sur les traces des actions des élèves recueillies dans l'environnement informatique Aplusix. L'élève-utilisateur transforme librement des expressions algébriques, selon une consigne, en autant de pas de calcul qu'il le souhaite. La mise en place d'une bibliothèque de règles algébriques, correctes ou erronées, et d'un algorithme de diagnostic, utilisant une heuristique qui prend en compte la syntaxe et la sémantique des expressions transformées et dont la pertinence est validée, permet d'associer aux activités d'un élève une liste de ces règles, pondérées d'un coefficient d'utilisation, constituant une représentation du travail effectué. Le modèle de praxéologie-en-acte proposé pour décrire les connaissances met l'accent sur le décalage qui existe entre les techniques-en-acte utilisées par les élèves et celles préconisées et attendues par l'institution scolaire. Ce modèle permet aussi de décrire la stabilité et la persistance éventuelle de l'utilisation de ces techniques face à des expressions algébriques similaires, aussi bien dans un groupe d'élèves que chez un même élève. L'étude automatisée de milliers de pas de calcul provenant de pays différents sur trois niveaux scolaires, diagnostique la présence importante de praxis-en-acte inter-élèves, justifiées par la mobilisation de technologies-en-acte, et d'une faible proportion de praxis-en-acte intra-élève.

- Recherche en traitement d'images sur la mesure du mouvenment d'objets déformables<br>-enseignement à distance collaboratif (Campus virtuel EDEN3)<br>-formation à distance et travail distant collaboratif : quels apports des EIAH pour les remote labs, ...

En raison de l'émergence de XML, standard de facto d'échanges de données sur Internet, les problèmes liés à la régulation des accès aux documents XML a reçu une attention considérable ces dernières années. Les modèles de contrôle d'accès existants attachent des autorisations sur les nœuds du document XML, mais se désintéressent des associations entre les nœuds. Cependant, les arcs reliant les nœuds, tels que les associations de descendance ou de fraternité, peuvent révéler des informations aussi sensibles que les nœuds eux-mêmes. Notre travail de recherche a porté sur la définition d'un nouveau modèle de contrôle d'accès pour XML. La validation de notre travail a été faite dans un contexte applicatif très sensible, celui du dossier médical personnel (DMP). Le modèle proposé défend l'intégration des associations entre les nœuds comme des éléments de première classe dans les modèles de contrôle d'accès. Nos contributions portent sur :(1) la caractérisation de deux classes d'autorisation sur les associations (dépersonnalisation des ancêtres et réduction de chemin) en prenons en compte la dimension des associations de fraternité ;(2) la définition d'un formalisme à base de règles pour exprimer ces classes d'autorisation sur les associations en permettant leur intégration d'une façon très simple dans les modèles de contrôle d'accès existants,(3) validation de notre modèle par un prototype. <br />La mise en place de DMP auprès d'un hébergeur de données de santé pose des problèmes de confidentialité. En effet, l'hébergeur peut se révéler non fiable. Pour cette raison, nous avons étudié, également, des solutions pour sécuriser le partage des données sur des infrastructures non sûres.

Nous questionnons les formes des activités narratives mobiles (au cours d'un déplacement) ainsi que les formes narratives post-mobiles (après le déplacement), et les éventuelles résonnances existant entre ces deux formes d'activités situées dans des temps différents.

Le présent travail de thèse cible essentiellement les questions relatives aux effets de l'instabilité socio-politique et de conflits internes sur l'offre et la demande d'éducation. <br />Il présente au préalable une analyse comparative qui indique que les pays pour lesquels le développement de l'éducation a été remarquable, sont ceux qui ont bénéficié de la paix civile. <br />Ensuite, par une démarche historique et socio-politique, l'étude de l'évolution de l'école depuis sa création en Centrafrique montre que de multiples facteurs ont influencé au fil du temps le développement de l'éducation. <br />Enfin, l'analyse des conséquences des troubles que le pays a connus à partir du début des années 90, révèle une déliquescence quasi-totale de l'enseignement primaire. Dans l'optique de sa reconstruction, ce travail propose des solutions alternatives à la lumière des analyses et des expériences éducatives menées dans des pays analogues en situation d'urgence. <br />Toutefois, les propositions d'actions et de stratégies éducatives avancées qui ne prétendent ni à l'exhaustivité, ni à l'efficacité certaine, devraient être expérimentées afin d'aider à la formulation d'une politique éducative mieux adaptée en Centrafrique.

Au sein du département RFS (Radio Frequency Solutions) de Thales Systèmes Aéroportés sont conçus des modules d'émission-réception utilisés dans des applications radar et guerre électronique. Les fonctions hyperfréquences élémentaires (amplification, atténuation, mélange,...), réalisées en technologie MMIC, sont mises en boîtier et interconnectées. Ceci constitue l'architecture du module et doit assurer une protection (vis-à-vis de l'atmosphère et de la CEM) ainsi qu'une souplesse de montage mécanique et au final une réduction des coûts de fabrication. L'architecture des modules devient ainsi la clé de voûte de systèmes complexes tels que les antennes à balayage électronique développée au sein de ce département. <br /><br />Les outils de simulation doivent évoluer dans le but de prévenir les effets parasites, dus aux boîtiers et interconnexions, susceptibles d'apparaître. Les logiciels de simulation EM sont recommandés de par les géométries complexes des architectures des modules. Malheureusement, les simulateurs EM sont limités par leur incapacité à traiter simultanément les boîtiers et circuits actifs qu'ils protègent. C'est pour cette raison qu'un outil de simulation EM global adapté à ce type de simulation et aux besoins industriels a été proposé, validé et exploité au cours de cette thèse. <br /><br />La méthode choisie est une implémentation de l'approche de compression, qui associe deux logiciels commerciaux de façon séquentielle. Ceci est permis par une procédure de calibrage numérique des ports internes qui fait l'interface entre les environnements de simulation EM et circuit. Cette approche modulable est rapide car elle ne requiert qu'une seule simulation EM pour de nombreuses simulations. La modification des circuits actifs ou des études de dispersion sont aisément envisageables. Cette approche est basée sur l'hypothèse de localisation. Une validation approfondie de cette hypothèse permet de conclure à la nécessité d'indépendance intrinsèque des éléments localisés vis-à-vis de l'environnement pour un bon fonctionnement de l'approche de compression. Cette hypothèse est confirmée grâce à l'application de l'approche de compression à des niveaux d'échelle différents (à l'échelle du boîtier ou du MMIC). <br /><br />L'approche de compression proposée a été validée sur des structures complexes de boîtiers intégrant des amplificateurs MMIC, en régime linéaire ainsi que non-linéaire. L'influence des transitions, éléments d'interconnexion et du couplage EM, est parfaitement prise en compte par cet outil de simulation. Des règles de conception sur les dimensions des boîtiers (hauteur, largeur, positionnement des puces, ...), des transitions et interconnexions sont déduites des simulations.

Grâce à l'évolution de la technologie des semi-conducteurs, aujourd'hui on peut intégrer sur une seule puce ce qu'on mettait sur plusieurs puces ou cartes il y a une dizaine d'années. Dans un futur proche, cette évolution permettra l'intégration de plus de 100 Mbits de DRAM et 200 millions de portes logiques dans la même puce. D'après les prévisions de l'association d'industrie de semi-conducteur et d'ITRS, les mémoires embarquées continueront de dominer la surface des systèmes monopuces dans les années qui viennent, à peu près 94 % de la surface totale en 2014.<br />La conception à base de réutilisation d'IP mémoire est survenue pour réduire le fossé entre cette grande capacité d'intégration et la faible production de mémoire. Cette solution peut être idéale dans le cas d'une architecture homogène où tous les éléments ont les mêmes interfaces et utilisent les mêmes protocoles de communication, ce qui n'est pas le cas pour les systèmes monopuces. Pour rendre cette solution efficace, le concepteur doit consacrer beaucoup d'efforts pour la spécification et l'implémentation des interfaces logiciel-matériel. Vu la pression du temps de mise sur le marché (" time to market "), l'automatisation de la conception de ces interfaces d'adaptation est devenue cruciale.<br />La contribution de cette thèse concerne la définition d'une méthode systématique permettant la conception des interfaces logiciel-matériel spécifiques aux mémoires globales. Ces interfaces correspondent à des adaptateurs matériels flexibles connectant la mémoire au réseau de communication, et à des pilotes d'accès adaptant le logiciel de l'application aux processeurs cibles. Des expériences sur des applications de traitement d'images ont montré un gain de temps de conception important et ont prouvé la flexibilité de ces interfaces ainsi que leur faible surcoût en surface et en communication.

Le but de l'expérience virgo est la detection des ondes gravitationnelles<br />avec un interferomètre de michelson ayant des bras de trois kilomètres de long.<br />L'objet de cette thèse est le banc de detection, c'est-à-dire l'ensemble des<br />éléments nécessaires à la détection du signal en sortie de l'interferomètre.<br />La première fonction du banc de détection consiste à filtrer le faisceau issu<br />de l'interferomètre afin d'en améliorer le contraste et donc d'augmenter la<br />sensibilité de la mesure. L'élément permettant de réaliser ce filtrage est une<br />cavité optique résonnante accordée sur le mode fondamental du laser grâce à un<br />contrôle actif de sa longueur. L'étude, la conception de cette cavité et la<br />validation de la technique d'asservissement testée sur un prototype sont exposées<br />dans cette thèse. La seconde fonction du banc de détection est de collecter la<br />lumière issue de l'interferomètre. Différents photodétecteurs ont été testés afin<br />de sélectionner une photodiode repondant aux critères de l'expérience. Ces tests<br />ont abouti au choix d'une photodiode ingaas ayant un diamètre de trois millimètres<br />capable de répondre linéairement à une puissance lumineuse incidente de cent<br />milliwatts et ayant une haute efficacite quantique (86%). La dernière fonction<br />essentielle qui est l'alignement et l'adaptation du faisceau incident sur le banc<br />de détection a elle aussi été etudiée. L'ensemble de ce travail a permis de definir<br />la configuration générale du banc de détection.

Cette thèse (financée par l'INRIA) s'est déroulée au sein du laboratoire ID-imag (sous les tutelles : CNRS (UMR 5132) - INRIA - INPG - UJF) dont l'un des axes de recherche est la conception d'applications parallèles et de techniques pour l'exploitation de machines parallèles. La mise au point, tant pour la correction que pour les performances, de telles applications est nécessaire à l'exploitation efficace d'architectures de type grappes. Notre approche du débogage pour les performances se base sur l'observation comportementale de l'exécution des programmes, reconstituée à partir de traces d'exécution, cette observation étant facilitée par l'utilisation d'outils de visualisation. L'objectif de cette thèse est l'étude de méthodes permettant d'enregistrer facilement des traces d'exécution de programmes parallèles pour une grande variété de modèles de programmation parallèle ou distribuée, d'interfaces de programmation ainsi que d'outils de visualisation. Nous nous appuyons pour cela sur des formats adaptables pour l'enregistrement et l'exploitation de traces d'exécution. Afin de permettre l'adaptation du système de traçage à divers modèles de programmation, nous utilisons un format de trace brut élémentaire sans sémantique intrinsèque. Ce format brut présente l'avantage d'être compact et facilement adaptable aux programmes des utilisateurs et à leurs contraintes. L'utilisateur du système de traçage peut définir les événements à observer ainsi que les types des paramètres qui leurs sont associés. Les outils de visualisation ou d'analyse utilisent généralement des formats élaborés plus expressifs. La distinction des formats implique donc l'utilisation d'un système de conversion pour passer de l'un à l'autre. Ces formats étant adaptables, la conversion doit de plus être configurable. Nous avons donc conçu un système de conversion, paramétrée à l'aide de règles de réécriture, permettant d'apporter une sémantique aux événements bruts. À l'aide de ce système flexible de traçage et de conversion, nous avons pu visualiser des exécutions de programmes mettant en oeuvre les divers niveaux d'abstractions d'un intergiciel multicouche pour la programmation parallèle.

En partant de la problématique posée par l'insertion des dispositifs d'enseignement et de formation basés sur les Technologies de l'Information et de la Communication (TIC), nous avons, au cours de ce travail de recherche, voulu comprendre les raisons et les motifs favorisant ou s'opposant à l'efficacité de ces dispositifs. Nous avons posé l'hypothèse que la complexité du dispositif peut être appréhendée et comprise en le divisant en sous-systèmes, appelés aussi axes. A partir de ce découpage du dispositif en axes élémentaires s'inscrivant dans les dimensions sociologique, pédagogique, technologique et organisationnelle, nous avons déterminé les Effets Attendus Spécifiques et les critères associés à chacun de ces axes dans une situation d'insertion idéale. En nous référant à ces critères, nous avons ensuite mené des enquêtes auprès des acteurs, les enseignants, les apprenants et les dirigeants, d'un dispositif TICE en place dans une école d'ingénieur française. Ces enquêtes de terrain ont révélé des incertitudes et des attentes ressenties par les acteurs plutôt que des freins ou des résistances. L'analyse des résultats montre que la réussite de l'insertion repose d'abord sur les trois acteurs, l'institution, les enseignants, les apprenants, et sur les relations qu'ils entretiennent et les réponses qu'ils s'apportent à leurs questions et attentes respectives. Nous avons également pu relever que les dimensions organisationnelle et sociologique sont primordiales, du fait des rôles joués ou attendus de la part de ces différents acteurs, et que ces dimensions constituent les prérequis aux actions et aux réponses à donner dans les dimensions pédagogique et technologique. Enfin, nous avons pu mettre en évidence les interdépendances entre ces axes, chacun d'eux pouvant favoriser ou pénaliser les Effets Attendus Spécifiques des autres axes, ce qui oblige le concepteur à considérer ces axes de manière globale dans sa démarche d'insertion du dispositif.