La thèse concerne le rôle joué par le contexte dans l'accès au Web de données depuis les dispositifs mobiles. Le travail analyse ce problème de deux points de vue distincts: adapter au contexte la présentation de triplets, et protéger l'accès aux bases des données RDF depuis les dispositifs mobiles. La première contribution est PRISSMA, un moteur de rendu RDF qui étend Fresnel avec la sélection de la meilleure représentation pour le contexte physique où on se trouve. Cette opération est effectuée par un algorithme de recherche de sous-graphes tolérant aux erreurs basé sur la notion de distance d'édition sur les graphes. L'algorithme considère les différences entre les descriptions de contexte et le contexte détecté par les capteurs, supporte des dimensions de contexte hétérogènes et est exécuté sur le client pour ne pas révéler des informations privées. La deuxième contribution concerne le système de contrôle d'accès Shi3ld. Shi3ld supporte tous les triple stores et il ne nécessite pas de les modifier. Il utilise exclusivement les langages du Web sémantique, et il n'ajoute pas des nouveaux langages de définition de règles d'accès, y compris des analyseurs syntaxiques et des procédures de validation. Shi3ld offre une protection jusqu'au niveau des triplets. La thèse décrit les modèles, algorithmes et prototypes de PRISSMA et de Shi3ld. Des expériences montrent la validité des résultats de PRISSMA ainsi que les performances au niveau de mémoire et de temps de réponse. Le module de contrôle d'accès Shi3ld a été testé avec différents triple stores, avec et sans moteur SPARQL. Les résultats montrent l'impact sur le temps de réponse et démontrent la faisabilité de l'approche.

Le principal objectif de cette thèse est d'étudier l'incidence des erreurs prépositionnelles sur l'intelligibilité de productions en L2 anglais par des apprenants francophones. Après un résumé des caractéristiques sémantiques et morpho-syntaxiques des prépositions en anglais et en français, nous abordons les questions liées à l'acquisition d'une langue seconde en général et à l'acquisition des prépositions en particulier, afin d' identifier les facteurs qui peuvent rendre leur acquisition problématique en L2. Nous proposons également des solutions pédagogiques pour améliorer l'apprentissage des prépositions en anglais. Afin de mesurer l'intelligibilité, nous analysons un corpus de productions orales et écrites contenant des emplois erronés, répartis entre erreurs lexciales et erreurs lexico- grammaticales (additions, omissions ou substitutions). Les résultats de cette analyse permettent de voir dans quelle mesure les erreurs prépositionnelles affectent l'intelligibilité du message.

