La tomographie de cohérence optique (OCT) est une technique d'imagerie non invasive, fondée sur le principe de I'interférométrie. Elle est maintenant un examen classique pour le dépistage et le suivi des affections rétiniennes, notamment des dégénérescences maculaires. C'est dans ce cadre que s'inscrit le premier objectif de ces travaux de thèse, où nous proposons une nouvelle méthode de segmentation des images OCT de sujets sains. Les principales difficultés sont liées au bruit des images, à la variabilité de la morphologie d’un patient à l’autre et aux interfaces mal définies entre les différentes couches. Notre nouvelle approche est fondée sur des algorithmes de segmentation plus globaux. Ainsi. huit couches rétiniennes peuvent étre détectées, y compris les segments internes (IS) des photorécepteurs. L’évolution lente des maladies rétiniennes pose le problème de l’évaluation de ces thérapeutiques. C’est dans ce cadre que s’inscrit le second objectif de cette thèse, où nous étendons le champ d’application des méthodes développées pour les sujets sains aux sujets atteints de rétinopathie pigmentaire. Nous avons ainsi développé un nouveau modèle paramétrique déformable qui intègre les informations a priori en ajoutant une contrainte de parallélisme. Dans les cas sains et pathologiques, nous avons réalisé une évaluation exhaustive qualitative et quantitative. Les résultats de segmentation automatique ont été comparés avec les segmentations manuelles réalisées par différents experts.Ces évaluations montrent une très bonne concordance et une forte corrélation entre les segmentations automatiques et les segmentations faites manuellement par un expert. / Optical coherence tomography (OCT) is a non-invasive imaging technique, based on the principle of interferometry. Thus, OCT is now a standard examination for the detection and the monitoring of retinal diseases including macular degeneration. In this context, the first objective of this thesis is to propose a new method for the segmentation of OCT images of healthy subjects. The proposed method exploits prior knowledge on the structure and the appearearance of the retinal layers. It is based on a combination of local and global segmentation algorithms, including active contours, k-means and Markov random fields. Thus, eight retinal layers can be detected, including the inner segments (IS) of photoreceptors. However, the slow evolution of this disease makes the evaluation of these therapies difficult. The second objective of this thesis is then to extend the scope of the method developed for healthy subjects to retinitis pigmentosa subjects. We have developed a new parametric deformable model that incorporates a priori information by adding a constraint of approximate parallelism, which is more robust in the presence of pathologies. In both healthy and pathological study cases, we performed a comprehensive qualitative and quantitative assessrnent of the proposed methods. We evaluated the accuracv of the segmentation of interfaces between layers, and, in the case of healthy subjects, the accuracy of the segmentation of interfaces between layers, and, in the case of healthy subjects, the precision of thickness measurements derived from the segmentation. This study was conducted on a large image database. These evaluations show a very good agreement anda strong correlation between automatic segmentation and segmentation done manually by an expert.

