Thèse doctorat : Images & Systèmes : Villeurbanne, INSA : 2004. / En annexe, publications de l'auteur sous forme d'articles de périodiques. Titre provenant de l'écran-titre. Bibliogr. p. 61-75.

Thèse doctorat : Productique : Automatique et Informatique industrielle : Lille 1 : 2003. / N° d'ordre (Lille 1) : 3424. Pagination ajoutée entre crochets pour les annexes et la bibliographie. Bibliogr. 12 p.

Thèse d'exercice : Médecine. Anesthésie-réanimation : Paris 12 : 2007. / Titre provenant de l'écran-titre. 61 f. : ill. Bibliogr. f. 58-61.

Reproduction de : Thèse d'exercice : Médecine. Anesthésie-Réanimation : Paris 12 : 2008. / Thèse consultable uniquement au sein de l'Université Paris 12 (Intranet). Titre provenant de l'écran-titre. Bibliogr. f. 17-20.

Reproduction de : Thèse d'exercice : Médecine : Nancy 1 : 2006. / Titre provenant de l'écran-titre.

Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'un langage de programmation à la fois sûr et "secure" (garantissant la sécurité des données), fondé sur une sémantique formelle claire et simple, tout en étant adapté aux architectures multi-cœur. Nous avons adopté le paradigme synchrone, dans sa variante réactive, qui fournit une alternative simple à la programmation concurrente standard en limitant l'impact des erreurs dépendant du temps ("data-races"). Dans un premier temps, nous avons considéré un langage réactif d'orchestration, DSL, dans lequel on fait abstraction de la mémoire (Partie 1). Dans le but de pouvoir traiter la mémoire et la sécurité, nous avons ensuite étudié (Partie 2) un noyau réactif, CRL, qui utilise un opérateur de parallélisme déterministe. Nous avons prouvé la réactivité bornée des programmes de CRL. Nous avons ensuite équipé CRL de mécanismes pour contrôler le flux d'information (Partie 3). Pour cela, nous avons d'abord étendu CRL avec des niveaux de sécurité pour les données, puis nous avons défini dans le langage étendu, SSL, un système de types permettant d'éviter les fuites d'information. Parallèlement (Partie 4), nous avons ajouté la mémoire à CRL, en proposant le modèle DSLM. En utilisant une notion d'agent, nous avons structuré la mémoire de telle sorte qu'il ne puisse y avoir de "data-races". Nous avons également étudié l'implémentation de DSLM sur les architectures multi-cœur, fondée sur la notion de site et de migration d'un agent entre les sites. L'unification de SSL et de DSLM est une piste pour un travail futur.

L'étude de cette thèse est focalisée sur la compréhension des caractéristiques du transport dans des systèmes granulaires cœur - coquille (cobalt - cobalt oxyde). Nous avons étudié le comportement magnétique et de transport de notre système granulaire ferromagnétique/antiferromagnétique. Les agrégats de cobalt de 4 nm sont fabriqués par une source à pulvérisation magnétron et condensation en phase vapeur. Lorsque les agrégats sont oxydés pendant le dépôt ils adoptent une géométrie en cœur - coquille avec un cœur icosaédrique et une coquille CoO de structure cfc. Après le dépôt, les agrégats sont caractérisés par différentes méthodes. In situ, elles sont caractérisées en fonction de la quantité déposée par le spectromètre à temps vol. Ex situ, elles sont analysées par le SQUID (mesure magnétique) et par les mesures de transport. Plusieurs caractéristiques de nos échantillons ont été mises en évidence lors de l'analyse magnétique. Trois propriétés magnétiques nous intéressent principalement. La première est le couplage d'échange F/AF, étudié sur l'ensemble des agrégats de cobalt avec différents pourcentages d'oxydation (entre 33% de CoO et 95% de CoO). Nous avons constaté que l'effet maximum est obtenu pour l'échantillon le plus oxydé à cause de l'augmentation de la coquille d'oxyde. La deuxième propriété magnétique concerne la présence d'un superparamagnétisme modifié par l'interaction d'échange entre le cœur et la coquille. La troisième est l'effet de traînage qui se manifeste le plus souvent par une diminution du décalage d'échange et du champ coercitif après plusieurs mesures successives. Ce phénomène est dû à une instabilité de la configuration magnétique obtenue lors du refroidissement sous champ mais il est cependant difficile d'identifier l'origine exacte. Les propriétés de transport de notre système sont mises en évidence par l'étude de la résistivité, de la magnétorésistance et de la résistance du Hall en fonction de la température et du champ magnétique appliqué. La variation de la résistivité avec la température présente un minimum et qu'elle varie très peu avec la température. Ce comportent est typique des systèmes transitoires, se situant entre le régime métallique et le régime isolant. La faible magnétorésistance varie très peu avec la température. Son amplitude ne dépasse pas 0.1% dans tous les alliages granulaires mesurés. Le système étudié est caractérisé par une résistivité de Hall extraordinaire positive à toutes les températures de mesure.

Dans le domaine de l'extraction de motifs, il existe un grand nombre d'algorithmes pour résoudre une large variété de sous problèmes sensiblement identiques. Cette variété d'algorithmes freine l'adoption des techniques d'extraction de motifs pour l'analyse de données. Dans cette thèse, nous proposons un formalisme qui permet de capturer une large gamme de problèmes d'extraction de motifs. Pour démontrer la généralité de ce formalisme, nous l'utilisons pour décrire trois problèmes d'extraction de motifs : le problème d'extraction d'itemsets fréquents fermés, le problème d'extraction de graphes relationnels fermés ou le problème d'extraction d'itemsets graduels fermés. Ce formalisme nous permet de construire ParaMiner qui est un algorithme générique et parallèle pour les problèmes d'extraction de motifs. ParaMiner est capable de résoudre tous les problèmes d'extraction de motifs qui peuvent ˆtre décrit dans notre formalisme. Pour obtenir de bonne performances, nous avons généralisé plusieurs optimisations proposées par la communauté dans le cadre de problèmes spécifique d'extraction de motifs. Nous avons également exploité la puissance de calcul parallèle disponible dans les archi- tectures parallèles. Nos expériences démontrent qu'en dépit de la généricité de ParaMiner ses performances sont comparables avec celles obtenues par les algorithmes les plus rapides de l'état de l'art. Ces algorithmes bénéficient pourtant d'un avantage important, puisqu'ils incorporent de nombreuses optimisations spécifiques au sous problème d'extraction de motifs qu'ils résolvent.

Doktorarbeit--Katholisch-theologische Fakultät--Albert-Ludwigs-Universität Freiburg i. Br., 1990.

Diss.--Philosophische Fakultät--Köln, 1980. / Bibliogr. p. 197-208.