Th. univ.--Paris 7--Informatique, 1989. / 1989 d'après la déclaration de dépôt légal. Bibliogr. p. 226-228. Résumé en français.

Texte remanié de: Diss. Ph. D.--Department of mathematics--Princeton (N.J.)--Princeton university, 1985.

Reproduction de : Thèse de doctorat : Philosophie : Lyon 3 : 2005. / Titre provenant de l'écran-titre. Bibliogr.

L'objet de ce travail est l'utilisation de certains formalismes non classiques (analyses non standard, analyses constructives) afin de proposer des bases théoriques nouvelles autour des problèmes de discrétisations d'objets continus. Ceci est fait en utilisant un modèle discret du système des nombres réels appelé droite d'Harthong-Reeb ainsi que la méthode arithmétisation associée qui est un processus de discrétisation des fonctions continues. Cette étude repose sur un cadre arithmétique non standard. Dans un premier temps, nous utilisons une version axiomatique de l'arithmétique non standard. Puis, dans le but d'améliorer le contenu constructif de notre méthode, nous utilisons une autre approche de l'arithmétique non standard découlant de la théorie des Ω-nombres de Laugwitz et Schmieden. Cette seconde approche amène à une représentation discrète et multi-résolution de fonctions continues.Finalement, nous étudions dans quelles mesures, la droite d'Harthong-Reeb satisfait les axiomes de Bridges décrivant le continu constructif.

L’objet de ce travail est l’utilisation de certains formalismes non classiques (analyses non standard, analyses constructives) afin de proposer des bases théoriques nouvelles autour des problèmes de discrétisations d’objets continus. Ceci est fait en utilisant un modèle discret du système des nombres réels appelé droite d’Harthong-Reeb ainsi que la méthode arithmétisation associée qui est un processus de discrétisation des fonctions continues. Cette étude repose sur un cadre arithmétique non standard. Dans un premier temps, nous utilisons une version axiomatique de l’arithmétique non standard. Puis, dans le but d’améliorer le contenu constructif de notre méthode, nous utilisons une autre approche de l’arithmétique non standard découlant de la théorie des Ω-nombres de Laugwitz et Schmieden. Cette seconde approche amène à une représentation discrète et multi-résolution de fonctions continues.Finalement, nous étudions dans quelles mesures, la droite d’Harthong-Reeb satisfait les axiomes de Bridges décrivant le continu constructif. / The aim of this work is to introduce new theoretical basis for the discretization of continuous objects using non classical formalisms. This is done using a discrete model of the continuum called the Harthong-Reeb line together with the related arithmetization method which is a discretisation process of continuous functions. This study stands on a nonstandard arithmetical framework. Firstly, we use an axiomatic version of nonstandard arithmetic. In order to improve the constructive content of our method, the next step is to use another approach of nonstandard arithmetic deriving from the theory of Ω-numbers by Laugwitzand Schmieden. This second approach leads to a discrete multi-resolution representation of continuous functions. Afterwards, we investigate to what extent the Harthong-Reeb line fits Bridges axioms of the constructive continuum.

Cette thèse propose une extension du Calcul des Constructions de Coquand et Huet qui permet l'extraction de programmes certifiés à partir de preuve constructive. Une notion de réalisabilité modifiée est introduite et étudiée. Un codage imprédicatif d'une large classe de définitions inductives est proposé.

