L'autisme est un trouble neurodéveloppemental universel, qui concerne tous les âges de la vie, niveaux de développement et pays. L'hétérogénéité des profils de développement de ces enfants classiquement étudiée concerne souvent soit les enfants sans déficience intellectuelle soit des fonctions cognitives et sociales précises. Notre objectif de recherche est de déterminer le profil développemental des enfants atteints d'autisme présentant un retard de développement important et issus de plusieurs pays. Nous faisons l'hypothèse que ces enfants présentent un profil plus hétérogène comparativement à des enfants typiques d'âge de développement similaire et quel que soit leur pays d'origine. Nous avons donc analysé les résultats d'évaluations développementales effectuées avec la BECS de 301 enfants avec autisme et de 121 enfants typiques issus de sept pays de trois continents (Algérie, Belgique, Brésil, Canada, France, Grèce et Espagne). Les résultats confirment la présence d'un développement plus hétérogène chez les enfants atteints d'autisme que chez les enfants typiques. L'existence de corrélations entre l'hétérogénéité des profils et des facteurs d'âge, de niveau de développement et de sévérité des symptômes est également mise en évidence. L'élaboration d'outils d'évaluation comme la BECS permet de mieux comprendre le développement des enfants avec trouble du spectre de l'autisme et déficience intellectuelle. / Autism is an universal neurodevelopmental disorder, that concerns all ages, levels of development and countries. The heterogeneity of developmental profiles of these children often studied classically concerns either children without intellectual disabilitiy or specific cognitive and social functions. Our research goal is to determine the developmental profile of children with autism with a significant developmental delay and from several countries. We assume that these children have a more heterogeneous profile compared to typical children of similar age of development regardless of their country of origin. Therefore we analyzed the results of developmental assessments conducted with BECS of 301 children with autism and 121 typical children from seven countries of three continents (Algeria, Belgium, Brazil, Canada, France, Greece and Spain). The results confirm the presence of a more heterogeneous development in children with autism than in typical children. The existence of correlations between the heterogeneous profiles and age, level of development and severity of symptoms is also highlighted. The development of evaluation tools like BECS allow better understanding of the development of children with autism spectrum disorder and intellectual disability.

L'intégration de composants dans un système peut s'avérer difficile lorsque ces composants ont été conçus selon différents paradigmes ou s'ils se basent sur différents cadres de temps devant être synchronisés. Cette synchronisation peut être dirigée par les évènements (un évènement est provoqué par un autre), ou dirigée par le temps (un évènement se produit parce qu'il en est l'heure). En considérant que chaque composant admet son propre cadre de temps et qu'ils peuvent ne pas être reliés, il est possible qu'une unique ligne de temps globale n'existe pas.Nous nous intéressons à la spécification de schémas de synchronisation pour de tels systèmes polychrones et polytemporisés. Notre étude nous a mené à la conception de modèles sémantiques pour un langage temporisé à évènements discrets, appelé TESL et développé par Boulanger et al. Ce langage a été utilisé pour coordonner la simulation de modèles composites et pour tester l'intégration de systèmes.Dans cette thèse, nous présentons une sémantique dénotationnelle fournissant une compréhension précise et logiquement cohérente du langage. Puis nous proposons une sémantique opérationnelle afin de dériver des traces d'exé-cutions satisfaisant une spécification TESL. Celui-ci a été utilisé pour les problématiques de test des systèmes, à travers l'implantation d'un solveur nommé Heron. Pour résoudre la question de cohérence et de correction de ces règles sémantiques, nous avons également développé une sémantique intermédiaire coinductive reliant les deux sémantiques dénotationnelles et opérationnelles. Nous établissons des propriétés sur la relation entre les deux sémantiques: correction, complétude, progrès ainsi que terminaison locale. Enfin, notre formalisation ainsi que les preuves associées ont été entièrement mécanisées dans l'assistant de preuve Isabelle/HOL. / Integrating components into systems turns out to be difficult when these components were designed according to different paradigms or when they rely on different time frames which must be synchronized. This synchronization may be event-driven (an event occurs because another event occurs) or time-driven (an event occurs because it is time for it to occur). Considering that each component admits its own time frame, and that they may not be related, a unique global time line may not exist.We are interested in specifying synchronization patterns for such polychronous and polytimed systems. Our study had led us to design semantic models for a timed discrete-event language, called the TESL language developed by Boulanger et al. This language has been used for coordinating the simulation of composite models and testing system integration.In this thesis, we present a denotational semantics providing an accurate and logic-consistent understanding of the language. Then we propose an operational semantics to derive satisfying runs from TESL specifications. It has been used for testing purposes, through the implementation of a solver, named Heron. To tackle the issue of the consistency and correctness of these semantic rules, we developed a co-inductive intermediate semantics that relates both the denotational and the operational semantics. Then we establish properties over the relation of our semantic models: soundness, completeness and progress, as well as local termination. Finally, our formalization and these proofs have been fully mechanized in the Isabelle/HOL proof assistant.

