Дисертації з теми "Types of classes"

Les systèmes basés sur la Théorie des Types prennent une importance considérable tant pour la vérification de programmes qu'en tant qu'outils permettant la preuve formelle de théorèmes mettant en jeu des calculs complexes. Ces systèmes nécessitent aujourd'hui une grande expertise pour être utilisés efficacement. Nous développons des constructions de haut niveau permettant d'utiliser les langages basés sur les théories des types dépendants aussi simplement que les langages de programmation fonctionnels usuels, sans sacrifier pour autant la richesse des constructions disponibles dans les premiers. Nous étudions un nouveau langage permettant l'écriture de programmes certifiés en ne donnant que leur squelette algorithmique et leur spécification. Le typage dans ce système donne lieu à la génération automatique d'obligations de preuve pouvant être résolues a posteriori. Nous démontrons les propriétés métathéoriques essentielles du système, dont les preuves sont partiellement mécanisées, et détaillons son implémentation dans l'assistant de preuve Coq. D'autre part, nous décrivons l'intégration et l'extension d'un système de "Type Classes" venu d'Haskell à Coq via une simple interprétation des constructions liées aux classes dans la théorie des types sous-jacente. Nous démontrons l'utilité des classes de types dépendantes pour la spécification et la preuve et présentons une implémentation économique et puissante d'une tactique de réécriture généralisée basée sur les classes. Nous concluons par la mise en œuvre de l'ensemble de ces contributions lors du développement d'une bibliothèque certifiée de manipulation d'une structure de données complexe, les "Finger Trees"
Systems based on dependent type theory are getting considerable attention for the verification of computer programs as well as a practical tool for developing formal mathematical proofs involving complex and expensive computations. These systems still require considerable expertise from the users to be used efficiently. We design high-level constructs permitting to use languages based on dependent type theory as easily as modern functional programming languages, without sacrificing the powerful constructs of the former. We study a new language allowing to build certified programs while writing only their algorithmical squeleton and their specification. Typing in this system gives rise to proof obligations that can be handled interactively a posteriori. We demonstrate the main metatheoretical results on this system, whose proofs are partially mechanized, and present its implementation in the Coq proof assistant. Then we describe an integration and extension of the type classes concept à la Haskell into Coq, providing a simple interpretation of the constructs linked with type classes into the underlying dependent type theory. We demonstrate the usefulness of these dependent type classes for specifications and proofs and present an economical yet powerful implementation of a generalized rewriting tactic based on them. We conclude by employing these contributions in the development of a certified library of a complex data structure called Finger Trees

Thèse (M.A.) - Université du Québec à Trois-Rivières, 1998.
Le résumé et la table des matières sont disponibles en format électronique sur le site Web de la bibliothèque. CaQTU Bibliographie : f. 74-79.

Les systèmes basés sur la Théorie des Types prennent une importance considérable tant pour la vérification de programmes qu'en tant qu'outils permettant la preuve formelle de théorèmes mettant en jeu des calculs complexes. Ces systèmes nécessitent aujourd'hui une grande expertise pour être utilisés efficacement. Nous développons des constructions de haut niveau permettant d'utiliser les langages basés sur les théories des types dépendants aussi simplement que les langages de programmation fonctionnels usuels, sans sacrifier pour autant la richesse des constructions disponibles dans les premiers. Nous étudions un nouveau langage permettant l'écriture de programmes certifiés en ne donnant que leur squelette algorithmique et leur spécification. Le typage dans ce système donne lieu à la génération automatique d'obligations de preuve pouvant être résolues a posteriori. Nous démontrons les propriétés métathéoriques essentielles du système, dont les preuves sont partiellement mécanisées, et détaillons son implémentation dans l'assistant de preuve Coq. D'autre part, nous décrivons l'intégration et l'extension d'un système de "Type Classes" venu d'Haskell à Coq via une simple interprétation des constructions liées aux classes dans la théorie des types sous-jacente. Nous démontrons l'utilité des classes de types dépendantes pour la spécification et la preuve et présentons une implémentation économique et puissante d'une tactique de réécriture généralisée basée sur les classes. Nous concluons par la mise en œuvre de l'ensemble de ces contributions lors du développement d'une bibliothèque certifiée de manipulation d'une structure de données complexe, les "Finger Trees".

Thesis (M.A.)--University of Nevada, Reno, 2005.
"May, 2005." Includes bibliographical references (leaves 47-49). Online version available on the World Wide Web. Library also has microfilm. Ann Arbor, Mich. : ProQuest Information and Learning Company, [2005]. 1 microfilm reel ; 35 mm.

Les mécanismes régulant la génération des différents types neuronaux du système nerveux pendant le développement des vertébrés sont encore mal connus. Au cours de cette thèse, la composition et l’organisation des clones de neurones générés par des cellules progénitrices rétiniennes (RPC) individuelles ont été étudiées chez le poulet avec la stratégie Brainbow. Celle-ci permet de marquer de façon permanente les RPC avec des combinaisons de couleurs distinctes pour suivre leur lignage. Des approches ont été développées pour : 1) déclencher le marquage Brainbow à différents stades de développement ou dans des RPC spécifiques ; 2) caractériser en 3D l’organisation cellulaire des clones rétiniens et identifier les types cellulaires générés. Une dispersion tangentielle inédite des RPC a été mise en évidence dans le neuroépithélium rétinien avant la phase de neurogenèse, conduisant à l’intercalation uniforme des clones. La composition des clones a été analysée pour comprendre si les RPC précoces pourraient être biaisées à générer certains types neuronaux et contribuer par leur intercalation à leur répartition régulière dans la rétine. Ce travail a permis l'étude des potentialités d’une population de progéniteurs neuraux et l’exploration des liens entre développement précoce et organisation d’un tissu par de nouvelles approches applicables à des problématiques variées
The mechanisms regulating the generation of the different types of neurons of the vertebrate nervous system during development are still poorly understood. In this thesis, the composition and organization of clones of neurons generated by retinal progenitor cells (RPCs) in chicken embryos were characterized with the Brainbow strategy. This technique enables to permanently label RPCs with distinct colour combinations in order to individually track their lineage. New approaches were developed to: 1) trigger Brainbow labels at different stages of development or in genetically identified RPCs; 2) characterize in 3D the organization of retinal clones and identify the neuronal types that they comprise. My results provide evidence for a previously uncharacterized phase of tangential dispersion of RPCs in the retinal neuroepithelium before neurogenesis, leading to uniform intercalation of retinal clones. The composition of these clones was analyzed to understand whether early RPCs could be biased to generate certain neural types and, through intercalation, contribute to their regular distribution in the retina. This study sheds light on the potentialities of a population of neural progenitors and on the possible links between the early development and mature cellular organization of a tissue through new approaches applicable to diverse problematics

Dans ce mémoire, après avoir défini le concept de déploiement, nous obtenons les variables des algèbres amassées et les classes de mutations associées aux carquois valués de types B et C en ramenant l'étude de ces concepts à celle des familles A et D, respectivement.