La présente recherche porte sur la cohérence et la cohésion qu'il existe dans l'expression orale d'un jeune dysphasique du premier cycle du secondaire et dans la production écrite effectuée par celui-ci. Compte tenu du problème de langage parlé que présente entre autres la dysphasie, le risque de trouver le même problème est possiblement présent dans la production écrite. Cela a des répercussions au niveau scolaire dans l'expression de ses idées, l'apprentissage de l'écriture, peut-être même dans la compréhension de ce qu'il écoute et lit. Non seulement, cela a-t-il des conséquences dans les résultats académiques, mais aussi dans les relations sociales avec ses pairs et ses enseignants puisqu'il ne saisit pas certains énoncés du langage tels que des jeux de mots ou des métaphores. De plus, il a de la difficulté à exprimer clairement ses idées et ses opinions. Ces obstacles à l'expression orale et celle écrite peuvent éventuellement marginaliser le jeune dysphasique et le démotiver. Des études ont mis en évidence qu'il existe une relation entre le langage parlé et l'apprentissage de l'écriture : si le jeune dysphasique éprouve des difficultés à s'exprimer oralement, il en sera de même dans la production écrite. Toutefois, d'autres études démontrent que l'apprentissage de l'écriture aide à améliorer le langage oral. Toutes ces études ont été effectuées sur de jeunes enfants au niveau préscolaire ou au primaire; elles ont été faites à partir de textes narratifs restitués par des jeunes n'ayant par de problème de langage. Notre recherche, qui est exploratoire et descriptive, concerne des jeunes du premier cycle du secondaire et la collecte de données s'est faite à partir d'un texte courant. Elle visait deux objectifs spécifiques : premièrement, analyser la cohérence et la cohésion dans la restitution orale et celle écrite d'un sujet tout-venant et dans celles d'un jeune dysphasique; et deuxièmement, décrire les relations entre les restitutions des deux sujets. Pour ce faire, la collecte de données s'est déroulée de la manière suivante : nous avons demandé à deux jeunes de deuxième et troisième secondaires, l'un, tout-venant et l'autre, dysphasique, de restituer ce qu'ils se rappelaient de l'écoute d'un texte à dominante descriptive laquelle leur a été faite à tour de rôle. Dans un premier temps, ils devaient rappeler oralement le contenu du texte lu, et dans un deuxième temps, ils devaient écrire ce dont ils se souvenaient du même texte. Une fois les restitutions orales transcrites sous forme de Verbatim, elles ont été, tout comme les restitutions écrites, décrites et comparées entre elles selon les critères suivants : la cohérence (intégration et hiérarchisation et la cohésion (récurrence, coréférence, contiguïté sémantique et connecteurs). Les résultats obtenus montrent d'abord que les restitutions orales et écrites présentent des similitudes quant à la cohérence et la cohésion. Les restitutions écrites sont légèrement plus détaillées, c'est-à-dire quelques idées ont été ajoutées ou précisées. Par exemple, dans la restitution orale, comme dans celle écrite, le sujet tout-venant mentionne que les fourmis d'Argentine pourraient être "dangereuses pour les arbres fruitiers". Dans sa restitution écrite, il ajoute comme informations que ces insectes "aiment le sucre" et qu'elles "vont dans les maisons". Les observations montrent aussi une différence entre les restitutions du jeune toutvenant et celles du jeune dysphasique. Ce dernier rappelle les informations du texte de façon cohérente et presque complète alors que le sujet tout-venant ne restitue que les informations de la première partie, et ce, de la façon la plus simple, soit par l'énumération sans connecteurs autres que ceux de l'énumération. Par contre, le sujet tout-venant maîtrise les procédés cohésifs mieux que le sujet dysphasique. Quant à ce dernier, il semble mieux réussir à l'écrit qu'à l'oral. La compréhension des informations de façon globale et, peut-être, le type de texte influencent les résultats dans le rappel des informations. Le sujet dysphasique peut restituer les idées, et ce, de façon structurée s'il saisit bien l'idée globale du texte qu'il lui a été lu, mais la microstructure est moins maîtrisée, sauf l'utilisation des connecteurs qui a probablement un lien plus étroit - que les autres procédés cohésifs - avec la cohérence et la compréhension des idées. Donc, à partir de l'analyse des restitutions orale et écrite, il semble que le trouble de langage aurait des répercussions au niveau des procédés de la cohésion, sauf dans le cas des connecteurs. L'utilisation de ceux-ci et les procédés de cohérence sont maîtrisés par le jeune dysphasique qui a compris le contenu du texte qui lui a été lu.

Notre objectif dans cette thèse est de donner la propriété d'adaptabilité à l'aspect duplication. La séparation des préoccupations et l'approche par services permettent au développeur d'applications de s'abstraire de l'aspect duplication lors de ses développements. Cependant, ces approches souffrent d'une limitation majeure : il semble très difficile, voir impossible, de fournir un service/aspect générique de duplication pouvant être paramétré afin d'être utilisé dans différents contextes d'exécution et couvrant l'ensemble des protocoles existants. Ces constatations nous ont conduit à la définition d'un canevas de services de duplication, nommé RS2.7. RS2.7 est le squelette d'un service de duplication définissant sa structure. Il permet d'obtenir des services de duplication indépendants de tout code propre à l'application, pouvant être utilisés dans différents contextes non fonctionnels (transactionnel, mémoires partagées, etc.) et prenant en compte les contraintes et les protocoles spécifiques à chaque domaine. Nos contributions portent sur trois axes : (1) la modélisation des services de duplication pouvant être obtenus à partir de RS2.7, (2) l'adaptabilité du canevas par rapport au contexte non fonctionnel et (3) l'adaptabilité dans tout ou partie des protocoles de duplication. RS2.7 a été mis en \oe uvre et notre validation porte sur la démonstration des caractéristiques d'adaptabilité offertes. Nous cherchons à montrer que notre canevas permet d'obtenir des services très variés et convenant pour divers contextes non fonctionnels.

