L'objectif de cette thèse est l'élaboration et l'application de traitements d'images pour permettre une étude objective et fiable des sinus de Valsalva, importantes cavités de la base de l'aorte. Les méthodes proposées s'appliquent aux séquences ciné-IRM et aux examens de scanner sans qu'il n'y ait à modifier le paramétrage entre deux examens. Pour cela, nous avons d'abord étudié la morphologie de cette zone anatomique puis détaillé les différentes propriétés communes à toutes les images de sinus. Ceux-ci font en l'occurrence partie des principaux organes clairs et peu mobiles. Nous avons donc développé un algorithme qui détecte ces éléments et caractérise chacun d'entre eux par une trajectoire unique. Divers outils de morphologie mathématique ont été utilisés à cette occasion, tout comme pour l'extraction du contour des sinus dans chaque image. L'étape de segmentation repose elle sur la reconstruction géodésique, qui s'avère plus efficace et surtout plus robuste que l'usage de contours actifs usuels. L'intérieur des sinus forme un domaine simplement connexe et étoilé. Grâce à ce postulat, nous avons conçu une nouvelle reconstruction, nommée transformée en aurore, qui limite la propagation des intensités aux supports radiaux et présente les résultats dans un repère polaire pour une meilleure lecture des contours.Les points caractéristiques des sinus ont également été détectés, par étude de rayons et détermination de points dominants. Ces points fournissent les éléments nécessaires à une mesure automatique des sinus, mesure cohérente avec les mesures actuellement réalisées manuellement et les variations intra et inter-observateurs de celles-ci. D'autres outils sont enfin esquissés pour modéliser le contour par coniques, classer les images d'examens cinétiques en fonction du moment du cycle et suivre le mouvement des valves dans ces mêmes examens.L'ensemble de ces travaux ont amené à la réalisation d'un logiciel d'aide au diagnostic qui intègre nos méthodes et dont l'interface est également présentée dans le présent mémoire. / This Phd thesis deals with the design and the use of image processing tools in order to allow a reliable and objective study of the sinuses of Valsalva which are important cavities of the aortic root. The proposed methods can be applied on cine-MR sequences and CT examinations without any change in the settings between two examinations.Firstly, we studied the morphology of this anatomical area and its constant properties in all images of the dataset. Sinuses are one of the main bright organs with limited movements. Hence a new algorithm has been designed. It detects and characterizes each bright organ by a single trajectory. Various tools of mathematical morphology are used for this step, as for the extraction of the contour of the sinuses in each image.The segmentation step is based on the geodesic reconstruction, which is more effective and more robust than the usual active contours. The shape depicting the sinuses is simply connected and a star domain. With this assumption, a new reconstruction is proposed, called the Aurora transform. This transform limits the spread of intensities only on the radial lines and shows its results in a polar space for a better reading of edges.The relevant points of the sinuses are also detected by a study of radii and the determination of dominant points along edges. An automatic measurement of the sinuses is deduced from these points. The values are very close to the manual measures currently done according to the intra-and inter-observer variations.Some other tools are finally outlined. They includes the modeling of edges by conics, the image classification depending on the time of the cycle in sequences and the tracking of the aortic valves in these examinations.This work led to the devlopement of a diagnostic aid software based on our methods. Its interface is also presented herein.

