Les technologies omniprésentes dans notre environnement intègrent des éléments logiciels facilitant leur utilisation. Ces technologies offrent un vaste laboratoire d'expérimentation pour la recherche et en particulier pour l'informatique appliquée. Ces technologies sont un support évident pour rendre des services aux personnes dans leur vie quotidienne. Ces services concernent divers champs d'applications, chacun servant des objectifs spécifiques : confort, sécurité, accès à l'information ou encore assistance à la personne. Puisque les applications offrant ces services sont intimement liées aux besoins des utilisateurs, il est indispensable qu'elles s'adaptent facilement à leurs besoins. Une manière de répondre à ce défi est de proposer à l'utilisateur des outils pour programmer lui-même ses applications. Notre contribution consiste non seulement à définir un tel outil, sous la forme d'un langage visuel paramétré par un champ d'applications, mais aussi à proposer une méthodologie dont l'objectif est de guider un utilisateur dans la programmation d'applications à l'aide de ce langage. Cette méthodologie est dédiée à l'orchestration d'entités communicantes : elles représentent les technologies déployées dans nos environnements. Notre approche, associant une méthodologie à un langage, est accessible à un programmeur novice et suffisamment expressive pour traiter divers champs d'applications. Afin d'augmenter la confiance de l'utilisateur dans le développement de ses applications, nous étendons la méthodologie en proposant une approche de développement dirigée par la vérification de quelques propriétés. Cette vérification est permise par la sémantique du langage, formellement définie.

En dépit de ses treize diagrammes, le langage UML (Unified Modeling Language) normalisé par l'OMG (Object Management Group) n'offre aucune facilité particulière pour appréhender convenablement la phase de traitement des exigences qui démarre le cycle de développement d'un système temps réel. La normalisation de SysML et des diagrammes d'exigences ouvre des perspectives qui ne sauraient faire oublier le manque de support méthodologique dont souffrent UML et SysML. Fort de ce constat, les travaux exposés dans ce mémoire contribuent au développement d'un volet " méthodologie " pour des profils UML temps réel qui couvrent les phases amont (traitement des d'exigences - analyse - conception) du cycle de développement des systèmes temps réel et distribués en donnant une place prépondérante à la vérification formelle des exigences temporelles. La méthodologie proposée est instanciée sur le profil TURTLE (Timed UML and RT-LOTOS Environment). Les exigences non-fonctionnelles temporelles sont décrites au moyen de diagrammes d'exigences SysML étendus par un langage visuel de type " chronogrammes " (TRDD = Timing Requirement Description Diagram). La formulation d'exigences temporelles sert de point de départ à la génération automatique d'observateurs dédiés à la vérification de ces exigences. Décrites par des méta-modèles UML et des définitions formelles, les contributions présentées dans ce mémoire ont vocation à être utilisées hors du périmètre de TURTLE. L'approche proposée a été appliquée à la vérification de protocoles de communication de groupes sécurisée (projet RNRT-SAFECAST).

La capture de CO2 par adsorption sur des solides poreux (adsorbants) est une alternative prometteuse en raison de sa sélectivité et de sa faible consommation d'énergie. Nous avons étudié l'adsorption in-situ de CO2 sur des adsorbants solides en combinant la spectroscopie infrarouge par réflexion diffuse (DRIFT) avec la thermographie infrarouge afin de mieux comprendre les mécanismes d'interaction CO2-adsorbant et ainsi optimiser sa captation dans des procédés de capture en post-combustion. La thermographie IR est utilisée pour détecter la source de chaleur transitoire provenant de la surface de l'adsorbant au cours de l'adsorption de CO2. Un modèle de transfert de chaleur a été développé afin d'estimer les chaleurs d'adsorption. Un mini réacteur conçu pour la DRIFT nous a permis d'identifier les espèces adsorbées et d'étudier leur évolution sur la surface de l'adsorbant selon la température et l'atmosphère environnante. Enfin, le couplage d'informations provenant des deux approches nous a permis l'investigation haut-débit des paramètres clefs pour le choix des adsorbants les plus performants.