Les outils d'édition collaborative permettent à un groupe de personnes distribuées dans le temps, dans l'espace et à travers les organisations, de travailler ensemble sur les mêmes documents. Un système d'édition collaborative efficace doit permettre à n'importe qui de modifier n'importe quel type de données à n'importe quel moment. Cela pose des problèmes de maintient de la cohérence des données au sein des ces systèmes. Nous présentons trois approches de maintient de la cohérence dans les systèmes collaboratifs distribués: une approche transactionnelle, une approche basée sur les transformées opérationnelles et une approche basée sur les types commutatifs répliqués.

Cette thèse se focalise sur l'étude de cohérences locales fortes afin de résoudre des problèmes d'optimisation sur des réseaux de fonctions de coûts (ou réseaux de contraintes pondérées). Ces méthodes fournissent le minorant nécessaire pour des approches de type "Séparation-Evaluation". Nous étudions dans un premier temps la cohérence d'Arc virtuelle (VAC), une des plus fortes cohérences d'arcs du domaine, qui est établie via l'établissement de la cohérence d'arc dure dans une séquence de réseaux de contraintes classiques. L'algorithme itératif pour établir VAC est amélioré via l'introduction d'une incrémentalité accrue, exploitant la cohérence d'arc dynamique. La nouvelle méthode est aussi capable de maintenir VAC efficacement pendant la recherche lorsque les réseaux de contraintes pondérées sont dynamiquement modifiés par les opérations de branchement. Dans une seconde partie, nous nous intéressons à des cohérences de domaines plus fortes, inspirées de cohérences similaires dans les réseaux de contraintes classiques (cohérence de chemin inverse, réduite ou Max-réduite). Pour chaque cohérence dure, plusieurs cohérences souples ont été proposées pour les réseaux de contraintes pondérées. Les nouvelles cohérences fournissent un minorant plus fort que celui des cohérences d'arc souples en traitant les triplets de variables connectées deux à deux par des fonctions de coûts binaires. Dans cette thèse, nous étudions les propriétés des nouvelles cohérences, les implémentons et les testons sur une variété de problèmes. / This thesis focuses on strong local consistencies for solving optimization problems in cost function networks (or weighted constraint networks). These methods provide the lower bound necessary for Branch-and-Bound search. We first study the Virtual arc consistency, one of the strongest soft arc consistencies, which is enforced by iteratively establishing hard arc consistency in a sequence of classical Constraint Networks. The algorithm enforcing VAC is improved by integrating the dynamic arc consistency to exploit its incremental behavior. The dynamic arc consistency also allows to improve VAC when maintained VAC during search by efficiently exploiting the changes caused by branching operations. Operations. Secondly, we are interested in stronger domain-based soft consistencies, inspired from similar consistencies in hard constraint networks (path inverse consistency, restricted or Max-restricted path consistencies). From each of these hard consistencies, many soft variants have been proposed for weighted constraint networks. The new consistencies provide lower bounds stronger than soft arc consistencies by processing triplets of variables connected two-by-two by binary cost functions. We have studied the properties of these new consistencies, implemented and tested them on a variety of problems.