Pour les projets de développement des ressources naturelles ou tout autre projet ayant un impact sur l’environnement, l’acceptabilité sociale fait désormais partie du langage populaire et scientifique. Malgré les démarches de création de grilles d’analyse de critères qui se sont multipliées pour évaluer le développement durable d’un projet, celles-ci ne sont pas adaptées pour qualifier un projet qui vise à obtenir l’acceptabilité sociale. Grâce à l’analyse d’un cas réel dont nous nous inspirons, le projet de la mine d’apatite du lac à Paul de l’entreprise minière Arianne Phosphate, nous démontrons comment, avec la perspective éthique de la sollicitude de Paul Ricoeur, l’acceptabilité sociale niche dans les valeurs des intervenants concernés par un projet de développement. L’identification des valeurs se fait par l’analyse du rapport du Bureau d’audiences publiques en environnement (BAPE) déposé en août 2015 au ministre du Développement durable, de l’Environnement et de Lutte contre les changements climatiques du Québec sur le projet d’Arianne Phosphate. Ce qui est recherché consiste en la diversité et la multiplication des valeurs rencontrées lors des audiences. Celles-ci permettent de cibler les parties du projet nécessitant un investissement de temps pour que le projet se réalise dans la perspective de l’éthique dans le but d’atteindre l’acceptabilité sociale. À l’aide de l’approche par le « JE-TU-IL » de Paul Ricoeur, nous procédons à interpréter l’analyse des valeurs contenues dans les expressions décrivant les sentiments et l’état d’esprit des participants. Pour chaque partie du projet, grâce au rapport du BAPE, nous avons retracé les valeurs en confrontation à l’aide de tableaux référant aux critères du développement durable (environnementaux, économiques et sociaux) et ceux de l’acceptabilité sociale (transparence, écoute et intégrité), tel que proposé par le Conseil patronal de l’environnement. Les valeurs traduisent le sens que chacun cherche dans le projet et ce qu’il attend du promoteur. Il est donc possible, pour les participants en présence, de savoir sur quelle problématique il faut mettre l’emphase dans le but de l’inscrire dans une recherche d’une plus grande sollicitude, que nous appellerons « l’opérationnalisation » du « TU » de Paul Ricoeur. On constate que dans l’approche de la personne, le « TU » de Ricoeur exprime la sollicitude, attitude qui appelle l’écoute des valeurs. Par le fait même, on peut envisager que c’est dans cet espace précis que logerait l’acceptabilité sociale. Là où peu ou pas de valeurs sont énoncées, les conflits sont peu incommodants et l’acceptabilité sociale mieux rencontrée.

Au-dessus d'un taux de combustion seuil ≥ 7 at %, les produits de fission volatils Cs, I, et Te ou métalliques (Mo) sont partiellement relâchés hors du combustible et finissent par constituer une couche de composés de PF qui remplit progressivement le jeu existant entre la périphérie de la pastille et la surface interne de la gaine en acier inoxydable. Nous appelons cette couche JOG pour Joint Oxyde-Gaine. Mon sujet de thèse est axé sur l'étude thermodynamique du système (Cs, I, Te, Mo, O) + (U, Pu) ainsi que sur l'étude de la diffusion de ces produits de fission à travers le combustible vers le jeu combustible-gaine pour former le JOG.L'étude thermodynamique constitue la première étape de mon travail. Sur la base d'une analyse critique des données expérimentales issues de la littérature, les systèmes Cs-Te, Cs-I, Cs-Mo-O ont été modélisés par la méthode CALPHAD. En parallèle, une étude expérimentale a été entreprise pour valider la modélisation CALPHAD du système binaire Cs-Te. Dans une deuxième étape, les données thermodynamiques résultant de la modélisation CALPHAD ont été introduites dans la base de données du code de calcul thermodynamique ANGE (code interne au CEA dérivé du logiciel SOLGASMIX) dont la finalité est le calcul de la composition chimique du combustible irradié. Dans une troisième étape, le code de calcul thermodynamique ANGE (Advanced Numeric Gibbs Energy minimiser) a été couplé avec le code de simulation du comportement thermomécanique du combustible des RNR-Na GERMINAL V2. / For a burn-up higher than 7 at%, the volatile FP like Cs, I and Te or metallic (Mo) are partially released from the fuel pellet in order to form a layer of compounds between the outer surface of the fuel and the inner surface of the stainless cladding. This layer is called the JOG, french acronym for Joint-Oxyde-Gaine.My subject is focused on two topics: the thermodynamic study of the (Cs-I-Te-Mo-O) system and the migration of those FP towards the gap to form the JOG.The thermodynamic study was the first step of my work. On the basis of critical literature survey, the following systems have been optimized by the CALPHAD method: Cs-Te, Cs-I and Cs-Mo-O. In parallel, an experimental study is undertaken in order to validate our CALPHAD modelling of the Cs-Te system. In a second step, the thermodynamic data coming from the CALPHAD modelling have been introduced into the database that we use with the thermochemical computation code ANGE (CEA code derived from the SOLGASMIX software) in order to calculate the chemical composition of the irradiated fuel versus burn-up and temperature. In a third and last step, the thermochemical computation code ANGE (Advanced Numeric Gibbs Energy minimizer) has been coupled with the fuel performance code GERMINAL V2, which simulates the thermo-mechanical behavior of SFR fuel.