Cette Habilitation en est une de géographie et d'analyse culturelle. Elle comporte trois parties. Dans la première, j'aborde le problème que pose la culture à l'analyse scientifique. Je pose la question : est-il possible d'étudier scientifiquement la culture ou un phénomène culturel que l'on ne peut objectiver que partiellement. Cette partie se termine sur l'exposé de méthodologie générale de l'analyse culturelle, qui a été adoptée et adaptée pour l'étude du multiculturalisme. La deuxième partie, intitulée "De la différence et de la diversité culturelle en Amérique du Nord" est à la fois une analyse du multiculturalisme comme phénomène culturel, social et politique, et une exploration du continent de référence sur le multiculturalisme : l'Amérique du Nord. La troisième partie est consacrée à l'analyse d'une situation multiculturelle : celle de la région métropolitaine de Miami-Dade (Miami dans le sud de la Floride). Dans la géographie américaine, cette ville fait figure de ville paradigmatique.

Les activités interactives en ligne connaissent une utilisation grandissante, notamment dans le domaine de l'enseignement des langues. L'amélioration technique des dispositifs permet en effet aujourd'hui des échanges synchrones à distance avec un locuteur natif.Le tuteur inscrit dans une communication via une plateforme synchrone en ligne doit alors coordonner un ensemble complexe d'opérations à des fins d'apprentissage. Différents modes de communication (textuel, visuel, auditif) sont à sa disposition et il les combine dans son discours. Nous analysons, dans le cadre de cours de français à distance via Skype, quels modes sont utilisés par chacun des quatre tuteurs qui composent notre étude. Nous postulons que les modes sont utilisés différemment par chaque tuteur et nous cherchons donc à savoir dans quelle proportion et avec quel " degré d'investissement " (Develotte, Guichon, Vincent, 2011). Nous cherchons également à comprendre quelles conséquences ces choix d'utilisations des modes ont sur la nature de l'interaction. Nous émettons en effet deux hypothèses. Premièrement, nous pensons que le profil initial des tuteurs (compétences individuelles, expériences professionnelles en présentiel ou à distance, habitude de l'environnement informatique) et le contexte des interactions (perturbations extérieures, problèmes techniques, type de tâche, besoin exprimé des apprenants) ont une influence sur la façon dont le tuteur utilise les modes à disposition.Deuxièmement, nous pensons que les choix d'utilisations influencent la nature de l'interaction et la relation entre tuteurs et apprenants. Nous proposons ainsi une grille d'analyse des interactions multimodales en ligne, afin d'apporter des réponses à nos hypothèses de recherche.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Depuis ces dernières années, les composants fortement submicroniques du commerce sont utilisés dans les équipements aéronautiques pour des applications spécifiées pour durer plusieurs décennies. Toutefois, ces composants sont destinés aux marchés de masse que représentent les secteurs de la micro informatique et des télécommunications et ne sont pas spécifiques au marché aéronautique. De ce fait, ces composants sont spécialement conçus pour des besoins dits de haute performance ou de basse consommation et pour lesquels la fiabilité n’est pas un critère prioritaire. Pour satisfaire ces marchés, une nouvelle génération technologique émerge tous les deux ans en imposant à chaque fois, une diminution des dimensions des métallisations BEOL ainsi que des transistors FEOL et/ou l’introduction de nouveaux matériaux. Ces modifications ont conduit à une aggravation des mécanismes de défaillance par usure pour les générations de composants fortement submicroniques, au point de ne plus satisfaire les spécifications en durée de vie des équipements aéronautiques. Cette étude s’attache donc à montrer l’impact que peuvent avoir la réduction des dimensions ainsi que la nature des matériaux, sur la durée de vie des technologies numériques CMOS 500 à 45 nm. Pour cela, les mécanismes de défaillances du circuit intégré ont été modélisés et étudiés au travers de trois applications aéronautiques. En complément, des tests de vieillissement de type HCI et NBTI pratiqués sur une SRAM de génération 90 nm ont permis de valider les prédictions. Enfin, les travaux aboutissent à une méthodologie de sélection de composants fortement submicroniques pour une application spécifique, en fonction de la technologie. / For some years, deep sub micron components have been used in aeronautic equipment for long term applications (generally few decades). However, these components are devoted to mass markets that are basically microcomputers and telecommunications and not especially to aeronautics. Hence, deep sub micron components are manufactured for high performance and low consumption needs and unfortunally, reliability is not the main concern. In order to supply these markets, a new generation of components generally arise every two years, introducing BEOL and FEOL scaling and/or new materials. As a consequence, these improvements have induced a lifetime degradation of devices that can threaten their use for longtime specifications of aeronautic equipement. This study points out the effects of scaling and material improvements on the lifetime degradation of CMOS integrated cicuits between the nodes 500-45 nm. To do so, silicon failure mechanisms have been modelised and investigated on three aeronautic applications. As a complement, some HCI and NBTI lifetests have been performed on 90 nm SRAM in order to validate previous lifetime predictions. Finally, this work leads to a methodology for the selection of deep sub micron components for a specific use, depending on the technology.