Dans cette thèse, nous présentons une analyse syntaxique du vietnamien de Hô-Chi-Minh-Ville, dans la lignée de la syntaxe fonctionnelle mise en place par André Martinet et développée par la suite par ses continuateurs. Dans un premier temps, nous nous sommes intéressée au degré d’opposition verbo-nominal en vietnamien : nous proposons tout d’abord une synthèse des travaux menés à ce sujet, avant d’exposer notre analyse en classes, en nous appuyant sur des critères strictement syntaxiques. Une étude syntaxique détaillée des modalités (déterminants non déterminables) – les modalités nominalisantes, les modalités de degré, les modalités prédicatives et les modalités injonctives – a été nécessaire. Ces unités permettent de distinguer des comportements différents, et l’identification des grandes classes lexicales du vietnamien : nominaux, adjectifs, modaux et verbaux. Il apparait que ces classes d’unités s’organisent en un continuum, avec à un pôle les nominaux, à l’autre les verbaux. Dans un second temps, l’analyse porte sur les différents types de structures prédicatives du vietnamien. La variété des constructions – nucléaires et connectives – est au centre de l’étude, ainsi que l’identification des différentes fonctions. Enfin, nous exposons une analyse des “séries verbales”, phénomène très courant en vietnamien, mais décrivant en fait des réalités très diverses. Tout au long de l’analyse, nous accordons une importance particulière à la variation et aux zones de changements (réanalyses, lexicalisations, grammaticalisations), faisant état de la dynamique des différentes structures et de la langue elle-même
We present here a syntaxic analysis of the Vietnamese language spoken in Ho Chi Minh City, in line with the functional syntax introduced by André Martinet and developed later by his followers. In a first part, we examined the extent of noun/verb opposition in Vietnamese. After a synthesis of work on this subject, we present our own analysis of the lexical classes, relying on strictly syntactic criteria. A detailed study of the syntactic modalités (undeterminable determinants) - nominalizing undeterminable determinants, undeterminable determinants of degree, predicative undeterminable determinants and injunctive undeterminable determinants - was necessary. These units are used to distinguish different behaviors, and leads to the identification of major lexical classes in Vietnamese: nominals, adjectives, modals and ‘verbals’. It appears that these classes of units are organized along a continuum. In a second part, the analysis focuses on the different types of predicative structures in Vietnamese. The variety of structures - nuclear and connective - is central to the study as well as the identification of the different functions. Finally, we present an analysis of "serial verb constructions" very common in Vietnamese, but actually reflecting very different realities. Throughout this study, we pay particular attention to the variation and change (reanalysis, lexicalizations, grammaticalizations), referring to the dynamics of the various structures and of the Vietnamese language itself

Les modèles de connaissances à objets (MCO) souffrent d'une surcharge dans l'utilisation de leur langage de représentation associé. Si ce langage a pour objectif d'être adapté à la représentation informatique d'un domaine d'application, nous montrons qu'il n'est pas pertinent de l'utiliser pour définir des structures de données, certes utiles pour la représentation du domaine, mais dépourvues de signification directe dans ce domaine (ex. une matrice dans le domaine de l'astronomie). Cette thèse propose un système de types à deux niveaux, appelé METÈO. Le premier niveau de METÈO est un langage pour l'implémentation de types abstraits de données (ADT) qui sont nécessaires à la description minimale des éléments pertinents du domaine d'application. Ainsi, METÈO libère le langage de représentation d'une tâche à laquelle il n'a pas à s'adapter. Le second niveau de METÈO traite de l'affinement des ADT opéré dans la description des objets de représentation. Nous rappelons les deux interprétations des objets de représentation: l'intension d'un objet est une tentative de description de ce que cet objet dénote dans le domaine d'application: son extension. L'équivalence généralement admise entre ces deux aspects de l'objet est une illusion, et contribue de plus à annihiler une des véritables finalités d'un modèle de connaissances: aider une caractérisation des plus précises d'un domaine d'application. Ainsi, les types du second niveau de METÈO s'attachent à la représentation et la manipulation des intensions des objets, indépendamment de leurs extensions. L'interprétation en extension des objets est effectuée par l'utilisateur, METÈO gère en interne les descriptions de ces objets alors dénuées de leur signification, et le MCO peut alors se concentrer sur la coopération entre ces deux aspects des objets, considérés non-équivalents dans cette étude. METÈO contribue ainsi à clarifier le rôle de chaque partenaire impliqué dans la construction et l'exploitation d'une base de connaissances. Plus généralement, METÈO jette un pont entre les spécificités des MCO et les techniques usuelles de programmation de structures de données manipulables. Un prototype de METÈO a été développé pour un couplage avec le MCO TROPES

Самостоятельная работа студентов занимает большую долю времени изучения курса и подготовки курсовых, рефератов и контрольных работ. Однако участие преподавателя необходимо для закрепления полученных знаний и проведения контроля для оценки знаний, и выполненных работ по темам курса. Главная задача самостоятельной работы студентов – это развитие умения приобретения научных знаний путем личного поиска информации, формирования активного интереса к творческому подходу в учебной работе и при выполнении курсовых работ, рефератов и в заключении обучения – дипломной работы.

L'objectif de cette étude est de savoir si le développement de la communication présente des spécificités chez les enfants déficients intellectuels et de repérer la part du non verbal dans ce développement. Il s'agit aussi d'analyser les modalités d'interaction chez les enfants tout-venant et les enfants déficients intellectuels, plus précisément d'analyser les manifestations multimodales propres à ces interactions. Postulant en hypothèse générale que ces interactions varient selon le type de dyade formé, nous avons choisi trois types de dyades, tout-venant/tout-venant (TV-TV), déficient/déficient (DI-DI), et tout-venant/déficient (TV-DI). Cette étude montre l'intérêt de l'utilisation d'une évaluation communicative multimodale afin d'étayer des hypothèses relevant de la psychologie développementale générale et différentielle et afin d'orienter les interventions. Nous pouvons en effet, relever quelques implications éducatives de cette forme de comparaison et d'évaluation : la lecture multimodale ou pluridimensionnelle des comportements communicatifs émis ; la mise en évidence de compétence communicative et adaptative spécialement chez les DI ; le repérage de stratégies communicatives facilitant le diagnostic et l'ajustement des comportements éducatifs dans le cadre de réalisation de tâche coopérative et d'interactions avec des partenaires familiers ou non familiers

Cette thèse présente des avancées dans l'utilisation des Structures Canoniques, un mécanisme du langage de programmation de l'assistant de preuve Coq, équivalent à la notion de classes de types. Elle fournit un nouveau modèle pour le développement de hiérarchies mathématiques à l'aide d'enregistrements dépendants, et, en guise d'illustration, fournit une reformulation de la preuve formelle de correction du cryptosystème RSA, offrant des méthodes de raisonnement algébrique ainsi que la représentation en théorie des types des notions mathématiques nécessaires (incluant les groupes cycliques, les groupes d'automorphisme, les isomorphismes de groupe). Nous produisons une extension du mécanisme d'inférence de Structures Canoniques à l'aide de types fantômes, et l'appliquons au traitement de fonctions partielles. Ensuite, nous considérons un traitement générique de plusieurs formes de définitions de sous-groupes rencontrées au long de la preuve du théorème de Feit-Thomspon, une large librairie d'algèbre formelle développée au sein de l'équipe Mathematical Components au laboratoire commun MSR-INRIA. Nous montrons qu'un traitement unifié de ces 16 sous-groupes nous permet de raccourcir la preuve de leur propriétés élémentaires, et d'obtenir des définitions offrant une meilleure compositionnalité. Nous formalisons une correspondance entre l'étude de ces fonctorielles, et des propriété de théorie des groupes usuelles, telles que représentées par la classe des groupes qui les vérifie. Nous concluons en explorant les possibilités d'analyse de la fonctorialité de ces définitions par l'inspection de leur type, et suggérons une voie d'approche vers l'obtention d'instances d'un résultat de paramétricité en Coq.