La spécificité de l’objet de la PI imprime une singularité au régime du contrat d’entreprise. L’affirmation se constate aussi bien au sujet de la PLA qu’au sujet de la PIND et appelaient donc la recherche d’une théorie générale. Concernant la PLA, l’existence de droits moraux de l’auteur perturbe la relation contractuelle et justifie la mise en œuvre d’un formalisme important. L’objectif du législateur est alors de tenter de protéger l’auteur, envisagé comme la partie faible face au maître de l’ouvrage. Et quoique certaines exceptions aient été mises en place, elles demeurent insuffisantes. Une telle méthode « principe – exception » se révèle néanmoins alternativement inutile ou préjudiciable, de sorte qu’il conviendrait de convertir les exceptions en règle commune. À titre d’exemple, l’attribution initiale des droits d’auteur au maître de l’ouvrage dans le cadre de l’œuvre collective ou le logiciel devrait être généralisé. Si la protection apportée à l’entrepreneur dans le cadre du droit de la propriété littéraire et artistique apparaît ainsi excessive, elle est au contraire insuffisante dans le cadre du droit de la propriété industrielle. En effet, en dépit de fondements identiques, le contrat d’entreprise relatif aux droits de propriété industrielle est régi par les dispositions du Code civil, lesquelles ne protègent pas l’auteur ou le créateur. Ainsi, dans ce cadre, l’inventeur ne bénéficie pas d’un droit à la rémunération proportionnelle, car l’aspect économique domine toutes les étapes de la relation contractuelle, de l’obtention de la création à son exploitation. Néanmoins, les règles de l’attributions du droit à la création industrielle ne sont pas claires / The specificity of the subject of intellectual property entitled to a singularity of the contract of enterprise regime. The assertion is evident both on the literary and artistic property as about industrial property and therefore called the search for a general theory.Concerning the literary and artistic property, the existence of moral rights of the author disrupts the contractual relationship and justify the implementation of an important formalism. The aim of the legislator is then to try to protect the author, seen as the weak party to face the project Owner. And although some exceptions have been introduced, they remain insufficient. Nevertheless, such a method "principle - exception" proves alternately unnecessary or harmful, so the exceptions should be converted into common rule. For example, the initial attribution of copyright to the Owner project under the collective work or software should be generalized.If the protection provided to the contractor under the law of literary and artistic property thus appears excessive, it is insufficient otherwise under the law of industrial property. Indeed, despite identical basis, the contract of enterprise for industrial property rights is governed by the provisions of the Civil Code, which do not protect the author or creator. Thus, in this context, the inventor does not have a right to remuneration proportional because the economic aspect dominates all stages of the contractual relationship, obtaining creation to its exploitation. Nevertheless, the rules of the attribution of the right to creation industrial are not clear

Mémoire en recherche-création ; Aide financière octroyée : CIRMMT Student Award / Les conditions d'utilisation de théories scientifiques au cours du processus de composition musicale et plus généralement pour l'élaboration de théories esthétiques musicales sont au coeur du travail proposé. Une position critique est tout d'abord avancée relativement aux nombreux écueils historiques relevés. Elle permet d'en dégager quelques pistes d'exploration pour les processus compositionnels que je me suis proposé de suivre au fur et à mesure des pièces électroacoustiques et mixtes présentées. En particulier, des spécificités empruntées aux mécanismes vibratoires non-linéaires, aux modèles sociologiques déterministes ou prédictifs sont injectés au sein même des processus de création des mes oeuvres. Cinq pièces sont présentées. Les thématiques et les contraintes occasionnées par les modèles empruntés sont décrits ainsi que les réalisations techniques qui leur ont servi de support. Chaque pièce présente donc une démarche et des outils technologiques et informatiques particuliers. Ces pistes exploratoires feront intervenir contrainte formelle, limitation du contrôle du compositeur, improvisation, traitement et spatialisation en temps réel et développements originaux implémentés en Max/MSP et en Python. Par ailleurs, un outil d'aide à la composition spatiale proposant une perspective inédite de visualisation du champs de pression produit par les trajectoires et par le système de reproduction virtuel, et développé pendant ma maîtrise est présenté. / The use of science theories during the compositionnal process, especially in a purpose of esthetical properties abstraction is questionned. First, a criticist point-of-vue is adressed, on the basis of several historical examples. A personnal method dedicated to the development of original compositionnal process were deduced. In particular, the specific mecanisms related to nonlinear vibrations and deterministic sociological model could be inserted into the creative processes. Five electroacoustic and contemporay music pieces are presented. Themes and constraints provoked by the model insertion are detailed. They gather form-contraints, control limitations, improvisation, real-time processing and real-time spatialization implemented in Max/MSP and Python. Moreover, a refined sound-field rendering tool dedicated to computer-assisted composition is introduced.