Au-delà des techniques conventionnelles de diagnostic et de suivi du cancer, l’analyse radiomique a pour objectif de permettre une médecine plus personnalisée dans le domaine de la radiothérapie, en proposant une caractérisation non invasive de l’hétérogénéité tumorale. Basée sur l’extraction de paramètres quantitatifs avancés (histogrammes des intensités, texture, forme) issus de l’imagerie multimodale, cette technique a notamment prouvé son intérêt pour définir des signatures prédictives de la réponse aux traitements. Dans le cadre de cette thèse, des signatures de la récidive des cancers du col utérin ont notamment été développées, à partir de l’analyse radiomique seule ou en combinaison avec des biomarqueurs conventionnels, apportant des perspectives majeures dans la stratification des patients pouvant aboutir à une adaptation spécifique de la dosimétrie.En parallèle de ces études cliniques, différentes barrières méthodologiques ont été soulevées, notamment liées à la grande variabilité des protocoles et technologies d’acquisition des images, qui entraîne un biais majeur dans les études radiomiques multicentriques. Ces biais ont été évalués grâce à des images de fantômes et des images multicentriques de patients pour l’imagerie TEP, et deux méthodes de correction de l’effet de stratification ont été proposées. En IRM, une méthode de standardisation des images par harmonisation des histogrammes a été évaluée dans les tumeurs cérébrales.Pour aller plus loin dans la caractérisation de l’hétérogénéité intra-tumorale et permettre la mise en œuvre d’une radiothérapie personnalisée, une méthode d’analyse locale de la texture a été développée. Adaptée particulièrement aux images IRM de tumeurs cérébrales, ses capacités à différencier des sous-régions de radionécrose ou de récidive tumorale ont été évaluées. Dans ce but, les cartes paramétriques d’hétérogénéité ont été proposées à des experts comme des séquences IRM additionnelles.À l’issue de ce travail, une validation dans des centres extérieurs des modèles développés, ainsi que la mise en place d’essais cliniques intégrant ces méthodes pour personnaliser les traitements seront des étapes majeures dans l’intégration de l’analyse radiomique en routine clinique. / Beyond the conventional techniques of diagnosis and follow-up of cancer, radiomic analysis allows to personalize radiotherapy treatments, by proposing a non-invasive characterization of tumor heterogeneity. Based on the extraction of advanced quantitative parameters (histograms of intensities, texture, shape) from multimodal imaging, this technique has notably proved its interest in determining predictive signatures of treatment response. During this thesis, signatures of cervical cancer recurrence have been developed, based on radiomic analysis alone or in combination with conventional biomarkers, providing major perspectives in the stratification of patients that can lead to dosimetric treatment plan adaptation.However, various methodological barriers were raised, notably related to the great variability of the protocols and technologies of image acquisition, which leads to major biases in multicentric radiomic studies. These biases were assessed using phantom acquisitions and multicenter patient images for PET imaging, and two methods enabling a correction of the stratification effect were proposed. In MRI, a method of standardization of images by harmonization of histograms has been evaluated in brain tumors.To go further in the characterization of intra-tumor heterogeneity and to allow the implementation of a personalized radiotherapy, a method for local texture analysis has been developed. Specifically adapted to brain MRI, its ability to differentiate sub-regions of radionecrosis or tumor recurrence was evaluated. For this purpose, parametric heterogeneity maps have been proposed to experts as additional MRI sequences.In the future, validation of the predictive models in external centers, as well as the establishment of clinical trials integrating these methods to personalize radiotherapy treatments, will be mandatory steps for the integration of radiomic in the clinical routine.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / La production du discours requiert l'intégration d'habiletés cognitives linguistiques et non-linguistiques. Comme ces habiletés peuvent être atteintes dans la démence de type Alzheimer (DTA), le discours présente un attrait diagnostique certain. L'utilisation du discours comme outil diagnostique est cependant compliquée par l'hétérogénéité des manifestions cognitives observée autant dans la DTA que dans le vieillissement normal. Cette hétérogénéité cognitive sous-jacente pourrait se traduire en hétérogénéité discursive, brouillant ainsi la frontière entre discours normal et discours pathologique. L'objectif général de cette thèse était de documenter les caractéristiques discursives des patients DTA dans les perspectives normative, différentielle, longitudinale et clinique. Les discours ont été analysés dans le cadre d'un modèle stratifié d'analyse cognitivo-linguistique pour permettre la description d'un ensemble de mesures reflétant différents niveaux de représentation. Les résultats de l'article l qui visait à évaluer les effets de l'âge chez des sujets normaux âgés de plus de 65 ans suggèrent que les aspects conceptuels sont plus sensibles à l'augmentation de l'âge que les aspects formel et organisationnel. Cependant, 1'education et le stimulus contribuent également à modifier les effets liés à l'âge. Les résultats d'analyses hiérarchiques en grappe de l'article 2 suggèrent que la performance discursive à elle-seule, ne peut distinguer de façon fiable la DTA du vieillissement normal. Les résultats des évaluations longitudinales effectuées chez 5 patients DTA dans l'article 3 suggèrent que les atteintes conceptuelles observées en début d'évolution continuent à se détériorer de façon homogène au cours de 5 évaluations successives. Enfin, la documentation dans l'article 4 d'une proportion importante de modalisations (comportement discursif reflétant des difficultés vécues par les sujets au cours d'une tâche discursive) en début d'évolution suggère que cette mesure reflète une force communicationnelle pouvant être exploitée dans un contexte thérapeutique. Ces travaux ont permis de préciser la nature des atteintes discursives dans la DTA. Au niveau théorique, ils ont contribué à la validation d'un modèle d'analyse du discours et à l'avancement des connaissances sur les processus de vieillissement normal et pathologique. Enfin, au niveau clinique, ils ont permis d'identifier des mesures discursives les plus différentielles et de dégager quelques pistes d'interventions thérapeutiques.

Les prairies semi-naturelles constituent des espaces multifonctionnels susceptibles de rendre de nombreux services à la société. Ce sont en particulier des agro-écosystèmes favorables à l'expression d'une grande diversité floristique et faunistique. Le pâturage peut constituer un mode de gestion durable de ces espaces adapté à des objectifs de préservation et de restauration de la diversité, pouvant concilier enjeux écologiques et agronomiques. Dans ce contexte, l'objectif de cette thèse est d'arriver à une meilleure compréhension de la réponse des communautés végétales au pâturage et des conséquences fonctionnelles associées en utilisant comme modèle d'étude, trois communautés végétales rencontrées dans les prairies humides du Marais Poitevin. Cet objectif requiert d'étudier le pâturage à la lumière de deux problématiques majeures de l'écologie des communautés : (i) l'étude des règles d'assemblage des communautés et (ii) l'étude du lien entre la structure des communautés et le fonctionnement des écosystèmes. Pour cela, une approche fonctionnelle basée sur les traits des espèces se révèle pertinente. Nous avons montré que le pâturage a un impact positif sur la richesse et la diversité floristiques des trois communautés étudiées. Au sein de chacune de ces communautés, le patron de pâturage hétérogène des herbivores est à l'origine d'une hétérogénéité de la structure de la végétation qui se présente sous la forme d'une mosaïque de types de patchs caractérisés par des compositions floristiques et des abondances relatives des espèces contrastées. L'impact positif du pâturage sur la diversité et la richesse floristiques des communautés résulte à la fois (i) des variations de la composition floristique et des abondances relatives des espèces entre patchs et (ii) de l'impact des herbivores sur la diversité et la richesse spécifiques de la végétation à l'échelle intra-patch. Les variations de la composition floristique observées entre types de patchs sont le résultat des variations de l'importance de différents filtres environnementaux associés au pâturage, notamment du prélèvement de biomasse et de la compétition interspécifique. L'augmentation de l'intensité du pâturage entraîne un remplacement des espèces dominantes caractérisées par une fortes aptitude à la compétition aérienne et une stratégie conservatrice vis à vis des ressources par des espèces dominantes présentant une forte aptitude à l'acquisition des ressources une forte aptitude à la compétition racinaire. L'impact du pâturage sur la diversité à l'échelle intra-patch peut résulter de son impact négatif sur l'intensité de la compétition pour la lumière et de son impact sur l'hétérogénéité environnementale à une échelle fine. Nous avons enfin montré que le patron hétérogène de pâturage avait pour conséquence des variations des processus écosystémiques associés au cycle de l'azote et du carbone. Il existe un lien entre la structure des différents types de patchs générés par les herbivores et ces processus. Il apparaît que les valeurs des traits des espèces dominantes influencent davantage le fonctionnement écosystémique que la diversité de ces traits. Ce travail constitue une étape vers une approche prédictive de l'impact du pâturage sur la structure des communautés et le fonctionnement de l'écosystème pouvant se révéler d'une grande utilité dans l'optique de la gestion des prairies naturelles.

La signature géochimique des basaltes de rides ou de points chauds nous renseigne sur la dynamique du manteau terrestre. Le manteau superficiel, échantillonné dans les basaltes de rides, nous apparaît essentiellement homogène. A l'opposè, le manteau profond, échantillonné dans les basaltes de points chauds, se révèle trés hètérogène. Ceci semble contredire la plupart des observations et contraintes issues de la géophysique : la convection du manteau est très efficace, et elle génère vraisemblablement des flux de matière importants entre parties supérieure et inférieure. Comment, dans ces conditions, préserver des zones géochimiquement très différentes ? Dans cette thèse, nous étudions les propriétés de mélange d'écoulements simples simulant la convection du manteau pour tenter de donner un sens à la signature géochimique des basaltes. Nous montrons tout d'abord que la géométrie et la vitesse des plaques lithosphériques sont cruciales pour l'efficacité du mélange de l'écoulement mantellique. Avec des conditions aux limites tridimensionnelles relativement réalistes, on peut préserver des zones hétérogènes dans un système globalement homogène. Ensuite, nous mettons en évidence le fait que la stratification visqueuse du manteau ne peut être invoquée pour expliquer les différences géochimiques entre parties superficielle et profonde. Nous montrons par contre qu'envisager l'existence d'un réservoir de croûte océanique ancienne dans la couche D" peut permettre d'expliquer la signature des basaltes. Enfin, nous présentons une étude comparative des résultats de simulations de convection et de modèles de boîtes géochimiques concernant la dynamique du manteau. Il apparaît que les seconds devraient utiliser environ 15 boîtes pour que le taux dispersion implicite des éléments reste réaliste. Ce chiffre est très supérieur à ceux des modèles de boîtes publiés dans la littérature.

L'hétérogénéité des objets communicants et la consommation d'énergie sont deux considérations fondamentales pour les environnements informatiques ubiquitaires. Dans cette thèse, nous présentons notre approche pour gérer l'hétérogénéité et pour économiser l'énergie via des canevas de programmation dédiés. Pour gérer l'hétérogénéité, nous proposons une méthodologie et un support de programmation qui visent à faire communiquer les différents objets communicants de l'environnement ubiquitaire, et ce, en utilisant le protocole SIP considéré alors comme un bus de communication universel. Nous avons intégré ce bus SIP dans les canevas de programmation générés à partir des descriptions d'applications d'informatique ubiquitaire, écrites dans le langage DiaSpec. Concernant la consommation d'énergie, nous proposons une méthodologie qui utilise les techniques d'offloading et de compression de données pour minimiser la consommation d'énergie des applications mobiles. Nous avons ainsi construit une stratégie d'aide à la conception au travers d'un outil qui permet de déterminer le meilleur mode d'exécution pour une tâche donnée. Nous proposons l'intégration de cette stratégie dans le langage de description DiaSpec.

Cette thèse a pour thème central les liens entre les décisions de formation et de licenciement, ainsi que l'efficience économique de ces décisions. La formation est ici entendue comme formation spécifique à l'entreprise dont les salariés bénéficient au cours de leur vie professionnelle via leur employeur. Le premier chapitre évalue, à partir de données individuelles, les rendements de la formation en France, à la fois sur le plan de la mobilité (emploi-emploi et emploi-chômage) qu'en termes de gain salarial. Le deuxième chapitre examine comment une protection de l'emploi, différenciée selon l'âge des salariés, affecte la volonté des entrepreneurs de former leurs travailleurs. Le troisième chapitre met en évidence que les décisions de formation et de destruction d'emploi sont fortement complémentaires. Dès lors, des subventions à la formation ciblées par niveau de qualification et combinées à des taxes sur le licenciement (également ciblées par niveau de qualification) doivent être mises en place pour que ces décisions soient socialement optimales. Le quatrième chapitre analyse comment le risque de licenciement, différencié entre les travailleurs d'un même niveau de qualification selon leur niveau d'aptitude, peut être source d'inégalités salariales. Enfin, le dernier chapitre souligne que, face aux disparités salariales, de formation et de risque de licenciement entre les salariés d'un même niveau de qualification, les subventions à la formation et les taxes sur le licenciement, nécessaires à l'efficacité économique, devraient non seulement différer selon la catégorie socioprofessionnelle, mais également au sein de chacune.

Aujourd'hui, il existe un nombre important et croissant de sources de données, qui peuvent être des documents et des données structurées ou semi-structurées. En général, aussi bien les documents que les bases de données sont autonomes et gérés par des systèmes différents. D'autre part, beaucoup de ces sources sont reliées tout en étant sémantiquement hétérogènes : elles modélisent la même réalité externe tout en utilisant des concepts et des structures distincts. <br />Or, les organisations et les entreprises qui sont confrontées à de telles sources de données ont besoin d'en avoir une vision homogène et cohérente. La conséquence est qu'il est nécessaire de les intégrer et de disposer d'un système qui gère ces données.<br /><br />L'objectif d'un système d'intégration des données est de proposer une interface homogène pour interroger plusieurs sources, qui peuvent être hétérogènes et autonomes. Derrière une telle interface il y a plusieurs défis, parmi lesquels nous soulignons l'hétérogénéité structurelle et sémantique des sources de données, la fragmentation des données, le traitement et l'optimisation des requêtes. <br /><br />Il existe de nombreux travaux qui présentent des approches distinctes pour l'intégration des données, et chaque approche propose des solutions spécifiques à chacun des problèmes évoqués. On considère en général que ces approches appartiennent à deux grandes catégories : l'approche matérialisée et l'approche virtuelle. Cependant, on peut aussi considérer une troisième approche, dite hybride, qui propose qu'une partie des données du système intégré soit matérialisée et qu'une autre partie des données soit virtuelle.<br /><br />Dans cette thèse, nous proposons une architecture hybride pour un système d'intégration de sources de données hétérogènes, qui vise à étendre l'optimisation des requêtes à toutes les requêtes du système d'intégration. Elle permet aussi de fournir un mécanisme flexible pour traiter la mise à jour des données afin de tolérer les différentes caractéristiques des sources et de leurs données.<br /><br />Cette approche est basée sur un système d'indexation d'objets multicritères au niveau de la médiation. Dans notre approche, nous utilisons le système Osiris et son mécanisme d'indexation. Osiris est un système de gestion de bases de données et de bases de connaissance orienté objet, où une famille d'objets est définie par une hiérarchie de vues " object-preserving ". Le système d'indexation d'Osiris est un système multi-attributs, et notre approche propose la matérialisation du sous-ensemble des données directement reliées aux attributs d'indexation. <br /><br />Le système d'intégration des données proposé, IXIA, matérialise la structure d'indexation des objets sous-jacents au niveau du médiateur. Les Oids des objets, leur correspondance avec les objets des sources et les données nécessaires pour la mise à jour de l'indexation des données sont aussi matérialisées. <br /><br />Cette approche offre une plus grande flexibilité de rafraîchissement des données qu'une approche entièrement matérialisée, et une meilleure optimisation des requêtes que les méthodes entièrement virtuelles.

Pour respecter les droits d’auteur, la version électronique de cette thèse a été dépouillée de certains documents visuels et audio-visuels. La version intégrale de la thèse a été déposée au Service de la gestion des documents et des archives de l'Université de Montréal / Nous définissons l’« hétérogénéité stylistique » comme la cohabitation synchrone de styles hétérogènes dans un corpus individuel, particulièrement visible dans un médium unique. Une telle cohabitation est avérée dans les productions d’artistes aussi divers que le Tintoret, Sébastien Bourdon, Pablo Picasso, Francis Picabia et Gerhard Richter, que nous abordons ici comme autant de cas d’étude. L’hétérogénéité stylistique, inégalement distribuée dans le champ de la production artistique et généralement mal identifiée par l’histoire de l’art, pose des problèmes de définition et d’interprétation qui sont directement liés aux fondements méthodologiques de cette discipline (en raison même de l’histoire complexe de la notion de style). Ainsi, l’histoire de la réception critique de l’hétérogénéité stylistique, de la Renaissance à aujourd’hui, fait ressortir les nombreux enjeux idéologiques qui ont variablement déterminé le processus de son identification et de son interprétation. À une époque où l’on peut cerner plus clairement les enjeux que soulève l’hétérogénéité stylistique, il devient possible d’entreprendre une analyse structurelle et contextuelle de ce dispositif esthétique, à partir d’une série de faits historiques et de modèles épistémologiques (tels que l’histoire de la subjectivité, l’évolution des techniques de production, de gestion et de diffusion de l’art et de l’information, etc.). / We define « stylistic heterogeneity » as the synchronic cohabitation of heterogeneous styles within an artist’s body of work, rendered particularly visible when appearing in a single medium. Such a cohabitation may be observed in the works of artists such as Tintoretto, Sébastien Bourdon, Pablo Picasso, Francis Picabia and Gerhard Richter, which are used here as case studies. Stylistic heterogeneity, being unevenly distributed throughout the field of art production, is generally not correctly identified by art history. Indeed, the difficulties encountered in trying to define and interpret this particular phenomenon may be linked to the methodological foundations of the discipline (and more specifically to the complex history of the notion of style). The history of stylistic heterogeneity’s critical reception, from the Renaissance to the present, underscores the numerous ideological underpinnings that have conditioned the processes of its definition and interpretation. Now that the issues raised by stylistic heterogeneity can be assessed with greater clarity, a new structural and contextual reading of this aesthetic apparatus may be undertaken, based on a series of historical facts and epistemological models (such as the history of subjectivity, the evolution of techniques for art and information’s production, management and dissemination, and so on).