Dans ce travail on s’intéresse à deux types de classes de problèmes aux limites et de transmission régis par des EDP: l’un posé dans un corps joint à une couche mince et l’autre dans deux corps joints par une colle d’épaisseur petite δ. Le cadre de travail choisi est les espaces de Hölder. Dans la première classe on s’intéresse au problème pour δ fixé et dans la deuxième au problème limite c'està-dire quand δ tend vers zéro. Grâce aux techniques liées aux équations différentielles opérationnelles d'ordre deux de type elliptique, on analyse et on résout ces problèmes en donnant des résultats optimaux sur les solutions (existence, unicité et régularité maximale). Pour ces deux classes, l’effet de la couche est complètement caractérisé et explicité (c’est l’effet d’impédance). Ce dernier est très utile pour la résolution numérique dans les applications concrètes
In this work, two types of classes are presented: boundary value problems and transmission governed by EDP. The first one posed in two bodies of which one is a thin layer and the other in two bodies joined by an adhesive small thickness δ. The study is performed in the Hölder spaces. In the first problem: for δ fixed and in the second we study the limiting problem, i. E. When delta tends to zero. Thanks to the techniques related by the operational differential equations, we analyse and solve these problems and we give optimal results on the solutions(existence, uniqueness and maximal regularity). For these two classes, the effectlay is completely characterized and clarified (it is the effect of impedance). This last is very useful for the numerical resolution in the concrete applications

Dans les études de cohorte, le plus souvent les modèles utilisés supposent que la population d’étude suit un profil moyen d’évolution. Cependant dans de nombreux cas, comme pour les ataxies spinocérébelleuses (SCA), il n’est pas rare qu’une hétérogénéité soit suspectée. Cette hétérogénéité pourrait aussi être influencée par d’autres évènements intercurrents : évolution conjointe d’un second phénotype ou survenue d’un évènement tel la sortie d’étude ou le décès. Dans la première partie de cette thèse, nous avons analysé l’évolution de l’IMC des patients SCA et identifié des profils d’évolution différente de l’IMC. Nous avons identifié 3 sous-groupes d’évolution de l’IMC: diminution (23% des patients), augmentation (18%) et stable (59%); et que les patients qui baissent leur IMC progressent plus rapidement. Dans la seconde partie, nous avons étudié la survie des patients SCA. Nous avons montré qu’elle est différente selon le génotype. La survie est plus courte chez les SCA1, intermédiaire chez les SCA2 et SCA3, et plus longue chez les SCA6. Enfin, nous avons évalué l’impact à long-terme de la progression de l’ataxie sur la survie. Nous avons montré que la progression de l’ataxie est associée à une survie plus courte quel que soit le génotype. Uniquement chez les patients SCA1, nous avons identifié trois sous-groupes de patients homogènes en termes de progression de la maladie et de risque de décès
In cohort studies, most often the models used assume that the study population follows an average pattern of evolution. However, in many cases, such as for spinocerebellar ataxias (SCA), it is not uncommon for heterogeneity to be suspected. This heterogeneity could also be inuenced by other intercurrent events for example joint evolution of a second phenotype or occurrence of an event such as dropout or death. In the first part of this thesis, we analyzed the evolution of the BMI of SCA patients and looked for different evolution profiles of BMI. We identified 3 subgroups of BMI evolution: decrease (23% of patients), increase (18%) and stable (59%) ; and we have shown that patients who lower their BMI are faster disease progression. In the second part, we studied the survival of SCA patients and developed a prognostic nomogram. We have shown that it is different according on the genotype. Survival is shorter in SCA1, intermediate in SCA2 and SCA3, and longer in SCA6. Finally, we assessed the long-term impact of ataxia progression on survival. We have shown that progression of ataxia is associated with shorter survival regardless of genotype. Only in SCA1 patients, we identified three subgroups of homogeneous patients in terms of disease progression and risk of death

Type classes, first proposed during the design of the Haskell programming language, extend standard type systems to support overloaded functions. Since their introduction, type classes have been used to address a range of problems, from typing ordering and arithmetic operators to describing heterogeneous lists and limited subtyping. However, while type class programming is useful for a variety of practical problems, its wider use is limited by the inexpressiveness and hidden complexity of current mechanisms. We propose two improvements to existing class systems. First, we introduce several novel language features, instance chains and explicit failure, that increase the expressiveness of type classes while providing more direct expression of current idioms. To validate these features, we have built an implementation of these features, demonstrating their use in a practical setting and their integration with type reconstruction for a Hindley-Milner type system. Second, we define a set-based semantics for type classes that provides a sound basis for reasoning about type class systems, their implementations, and the meanings of programs that use them.

Repetitions in child-directed speech (CDS) have been shown to vary over time, and are suggested to affect first language acquisition. Correlations between verbal contents of repetitions in CDS and children’s language development have been suggested. The verbal contents of repetitions in Swedish CDS have not yet been investigated. The aim of this study was to examine the verbal contents of repetitions in Swedish CDS during the child’s first 2 years and possible changes in proportions of repetitions during the same time span. Verbal contents of repetitions in parents’ speech in 10 parent-child dyads as the children were 3, 6, 9, 12 and 24 months old were investigated focusing on word classes, sentence types and whole-constituent change. The results were compared to the children’s productive vocabularies at the age of 30 months. Possible occurrences of item-based constructions and frequent frames in the repetitions were also examined. The overall results revealed patterns concerning change in verbal contents in repetitions over time and correlations between verbal contents in repetitions and child language development. Two proposals were made: parents adjust the complexity of their speech to linguistic developmental stages of their children, and linguistic variation in the input increases as the child grows older.
Repetitioner i barnriktat tal (BRT) har visat sig variera över tid, och har föreslagits påverka förstaspåksinlärning. Även ett samband mellan det verbala innehållet i repetitioner i BRT och barns språkutveckling har föreslagits. Det verbala innehållet i repetitioner i svenskt BRT har inte undersökts tidigare. Syftet med denna studie var att undersöka det verbala innehållet i repetitioner i svenskt BRT under barnets två första år och möjliga förändringar gällande andelen repetitioner under samma tidsperiod. Det verbala innehållet i repetitioner i föräldrars tal hos tio förälder-barn-dyader då barnen var 3, 6, 9, 12 och 24 månader gamla undersöktes med fokus på ordklasser, satstyper och förändringar gällande konstituenter. Resultaten jämfördes med barnens produktiva ordförråd vid 30 månaders ålder. Även den möjliga förekomsten av typbaserade konstruktioner (item-based constructions) och frekventa ramar (frequent frames) undersöktes. De övergripande resultaten uppvisade mönster gällande förändringar inom det verbala innehållet i repetitioner över tid samt ett samband mellan det verbala innehållet i repetitioner och barns språkutveckling. Två antaganden gjordes: föräldrar justerar komplexiteten i sitt tal efter språkliga utvecklingsfaser hos sina barn, och den språkliga variationen i inputen ökar med barnets ålder.
MINT: Modelling infant language acquisition from parent-child interaction (MAW 2011.007)