Cette thèse porte sur le calcul d'une sur-approximation conservative pour les solutions d'équations différentielles ordinaires en présence d'incertitudes et sur son application à l'estimation et l'analyse de systèmes dynamiques à temps continu. L'avantage principal des méthodes et des algorithmes de calculs présentés dans cette thèse est qu'ils apportent une preuve numérique de résultats. Cette thèse est organisée en deux parties. La première partie est consacrée aux outils mathématiques et aux méthodes d'intégration numérique garantie des équations diff érentielles incertaines. Ces méthodes permettent de caractériser de manière garantie l'ensemble des trajectoires d'état engendrées par un système dynamique incertain dont les incertitudes sont naturellement représentées par des intervalles bornés. Dans cette optique, nous avons développé une méthode d'intégration hybride qui donne de meilleurs résultats que les méthodes d'intégration basées sur les modèles de Taylor intervalles. La seconde partie aborde les problèmes de l'identification et de l'observation dans un contexte à erreurs bornées ainsi que le problème d'atteignabilité continue pour la véri cation de propriétés des systèmes dynamiques hybrides.

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maîtrise en droit (LL.M.)" / L'étude de notre common Law révèle que les tribunaux canadiens et anglais ont constamment été appelés à décider de l'admissibilité d'éléments de preuve impliquant la participation de l'accusé à la détermination de sa culpabilité. Qu'il s'agisse des confessions obtenues auprès d'un suspect lors de l'interrogatoire policier, ou du témoignage rendu par un accusé dans le cours du processus judiciaire (par exemple lors du procès d'un complice ou d'un premier procès dont le verdict a été annulé par la cour d'appel), on constate que l'État a régulièrement tenté de prouver la culpabilité d'un accusé par le biais de ses propres aveux. On tente généralement de justifier le recours à cette méthode d'obtention de la preuve en invoquant que les aveux faits par un accusé sont de loin la meilleure preuve de sa culpabilité et donc, qu'ils aident le juge des faits à découvrir la vérité. Il appert toutefois qu'au fil des années, l'État a souvent abusé de ce pouvoir et que des condamnations ainsi obtenues l'ont parfois été au mépris des droits des accusés, notamment le droit à un procès juste et équitable et le droit encore plus fondamental de ne pas être contraint à fournir contre sa volonté une preuve de nature à établir sa culpabilité dans son propre procès. De plus, les nombreuses erreurs judiciaires mises à jour au cours de dernières années au Canada démontrent clairement que des verdicts de culpabilité ont aussi été erronément prononcés contre des accusés sur la foi de confessions qui se sont révélées plus tard être fausses. Pour cette raison, il apparaît important de déterminer si ce moyen de preuve est toujours légitime aujourd'hui, en regard de deux des grandes théories du droit pénal: la «théorie de la gestion des risques» et la «théorie de la justice» ou de l'équité du procès. De façon plus générale, cette étude cherche à répondre à la question suivante: en droit criminel canadien, la fin (recherche de la Vérité) justifie-t-elle tous les moyens employés pour la découvrir? / The study of our "common Law" reveals that the Canadian and English courts were constantly called upon in order to decide on the admissibility of elements of proof involving the participation of the defendant in the assertion of his guilt. Whether it is confessions obtained from a suspect during a police interrogation, or the testimony given by a defendant during the course ofthe legal process (for example, at the time of a trial of an accomplice or a first trial for which the verdict was cancelled by a court of appeal), we notice that the State regularly tried to prove the guilt of a defendant by way of his own statements. We generally try to justify the recourse to this method of obtaining proof by invoking that the statements made by a defendant are by far the best proof of his guilt and thus help the judge to uncover the truth. It appears, however, that over the years the State often abused this power and that ensuing convictions were sometimes obtained with a disregard of the rights of the defendants; in particular, the right to a fair trial and the right even more fundamental not to be constrained to provide against his will, a proof likely to establish his guilt in his own trial. In addition, many legal updates in the recent years in Canada c1early show that verdicts of guilt were also incorrectly pronounced against defendants on the faith of confessions which were later proved to he false. As such, it appears important to determine ifthis type ofproofretains its legitimacy today in regards to two of the great theories of criminallaw: the "Theory of Risk Management" and the "Theory of Justice" or the equity of the trial. More generally, this study seeks to answer the following question: "In Canadian criminallaw, does the end (search for the truth) justify the means used to uncover it?"

L’objectif était d’évaluer l’influence de la mémoire mélodique sur le chant des personnes souffrant d’amusie congénitale. Onze « amusiques » et 11 contrôles appariés ont chanté une chanson familière sur les paroles originales ainsi que sur la syllabe /la/. Les participants ont d’abord chanté la mélodie de mémoire et ensuite, ils ont imité la mélodie après et à l’unisson avec un modèle enregistré préalablement. Les résultats ont illustré que les amusiques ont amélioré leur performance en chantant par imitation (soit après, soit à l’unisson avec le modèle). Ceux qui présentaient une difficulté plus importante de la mémoire ont profité davantage du modèle, particulièrement lorsqu’ils chantaient sur la syllabe /la/. Ces résultats suggèrent qu’une mémoire faible pourrait être une cause des difficultés en chant. De plus, cette étude illustre que le chant par imitation semble être une méthode à privilégier pour améliorer la performance chantée. / Our goal was to examine to what extent poor musical memory affects singing in congenital amusia. Eleven amusic individuals and 11 matched controls were asked to sing a familiar melody on the original lyrics and on the syllable /la/. Participants first sang the melody from memory, and then imitated the melody either after or in unison with a pre- recorded model. The results show that amusic individuals benefit from singing by imitation (after and along with a model). The amusics who exhibited severe memory impairment benefited most from the model, particularly when singing on the syllable /la/. These results point to music memory as a source of impairment leading to poor pitch singing, and to imitation as a useful aid for them.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

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

