Diss. Ph. D.--Colombus--Ohio state university, 1972. / Bibliogr. p. 431-447.

Les protocoles cryptographiques sont cruciaux pour sécuriser les transactions électroniques. La confiance en ces protocoles peut être augmentée par l'analyse formelle de leurs propriétés de sécurité. Bien que beaucoup de travaux aient été dédiés pour les protocoles classiques comme le protocole de Needham-Schroeder, très peu de travaux s'adressent à la classe des protocoles de groupe dont les caractéristiques principales sont : les propriétés de sécurité spécifiques qu'ils doivent satisfaire, et le nombre arbitraire des participants qu'ils impliquent. Cette thèse comprend deux contributions principales. La première traite la première caractéristique des protocoles de groupe. Pour cela, nous avons défini un modèle appelé modèle de services que nous avons utilisé pour proposer une stratégie de recherche d'attaques se basant sur la résolution de contraintes. L'approche proposée a permis de retrouver d'anciennes attaques et d'en découvrir de nouvelles sur quelques protocoles de groupe. Certaines attaques ont aussi pu être généralisées pour couvrir le cas de n participants. La deuxième contribution principale de cette thèse consiste à définir un modèle synchrone qui généralise les modèles standards de protocoles en permettant les listes non bornées à l'intérieur des messages. Ceci est assuré par l'introduction d'un nouvel opérateur appelé mpair qui représente une liste construite sur un même patron. Dans ce modèle étendu, nous avons proposé une procédure de décision pour une classe particulière des protocoles de groupe appelée classe de protocoles bien-tagués avec clefs autonomes, en présence d'un intrus actif et avec des clefs composées. / Cryptographic protocols are crucial for securing electronic transactions. The con?dence in these protocols can be increased by the formal analysis of their security properties. Although many works have been dedicated to standard protocols like Needham-Schroeder, very few address the class of group protocols whose main characteristics are : the speci?c security properties that they must satisfy, and the arbitrary number of participants they imply. This thesis provides two main contributions. The ?rst one deals with the ?rst characteristic of group protocols. For that, we de?ned a model called the services model which we used to propose a strategy for ?aws detection based on constraints solving. The suggested approach allows us to ?nd known attacks and new ones on some group protocols. Some attacks have been also generalized to cover the case of n participants. The second main contribution of this thesis consists in de?ning a synchronous model, that generalizes standard protocol models by permitting unbounded lists inside messages. This is ensured by the introduction of a new operator called mpair which represents a list built on the same pattern. In this extended model, we have proposed a decision procedure for a particular class of group protocols called the class of well-tagged protocols with autonomous keys, in presence of an active intruder and with composed keys.

L'histoire du silicium cristallin cSi et de sa forme oxydée (silice aSiO2) est intimement liée au développement des transistors depuis les années 1960. La miniaturisation de ces composants au fil du temps, permettant d'améliorer la puissance des ordinateurs avec une régularité proche de celle prédite par la loi de Moore, nécessite aujourd'hui une compréhension de la physique de ces systèmes à l'échelle nanométrique. Face aux coûts nécessaires pour réaliser des expériences à de si petites échelles, la simulation numérique – et plus particulièrement la dynamique moléculaire (MD) est un outil de premier choix. Nous appliquons ainsi, dans ce mémoire de thèse, la MD classique au cas des transistors silicium-sur-isolant (SOI), afin de déterminer la résistance thermique de l'interface cSi-aSiO2, qui peut se révéler être un facteur limitatif de la dissipation thermique dans les transistors ultrafins. Après avoir exposé le principe de la MD classique (chapitre 1) et présenté des pistes pour optimiser la recherche des voisins (chapitre 2), nous proposons dans le chapitre 3 les étapes que nous avons suivies pour former nos systèmes silicium-silice, ainsi qu'une manière de caractériser l'interface pour de tels systèmes. Enfin, dans le chapitre 4, nous développons une méthode – l'approach-to-equilibrium molecular dynamics (AEMD) –, qui nous permet d'obtenir une valeur de la résistance pour l'interface cSi-aSiO2 estimée à 3,6.10-10 m2.K.W-1. / Since the 60s, the history of crystalline silicon cSi and its oxyde (silica, aSiO2) is driven by the emergence of the new transistors. The miniaturization of these technologies, which enabled an increase in computers performances closely related to the Moore law, implies nowadays a nanometric scale comprehension of the physics in these systems. Because of the important costs of nanoscale experiments, numerical simulations and especially molecular dynamics (MD) are often used as a first-choice tool to investigate this kind of problems. In this thesis, we also apply classical MD to the case of silicon-on-insulator (SOI) transistors in order to determine the Kapitza resistance of a cSi-aSiO2 interface, which could be a source of slowdown for the thermal dissipation in ultra thin body and box (UTB²) transistors. We first expose the principle of classical MD (chapter 1) and show some ideas to optimize the neighbour search algorithms (chapter 2). In chapter 3 we explain the steps to form our silicon-silica systems and propose a way to characterize the interface. Finally, in chapter 4 we develop a method – called approach-to-equilibrium molecular dynamics (AEMD) – which allows us to estimate the value of the interfacial resistance interface to be 3.6*10-10 m2.K.W-1.