La classification est l'attribution d'une classe spécifique à un objet donné. Cette attribution a besoin d'un certain degré d'abstraction pour pouvoir extraire des généralités à partir des exemples dont on dispose. Pour une machine, la classification de visages, de données médicales, de formes, sont toutes des tâches assez difficiles. Par exemple, dans le cas de la reconnaissance de caractères manuscrits, il est difficile d'énoncer une description générale qui tienne compte de toutes les variations particulières de chaque caractère. Une autre approche qui peut être utilisée pour cette tâche est celle de l'apprentissage. Ainsi, le critère pour décider si une image correspond ou non à une lettre 'A' consiste à comparer si cette image est (suffisamment similaire} à des 'a' vus auparavant. De ce point de vue, on ne calcule pas la classification de caractères : elle doit être apprise à partir d'exemples. Ces dernières années, de nouvelles techniques neuronales d'apprentissage ont été développées. Cet apprentissage avec des réseaux de neurones se fait actuellement en suivant deux approches : certains algorithmes comme la Rétropropagation du Gradient ont besoin d'introduire a priori le nombre et la connectivité des unités cachées et déterminer les poids des connexions par minimisation d'un coût. Le réseau ainsi obtenu est éventuellement élagué. Avec une approche constructive on apprend en même temps le nombre d'unités et les poids, dans le cadre d'une architecture fixée, commençant généralement avec une seule unité. Le but de cette thèse est de présenter de nouvelles heuristiques pour générer, d'une manière constructive, des réseaux de neurones pour la classification. Elles permettent de générer des réseaux à une seule couche cachée complètement connectée aux unités d'entrée, et un neurone de sortie connecté aux unités cachées. Les neurones cachés et de sortie sont des unités binaires, pouvant faire soit des séparations linéaires, soit des séparations sphériques. Ces heuristiques sont couplées avec des algorithmes d'apprentissage pour le perceptron, Minimerror-L pour les séparations linéaires et Minimerror-S pour les séparations sphériques. Trois nouveaux algorithmes constructifs, qui différent suivant le type de neurones cachés et aussi suivant la définition des cibles que ceux-ci doivent apprendre on été développés. Pendant le processus d'apprentissage, des neurones cachés entraînés pour apprendre ces cibles vont diminuer le nombre d'erreurs de classification du neurone de sortie. Les réseaux ainsi bâtis ont généralement moins de paramètres (poids) et généralisent mieux que les réseaux entraînés avec d'autres algorithmes.

Grâce à leur haute efficacité et leur durée de vie plus longue, les LED sont de plus en plus utilisées pour l’éclairage, et particulièrement depuis ces dernières années, pour l’éclairage public. Toutefois, le spectre d’émission d’une LED diffère de celui d’une ampoule à incandescence ou à décharge, avec notamment des longueurs d’onde dont l’amplitude est plus élevée dans le domaine du bleu. Il a été démontré que ces longueurs d’onde bleues réduisent la sécrétion de mélatonine, une hormone qui, en plus de ses propriétés anti-oxydantes et anti- cancérigènes, permet de réguler l’horloge biologique du corps humain. La carence de mélatonine peut provoquer des états de fatigue et de stress, pouvant conduire dans certains cas à la dépression. Les longueurs d’onde rouges et proche-IR issues d’éclairages LED ou incandescent ont également des effets négatifs sur l’environnement, puisqu’elles perturbent les cycles de la végétation, comme la photosynthèse. Ces problèmes de santé publique sont connus des autorités, si bien qu’elles imposent des normes pour réduire l’émission de longueurs d’onde bleue, rouge et proche-IR issues de l’éclairage public (ex. norme BNQ 4930-100 au Québec). Dans ce projet, nous proposons des filtres interférentiels permettant d’éliminer les longueurs d’onde nuisibles issues d’un éclairage LED, sans impacter la qualité et l’efficacité de cet éclairage. En utilisant la technique de dépôt PECVD (Plasma Enhanced Chemical Vapor Deposition), nous avons développé des matériaux optiques innovants qui permettent de réaliser des filtres efficaces, simples et à faible coût.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Les objectifs pincipaux sont de caractériser le déclin visuo-constructif lié au vieillissement normal et de comparer ce profil à celui observé chez des patients atteints de démence de type Alzheimer à la lumière d'un cadre cognitif du traitement graphique. De telles études visent, entre autres, à l'identification d'outils neuropsychologiques d'évaluation qui permettront de valider le diagnostic de maladie d'Alzheimer du vivant du patient. Dans un premier temps, nous développons un cadre théorique illustrant le caractère multifactoriel du traitement graphique. Dans un deuxième temps, à partir de ce cadre théorique, nous évaluons directement chez les populations vieillissantes normales et atteintes de démence de type Alzheimer (DTA) trois habiletés sous-jacentes à la copie de figures. L'évaluation de ces dernières dans la DTA permettrait d'observer des différences entre les patients en début d'évolution, compte tenu de l'hétérogénéité dans la DT A, et de caractériser les différents profils de détérioration visuo-constructive selon la sévérité de la démence. Dans un but diagnostic, la comparaison des performances visuo-constructives des personnes âgées normales avec celles des patients DTA devraient apporter des indices de différenciations. Vingt-quatre sujets de plus de 60 ans et 13 jeunes adultes de moins de 40 ans, de scolarités similaires, ont participé à une première étude. De plus, huit patients qui rencontrent le diagnostic de démence de type Alzheimer probable et 24 sujets contrôles d'âge et de niveau d'éducation similaires ont participé à une deuxième étude. Tous les sujets ont été soumis à plusieurs tâches mesurant des habiletés visuo-constructives sous­tendant la copie de figures : tâches d'exploration visuelle, de jugement des relations spatiales coordonnées et catégorielles, de planification graphique. Dans la première étude, les performances des sujets âgés sur chaque habileté visuo­constructive sont significativement moins bonnes que celles des jeunes adultes, tel qu'analysées par le test t. De plus, seules les tâches de balayage visuel sont moins sensibles à l'âge. Dans la deuxième étude, la comparaison de groupes avec le test Mann-Whitney U montre que les patients DT A ont significativement plus de difficultés que les contrôles dans la copie de figures aux niveaux de l'exploration visuelle, du jugement des relations spatiales catégorielles et coordonnées, mais pas de la planification graphique. L'analyse des performances individuelles révèle que ce profil visuo-constructif demeure chez tous les patients présentant une apraxie visuo-constructive (AC), indépendamment de la sévérité de la démence. De plus, la sévérité des troubles visuo-constructifs évolue de façon homogène selon la sévérité de la démence. Les tâches d'exploration visuelle sont toutefois plus sensibles à la sévérité de la démence que les tâches de jugement des relations spatiales. Des variabilités individuelles sont également observées sans être forcément reliées à la sévérité de la démence. Des patients présentent des difficultés à juger davantage les relations spatiales catégorielles que coordonnées et d'autres patients présentent le profil inverse. De même, un patient ne présente pas de difficultés à copier des figures. Ces résultats suggèrent que les habiletés visuo-constructives évaluées ne permettent pas de distinguer qualitativement le vieillissement visuo-constructif normal de l' AC dans la DT A. De plus, la première manifestation de la DTA pourrait ne pas inclure l' AC étant donné que le patient le moins atteint cognitivement avait des performances quantitativement et qualitativement similaires à celles des contrôles. De nombreuses études demeurent à être effectuées de façon à mieux caractériser l' AC en début et en cours d'évolution de la DTA. Un modèle du traitement graphique ouvre de nombreuses voies dans l'étude de l'AC dans le vieillissement normal et pathologique. L' AC ne peut plus être considérée comme un trouble uniquement présent ou absent dans la DT A, mais un trouble dont les atteintes évoluent au cours de la maladie.