La biologie de la conservation est un domaine de recherche en pleine expansion en raison de la perte accélérée de la biodiversité à l’échelle mondiale. Pour mieux comprendre les processus et les menaces au maintien des populations de petite taille et les effets des facteurs anthropiques sur la biodiversité, la génétique est fréquemment utilisée en conservation. Des analyses génétiques peuvent, par exemple, nous informer sur les tendances à long terme, la diversité des populations et les stratégies de reproduction d’une espèce. La tortue des bois (Glyptemys insculpta) est une espèce endémique à l’Amérique du Nord qui est en danger d’extinction selon l’Union internationale pour la conservation de la nature. Dans le cadre de ma thèse, j’avais comme objectif de caractériser la diversité génétique de cette espèce menacée au Canada. À cet effet, j’ai analysé la génétique des populations de tortues des bois à plusieurs échelles spatiales et temporelles, afin de mieux cerner les processus ayant un impact sur la diversité des populations. Dans un premier temps, les relations de parentalité ont été reconstruites au sein d’une population de tortues des bois pour estimer la fréquence de paternité multiple et de paternité répétée. Les résultats de mes travaux suggèrent que l’emmagasinement de sperme chez la femelle et la reproduction multiple avec les mêmes partenaires pour plus d’une saison de reproduction pourraient expliquer ces phénomènes. Ces stratégies de reproduction pourraient dans ce cas être induites par la faible densité de la population à l’étude, ou encore par la fidélité au site d’hibernation où la majorité des évènements de copulation ont lieu. Par la suite, je me suis intéressée à la diversité génétique des populations de tortues de bois. J’ai voulu comprendre les effets de la configuration spatiale des éléments du paysage et les évènements de dispersion géographique sur la diversité des populations. À l’aide d’une approche de génétique du paysage, mes analyses montrent que la division des populations par bassins versants explique une large fraction de la diversité génétique interpopulations. Ces résultats confirment également que les bassins versants représentent des unités de gestion propices à la protection des populations de tortues des bois. Finalement, des analyses de réseaux ont été utilisées pour mieux cerner la dynamique de flux génique entre les populations de la rive nord et de la rive sud du fleuve Saint-Laurent. Plus spécifiquement, la rive nord se caractérise par un réseau robuste de populations isolées, alors que les populations de la rive sud présentent plutôt une structure de métapopulation. En utilisant les réseaux construits à partir de données génétiques, des scénarios hypothétiques furent comparés pour explorer la sélection de populations à l’aide du logiciel BRIDES. Les résultats de ces analyses ont permis de cibler l’importance de certaines populations de tortues des bois pour la connectivité du réseau. L’importance de ces populations n’aurait pu être prédite par les résultats de la diversité et de la différenciation génétique, les indices de centralité et les analyses d’élimination de nœuds. Grâce à la génétique, cette thèse apporte de nouvelles connaissances sur la tortue des bois, les stratégies de reproduction des différents sexes, le flux génique, la connectivité et l’influence du réseau hydrographique sur la diversité des populations. Ces résultats nous permettent d’avoir une meilleure compréhension des processus affectant la diversité génétique de cette espèce afin de mieux la protéger. Toutes les analyses réalisées pour cette thèse sont directement applicables à l’ensemble des autres espèces longévives avec des générations chevauchantes. / Conservation biology is a rapidly expanding field of research due to the accelerating loss of global biodiversity. To better understand the processes and threats to the persistence of small populations and the effects of anthropogenic factors on biodiversity, genetic approaches are frequently used in conservation. Genetic analyzes can, for example, inform us about long-term trends, population diversity and reproductive strategies of a species. The wood turtle (Glyptemys insculpta) is a species endemic to North America that is endangered according to the International Union for the Conservation of Nature. As part of my thesis, my objective was to characterize the genetic diversity of this threatened species in Canada. In order to better understand the impact of reproductive strategy and landscape structure on population diversity, I analyzed the genetics of wood turtle populations at several spatial and temporal scales. First, parentage relationships were reconstructed in a population of wood turtles to estimate the frequency of multiple and repeated paternity. The results of my work suggest that sperm storage in females and multiple reproduction with the same partners for more than one breeding season could explain these phenomena. These reproduction strategies could in this case be induced by the low density of the study population, or by fidelity to the overwintering site where the majority of copulation events take place. Subsequently, I assessed the genetic diversity of wood turtle populations. I wanted to understand the effects of the landscape configuration and geographic dispersion events on the diversity of populations. Using a landscape genetics approach, my analyzes show that the division of populations by watershed explains a large fraction of the genetic diversity between populations. These results also confirm that watersheds represent management units conducive to the protection of wood turtle populations. Finally, network analysis was used to better understand the gene flow dynamics among populations located on the north and south shores of the St. Lawrence River. More specifically, the north shore is characterized by a robust network of isolated populations, whereas the populations on the south shore present more of a metapopulation structure. Using population graphs, hypothetical scenarios were compared to explore the node selection process using the BRIDES algorithm. The results of these analyzes made it possible to point out specific populations of wood turtles, considering their importance for network connectivity. This could have not been predicted by using genetic diversity and distinctiveness estimates, node-based metrics, and node removal analysis for these populations. Thanks to genetics, this thesis brings new knowledge on the wood turtle, the reproductive strategies of both sexes, the gene flow, the connectivity and the influence of the hydrographic network on population diversity. These results allow us to have a better understanding of the processes affecting the genetic diversity of this species in order to better protect it. All analyses performed for this thesis are directly applicable to other long-lived species with overlapping generations.