Le recrutement des étudiants internationaux est devenu un enjeu pour peupler les universités nord-américaines en général, canadiennes et québécoises en particulier, confrontées à la réalité de la diminution de leur clientèle causée par la baisse démographique. Plusieurs moyens de communication sont déployés pour atteindre les candidats potentiels. Nous nous sommes intéressée [i.e. intéressés] à la brochure promotionnelle Étudiantes et étudiants internationaux. Guide d'admission que l'Université de Sherbrooke a produite pour joindre sa cible, car nous considérons que malgré la percée du numérique dans le monde actuel, l'imprimé demeure le moyen privilégié et efficace pour atteindre un public plus large. Nous questionnant sur l'apport de la révision et le degré de cohérence textuelle du contenu de deux versions de la même brochure publiées entre 2007 et 2009, nous nous sommes fixé [i.e. fixés] pour objectif d'évaluer le niveau de cohérence des textes et l'impact de la révision de la première brochure sur la deuxième. Dans cette perspective, nous avons appliqué au corpus trois indicateurs en ce qui concerne la cohérence : la stabilité énonciative, la continuité référentielle et la progression thématique. Les indices retenus sont issus des travaux de recherche de plusieurs auteurs en particulier M. Charolles, C. Beaudet, C. Kerbrat-Orecchioni. Et, pour analyser la révision, nous avons soumis le corpus à quatre opérations tirées du modèle proposé par Flower et Hayes : déplacement, ajout, substitution et suppression. Toute cette démarche avait pour but de vérifier nos deux hypothèses : celle qui affirme que les textes des deux brochures devaient renfermer des indices linguistiques qui garantissent la cohérence et celle qui suppose que le travail de réécriture de la première brochure devait contribuer à augmenter le degré de cohérence de la deuxième brochure. De ce fait, cette dernière devrait contenir plus d'indices de cohérence que la première. Nous appuyant sur l'analyse quantitative et qualitative, nous avons eu recours à la méthode comparative. À la lumière des résultats obtenus, il nous est difficile d'affirmer d'un bloc qu'une brochure est plus cohérente que l'autre. Cependant, l'étude nous a permis d'observer la présence de traces des indicateurs dans les deux brochures, ce qui amène à confirmer la première hypothèse. Pour ce qui est de l'impact de la révision, nous avons pu constater des changements importants dans la deuxième version de la brochure sur le fond et la forme. Et nous concluons que la révision a contribué à améliorer la présentation de la deuxième brochure.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Dans les année récentes, les systèmes d'atomes froids ont été reconnus comme des outils prometteurs pour réaliser des simulateurs quantiques, ainsi que pour différentes applications en information quantique. Parmi eux notamment la jonction Josephson bosonique, un système de bosons ultrafroids dilués pouvant occuper deux modes, a été employée pour réaliser un interféromètre atomique, qui a permi d'estimer un déphasage avec une précision dépassant la limite classique. Dans cette thèse, nous étudions d'un point de vue théorique la production, la détection et la décohérence d'états intriqués qui peuvent être utilisés pour l'interférométrie de haute précision dans une jonction Josephson bosonique. Parmi ces états quantiques utiles se trouvent les états comprimés et les superpositions macroscopiques d'états cohérents. Dans la première du manuscrit, nous démontrons que les superpositions macroscopiques d'états cohérents peuvent être créées pendant la dynamique qui suit un arrêt soudain du couplage entre les deux modes de la jonction, puis nous étudions des protocoles de détection expérimentale. Il existe inévitablement dans chaque expérience des sources de bruit, les principaux étant le bruit de phase, induit par des fluctuations des énergies des deux modes, et la perte d'atomes. La présence de bruit induit de la décohérence et dégrade les corrélations quantiques des états manipulés. Dans la deuxième partie du manuscrit nous analysons en détail la façon dont les corrélations quantiques utiles des états comprimés et des superpositions macroscopiques sont dégradées par le bruit de phase. Nous montrons que, pour des intensités de bruit modérées, les superpositions d'états cohérents à plusieurs composantes sont des candidats intéressantes pour l'interférométrie de précision. Enfin, nous étudions l'effet de la perte d'atomes sur la formation des superpositions macroscopiques, en montrant comment la décohérence agit sur la matrice densité du système / In recent years, cold atomic systems have been recognized as very promising tools for quantum simulators and for applications in quantum technology. In particular, a Bose Josephson junction (BJJ) - a system of ultracold dilute bosons which can occupy two modes - has been used to realize an atomic interferometer, allowing to estimate a phase shift with a precision beyond the classical limit. In this thesis we study theoretically the production, detection and decoherence of entangled states which can be used for high-precision interferometry in a Bose Josephson junction. Among such useful quantum states are atomic squeezed states and macroscopic superpositions of coherent states. In the first part of the thesis, after demonstrating that macroscopic superpositions of coherent states can be created during the dynamics following a "quench" of the coupling between the two modes of the junction, we study protocols for their experimental detection. In the experiments there are unavoidable sources of noise, the major sources being phase noise, induced by stochastic fluctuations of the energies of the two modes of the BJJ, and particle losses. The presence of noise induces decoherence and degrades the quantum correlations of these states. In the second part of the thesis we analyze in detail how the useful quantum correlations of squeezed states and macroscopic superpositions are degraded by phase noise. We show that for moderate phase noise intensities multicomponent superpositions of coherent states are interesting candidates for high-precision atom interferometry. Finally, we address the effect of atom losses on the formation of macroscopic superpositions, showing how decoherence affects the system density matrix.