Li Zehou 李泽厚 (1930 - ) est l’une des plus importantes figures de la philosophie chinoise contemporaine. A l’issue d’un itinéraire philosophique qui le conduit de Changsha à Beijing, puis aux Etats-Unis, où il enseigne à Colorado College, Li Zehou œuvre à la création d’une philosophie chinoise, réactualisant l’héritage traditionnel chinois par l’intégration de la philosophie. Lors de ce parcours, il étudie l’histoire de la pensée chinoise, devient le plus éminent spécialiste de l’esthétique chinoise, et s'attelle à la critique de la Critique de Kant. Depuis les années 2000, son travail se concentre sur le champ de l’ontologie, au sein duquel il propose sa propre théorie, “L’ontologie anthropologico-historique”.Cette étude est une exploration de l’ontologie de Li Zehou, mais dans une perspective qui dépasse les affirmations de son auteur. Grâce à une méthode multi-focale, nous travaillons à décrire, le plus précisément possible, quels sont les engagements ontologiques réels de Li Zehou. D’abord, à partir de son traitement des philosophies de Marx, Kant et Dewey, quelles sont les options ontologiques propres à la philosophie qu’il admet, et quelles sont celles qu’il rejette? Ensuite, quelles créations ontologiques découvrons-nous en parcourant ses textes, et en offrant une voix philosophique française à ce philosophie chinois ? Enfin, comment l’ontologie, et plus généralement la philosophie de Li Zehou, se situe-t-elle sur le plan philosophique, dans le monde du “sens philosophique” ? Quelles cohérences, quelles résonances, quelles différences, faut-il identifier par rapport aux enseignements chinois et aux courants philosophiques ? / Li Zehou 李泽厚 (1930 - ) is one of the foremost figure of contemporary Chinese philosophy. He is at the end of a philosophical path that lead him from Changsha to Beijing and to the United States of America, where he teaches at Colorado College, and is working on the creation of a Chinese philosophy, reactualizing the Chinese traditional legacy through the integration of philosophy. Simultaneously, he studied the history of Chinese philosophy, became the most eminent specialist of Chinese aesthetics and criticized Kant’s Critique. Since the 2000s, he has focused his work on the field of ontology, in which he has proposed his own theory, “The anthropologico-historical ontology”.This study is an exploration of Li Zehou’s ontology, but in a perspective that exceeds the assertions of the author. Thanks to a multi-focal methodology, we will describe as thoroughly as possible what Li Zehou’s real ontological commitments are. At first, starting from his study of Marx, Kant, and Dewey’s philosophies, we’ll seek to identify which ontological options he admits and which he rejects, among the traditional philosophical ones. Then, we’ll focus on his own ontological creations, by analyzing his texts and giving him a French philosophical voice. Finally, we will situate his ontology and his philosophy in the philosophical plan, within the world of “philosophical meaning”. What consistencies, resonances and differences should we identify as regards the Chinese teachings and philosophical movements?