Cette thèse décrit comment l'ajout de trois ingrédients à Système Fω permet d'écrire des programmes de façon modulaire dans un système explicite à la Church, tout en gardant un style proche des modules de ML. Le premier chapitre s'intéresse aux types existentiels ouverts, qui confèrent la possibilité d'utiliser des types existentiels sans restriction de portée : cela offre une plus grande flexibilité dans l'organisation des programmes. Le deuxième chapitre est consacré à l'étude des kinds singletons, qui modélisent les définitions de types : dans ce cadre, on donne une caractérisation simple de l'équivalence de types, fondée sur une relation de réduction confluente et fortement normalisante. Le dernier chapitre intègre les deux notions précédentes dans un langage noyau muni d'une relation de sous-typage : cela apporte à Fω un gain de modularité important, de niveau comparable à celui des modules de ML. Une traduction des modules vers ce langage est esquissée, permettant une comparaison précise des deux langages.

La información de clase semántica de los nombres es fundamental para una amplia variedad de tareas del procesamiento del lenguaje natural (PLN), como la traducción automática, la discriminación de referentes en tareas como la detección y el seguimiento de eventos, la búsqueda de respuestas, el reconocimiento y la clasificación de nombres de entidades, la construcción y ampliación automática de ontologías, la inferencia textual, etc. Una aproximación para resolver la construcción y el mantenimiento de los léxicos de gran cobertura que alimentan los sistemas de PNL, una tarea muy costosa y lenta, es la adquisición automática de información léxica, que consiste en la inducción de una clase semántica relacionada con una palabra en concreto a partir de datos de su distribución obtenidos de un corpus. Precisamente, por esta razón, se espera que la investigación actual sobre los métodos para la producción automática de léxicos de alta calidad, con gran cantidad de información y con anotación de clase como el trabajo que aquí presentamos, tenga un gran impacto en el rendimiento de la mayoría de las aplicaciones de PNL. En esta tesis, tratamos la adquisición automática de información léxica como un problema de clasificación. Con este propósito, adoptamos métodos de aprendizaje automático para generar un modelo que represente los datos de distribución vectorial que, basados en ejemplos conocidos, permitan hacer predicciones de otras palabras desconocidas. Las principales preguntas de investigación que planteamos en esta tesis son: (i) si los datos de corpus proporcionan suficiente información para construir representaciones de palabras de forma eficiente y que resulten en decisiones de clasificación precisas y sólidas, y (ii) si la adquisición automática puede gestionar, también, los nombres polisémicos. Para hacer frente a estos problemas, realizamos una serie de validaciones empíricas sobre nombres en inglés. Nuestros resultados confirman que la información obtenida a partir de la distribución de los datos de corpus es suficiente para adquirir automáticamente clases semánticas, como lo demuestra un valor-F global promedio de 0,80 aproximadamente utilizando varios modelos de recuento de contextos y en datos de corpus de distintos tamaños. No obstante, tanto el estado de la cuestión como los experimentos que realizamos destacaron una serie de retos para este tipo de modelos, que son reducir la escasez de datos del vector y dar cuenta de la polisemia nominal en las representaciones distribucionales de las palabras. En este contexto, los modelos de word embedding (WE) mantienen la “semántica” subyacente en las ocurrencias de un nombre en los datos de corpus asignándole un vector. Con esta elección, hemos sido capaces de superar el problema de la escasez de datos, como lo demuestra un valor-F general promedio de 0,91 para las clases semánticas de nombres de sentido único, a través de una combinación de la reducción de la dimensionalidad y de números reales. Además, las representaciones de WE obtuvieron un rendimiento superior en la gestión de las ocurrencias asimétricas de cada sentido de los nombres de tipo complejo polisémicos regulares en datos de corpus. Como resultado, hemos podido clasificar directamente esos nombres en su propia clase semántica con un valor-F global promedio de 0,85. La principal aportación de esta tesis consiste en una validación empírica de diferentes representaciones de distribución utilizadas para la clasificación semántica de nombres junto con una posterior expansión del trabajo anterior, lo que se traduce en recursos léxicos y conjuntos de datos innovadores que están disponibles de forma gratuita para su descarga y uso.
La información de clase semántica de los nombres es fundamental para una amplia variedad de tareas del procesamiento del lenguaje natural (PLN), como la traducción automática, la discriminación de referentes en tareas como la detección y el seguimiento de eventos, la búsqueda de respuestas, el reconocimiento y la clasificación de nombres de entidades, la construcción y ampliación automática de ontologías, la inferencia textual, etc. Una aproximación para resolver la construcción y el mantenimiento de los léxicos de gran cobertura que alimentan los sistemas de PNL, una tarea muy costosa y lenta, es la adquisición automática de información léxica, que consiste en la inducción de una clase semántica relacionada con una palabra en concreto a partir de datos de su distribución obtenidos de un corpus. Precisamente, por esta razón, se espera que la investigación actual sobre los métodos para la producción automática de léxicos de alta calidad, con gran cantidad de información y con anotación de clase como el trabajo que aquí presentamos, tenga un gran impacto en el rendimiento de la mayoría de las aplicaciones de PNL. En esta tesis, tratamos la adquisición automática de información léxica como un problema de clasificación. Con este propósito, adoptamos métodos de aprendizaje automático para generar un modelo que represente los datos de distribución vectorial que, basados en ejemplos conocidos, permitan hacer predicciones de otras palabras desconocidas. Las principales preguntas de investigación que planteamos en esta tesis son: (i) si los datos de corpus proporcionan suficiente información para construir representaciones de palabras de forma eficiente y que resulten en decisiones de clasificación precisas y sólidas, y (ii) si la adquisición automática puede gestionar, también, los nombres polisémicos. Para hacer frente a estos problemas, realizamos una serie de validaciones empíricas sobre nombres en inglés. Nuestros resultados confirman que la información obtenida a partir de la distribución de los datos de corpus es suficiente para adquirir automáticamente clases semánticas, como lo demuestra un valor-F global promedio de 0,80 aproximadamente utilizando varios modelos de recuento de contextos y en datos de corpus de distintos tamaños. No obstante, tanto el estado de la cuestión como los experimentos que realizamos destacaron una serie de retos para este tipo de modelos, que son reducir la escasez de datos del vector y dar cuenta de la polisemia nominal en las representaciones distribucionales de las palabras. En este contexto, los modelos de word embedding (WE) mantienen la “semántica” subyacente en las ocurrencias de un nombre en los datos de corpus asignándole un vector. Con esta elección, hemos sido capaces de superar el problema de la escasez de datos, como lo demuestra un valor-F general promedio de 0,91 para las clases semánticas de nombres de sentido único, a través de una combinación de la reducción de la dimensionalidad y de números reales. Además, las representaciones de WE obtuvieron un rendimiento superior en la gestión de las ocurrencias asimétricas de cada sentido de los nombres de tipo complejo polisémicos regulares en datos de corpus. Como resultado, hemos podido clasificar directamente esos nombres en su propia clase semántica con un valor-F global promedio de 0,85. La principal aportación de esta tesis consiste en una validación empírica de diferentes representaciones de distribución utilizadas para la clasificación semántica de nombres junto con una posterior expansión del trabajo anterior, lo que se traduce en recursos léxicos y conjuntos de datos innovadores que están disponibles de forma gratuita para su descarga y uso.
Lexical semantic class information for nouns is critical for a broad variety of Natural Language Processing (NLP) tasks including, but not limited to, machine translation, discrimination of referents in tasks such as event detection and tracking, question answering, named entity recognition and classification, automatic construction and extension of ontologies, textual inference, etc. One approach to solve the costly and time-consuming manual construction and maintenance of large-coverage lexica to feed NLP systems is the Automatic Acquisition of Lexical Information, which involves the induction of a semantic class related to a particular word from distributional data gathered within a corpus. This is precisely why current research on methods for the automatic production of high- quality information-rich class-annotated lexica, such as the work presented here, is expected to have a high impact on the performance of most NLP applications. In this thesis, we address the automatic acquisition of lexical information as a classification problem. For this reason, we adopt machine learning methods to generate a model representing vectorial distributional data which, grounded on known examples, allows for the predictions of other unknown words. The main research questions we investigate in this thesis are: (i) whether corpus data provides sufficient distributional information to build efficient word representations that result in accurate and robust classification decisions and (ii) whether automatic acquisition can handle also polysemous nouns. To tackle these problems, we conducted a number of empirical validations on English nouns. Our results confirmed that the distributional information obtained from corpus data is indeed sufficient to automatically acquire lexical semantic classes, demonstrated by an average overall F1-Score of almost 0.80 using diverse count-context models and on different sized corpus data. Nonetheless, both the State of the Art and the experiments we conducted highlighted a number of challenges of this type of model such as reducing vector sparsity and accounting for nominal polysemy in distributional word representations. In this context, Word Embeddings (WE) models maintain the “semantics” underlying the occurrences of a noun in corpus data by mapping it to a feature vector. With this choice, we were able to overcome the sparse data problem, demonstrated by an average overall F1-Score of 0.91 for single-sense lexical semantic noun classes, through a combination of reduced dimensionality and “real” numbers. In addition, the WE representations obtained a higher performance in handling the asymmetrical occurrences of each sense of regular polysemous complex-type nouns in corpus data. As a result, we were able to directly classify such nouns into their own lexical-semantic class with an average overall F1-Score of 0.85. The main contribution of this dissertation consists of an empirical validation of different distributional representations used for nominal lexical semantic classification along with a subsequent expansion of previous work, which results in novel lexical resources and data sets that have been made freely available for download and use.