Bien que le développement actuel d'accélérateurs se concentre principalement sur la création de puces Multiprocesseurs (MPSoC) hétérogènes, c'est-à-dire composés de processeurs spécialisées, de nombreux acteurs de la microélectronique s'intéressent au développement d'un autre type de MPSoC, constitué d'une grille de processeurs identiques. Ces MPSoC homogènes, bien que composés de processeurs énergétiquement moins efficaces, possèdent une programmabilité et une flexibilité plus importante que les MPSoC hétérogènes, ce qui favorise notamment l'adaptation du système à la charge demandée, et offre un espace de solutions de configuration potentiellement plus vaste et plus simple à contrôler. C'est dans ce contexte que s'inscrit cette thèse, en exposant la création d'une architecture MPSoC homogène scalable (c'est-à-dire dont la mise à l'échelle des performances est linéaire), ainsi que le développement de différents systèmes d'adaptation et de programmation sur celle-ci.Cette architecture, constituée d'une grille de processeurs de type MicroBlaze, possédant chacun sa propre mémoire, au sein d'un Réseau sur Puce 2D, a été développée conjointement avec un système d'exploitation temps réel (RTOS) spécialisé et modulaire. Grâce à la création d'une pile de communication complexe, plusieurs mécanismes d'adaptation ont été mis en œuvre : une migration de tâche « avec redirection de données », permettant de diminuer l'impact de cette migration avec des applications de type flux de données, ainsi qu'un mécanisme dit « d'exécution distante ». Ce dernier consiste non plus à migrer le code instruction d'une mémoire à une autre, mais de conserver le code dans sa mémoire initiale et de le faire exécuter par un processeur distinct. Les différentes expériences réalisées avec ce mécanisme ont permis de souligner la meilleure réactivité de celui-ci face à la migration de tâche, tout en possédant des performances d'adaptation plus faible.Ce dernier mécanisme a conduit naturellement à la création d'un modèle de programmation de type « mémoire partagée » au sein de l'architecture. La mise en place de ce dernier nécessitait la création d'un mécanisme de cohérence mémoire, qui a été réalisé de façon matérielle/logicielle et scalable par l'intermédiaire du développement de la librairie PThread. Les performances ainsi obtenues mettent en évidence les avantages d'un MPSoC homogène tout en utilisant une programmation « classique » de type multiprocesseur. / Although the accelerators market is dominated by heterogeneous MultiProcessor Systems-on-Chip (MPSoC), i.e. with different specialized processors, a growing interest is put on another type of MPSoC, composed by an array of identical processors. Even if these processors achieved lower performance to power ratio, the better flexibility and programmability of these homogeneous MPSoC allow an easier adaptation to the load, and offer a wider space of configurations. In this context, this thesis exposes the development of a scalable homogeneous MPSoC – i.e. with linear performance scaling – and different kind of adaptive mechanisms and programming model on it.This architecture is based on an array of MicroBlaze-like processors, each having its own memory, and connected through a 2D NoC. A modular RTOS was build on top of it. Thanks to a complex communication stack, different adaptive mechanisms were made: a “redirected data” task migration mechanism, reducing the impact of the migration mechanism for data-flow applications, and a “remote execution” mechanism. Instead of migrate the instruction code from a memory to another, this last consists in only migrate the execution, keeping the code in its initial memory. The different experiments shows faster reactivity but lower performance of this mechanism compared to migration.This development naturally led to the creation of a shared memory programming model. To achieve this, a scalable hardware/software memory consistency and cache coherency mechanism has been made, through the PThread library development. Experiments show the advantage of using NoC based homogeneous MPSoC with a brand programming model.