Les études sur le patrimoine architectural bénéficient aujourd'hui de nombreuses méthodes numériques qui ouvrent de nouvelles perspectives pour la conservation, l'analyse et le partage des connaissances, en particulier sur les sites complexes. Ces nouveaux outils se banalisent aujourd'hui, mais à quel point sont-ils désormais nécessaires voire indispensables pour les études architecturales et archéologiques ? Comment s'inscrivent-ils dans les différentes étapes du travail ?Nous aborderons ces questions principalement à propos de deux terrains d'expérimentation : le site de Saint-Syméon-le-stylite en Syrie et l'abbaye de Saint-Michel de Cuxa en France. La méthodologie mise en œuvre pour l'analyse et la restitution des élévations se fonde sur les outils et techniques numériques d'acquisition et de gestion d'information tridimensionnelle et sur leur mise en relation avec les problématiques archéologiques pour construire un dialogue entre ces deux domaines. A partir de cette réflexion, nous avons élaboré un protocole de travail à l'échelle de l'étude monographique d'un édifice spécifique du site de Saint-Syméon « La Résidence ».Cette recherche s'appuie sur une combinaison de plusieurs outils numériques appliquées à l'édifice en vue de son analyse et en les utilisant comme instrument privilégié d'aide à la réflexion archéologique, et non comme une fin en soi.La principale contribution de cette thèse porte sur la méthodologie de l'intégration de ces outils à l'approche archéologique. Cette approche met en valeur plusieurs axes, le dynamisme et l'interactivité du travail, le contexte interdisciplinaire et collectif, l'objectif de la documentation et la diffusion. / Nowadays, the heritage architectural studies benefit of the contributions of diverse digital methods and open new perspectives for the conservation, the analyses and the knowledge sharing especially on complex sites. Those new tools and techniques have become common and very useful presently, but how much they become common or indispensable for architectural and archeological studies? How do they fit into the different phases of the research work?We will discuss these principal questions by working mainly on two experimented sites, the site of Saint-Simeon the stylite in Syria and the abbey of Saint-Michel de Cuxa in France. The methodology used for the analysis and the elevation restoration is based on the digital tools and acquisition techniques and of three-dimensional information management and also on their setting relation with archaeological issues to build a dialogue between these two domains. Based on this reflection, we have developed a work protocol in scale of monographic study of a specific building in Saint Simeon site “the Residence”. This research is based on a combination of digital tools applied on this building for its analysis and by using them as a privileged instrument to support archaeological reflection, not an end in itself.The main contribution of this thesis focuses on the methodology and the ethics of the use of 3D digital service in archaeological approach, from the filed acquisition till the restitution representations. This approach highlights several axes, dynamism and interactivity of the work, the multidisciplinary and the collectivity context, the objective of documentation and diffusion.

L’effet de Conditionnement Evaluatif (CE) correspond au changement de valence émotionnelle d’un stimulus initialement neutre (Stimulus Conditionnel, SC), suite à son association avec un stimulus affectif (Stimulus Inconditionnel, SI). Dans cette thèse, nous abordons le sujet du CE avec une approche fonctionnelle en trois axes. Après une présentation générale de l’effet de CE, nous proposons, dans chacun des axes, la description et l’opérationnalisation de nouvelles procédures expérimentales pour chacune des étapes typiques d’une expérience de CE (Apprentissage, Mesure et Modification).Dans l’axe 1, nous proposons une nouvelle procédure d’apprentissage, utilisant des mouvements en tant que stimuli affectifs. L’axe 2 porte sur la mesure de l’effet de CE, nous y présentons la Semi Implicit Task (SIT) destinée à évaluer l’attitude envers un stimulus. Enfin, l’axe 3 s’intéresse à la modification de l’effet de CE, nous présentons des méthodologies destinées à modifier les affects acquis par des stimuli, avec et sans recours à des interventions verbales.Tout au long de ce travail, pour chacune des méthodologies proposées, les implications théoriques et les applications pratiques, particulièrement en psychothérapie, sont discutées. Dans la dernière partie de cette thèse, nous partageons différentes réflexions théoriques relatives à la fonction et la conceptualisation de l’effet de CE, et présentons quelques perspectives de recherches cliniques. / Evaluative Conditioning (EC) is a change in liking of a neutral stimulus (conditioned stimulus, CS) resulting from its association with an emotional stimulus (Unconditioned stimulus, US). In the present thesis we investigate EC using a functional approach. After a general presentation of EC, we focus on both describing and operationalizating new experimental procedures corresponding to each typical phase of an EC experiment: Learning, Measurement and Modification.First, we describe a new learning procedure using motion as USs. Second, we investigate a new measure of EC that we have called the Semi Implicit Task that assess attitude toward CSs. Finally, we investigate the modification of acquired valences with methodologies based on interventions with and without the use of verbal information.Within this general perspective, we discuss both theoretical implications and practical applications of EC. Regarding the second point, we shed light on potential applications in the domain of clinical psychology.