Submitted by Luanna Matias (lua_matias@yahoo.com.br) on 2015-02-05T10:44:34Z No. of bitstreams: 2 Tese - Diogo Gonçalves Dias - 2014.pdf.pdf: 490676 bytes, checksum: 3c0940e1fbec55f277f969c4751c5ea6 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-02-05T11:02:53Z (GMT) No. of bitstreams: 2 Tese - Diogo Gonçalves Dias - 2014.pdf.pdf: 490676 bytes, checksum: 3c0940e1fbec55f277f969c4751c5ea6 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Made available in DSpace on 2015-02-05T11:02:53Z (GMT). No. of bitstreams: 2 Tese - Diogo Gonçalves Dias - 2014.pdf.pdf: 490676 bytes, checksum: 3c0940e1fbec55f277f969c4751c5ea6 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-09-29
Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG
We present hypersurfaces with prescribed normal Gauss map. These surfaces are obtained as the envelope of a sphere congruence where the other envelope is contained in a plane. We introduce classes of surfaces that generalize linear Weingarten surfaces, where the coefficients are functions that depend on the support function and the distance function from a fixed point (in short, DSGW-surfaces). The linear Weingarten surfaces, the Appell’s surfaces and the Tzitzeica’s surfaces are all DSGW-surfaces. From them we obtain new classes of DSGW-surfaces applying inversions and dilatations. For a special class of DSGW-surfaces, which is invariant under dilatations and inversions, we obtain a Weierstrass type representation (in short, EDSGW-surfaces). As application we classify the EDSGW-surfaces of rotation and present a 4-parameter family of complete cyclic EDSGW-surfaces with an isolated singularity and foliated by non-parallel planes. We generalized the EDSGW-surfaces for the case of hypersurfaces in Rn+1, n ≥ 2. We present a representation for these hypersurfaces in the case where the stereographic projection of the normal Gauss map N is given by the identity application. As an application, we will characterize the rotational examples.
Apresentamos parametrizações de hipersuperfícies com aplicação normal de Gauss prescrita. Estas parametrizações são obtidas como o envelope de uma congruência de esferas onde o outro envelope esta contido em um hiperplano. Introduzimos classes de superfícies que generalizam as superfícies de Weingarten linear, onde os coeficientes são funções que dependem da função suporte e da função distância a um ponto fixo (superfícies WGSD). Classes conhecidas destas superfícies são as superfícies de Weingarten linear, as superfícies de Appell e as superfícies de Tzitzéica. A partir delas obtemos novas classes de superfícies WGSD aplicando inversões e dilatações. Para uma classe especial de superfícies WGSD, que é invariante por dilatações e inversoes (superfícies WGSDE), obtemos uma representação tipo Weierstrass, dependendo de duas funções holomorfas. Como aplicação classificamos as superfícies WGSDE de rotação e apresentamos uma família a 4-parâmetros de superfícies WGSDE cíclicas completas com uma singularidade isolada e com planos de folheação não paralelos. Terminamos generalizando as superfícies WGSDE para o hipersuperfícies em Rn+1, n ≥ 2. Apresentaremos uma representação para estas hipersuperfícies no caso em que a projeção estereográfica da normal de Gauss N é dada pela aplicação identidade. Como aplicação, caracterizaremos os exemplos rotacionais.

This PhD thesis is devoted to investigate weighted differential Hardy inequalities and Hardy-type inequalities with the kernel when the kernel has an integrable singularity, and also the additivity of the estimate of a Hardy type operator with a kernel.The thesis consists of seven papers (Papers 1, 2, 3, 4, 5, 6, 7) and an introduction where a review on the subject of the thesis is given. In Paper 1 weighted differential Hardy type inequalities are investigated on the set of compactly supported smooth functions, where necessary and sufficient conditions on the weight functions are established for which this inequality and two-sided estimates for the best constant hold. In Papers 2, 3, 4 a more general class of -order fractional integrationoperators are considered including the well-known classical Weyl, Riemann-Liouville, Erdelyi-Kober and Hadamard operators. Here 0 <  < 1. In Papers 2 and 3 the boundedness and compactness of two classes of such operators are investigated namely of Weyl and Riemann-Liouville type, respectively, in weighted Lebesgue spaces for 1 < p ≤ q < 1 and 0 < q < p < ∞. As applications some new results for the fractional integration operators of Weyl, Riemann-Liouville, Erdelyi-Kober and Hadamard are given and discussed.In Paper 4 the Riemann-Liouville type operator with variable upper limit is considered. The main results are proved by using a localization method equipped with the upper limit function and the kernel of the operator. In Papers 5 and 6 the Hardy operator with kernel is considered, where the kernel has a logarithmic singularity. The criteria of the boundedness and compactness of the operator in weighted Lebesgue spaces are given for 1 < p ≤ q < ∞ and 0 < q < p < ∞, respectively. In Paper 7 we investigated the weighted additive estimates for integral operators K+ and K¯ defined by K+ ƒ(x) := ∫ k(x,s) ƒ(s)ds,  K¯ ƒ(x) := ∫ k(x,s)ƒ(s)ds. It is assumed that the kernel k of the operators K+and K- belongs to the general Oinarov class. We derived the criteria for the validity of these addittive estimates when 1 ≤ p≤ q < ∞