Cette thèse offre une nouvelle édition de trois documents essentiels pour l’histoire du monastère italien de Bobbio au 9e siècle : le « Breve memorationis » de l’abbé Wala (c. 835) et les polyptyques de 862 et 883. Au travers d’une analyse qui prête une attention inédite à la matérialité des documents originaux, il a été possible de mettre en évidence un certain nombre de logiques internes aux documents et de démarches d’enquête et de mise par écrit jusque là totalement ignorées par la recherche. L’importance des logiques de succession géographique des possessions a notamment été mise en évidence, en rapport direct avec la forme donnée au texte de 862 par son rédacteur. La personnalité de Wala est longuement étudiée, ainsi que l’organisation interne du monastère à laquelle son nom est associé. Enfin, le polyptyque de 883 bénéficie d’une attention nouvelle, qui permet de rédéfinir sa place et son rôle par rapport à son modèle de 862.

Les délais d'attente pour les chirurgies électives, comme le remplacement articulaire (arthroplastie) du genou, représentent un problème important de notre système de santé et leurs impacts sont mal connus. Cette thèse avait comme objectifs: 1) d'identifier, chez les patients en attente d'une arthroplastie du genou, les caractéristiques associées à des niveaux élevés de douleur et d'incapacités fonctionnelles, ainsi qu'à une faible qualité de vie; 2) d'évaluer, chez ces patients, les changements pendant l'attente préchirurgie, du moment de l'inclusion sur la liste d'attente jusqu'à la chirurgie, en termes de douleur, d'incapacités fonctionnelles et de qualité de vie; et 3) de mesurer l'effet du temps d'attente sur la douleur, les incapacités fonctionnelles et la qualité de vie six mois après l'arthroplastie du genou. Cent quatre-vingt-dix-sept patients en attente d'une arthroplastie du genou (participation:82%) ont été recrutés dans trois hôpitaux de la ville de Québec et suivis jusqu'à six mois après l'arthroplastie (suivi:92%). La douleur et les incapacités fonctionnelles ont été mesurées à l'aide du questionnaire Western Ontario and McMaster Arthritis Index (WOMAC) et la qualité de vie a été mesurée à l'aide du questionnaire SF-36. Le temps d'attente moyen était de 183 jours (écart-type= 121,9). Les participants rapportaient des niveaux élevés de douleurs et d'incapacités fonctionnelles et une faible qualité de vie au moment de leur inclusion sur la liste d'attente, et ceux présentant des douleurs au genou contralateral, ainsi qu'une détresse psychologique et un indice de masse corporelle élevés, étaient plus sévèrement atteints. Durant l'attente, les participants ont subi une détérioration de leur condition en termes de douleur et d'incapacités fonctionnelles reliées au genou à être opéré, de douleur au genou controlatéral et de qualité de vie. Six mois suivant l'arthroplastie, les participants ayant attendu plus longtemps présentaient plus de douleur au genou controlatéral et une moins bonne qualité de vie. Cette thèse démontre que les délais d'attente ont des effets délétères pour le patient, tant avant qu'après la chirurgie. L'impact négatif observé au genou controlatéral était jusqu'à maintenant inconnu et suggère que la prise en charge des patients en attente d'une arthroplastie du genou doit également tenir compte du genou controlatéral.