Des procédés innovants basés sur l’extrusion à haute vitesse et l’irradiation sous rayonnement γ, ont été étudiés en vue d’améliorer la compatibilisation de deux polyoléfines non miscibles : le polypropylène PP et le polyéthylène PE. Dans un premier temps, l’étude de la distribution des temps de séjour de polypropylènes dans l’extrudeuse à haute vitesse a été réalisée. L’impact des conditions opératoires (débit et vitesse de rotation des vis) ainsi que l’impact du profil de vis et de la viscosité du polypropylène d’étude ont été mis en avant. Certains résultats expérimentaux sont souvent en accord avec ceux du logiciel de simulation d’extrusion bi-vis Ludovic, bien qu’il puisse y avoir des écarts pour les hautes vitesses de rotation des vis. Dans un deuxième temps, une fois l’écoulement caractérisé, nous avons réalisé des mélanges PP/PE, les paramètres qui ont varié sont la quantité d’énergie apportée durant le mélange (vitesse de rotation des vis) ainsi que la présence ou non de copolymère préformé et le type d’atmosphère utilisée durant l’extrusion. Faire varier le taux de cisaillement ne permet pas la modulation des propriétés finales du mélange surtout lorsque l’on extrude sous atmosphère inerte. L’utilisation de copolymère préformé, de type éthylène-octène, permet d’améliorer considérablement les propriétés de notre mélange en créant une interphase "cœur-couronne" entre la matrice PP, le compatibilisant et la phase dispersée PE. Pour terminer, une étape d’irradiation γ a été ajoutée au procédé de mise en œuvre classique de nos mélanges. En première partie de cette étude, la simulation de spectres RPE a permis d’identifier et quantifier les différentes espèces radicalaires créées. Dans la deuxième partie, l’influence de la place de la séquence d’irradiation a été étudiée : avant extrusion, entre extrusion et injection, après injection et avant recuit. Les meilleures améliorations ont été obtenues lorsque l’irradiation est suivie d’un traitement thermique. En conclusion, il est possible d’améliorer la compatibilité d’un mélange PP/PE en jouant essentiellement sur l’ordre des étapes de production sans avoir à modifier la formulation de ce dernier. / Innovative processes, based on high shear twin screw extrusion and γ-irradiation, have been used to increase the compatibility of two immiscible polyolefins: polypropylene PP and polyethylene PE. In a first part, the residence time distribution of polypropylenes in the twin screw extruder (TSE) has been investigated. The impact of the processing conditions (throughput and screw rotation speed), the screw profile and the polypropylene viscosity were underlined. Some of the experimental results are often in good agreement with those predicted by simulation software of twin screw extrusion (Ludovic), except for some experiments at high screw rotation rates. In a second part, once polymer flow was characterised in the TSE, we realized PP/PE blends. The impact of the mechanical energy (screw rotation speed), the presence or absence of copolymers and the nature of the extrusion atmosphere were analysed. Using high shear rate does not allow modulating the final properties of the blends particularly once inert atmosphere is used. The use of ethylene-octene copolymers increases significantly the final properties of the PP/PE blends by creating a “core-shell” morphology between the PP matrix, the copolymer and the PE dispersed phase. To finish, a γ-irradiation process step has been added to the classical processing of PP/PE blends. In a first part of this study, the simulations of ESR spectra have permitted to identify and quantify the different radicals created. In a second part, the sequence order of the γ-irradiation has been investigated: before extrusion, between extrusion and injection, and after injection followed by a thermal treatment. The best results were obtained once γ-irradiation is followed by a heat treatment. As a conclusion, the compatibility of immiscible polyolefins can be improved only by changing the order of the different processing steps without changing the formulation.