Orientador: Dessislava Hristova Kochloukova
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica
Made available in DSpace on 2018-08-26T02:25:15Z (GMT). No. of bitstreams: 1 Silva_LeonardodeAmorine_D.pdf: 582293 bytes, checksum: ed3c907af5279b8923c782d730bcf1d4 (MD5) Previous issue date: 2014
Resumo: Nesta tese consideramos uma extensão cindida G de um grupo abeliano A por um grupo nilpotente (de classe 2) Q e provamos dois resultados. Primeiro, se Q age nilpotentemente sobre A e G tem tipo FP2, calculamos o sigma invariante de G em dimensão 2. Segundo, se G tem tipo FP4, mostramos que cada quociente de G tem tipo FP4
Abstract: In this thesis we consider a split extension G of an abelian group A by a nilpotent group (class 2) Q and prove two results. First, if Q acts nilpotently on A and G has type FP2, compute the sigma invariant of G in dimension 2. Second, if G has type FP4, we show that every quotient G has type FP4
Doutorado
Matematica
Doutora em Matemática

Au voisinage d'un point p de type fini m sur le bord d'un domaine d du plan complexe de dimension deux, on definit une classe de gevrey non isotrope qui contient les fonctions holomorphes satisfaisant des conditions de gevrey usuelles d'ordre donne. Dans ce but, des outils geometriques fins sont construits. On etablit pour cette classe une formule de taylor specifique. On definit aussi, pour une partie compacte e du bord de d, situee dans un voisinage convenable de p et dont les points sont tous de type m, une classe de jets gevrey non isotropes pour laquelle on prouve un theoreme d'extension de type whitney. Ensuite on suppose d pseudoconvexe et on donne des conditions suffisantes pour que e soit un ensemble d'interpolation a l'ordre infini pour les fonctions holomorphes d'une classe de gevrey usuelle donnee

Nous nous intéressons à une extension de ML avec polymorphisme
de première classe, à la manière du Système F.
Cette extension, nommée MLF, utilise les annotations de types
d'ordre supérieur données explicitement dans le programme pour inférer
de manière principale le type le plus général. Toute expression admet
ainsi un type principal, qui dépend des annotations présentes
initialement dans le programme.

Toute expression de ML est typable dans MLF sans annotation
supplémentaire. Les expressions du Système F sont encodées de
manière systématique dans MLF en supprimant les abstractions
et les applications de types, et en traduisant les annotations
de types dans le langage de types de MLF.
De plus, les paramètres de lambda-abstractions qui ne sont pas
utilisés de manière polymorphe n'ont pas besoin d'être annotés.

Ce travail s'inscrit dans le cadre des recherches menées autour de la compilation des langages de classes, notamment Eiffel, et plus généralement des langages à objets à typage statique. Très brièvement, on peut dire que le but de cette thèse revient à tenter de répondre à une question fondamentale: comment mieux compiler les langages à objets, c'est à dire comment avoir des programmes plus rapides et plus sûrs ? Ce travail de recherche est basé en grande partie sur l'analyse statique, abordée via deux axes principaux. Le premier consiste à pouvoir effectuer des contrôles de validité et de cohérence du programme, et ce non seulement sur les programmes finis, mais bien dès le début du développement, de façon à pouvoir assister au maximum les développeurs durant la phase de conception et d'implantation. Le second axe, qui est la substance même de cette thèse, considère l'utilisation des informations apportées par l'analyse statique du système pour améliorer la qualité du code généré. En effet, ces informations offrent des possibilités importantes en terme d'optimisation du code généré, aussi bien par des optimisations liées aux algorithmes que par des optimisations sur les structures de données. Nous proposons et expérimentons une approche basée sur la duplication et la spécialisation du code par analyse globale du système, afin d'implanter de façon efficace les structures de données et le code du programme compilé, notamment en ce qui concerne la liaison dynamique. Nous introduisons ainsi une nouvelle méthode de liaison dynamique, basée sur des arbres de branchement directs, dont les performances sont supérieures ou égales à celles des systèmes actuels classiques à base de tables d'indirection. Cette approche est également étendue à la génération par le compilateur d'un ramasse-miettes automatiquement adapté à l'application compilée. Nous menons aussi certaines études pour évaluer les optimisations permises par l'utilisation massive de l'aliasing dans un compilateur écrit dans un langage de classes, ainsi que des moyens de mieux maîtriser cette technique. Ces travaux sont validés entre autres par le développement d'un compilateur Eiffel nommé SmallEiffel et de ses bibliothèques, qui, très largement diffusés et utilisés, sont devenus The GNU Eiffel Compiler.

Medication non-adherence and non-persistence in type 2 diabetes (T2D) are common and associated with poor outcomes. Medication attributes have a major influence on adherence in chronic disease but it is not clear which medication classes are associated with better adherence and persistence in T2D. A systematic review and cohort analyses of comparative adherence and persistence across medication classes in T2D was performed. MEDLINE, Embase, The Cochrane Library, The Cochrane Register of Controlled Trials, PsycINFO, and CINAHL were searched for studies comparing class adherence and persistence. Where n > 5 studies provided the same comparison a meta-analysis was performed. Retrospective cohort analyses used the Royal College of General Practitioners Research and Surveillance database to compare adherence and persistence with oral medications. The systematic review synthesised 66 studies (38 in meta-analyses). Adherence was better with thiazolidinediones (TZDs) and sulphonylureas than metformin. TZDs had slightly better adherence than sulphonylureas. Limited data suggest low adherence with alpha-glucosidase inhibitors (AGIs) and meglitinides. Insulin analogues had longer persistence than GLP1 analogues and human insulins. There was little data on comparative persistence with oral medications and adherence with injectable medications. Adherence and persistence were measured in cohorts of 60,327 and 145,546 people with T2D respectively (55,728 and 76,593 oral medications). After adjustment in regression models metformin and SGLT2 inhibitors had the longest persistence, AGIs and meglitinides the shortest. TZDs, DPP4 inhibitors, and SGLT2 inhibitors had the highest adherence, and metformin, AGIs and meglitinides the lowest. Sulphonylureas had intermediate adherence and persistence. Younger age, female gender, and non-white ethnicity were also associated with reduced persistence and adherence. Adherence and persistence vary considerable between classes of medication for T2D. Class switching may improve adherence in people with low adherence e.g. metformin to DPP4 inhibitors. Pre-emptive selection of classes which promote adherence in those with non-adherence risk factors may also improve outcomes.

Dans cette étude nous nous sommes interrogé sur le rôle et l'utilisation du métalangage dans la transmission et la construction des savoirs métalangagiers par les enseignants et les apprenants du FLE au Village français du Nigeria, Badagry. Autrement dit, nous voulions voir comment l'apprenant nigérian passe de la simple expression à la réflexion sur la langue afin d'aboutir finalement à la maîtrise de la langue française. La problématique de notre travail de recherche tourne autour des quelques interrogations suivantes : - les activités métalangagières peuvent-elles contribuer et/ou faciliter la construction des savoirs métalangagiers en classe de FLE ou, constituent-elles un obstacle à l'apprentissage de cette langue? - comment faire acquérir le métalangage de la langue française aux apprenants nigérians? - dans quelle mesure les interactions verbales et /ou activités interactionnelles en classe de langue favorisent-elles la construction de savoirs métalangagiers? Notre travail est basé sur l'observation des pratiques de classe. Nous avons procédé par observer comment le métalangage est enseigné (i. E. En interaction ou de façon magistrale?) et par étudier le rôle des pratiques enseignantes sur le développement des capacités métalinguistiques chez les apprenants. Les observations de classe nous ont permis également de recueillir un "matériel empirique" sur lequel baser notre travail. Finalement, cette étude a proposé quelles pistes/pratiques pédagogiques à mettre sur pied en vue d'assurer l'acquisition des compétences métalinguistiques par les apprenants nigérians et en vue de former les enseignants de la langue française au Nigeria
Ours is an attempt to take a look at the role and usage of metalanguage in the transmission and construction of knoledge by Nigerian teachers and learners of French as a foreign language in the Nigeria French Language Village, Badagry. The study wishes to highlight how the learner goes beyond the level of simply using the French language as a means of expression to using it as a means of reflexion on or about the language s/he is in the process of learning. The kernel of our work is articulated around such questions as to how metalinguistic activities could enhance or inhibit the processes of learning a foreign language and as to what extent verbal interactions in the classroom situation could be a means of enhancing the construction of metalinguistic competence of learners. Finally, we made some proposals as to what pedagogical measures and/or practices to put in place in order to enhance the learning of French language by Nigerian learners through metalinguistic activities, as well as for the training of Nigerian teachers of French as a foreign language in the use of such activities