Dans cette recherche consacrée à l'emploi des connecteurs à l'écrit par des apprenants persanophones de français langue étrangère, nous avons étudié leur contribution à l'organisation des textes, ainsi que le rôle de ces connecteurs dans la construction de la cohésion textuelle et dans l'évolution de l'information. Après avoir observé les différences structurelles entre la langue française et la langue persane, surtout en ce qui concerne les connecteurs, nous avons formé l'hypothèse que la langue maternelle de nos apprenants pourrait contribuer à l'emploi erroné des connecteurs. Dans cette optique, nous nous sommes inspirés des théories relatives à l'analyse d'erreurs et à l'analyse contrastive. Celles-ci nous ont permis dans un premier temps de formuler une typologie des erreurs relevées, et dans un second temps de proposer une explication des erreurs constatées. L'analyse de l'emploi de différents types de connecteurs dans les productions écrites d'un groupe d'étudiants iraniens a révélé des points intéressants à la fois sur les compétences des apprenants mais également à propos de leurs besoins langagiers. Cette recherche a confirmé notre hypothèse initiale tout en la nuançant, car elle démontre que le recours à la langue maternelle ne conduit pas inexorablement à un emploi erroné des connecteurs en français L2. / In this research, by focusing on the usage of the connectors in the written texts of the Iranian students in a French language course, we investigated their contribution of the connectors to the text organization in addition to the role of these connectors in the construction of textual cohesion and in the information evolution. After observing the structural differences between the French language and the Persian language, especially regarding the connectors, we formed a hypothesis that the mother tongue of our students may cause the wrong usage of the connectors. To this end, we were inspired by the theories relative to the error analysis and contrastive analysis which allowed us initially to further clarify a classification of the errors and to propose an explanation of the errors found. The analysis of the usage of different types of connectors in the written productions of the group revealed some interesting points on both the students' competence level and their language needs. This research confirmed our initial hypothesis while showing that the recourse to the mother language was not necessarily a cause for wrong usage of connectors in French L2.