.

Cette thèse traite d'algorithmique des ensembles de données en adoptant le point de vue de la combinatoire analytique. On traite ici de trois problèmes qui illustrent cette approche: les listes à sauts associées à de l'analyse asymptotique bivariée, le hachage à essai aléatoire avec pagination et le comptage probabiliste. Les listes à sauts sont une structure de données intermédiaire entre les skiplists et les arbres binaires de recherche. L'étude de cette structure a donné lieu à un problème d'asymptotique bivariée avec coalescence de singularités. Le hachage avec essai aléatoire est un algorithme qui gère les collisions d'une table de hachage. Dans le contexte étudié qui est celui de la pagination, on obtient la moyenne, ainsi que tous les moments successifs du coût de construction. Les algorithmes de comptage probabilistes originaux Loglog et Super Loglog permettent d'estimer le cardinal d'un ensemble en utilisant un kilooctet de mémoire avec une précision d'environ 3%.

Nous nous intéressons à la représentation de graphes dans le prouveur Coq. Nous avons choisi de les représenter par des types coinductifs dont nous voulions explorer l'utilisation. Ceux-ci permettent de rendre succincte et élégante la représentation et d'obtenir la navigabilité par construction. Nous avons dû contourner la condition de garde dont le but est d'assurer la validité des opérations effectuées sur les objets coinductifs. Son implantation dans Coq est restrictive et interdit parfois des définitions sémantiquement correctes. Une formalisation canonique des graphes dépasse ainsi l'expressivité directe de Coq. Nous avons donc proposé une solution respectant ces limitations, puis nous avons défini une relation sur les graphes nous permettant d'obtenir la même notion d'équivalence qu'avec une représentation classique tout en gardant les avantages de la coinduction. Nous montrons qu'elle est équivalente à une relation basée sur des observations finies.

Language is an ideal tool that humans use to communicate with their fellow human beings. Thus, vocabulary plays a key role in learning French. Different methods are used in the classroom to accredit the teaching of foreign language vocabulary in middle school in Sweden. Since vocabulary learning is a slow process and does not always result in comprehensibility of words, it is therefore perfectly appropriate to provide precise vocabulary teaching. This study explores how the teacher uses the method of lexical lists for learning vocabulary for students in FLE class and which choice methods are recommended by our informants. This study is drawn upon the theories developed in the books Engelsk språkdidatik and Språkdidatik which explained already existing theories from other theorists in vocabulary learning. Also, we used the book entitled Le FLE en questions Enseigner le français langue étrangère et seconde. We have also combined Noam Chomsky's work on cognitive-based language learning into our theoretical framework. In order to be able to reach the aim and to answer the research question; a qualitative method and a quantitative method have been used in this thesis based on a survey conducted among French teachers in FLE class. The findings show that the method of lexical lists is essential in learning vocabulary. Indeed, it allows students to learn words from different themes and also revise them. Nevertheless, the method of lexical lists, alone is not sufficient in learning the vocabulary of a new language in class of FLE. Thus, it must be associated with other approaches such as reading, games, films, dialogues, presentations, quizlet and glosboken.se.

Cette thèse traite de l'effet de la fréquence des mots en rappel sériel immédiat (RSI) et différé (RSD). L'un des objectifs de cette thèse est de vérifier si l'absence d'un effet de fréquence en listes mixtes (contenant simultanément des mots rares et fréquents) est due à l'utilisation de stratégies conscientes d'encodage de la part du participant. Les résultats montrent que l'absence de l'effet de fréquence est également observée lors de l'utilisation d'une tâche de rappel incident, réfutant ainsi l'hypothèse des stratégies d'encodage. Un second objectif est de vérifier si le paradoxe des listes mixtes est présent aussi bien en RSI qu'en RSD. Les résultats obtenus montrent une très grande similitude entre ces deux paradigmes. Par ailleurs, aucune des hypothèses explicatives vérifiées ne peut rendre compte des résultats obtenus. Une hypothèse reposant sur un système d'encodage à capacité limitée où la familiarité est calculée à l'encodage est mise de l'avant.