On étudie le groupe modulaire G du plan privé d'un ensemble de Cantor et les classes de Brouwer du groupe modulaire du plan privé de Z. Ces objets apparaîssent naturellement en dynamique topologique sur les surfaces. Dans le premier chapitre, on s'intéresse au groupe G et à son action sur le graphe des rayons, qui est un analogue déni par Danny Calegari du complexe des courbes pour le plan privé d'un ensemble de Cantor. En particulier, on montre que ce graphe est de diamètre infini et hyperbolique. On utilise ensuite l'action de G sur ce graphe hyperbolique pour exhiber un quasi-morphisme non trivial explicite sur G et pour montrer que le deuxième groupe de cohomologie bornée de G est dedimension infinie. Enfin, on donne un exemple d'un élément hyperbolique de G dont la longueur stable des commutateurs est nulle. Dans le second chapitre, on développe de nouveaux outils pour la théorie de Brouwer homotopique. En particulier, on décrit un ensemble canonique de droites de réduction, l'ensemble des murs, qui sépare le plan en zones de translation maximales et en zones irréductibles. On se restreint ensuite au cas des classes de Brouwer relativement à quatre orbites, et on les décrit explicitement en ajoutant au diagramme de Handel et à l'ensemble des murs un emmêlement, qui est essentiellement une classe d'isotopie de courbes sur le cylindre privé de deux points
We study the mapping class group G of the complement of a Cantor set in the plane and the Brouwer mapping classes of the mapping class group of the complement of Z in the plane. These objects arise naturally in topological dynamics on surfaces. In the first chapter, we study the group G and its action on the ray graph, which is the analog dened by Danny Calegari of the complex of curves for the complement of a Cantor set in the plane. In particular, we show that this graph has infinite diameter and is hyperbolic. We use the action of G on this graph to find an explicit non trivial quasimorphism on G and to show that this group has infinite dimensional second bounded cohomology. We give an example of a hyperbolic element of G with vanishing stable commutator length. In the second chapter, we give new tools for homotopy Brouwer theory. In particular, we describe a canonical reducing set, the set of "walls", which splits the plane into maximal translation areas and irreducible areas. We then focus on Brouwer mapping classes relatively to four orbits and describe them explicitly by adding to Handel's diagram and to the set of walls a "tangle", which is essentially an isotopy class of simple closed curves in the cylinder minus two points