No description available.

Le code source offre un domaine d'application passionnant des méthodes d'apprentissage en profondeur, englobant des tâches telles que la synthèse, la réparation et l'analyse de programmes, ainsi que des tâches à l'intersection du code et du langage naturel. Bien que les modèles d’apprentissage profond pour le code, en particulier les grands modèles de langage, aient récemment connu un succès significatif, ils peuvent avoir du mal à se généraliser à du code invisible. Cela peut conduire à des inexactitudes, en particulier lorsque vous travaillez avec des référentiels contenant des logiciels propriétaires ou du code en cours de travail. L'objectif principal de cette thèse est d'exploiter efficacement les signaux utiles du contexte disponible afin d'améliorer les performances des modèles de code d'apprentissage profond pour une tâche donnée. En incorporant ces indices contextuels, les capacités de généralisation du modèle sont amplifiées, fournissant des informations supplémentaires non évidentes à partir de l'entrée d'origine et orientant son attention vers des détails essentiels. De plus, l'utilisation d'indices contextuels facilite l'adaptation aux nouvelles tâches et améliore les performances des tâches existantes en effectuant des prédictions plus contextuelles. Pour y parvenir, nous présentons un cadre général comprenant deux étapes : (a) l'amélioration du contexte, qui implique l'enrichissement de l'entrée avec un contexte de support obtenu grâce à l'identification et à la sélection d'indices contextuels pertinents, et (b) la prédiction à l'aide du contexte amélioré, où nous exploitez le contexte de support combiné aux entrées pour faire des prédictions précises. La thèse présente quatre articles qui proposent diverses approches pour ces étapes. Le premier article divise le problème standard de la programmation par exemples en deux étapes: (a) trouver des programmes qui satisfont des exemples individuels (solutions par exemple) et, (b) combiner ces solutions par exemple en tirant parti de leurs états d'exécution de programme pour trouver un programme qui satisfait tous les exemples donnés. Le deuxième article propose une approche pour sélectionner des informations ciblées à partir du fichier actuel et les utiliser pour adapter le modèle de complétion de code à un contexte local jamais vu précédemment. Le troisième article s'appuie sur le deuxième article en tirant parti des indices contextuels de l'ensemble du répertoire de code à l'aide d'un ensemble de requêtes ({\it prompts}) proposées suggérant l'emplacement et le contenu du contexte particulièrement utile à extraire du répertoire. Nous proposons un cadre pour sélectionner la requête la plus pertinente, qui est ensuite utilisée pour demander à un modèle de langage de code de générer des prédictions pour le reste de la ligne de code suivant un curseur positionné dans un fichier. Le quatrième article prolonge le troisième article en proposant un cadre qui apprend à combiner plusieurs contextes divers à partir du répertoire. Nous montrons que la formation de modèles de language de code plus petits de cette manière fonctionne mieux ou à égalité avec des modèles beaucoup plus grands qui n'utilisent pas le contexte du répertoire de code. / Source code provides an exciting application area of deep learning methods, encompassing tasks like program synthesis, repair, and analysis, as well as tasks at the intersection of code and natural language. Although deep learning models for code, particularly large language models, have recently seen significant success, they can face challenges in generalizing to unseen code. This can lead to inaccuracies especially when working with repositories that contain proprietary software or work-in-progress code. The main focus of this thesis is to effectively harness useful signals from the available context such that it can improve the performance of the deep learning models of code at the given task. By incorporating these contextual cues, the model's generalization capabilities are amplified, providing additional insights not evident from the original input and directing its focus toward essential details. Furthermore, the use of contextual cues aids in adapting to new tasks and boosts performance on existing ones by making more context-aware predictions. To achieve this, we present a general framework comprising two stages: (a) Context Enhancement, which involves enriching the input with support context obtained through the identification and selection of relevant contextual cues, and (b) Prediction using the Enhanced Context, where we leverage the support context combined with the input to make accurate predictions. The thesis presents four articles that propose diverse approaches for these stages. The first article breaks the standard problem of programming by examples into two stages: (a) finding programs that satisfy individual examples (per-example solutions) and, (b) combining these per-example solutions by leveraging their program execution states to find a program that satisfies all given examples. The second article proposes an approach for selecting targeted information from the current file and using it to adapt the code completion model to an unseen, local context. The third article builds upon the second article by leveraging contextual cues from the entire code repository using a set of prompt proposals that govern the location and content of the context that should be taken from the repository. We propose a framework to select the most relevant prompt proposal context which is then used to prompt a large language model of code to generate predictions for the tokens in the rest of the line following the cursor in a file. The fourth article extends the third article by proposing a framework that learns to combine multiple diverse contexts from the repository. We show that training smaller models of code this way performs better or at par with significantly larger models that are not trained with repository context.