Mon travail de thèse s'est focalisé sur la machinerie enzymatique impliquée dans la réplication du génome ARN du Syndrome Respiratoire Aigu Sévère-Coronavirus (SRAS-CoV). J'ai montré in vitro que l'activité ARN polymérase ARN-dépendante (RdRp) portée par nsp12 nécessite le complexe nsp7/nsp8, qui agit comme facteur de processivité. Grâce à ce complexe polymérase hautement actif, j'ai pu en suite étudier le mécanisme de "proofreading" (correction d'épreuve) associé aux coronavirus, pour lequel seulement des preuves indirectes avaient été assemblées. En effet, les coronavirus codent pour une activité exonucléase 3'-5' (nsp14-ExoN) qui lorsqu'elle est absente, entraine 14-fois plus d'erreurs de réplication en contexte cellulaire. In vitro, nous avons pu montrer que nsp14-ExoN est capable d'exciser l'ARN double brin ainsi qu'un nucléotide mésapparié en 3' de l'ARN en cours d'élongation. J'ai pu apporter pour la première fois une preuve directe de l'existence d'un système de réparation des erreurs au cours de la synthèse, mené par le complexe nsp7/nsp8/nsp12/nsp14. En effet, le complexe nsp7/nsp8/nsp12 ralentit jusqu'à 30-fois quand il rajoute une base mésappariée. Par sequençage, nous avons pu montrer la réparation de cette base mésappariée en presence de nsp14. Enfin, grâce à ce système in vitro nous avons une base pour comprendre l'inefficacité de la ribavirine sur des patients atteints du SRAS. En effet, la ribavirine, incorporée par le complexe polymérase, serait également excisée par nsp14, annihilant tout potentiel effet mutagenique. En conclusion, ce système va permettre de guider le développement d'antiviraux de type nucleoside analogues contre les coronavirus. / This work focused on the enzymatic machinery involved in Severe Acute Respiratory Syndrome-Coronavirus (SARS-CoV) RNA replication and transcription. Firstly, I established a robust in vitro polymerase assay with the canonical SARS-CoV RNA-dependent RNA polymerase (RdRp) nsp12. I showed that nsp12, in order to engage processive RNA synthesis, needs two viral proteins, i.e. nsp7 and nsp8. This nsp7/nsp8 complex not only activates nsp12-RdRp, but also acts as a processivity factor. Thus, using this processive polymerase complex, I could investigate SARS-CoV proofreading for which only indirect evidences were reported. Indeed, coronaviruses encode for a 3'-5' exonuclease (nsp14-ExoN), putatively involved in a mechanism that proofreads coronavirus RNA during viral replication. We first showed in vitro that nsp14-ExoN, which is stimulated by nsp10, is able to excise specifically dsRNA as well as all primer/templates bearing a 3' mismatch on the primer. Moreover, we could confirm by sequencing that a RNA 3' mismatch was indeed corrected in vitro by the nsp7/nsp8/nsp12/nsp14 complex. We provide for the first time direct evidence that nsp14-ExoN, in coordination with the polymerase complex, is able to proofread RNA. Interestingly, using this in vitro system we found an element that could possibly explain the inefficacy of ribavirin therapeutic treatment on SARS-patients: ribavirin, which is incorporated by the SARS-CoV polymerase complex, would also be excised by nsp14. In conclusion, this system will drive future development of antivirals, particularly of the nucleoside analogue type, against coronaviruses.

L’évaluation de performance de modèles est une étape fondamentale de leur développement et amélioration. Le travail de recherche présenté dans ce manuscrit est consacré l’évaluation des modèles de propagation des incendies des forêts. Une revue des travaux a montré que si de nombreux éléments étaient disponibles, aucune solution normalisée et automatisable était proposée dans ce champ applicatif. Une solution à ce problème est proposée en déclinant une approche formelle développée dans le cadre de la théorie de la modélisation et simulation. Cette étape a permis de déterminer conceptuellement quels composants devaient être développés et comment les interconnecter.La réalisation de ce cadre a requis premièrement la normalisation de données disponibles pour les incendies de forêts, aucun standard de fichier ou même nomenclature n’étant disponible et/ou utilisé par les modélisateurs ou ingénieurs (observations ou simulation). Un ensemble de nom, notation et format d’encodage des données dans un conteneur NetCDF a pour cela été proposée. Une seconde étape a consisté à déterminer les métriques nécessaires à quantifier les erreurs de simulation (score de simulation). Si quatre méthodes standard ont pu être identifiées dans la littérature, nous avons pu montrer qu’elles se limitaient à la comparaison à un instant donné, ne pouvant donc rendre compte de la performance de la dynamique d’une simulation incendie. Cette problématique a été traitée en proposant deux nouvelles méthodes de calcul de score spécifiques. Ces différentes méthodes d’évaluations ont étés implantées au sein d’une bibliothèque de calcul. Enfin la réalisation d’une évaluation de modèles a été réalisée à l’aide d’une implantation du cadre définit précédemment. Cette évaluation a consisté à confronter quatre formulations de modèles de vitesse de front de flammes effectué sur 80 simulations d’incendies réels de manière complètement automatique. L’automatisation, et le non ajustement de paramètres, a ainsi permis de se rapprocher au plus près du contexte opérationnel où peu d’information locale est disponible, peu de temps après l’alerte de l’éclosion d’un incendie. Les résultats ont démontrés que cette approche est de nature à laisser apparaître une hiérarchie des performances de paramétrisations ou formulation relativement à une autre, sans toutefois être en mesure de donner une mesure absolue et objective de l’erreur modèle. / Performance evaluation of models is a fundamental step towards an efficient development and improvement. The research work presented in this manuscript is devoted to the evaluation of forest fire simulation models. Review of current work showed that if many elements were available, there were not any standardized and automated solutions proposed in this field. A solution for this problem is thus proposed, built upon a formal approach from the theory of modelling and simulation. This formal framework allowed to identify conceptually which components should be developed and how they would be interconnected.Realization of this frame required to start with a normalization of available wildfires data, as no standardized file or even nomenclature were available and/or used by all modellers and engineers (observations or simulation). A set of standard notation and name as well as a standard encoding data format in a scientific container NetCDF is proposed along with associated software.A second step is devoted to the identification of the scoring methods required to quantify the simulation error. If four standard methods have been defined in the literature, we have shown that these methods were limited for the comparison at specific time, not reporting clearly the performance of the simulation dynamics. This issue has been solved by proposing two new specific score calculation. These different evaluations methods are implanted in an open source computation library.Eventually, the realization of models evaluation was performed using an implementation of the proposed experimental frame. This evaluation consisted to confront four formulations of flame front velocity models on 80 real wildfire simulations in a fully automatic way. Because it was automatic, it implied that no parameters adjustments could be performed by an operator after the fire was observed; being more representative of an operational context with little information available immediately after a fire has been reported.The results have shown that this approach, while unable to provide an absolute measure of the model error is capable to reveal a hierarchy of performances between parameterizations or formulations.