Nous construisons, pour les corps quadratiques imaginaires avec nombre de classes 1, un site arithmétique de type Connes-Consani. La principale difficulté ici est que les constructions de Connes et Consani et une partie de leurs résultats reposent sur la relation d'ordre naturellement présente sur les nombres réels qui est compatible avec les opérations arithmétiques basiques. Bien sûr rien de la sorte n'existe pas dans le cas des corps quadratiques imaginaires avec nombre de classes 1. Nous définissons ce que nous appelons le site arithmétique pour de tels corps de nombres, puis nous calculons les points de ces sites arithmétiques et nous les exprimons en termes de l'espace des classes d'adèles considéré par Connes pour donner une interprétation spectrale des zéros des fonctions L de Hecke. On obtient alors que pour un corps quadratique imaginaire avec nombre de classes 1, les points de notre site arithmétique sont reliés aux zéros de la fonction zêta de Dedekind du corps de nombres considéré et aux zéros de certaines fonctions L de Hecke. Nous étudions ensuite la relation entre le spectre de l'anneau des entiers du corps de nombres et le site arithmétique. Enfin nous construisons le carré du site arithmétique
We construct, for imaginary quadratic number fields with class number 1, an arithmetic site of Connes-Consani type. The main difficulty here is that the constructions of Connes and Consani and part of their results strongly rely on the natural order existing on real numbers which is compatible with basic arithmetic operations. Of course nothing of this sort exists in the case of imaginary quadratic number fields with class number 1. We first define what we call arithmetic site for such number fields, we then calculate the points of those arithmetic sites and we express them in terms of the ad\`eles class space considered by Connes to give a spectral interpretation of zeroes of Hecke L functions of number fields. We get therefore that for a fixed imaginary quadratic number field with class number 1, that the points of our arithmetic site are related to the zeroes of the Dedekind zeta function of the number field considered and to the zeroes of some Hecke L functions. We then study the relation between the spectrum of the ring of integers of the number field and the arithmetic site. Finally we construct the square of the arithmetic site

La recherche que nous avons menée s'inscrit dans les projets de l'équipe de recherche Maths à Modeler. En particulier dans celui portant sur les situations de recherche pour la classe (SiRC). Cette recherche est centrée sur l'étude du rôle, pour l'apprentissage des savoir-faire fondamentaux, de l'activité mathématique, des jeux combinatoires et plus particulièrement des jeux de type Nim. Nous mettons sous l'expression « savoir-faire fondamentaux » les savoirs, méthodes et techniques qui sont à la base de toute activité mathématique : l'expérimentation, l'étude de cas particuliers, l'énoncé et l'étude de conjectures, la construction d'exemples et contre-exemples, la modélisation, l'élaboration et l'écriture de preuves, la définition d'objets, etc. (Grenier et Payan, 2002). Le sujet est la construction, l'expérimentation et l'analyse de SiRC basées sur des jeux combinatoires de type Nim pour des élèves, afin de leur faire construire et développer les savoir- faire indispensables à la mise en œuvre d'une « démarche mathématique ». Notre problématique porte donc sur l'identification des savoirs notionnels et des savoir-faire fondamentaux de l'activité mathématique qui sont mis en œuvre dans les jeux combinatoires de type Nim et la détermination des conditions et contraintes épistémologiques et didactiques favorisant l'apprentissage en classe de ces savoirs. Pour mener à bien notre étude, nous nous sommes appuyés d'une part sur certains éléments de la théorie des situations didactiques de Brousseau (Brousseau, 2004) et de la théorie des champs conceptuels de Vergnaud (Vergnaud, 1994) et, d'autre part, sur le modèle SiRC, contribuant à préciser ce modèle. Nous nous sommes servis de l'étude épistémologique et didactique des jeux de type Nim, pour mener les analyses mathématique et didactique de deux SiRC : la première, nommée « jeu d'Euclide géométrique », situation de jeu de type Nim, construite spécifiquement pour cette recherche, basée sur un jeu d'Euclide classique. La seconde, nommée le « jeu du chocolat », situation expérimentée régulièrement dans l'équipe Maths à Modeler, mais dont l'étude didactique n'avait pas vraiment été faite. Les analyses et expérimentations que nous avons menées montrent que les situations basées sur des jeux de type Nim, peuvent induire une activité mathématique qui va au-delà du développement et de la pratique de techniques mathématiques : Elles peuvent ouvrir l'accès à des savoir-faire plus généraux propres de l'activité mathématique
This research is included in the project of the research group "Maths à modeler". In particular, in the part that corresponds to the study of "situations de recherche pour la classe" (SiRC). This research is focused in the study of the role played by the mathematical activity, the combinatorial games and particularly the games of Nim-type in learning the fundamental know-hows. We put under the term "fundamental know-hows" all the knowledge, methods and techniques found in all mathematical activity: experimenting, studying particular cases, conjecturing, building examples and counter-examples, modeling, proving, defining, etc. (Grenier et Payan, 2002). The main aim of this research is the construction, the experimentation and the analysis of SiRC based on combinatorial games of Nim-type for students designed to make them build and develop the know-hows required for the implementation of a "mathematical process". Our main problem is then identifying the fundamental and notional know-hows of the mathematical activity that are used in combinatorial games of Nim-type and establishing the epistemological and didactical conditions and constrains that favor the learning of these know-hows in the classroom. To achieve our aim, our research is supported, on one hand, by some aspects of the theory of didactical situation by Brousseau (Brousseau, 2004) and the theory of conceptual fields by Vergnaud (Vergnaud, 1994) and, on the other hand, by the SiRC model, where we also contribute to precise it. We based our research in the epistemological and didactical study of Nim-type games to conduct mathematical and didactical analysis of two SiRC: the first one, called "the geometrical Euclid game", is a situation of Nim-type created specifically for this research and based on the classical Euclid game. The second one, called "the chocolate game", is a situation frequently experimented by the research group math à modeler whose didactical analysis had not been done yet. The analysis and experimentations we have conducted show that the situations based on Nim-type games can lead to a mathematical activity that goes beyond developing and practicing mathematical techniques. They can open access to more general know-hows specific to the mathematical activity

Les sous-naines chaudes de type b (sdb) sont des etoiles evoluees caracterisees par des temperatures comprises entre 25000 k et 35000 k, et dont les gravites couvrent un intervalle log g = 5. 0 6. 0. Ces dernieres annees, le developpement de modeles evolutifs cherchant a reproduire ces objets dans le diagramme hr a mis a notre disposition de nombreux elements pour l'exploration de leur potentiel asteroseismologique. Base sur des predictions theoriques definissant une bande d'instabilite centree autour de t e f f 35000 k et log g 5. 7, nous avons entrepris un releve systematique dans l'hemisphere nord, qui avait pour objectifs : 1) de decouvrir des objets montrant des variations lumineuses, 2) de delimiter l'ampleur de ce phenomene dans le plan t e f f log g, 3) de determiner le degre de purite de la zone d'instabilite predite. Nous presentons les resultats obtenus et notamment la decouverte de cinq sdb pulsantes : pg 1047 + 003, kpd 2109 + 4401, pg 0014 + 067, kpd 1930 + 2752, pg 0816 + 313. De plus, nous avons eu la possibilite d'observer au telescope canada-france-hawaii le cas le plus extreme de l'echantillon de sdb pulsantes actuel : pg 1605 + 072, decouverte par le groupe du south african astronomical observatory, qui apporte des elements interessants sur la diversite rencontree au sein de cette classe de variables. L'analyse des donnees recoltees dans les cas de pg 1047 + 003, kpd 2109 + 4401 et pg 1605 + 072, nous permet tout d'abord de poser les bases d'une etude globale des caracteristiques de la classe des sdb pulsantes (temperature effective et gravite en fonction des periodes observees) et, d'un autre cote, d'amorcer leur etude asteroseismologique afin de determiner de facon independante t e f f et log g, ainsi que d'estimer la masse de l'etoile et la masse de son enveloppe d'hydrogene. Les premiers resultats obtenus en comparant modeles theoriques et observations sont tres encourageants et nous confortent dans notre volonte d'obtenir une analyse complete de ces etoiles.

Les langages de programmation orientés-objet dynamiquement typés ne peuvent pas fournir d'informations de type avant l'exécution. Deux de leurs principaux avantages sont qu'ils permettent le prototypage rapide á et l'intégration de modifications lors de l'exécution. La capacité des langages dynamiquement typés accepter les changements du programme lors de son exécution et en l'absence d'informations de type, condamne les approches de sécurité classiques á l'échec. Contrôler les références des objets et des graphes d'objets est indispensable pour construire des systèmes sécurisés. Les approches existantes sont généralement basées sur un système de type statique et ne peuvent pas être appliquées aux langages dynamiquement typés. Cette thèse défend que: Dans le contexte des langages de programmation orientés-objet dynamiquement typés, réifier les références, contrôler leur comportement, et isoler l'état des objets par le biais de telles références, est un moyen pratique de contrôler les références. Cette thèse apporte cinq contributions: Nous proposons la notion de dynamic read-only objects (DRO) comme un changement particulier (read-only) de comportement au niveau des références; Nous généralisons le modèle DRO pour permettre des changements de comportement plus génériques et nous étendons l'environnement de programmation et le langage Pharo avec des Handles, qui sont des références avec la possibilité de changer le comportement des objets référencés.; Nous définissons le terme de Metahandle pour offrir flexibilité et adaptabilité aux références contrôlées; Nous proposons la notion de SHandle, pour isoler les effets de bord au niveau des références; Et enfin, nous décrivons formellement les modèles Handle et SHandle pour représenter et expliquer leur sémantique. Comme validation de notre thèse nous avons mis en place trois approches liées a la securité en utilisant nos modeless. En outre, nous avons étendu la machine virtuelle Pharo pour supporter les Handles, Metahandles et SHandles.

Large open-source software projects involve developers with a wide variety of backgrounds and expertise. Such software projects furthermore include many internal APIs that developers must understand and use properly. According to the intended purpose of these APIs, they are more or less frequently used, and used by developers with more or less expertise. In this paper, we study the impact of usage patterns and developer expertise on the rate of defects occurring in the use of internal APIs. For this preliminary study, we focus on memory management APIs in the Linux kernel, as the use of these has been shown to be highly error prone in previous work. We study defect rates and developer expertise, to consider e.g., whether widely used APIs are more defect prone because they are used by less experienced developers, or whether defects in widely used APIs are more likely to be fixed.

Dans cette thèse, nous construisons des systèmes de type Bost-Connes pour tous les corps de fonctions, c'est-à-dire pour tous les corps globaux de caractéristique non-nulle, et nous démontrons qu'ils ont toutes les propriétés que l'on pourrait attendre de systèmes de Bost-Connes pour des corps de fonctions; en particulier, nous classifions entièrement les états KMS et étudions la structure des facteurs correspondants

This dissertation aims to describe social inequalities in self-rated health in an integrated framework of gender, social class and immigration, and to identify the main intermediary factors and health problems that contribute to these inequalities. Three cross-sectional studies were performed with data from surveys of the general population residing in Catalonia and Spain in 2006. Migration from poor regions of Spain to Catalonia emerged as a health inequality dimension in addition to and interaction with gender and social class, highlighting the transitory nature of the ‘healthy immigrant effect’ partially observed in foreign immigrants. Material and economic resources made major contributions to all three types of health inequalities: individual income made the greatest contribution to gender inequalities; household material assets and financial difficulties to migration-related inequalities; and both to social class inequalities. Poorer self-rated health of women was showed to be not an issue of perception but a precise reflection of the higher burden of chronic conditions they suffered compared to men, such as musculoskeletal, mental and other pain disorders, which could be targets for a health system responsive to gender inequalities. Intersections between axes of inequality created complex social locations with unique consequences on health.