Le bâti ancien est aujourd’hui confronté à des enjeux normatifs, environnementaux et patrimoniaux qui favorisent sa réhabilitation et engagent une multiplicité d’acteurs dans cette activité. Ces engagements mettent en débat les savoirs, les mondes professionnels et les attachements que ces acteurs tissent autour des espaces édifiés. La thèse explore ces dynamiques autour du cas particulier du bâti ancien en pisé (bâtiments construits en terre crue damée dans des coffrages) dans le département de l’Isère. L’objectif de ce travail est de comprendre et de décrire comment et par qui ce bâti est mis en projet et réhabilité, dans un double sens d’amélioration physique et de revalorisation d’un objet aux significations multiples. Nous faisons l’hypothèse que les projets de réhabilitation, par les multiples formes d’engagement qu’ils construisent, participent à détacher l’expérience de ce bâti d’une expérience ordinaire. Ces projets mettent à l’épreuve les attachements que leurs porteurs développent autour du bâti existant et de la matière terre qui le constitue autant que les savoirs et les pratiques constructives qui s’y appliquent. Ces épreuves participent à l’émergence de collectifs qui tissent un maillage politique au sein duquel se composent des espaces de dialogue et d’appropriation des usages, de la pratique et du devenir du bâti existant.Pour explorer cette hypothèse, la recherche s’inscrit dans une perspective interdisciplinaire qui articule ressources théoriques et méthodes développées en architecture, en ethnologie et en sociologie. Elle développe une anthropologie pragmatique des cultures constructives qui compose une problématisation commune entre ces disciplines autour des questions soulevées par la réhabilitation du bâti ancien. L’exploration de ces questions se base sur un travail d’enquête qualitative multi-située. Il décrit les mondes de la réhabilitation en action, en suivant des parcours de projet portés par plusieurs catégories d’acteurs (habitants, professionnels, institutions). La thèse revient d’abord sur les différentes formes d’engagement qui participent à mettre le bâti ancien en projet, de l’intervention sur un bâtiment spécifique à sa mise en valeur de manière générale. Ces expériences de réhabilitation portent l’attention sur différentes qualités du bâti et contribuent à le faire sortir de l’ordinaire. Le bâti ancien en pisé est ainsi engagé – et engage lui-même – dans de multiples réalités. À la fois maison, lieu de vie, lieu de travail, patrimoine local ou architecture de terre, il fait agir, réagir et rentrer en relation les acteurs qui s’y intéressent. La deuxième partie de l’analyse décrit comment la difficulté d’appliquer des protocoles de réhabilitation entraine les porteurs de projet à s’engager dans des épreuves et à chercher des prises leurs permettant de mener à bien leurs projets. Ces épreuves entrainent les acteurs qui s’y investissent à ajuster leurs relations entre eux et avec le bâti au fur et à mesure du processus de projet. À mesure qu’ils s’approprient les savoirs de la réhabilitation, ils développent différentes formes d’attachement autour du bâti. Les projets de réhabilitation contribuent alors à l’émergence de collectifs plus ou moins pérennes qui se réapproprient les modalités d’intervention sur le bâti et les décisions qui le concernent. La thèse s’attache finalement à mieux comprendre les dimensions plurielles (matérielle, constructive, architecturale et interactionnelle) des cultures constructives du pisé et de sa réhabilitation et propose les éléments d’un dialogue à poursuivre avec les acteurs de terrain autour de l’intérêt et des conditions permettant de faire tenir un espace politique autour des usages et du devenir du bâti existant. / Ancient buildings face today normative, environmental and patrimonial issues which foster their renovation and engage a great diversity of actors. This multiplicity initiates a debate around knowledge, professional worlds and attachments which are woven around existing buildings. This thesis delves into these dynamics focusing on the case of ancient rammed earth building (raw earth compressed into an external formwork) in the French department of Isere, France. It aims at describing how and by whom rammed earth buildings are involved in retrofitting projects, considering both their physical and representational improvement. We make the hypothesis that retrofitting projects, through the multiple ways of engagement they imply, help to free the experience of this buildings from an ordinary experience. Indeed, they put on trial the attachments developed by the actors around existing buildings and earthen material as much as the building knowledge and practices. These trials bring out collectives that weave a political meshwork. At different scales, this meshwork composes spaces for dialogue and appropriation of uses, practices and futures of existing buildings.The exploration of this hypothesis follows an interdisciplinary perspective that connect theoretical resources and methods developed in architecture, ethnology and sociology. It develops a pragmatic anthropology of building cultures composing a common problematic for these disciplines to discuss ancient building retrofitting. The investigation is based on multi-sited qualitative ethnography. Following projects paths carried by different actors (inhabitants, professionals, institutions), it describes the retrofitting worlds in action. First, the thesis describes the various forms of engagement in retrofitting projects, from the intervention on a specific building to its evaluation as heritage. These experience draw attention on different qualities of the buildings and bring them out of their ordinary status. Ancient rammed earth buildings are therefore engaged – and engage themselves – in multiple realities: house, place of life, workplace, local heritage, earthen architecture. It makes the actors act, react and interact. Then, the analysis shows how the difficulty of applying strict rehabilitation protocols leads the actors to engage in trials and to develop holds to carry out their projects. As the project progresses, these trials lead them to adjust their relations with each other and with existing buildings. As they grasp knowledge about retrofitting, they develop different attachments. Therefore, retrofitting projects contribute to the emergence of collectives, more or less durable. At their own scale, these collectives reclaim the methods of interventions on buildings and the decision that concern them. The thesis eventually aims to better understand the plural dimensions (material, constructive, architectural and interactional) of rammed earth building retrofitting and propose components for a dialogue to carry on with local stakeholders around the interests and conditions that would make possible to hold a political space around the uses and futures of existing buildings.