Cette thèse questionne l'enseignement de la proportionnalité à des élèves de 11 à 16 ans relevant de l'adaptation scolaire et de la scolarisation des élèves handicapés. Les travaux de didactique des mathématiques ont montré l'inaboutissement fréquent du projet d'appropriation de la proportionnalité auprès des élèves jusqu'au collège, et tout particulièrement en ASH.Afin de savoir si une adaptation peut se faire sans dénaturer le savoir, nous proposons donc une progression sur l'enseignement de la proportionnalité en classe de Quatrième SEGPA.Nous insistons sur l'importance de l'organisation des savoirs au sein de cette progression et sur la pertinence des contextes et des valeurs des variables didactiques numériques. Les analyses de nos observations se font dans le cadre de l'analyse statistique implicative, de la Théorie des Situations Didactiques ainsi que de la double approche utilisée dans l'analyse des pratiques des enseignants.La mise en œuvre de la progression construite nécessite pour les enseignants des connaissances mathématiques. Afin de réactiver ces connaissances, nous proposons des représentations symboliques qui illustrent les techniques de résolution de problèmes relevant de la proportionnalité simple. / The purpose of this thesis is to investigate the teaching of proportionality to 11 to 16-year old pupils registered in special-needs schools including pupils with more severe learning disabilities.Studies related to the teaching of mathematics have shown that the understanding of proportionality by pupils up to middle school age and more particularly by children with significant learning difficulties is often inappropriate. In order to find out if an adjustment can be made without any impact on the knowledge requirements, we experimented a teaching plan concerning the learning of proportionality by children with special-needs in the context of our study. We insist on the importance of the organization of the different types of knowledge within this teaching plan and also on the relevance of backgrounds and values of numerical didactical parameters. Analysis of our observations is carried out with statistical implicative analysis, Theory of Didactical Situations and with the frame of the double approach used to analyse the practices of teachers.The implementation of such a teaching plan requires, for teachers, mathematical knowledge. In order to reactivate this knowledge, we propose a symbolic scheme for each resolving technique applied to problems involving direct proportionality.