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. / This thesis addresses the computation of conservative over-approximation of the solutions of uncertain ordinary di erential equations and its application to the estimation and the analysis of uncertain continuous-time dynamical systems. The main feature of the methods and algorithms presented in this thesis is the fact that they are numerically veri ed and hence can be used to obtain numerical proof of properties. This thesis is organized in two parts. The first part is devoted to the mathematical tools and the guaranteed numerical integration methods for uncertain ordinary di erential equations. These methods make it possible to characterize in a guaranteed way all the state trajectories generated by an uncertain dynamical system whose uncertainties are in a natural way described by bounded boxes. Accordingly, we have developed a hybrid integration method which gives better results than the integration methods based on interval Taylor models. The second part is dedicated to the resolution of identi cation and observation issues in a bounded error context. It also deals with continuous reachability computation for the veri cation of the properties of hybrid dynamical systems.

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. / This thesis discusses the influence of mobile context awareness in accessing the Web of Data from handheld devices. The work dissects this issue into two research questions: how to enable context-aware adaptation for Linked Data consumption, and how to protect access to RDF stores from context-aware devices. The thesis contribution to this first research question is PRISSMA, an RDF rendering engine that extends Fresnel with a context-aware selecting of the best presentation according to mobile context. This operation is performed by an error-tolerant subgraph matching algorithm based on the notion of graph edit distance. The algorithm takes into account the discrepancies between context descriptions and the sensed context, supports heterogeneous context dimensions, and runs on the client-side - to avoid disclosing sensitive context information. The second research activity presented in the thesis is the Shi3ld access control framework for Linked Data servers. Shi3ld has the advantage of being a pluggable filter for generic triple stores, with no need to modify the endpoint itself. It adopts exclusively Semantic Web languages and it does not add new policy definition languages, parsers nor validation procedures. Shi3ld provides protection up to triple level. The thesis describes both PRISSMA and Shi3ld prototypes. Test campaigns show the validity of PRISSMA results, along with memory and response time performance. The Shi3ld access control module has been tested on different triple stores, with and without SPARQL engines. Results show the impact on response time, and demonstrate the feasibility of the approach.

Les robots opèrent dans le monde réel, dans lequel essayer quelque chose prend beaucoup de temps. Pourtant, les methodes d’apprentissage par renforcement actuels (par exemple, deep reinforcement learning) nécessitent de longues périodes d’interaction pour trouver des politiques efficaces. Dans cette thèse, nous avons exploré des algorithmes qui abordent le défi de l’apprentissage par essai-erreur en quelques minutes sur des robots physiques. Nous appelons ce défi “Apprentissage par renforcement micro-data”. Dans la première contribution, nous avons proposé un nouvel algorithme d’apprentissage appelé “Reset-free Trial-and-Error” qui permet aux robots complexes de s’adapter rapidement dans des circonstances inconnues (par exemple, des dommages) tout en accomplissant leurs tâches; en particulier, un robot hexapode endommagé a retrouvé la plupart de ses capacités de marche dans un environnement avec des obstacles, et sans aucune intervention humaine. Dans la deuxième contribution, nous avons proposé un nouvel algorithme de recherche de politique “basé modèle”, appelé Black-DROPS, qui: (1) n’impose aucune contrainte à la fonction de récompense ou à la politique, (2) est aussi efficace que les algorithmes de l’état de l’art, et (3) est aussi rapide que les approches analytiques lorsque plusieurs processeurs sont disponibles. Nous avons aussi proposé Multi-DEX, une extension qui s’inspire de l’algorithme “Novelty Search” et permet de résoudre plusieurs scénarios où les récompenses sont rares. Dans la troisième contribution, nous avons introduit une nouvelle procédure d’apprentissage du modèle dans Black-DROPS qui exploite un simulateur paramétré pour permettre d’apprendre des politiques sur des systèmes avec des espaces d’état de grande taille; par exemple, cette extension a trouvé des politiques performantes pour un robot hexapode (espace d’état 48D et d’action 18D) en moins d’une minute d’interaction. Enfin, nous avons exploré comment intégrer les contraintes de sécurité, améliorer la robustesse et tirer parti des multiple a priori en optimisation bayésienne. L'objectif de la thèse était de concevoir des méthodes qui fonctionnent sur des robots physiques (pas seulement en simulation). Par conséquent, tous nos approches ont été évaluées sur au moins un robot physique. Dans l’ensemble, nous proposons des méthodes qui permettre aux robots d’être plus autonomes et de pouvoir apprendre en poignée d’essais / Robots have to face the real world, in which trying something might take seconds, hours, or even days. Unfortunately, the current state-of-the-art reinforcement learning algorithms (e.g., deep reinforcement learning) require big interaction times to find effective policies. In this thesis, we explored approaches that tackle the challenge of learning by trial-and-error in a few minutes on physical robots. We call this challenge “micro-data reinforcement learning”. In our first contribution, we introduced a novel learning algorithm called “Reset-free Trial-and-Error” that allows complex robots to quickly recover from unknown circumstances (e.g., damages or different terrain) while completing their tasks and taking the environment into account; in particular, a physical damaged hexapod robot recovered most of its locomotion abilities in an environment with obstacles, and without any human intervention. In our second contribution, we introduced a novel model-based reinforcement learning algorithm, called Black-DROPS that: (1) does not impose any constraint on the reward function or the policy (they are treated as black-boxes), (2) is as data-efficient as the state-of-the-art algorithm for data-efficient RL in robotics, and (3) is as fast (or faster) than analytical approaches when several cores are available. We additionally proposed Multi-DEX, a model-based policy search approach, that takes inspiration from novelty-based ideas and effectively solved several sparse reward scenarios. In our third contribution, we introduced a new model learning procedure in Black-DROPS (we call it GP-MI) that leverages parameterized black-box priors to scale up to high-dimensional systems; for instance, it found high-performing walking policies for a physical damaged hexapod robot (48D state and 18D action space) in less than 1 minute of interaction time. Finally, in the last part of the thesis, we explored a few ideas on how to incorporate safety constraints, robustness and leverage multiple priors in Bayesian optimization in order to tackle the micro-data reinforcement learning challenge. Throughout this thesis, our goal was to design algorithms that work on physical robots, and not only in simulation. Consequently, all the proposed approaches have been evaluated on at least one physical robot. Overall, this thesis aimed at providing methods and algorithms that will allow physical robots to be more autonomous and be able to learn in a handful of trials

Les systèmes embarqués sont de plus en plus utilisés dans des domaines divers tels que le transport, l’automatisation industrielle, les télécommunications ou la santé pour exécuter des applications critiques et manipuler des données sensibles. Ces systèmes impliquent souvent des intérêts financiers et industriels, mais aussi des vies humaines ce qui impose des contraintes fortes de sûreté. Par conséquent, un élément clé réside dans la capacité de tels systèmes à répondre correctement quand des erreurs se produisent durant l’exécution et ainsi empêcher des comportements induits inacceptables. Les erreurs peuvent être d’origines naturelles telles que des impacts de particules, du bruit interne (problème d’intégrité), etc. ou provenir d’attaques malveillantes. Les architectures de systèmes embarqués comprennent généralement un ou plusieurs processeurs, des mémoires, des contrôleurs d’entrées/sorties ainsi que des accélérateurs matériels utilisés pour améliorer l’efficacité énergétique et les performances. Avec l’évolution des applications, le cycle de conception d’accélérateurs matériels devient de plus en plus complexe. Cette complexité est due en partie aux spécifications des accélérateurs matériels qui reposent traditionnellement sur l’écriture manuelle de fichiers en langage de description matérielle (HDL).Cependant, la synthèse de haut niveau (HLS) qui favorise la génération automatique ou semi-automatique d’accélérateurs matériels à partir de spécifications logicielles, comme du code C, permet de réduire cette complexité.Le travail proposé dans ce manuscrit cible l’intégration d’un support de vérification dans les outils de HLS pour générer des moniteurs sur puce au cours de la synthèse de haut niveau des accélérateurs matériels. Trois contributions distinctes ont été proposées. La première contribution consiste à contrôler les erreurs de comportement temporel des entrées/sorties (impactant la synchronisation avec le reste du système) ainsi que les erreurs du flot de contrôle (sauts illégaux ou problèmes de boucles infinies). La synthèse des moniteurs est automatique sans qu’aucune modification de la spécification utilisée en entrée de la HLS ne soit nécessaire. La deuxième contribution vise la synthèse des propriétés de haut niveau (ANSI-C asserts) qui ont été ajoutées dans la spécification logicielle de l’accélérateur matériel. Des options de synthèse ont été proposées pour arbitrer le compromis entre le surcout matériel, la dégradation de la performance et le niveau de protection. La troisième contribution améliore la détection des corruptions des données qui peuvent modifier les valeurs stockées, et/ou modifier les transferts de données, sans violer les assertions (propriétés) ni provoquer de sauts illégaux. Ces erreurs sont détectées en dupliquant un sous-ensemble des données du programme, limité aux variables les plus critiques. En outre, les propriétés sur l’évolution des variables d’induction des boucles ont été automatiquement extraites de la description algorithmique de l’accélérateur matériel. Il faut noter que l’ensemble des approches proposées dans ce manuscrit, ne s’intéresse qu’à la détection d’erreurs lors de l’exécution. La contreréaction c.à.d. la manière dont le moniteur réagit si une erreur est détectée n’est pas abordée dans ce document. / Embedded systems are increasingly used in various fields like transportation, industrial automation, telecommunication or healthcare to execute critical applications and manipulate sensitive data. These systems often involve financial and industrial interests but also human lives which imposes strong safety constraints.Hence, a key issue lies in the ability of such systems to respond safely when errors occur at runtime and prevent unacceptable behaviors. Errors can be due to natural causes such as particle hits as well as internal noise, integrity problems, but also due to malicious attacks. Embedded system architecture typically includes processor (s), memories, Input / Output interface, bus controller and hardware accelerators that are used to improve both energy efficiency and performance. With the evolution of applications, the design cycle of hardware accelerators becomes more and more complex. This complexity is partly due to the specification of hardware accelerators traditionally based on handwritten Hardware Description Language (HDL) files. However, High-Level Synthesis (HLS) that promotes automatic or semi-automatic generation of hardware accelerators according to software specification, like C code, allows reducing this complexity.The work proposed in this document targets the integration of verification support in HLS tools to generate On-Chip Monitors (OCMs) during the high-level synthesis of hardware accelerators (HWaccs). Three distinct contributions are proposed. The first one consists in checking the Input / Output timing behavior errors (synchronization with the whole system) as well as the control flow errors (illegal jumps or infinite loops). On-Chip Monitors are automatically synthesized and require no modification in their high-level specification. The second contribution targets the synthesis of high-level properties (ANSI-C asserts) that are added into the software specification of HWacc. Synthesis options are proposed to trade-off area overhead, performance impact and protection level. The third contribution improves the detection of data corruptions that can alter the stored values or/and modify the data transfers without causing assertions violations or producing illegal jumps. Those errors are detected by duplicating a subset of program’s data limited to the most critical variables. In addition, the properties over the evolution of loops induction variables are automatically extracted from the algorithmic description of HWacc. It should be noticed that all the proposed approaches, in this document, allow only detecting errors at runtime. The counter reaction i.e. the way how the HWacc reacts if an error is detected is out of scope of this work.

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. / The main objective of our thesis paper is to examine the intelligibility of erroneous prepositional uses produced by French learners of English. We begin with an overview of the semantico-syntactic properties of English and French prepositions. Then we give an account of second language acquisition theories, and we highlight the acquisition of English prepositions by listing a number of reasons that are likely to make them problematic for L2 learners. We also propose certain effective pedagogical approaches to teaching English prepositions/particles. To measure intelligibility, we assess an oral and a written corpus containing L2 erroneous constructions. Our error tagset is divided into lexical and lexico-grammatical errors (addition, omission and substitution). The results of our corpus analysis allow us to observe the extent to which erroneous spatial prepositions may affect the intelligibility of the transferred message.

Ce projet de maîtrise se consacre à l’apprentissage des prépositions espagnoles chez les élèves francophones. L’identification et l’analyse des erreurs les plus fréquentes dans l’usage des prépositions par des francophones nous permettrons d’élaborer des exercices pratiques qui rendraient leur apprentissage moins difficile. Nous croyons que la difficulté dans l’utilisation des prépositions chez les étudiants réside en partie dans le fait de ne pas connaître leur emploi exact. Nous commencerons donc par présenter l’emploi des principales prépositions en espagnol à partir du Manual de la Nueva gramática de la lengua española et d’autres études. L’enseignement de la grammaire dans les cours d’espagnol comme langue étrangère (ELE) au Québec suit les règles établies par le Cadre européen commun et le Plan curricular de l’Institut Cervantès. Les étudiants développent leur compétence grammaticale de manière inductive; ils sont amenés à comprendre les règles par eux-mêmes et à créer leurs propres hypothèses qu’ils confirment ou réfutent après grâce à quelques explications formelles de l’enseignant et des exercices de pratique. Par contre, cette tendance à laisser l’apprentissage de la grammaire entre les mains des étudiants peut aussi amener à la fossilisation de leurs erreurs si les explications et la pratique ne sont pas suffisantes. Les erreurs sont perçues comme un point de départ pour comprendre où résident les difficultés des étudiants et permettent aux enseignants d’apporter les changements nécessaires à leurs méthodes d’enseignement. Notre révision de quelques investigations réalisées avec la méthode de l’analyse des erreurs, nous permet de cerner les raisons pour lesquelles les francophones commettent autant d’erreurs dans l’utilisation des prépositions espagnoles. Notre analyse de l’enseignement et de la pratique des prépositions dans trois manuels qui s’utilisent actuellement dans les cégeps et les universités du Québec nous permet de voir que les prépositions ne se pratiquent pas assez, surtout au niveau intermédiaire. Nous proposons donc des exercices pratiques qui permettront aux étudiants de pratiquer les prépositions de manière plus efficace. / This MA thesis is dedicated to the learning of the Spanish prepositions by French-speakers. We are interested in identifying and analyzing the most frequent errors in the use of the prepositions by French-speakers, which will bring us to create activities that will help them make fewer mistakes. We believe that the difficulty partly lies in the fact that students don’t know how to use them correctly. Therefore, we find it important to present the uses of the main prepositions in Spanish given by the Manual of Nueva gramática de la lengua española and other studies. The teaching of grammar in classes of Spanish as a foreign language (SFL) in Quebec follows the guidelines established by the Common European Framework and the Plan curricular of the Cervantes Institute. The students develop their grammatical competence in an inductive way; they try to understand the rules by themselves and create their own hypotheses which they will later confirm or refute thanks to some formal explanations from the teacher and practice. On the other hand, this tendency to leave the learning of the grammar mostly in the hands of the students can also bring about the fossilization of certain errors if there aren’t enough explanations or practice. The method of Error Analysis is the most effective to analyze the process of Spanish learning as a foreign language. The errors are a starting point to understand where the difficulties of the students lie and allow the teachers to bring the necessary changes in their teaching methods. Our revision of some investigations made with this method of analysis will allow us to better understand the causes of the most frequent errors French-Speakers make using Spanish prepositions. Our analysis of three textbooks used today in the classrooms of cégeps and universities of Quebec will prove that the prepositions are not practiced enough, especially in the intermediate level. We will consequently propose activities that will allow the students to practice the Spanish prepositions in a more effective way. / Este trabajo de Maestría se centra en el aprendizaje de las preposiciones españolas en alumnos francófonos. La identificación y el análisis de los errores más frecuentes nos llevarán a elaborar actividades que permitan un aprendizaje menos difícil de las preposiciones. Primero, creemos que la dificultad reside en parte en el hecho de no conocer los usos exactos de las preposiciones. Nos parece entonces importante empezar por la presentación de los usos de las principales preposiciones en español a partir del Manual de la Nueva gramática española y de otros estudios. La enseñanza de la gramática en clases de español como lengua extranjera (ELE) en Quebec sigue las mismas pautas establecidas por el Marco común europeo y el Plan curricular del Instituto Cervantes. Los estudiantes desarrollan su competencia gramatical de manera inductiva, creando hipótesis que luego confirman o refutan a partir de explicaciones formales del profesor y de práctica. Sin embargo, el hecho de dejar el aprendizaje de la gramática en las manos de los estudiantes puede causar una fosilización de los errores si no hay suficientes explicaciones y práctica. El método de análisis de los errores se reveló el más eficaz para analizar el proceso de aprendizaje de ELE. Los errores son un punto de partida para comprender dónde residen las dificultades de los estudiantes y permiten a los profesores aportar los cambios necesarios en sus métodos de enseñanza. Nuestro estudio de los errores preposicionales en la interlengua de los hablantes francófonos a partir de estudios realizados con el método de análisis de errores nos permitirá comprender mejor las causas de esos errores. Nuestro análisis de tres manuales que se utilizan actualmente en clases de ELE en los cégeps y universidades quebequenses nos permitirá ver que las preposiciones no se practican bastante en los manuales, sobre todo en el nivel intermedio, lo que podría explicar la fosilización de algunos errores. Propondremos entonces algunas actividades para que los estudiantes puedan practicar las preposiciones de una manera más eficaz.

L’iatrogénie induite par les erreurs médicamenteuses est un problème majeur de santé publique. Ce travail a pour objectif de développer une approche systémique visant à réduire leur occurrence en cancérologie. L’étude est menée aux Hospices Civils de Lyon au sein du Groupement Hospitalier Sud. L’analyse des erreurs médicamenteuses interceptées, sur une période de 5 ans, révèle que 4 prescriptions de chimiothérapie sur 100 présentent au moins une erreur médicamenteuse, dont plus de la moitié sont des erreurs de dose. Les facteurs de risque d’erreurs de prescription identifiés sont la prescription par un interne, l’hospitalisation conventionnelle, le patient ayant une surface corporelle supérieure à 2 m², les protocoles de plus de trois médicaments anticancéreux, comprenant du carboplatine ou nécessitant une modification par le prescripteur. L’évaluation de la gravité clinique potentielle des erreurs médicamenteuses montre que 13,4% d’entre elles auraient causé un préjudice temporaire et 2,6% un préjudice permanent. Le pronostic vital aurait été engagé dans 2,6% des cas conduisant au décès pour 6 patients sur une période d’un an. L’évaluation médico-économique permet d’estimer le coût pour l’assurance maladie d’une erreur médicamenteuse en cancérologie avec conséquences cliniques à 1 523€ associé à 3,5 journées d’hospitalisation supplémentaires. Cette approche systémique conduit au développement de revues d’erreurs médicamenteuses et de morbi-mortalité, socle de l’analyse collective indispensable à la prévention du risque médicamenteux en cancérologie / Medication errors are a major public health problem. This work aims to develop a systemic approach to reduce their occurrence in oncology. The study was conducted in Groupement Hospitalier Sud (Hospices Civils de Lyon). The analysis of intercepted medication errors, over a period of five years, reveals that four out of 100 prescriptions of chemotherapy include at least one medication error, which over half are dose errors. Risk factors of prescribing errors identified are prescription by a resident physician, inpatient care, patient with a body surface area greater than 2 m², protocol with more that three anticancer drugs, protocol involving carboplatin or protocol requiring at least one modification by the physician. 13.4% of avoided errors would have resulted in temporary injury and 2.6% in permanent damage. The vital prognosis of the patient would have been compromised in 2.6% of cases leading to death for six patients over a period of one year. The cost of one medication error with clinical consequences was estimated at € 1 523 associated to 3.5 additional days of hospitalisation. This approach led to the development of systematic medication errors reviews and morbi-mortality conferences that allow a collective and multidisciplinary analysis to enhance the patient’s safety

Bien que typiques et incontournables de la langue anglaise, les phrasal verbs représentent cependant un véritable fléau pour les apprenants non-anglophones. Une étude quantitative s’appuyant sur la comparaison d’un corpus d’interlangue de l’anglais langue étrangère (International Corpus of Learner English, Version 2) et d’un corpus contrôle (Louvain Corpus of Native English Essays) met ainsi en lumière la sous-représentation des phrasal verbs dans les productions écrites d’étudiants non-anglophones. En second lieu, à partir d’une étude qualitative examinant l’usage des phrasal verbs dans les extraits de dissertations d’étudiants non-natifs, nous établissons une typologie des erreurs commises par les apprenants non-anglophones à l’égard des phrasal verbs. Une réflexion sur de nouvelles approches visant un meilleur apprentissage/enseignement des phrasal verbs est également proposée.Pour apporter des éléments de réponse à cette question, notre démarche consiste à observer la genèse de cette construction dans le langage de l’enfant anglophone. En effet, le rôle des constructions formées de plusieurs mots a notamment été mis en évidence dans les théories de l’acquisition de la langue maternelle (Goldberg, 1995 ; Tomasello, 2003). En outre, elles représentent une source de prédication riche et productive que les enfants de la plupart des communautés linguistiques acquièrent à un âge très précoce. Aucune étude dédiée à l’acquisition et l’usage des phrasal verbs chez le jeune enfant anglophone n’a cependant été réalisée à ce jour. Cette thèse se propose d’étudier l’émergence et le développement des constructions verbe-particule dans le langage de l’enfant en analysant les données longitudinales du discours oral spontané de deux enfants uniligues anglophones, Naima et Ella, suivies respectivement entre 0;11 et 3;10 et entre 1;00 et 4;00. Les transcriptions des corpus sont issues de la base de données CHILDES (MacWhinney, 2000a).Enfin, cette thèse s’intéresse également à l’acquisition et à l’usage du placement de la particule adverbiale au sein des verbes à particule transitifs directs dans le discours de l’enfant anglophone. En particulier, une analyse multifactorielle de plusieurs variables linguistiques sera conduite afin de voir si l’enfant reproduit le même schéma linguistique que l’adulte dans ses emplois des constructions verbe-particule transitives directes de type continu V-Prt-O et discontinu V-O-Prt. / Although typical and inevitable in the English language, phrasal verbs, however, represent a real scourge to non-English-speaking students. A quantitative study based on a comparison between an interlanguage corpus of English as a foreign language (International Corpus of Learner English, Version 2) and a control corpus (Louvain Corpus of Native English Essays) thus highlights the underrepresentation of phrasal verbs in non-English-speaking students’ written productions. Secondly, from a qualitative study examining the use of phrasal verbs in excerpts from non-native students’ essays, we draw up a typology of errors made by non-English-speaking learners with regard to phrasal verbs. A discussion on new approaches to a better learning/teaching of phrasal verbs is also proposed.To provide some answers to this question, our approach consists in observing the genesis of this construction in the English-speaking child’s language. Indeed, the role of multiword constructions has particularly been emphasized in theories of first language acquisition (Goldberg, 1995; Tomasello, 2003). Besides, they are a rich and productive source of predication that children from most of the language communities acquire at a very early age. Yet, no studies dedicated to the acquisition and usage of verb-particle constructions in young English-speaking children have been carried out so far. This thesis aims to study the emergence and development of verb-particle constructions in child language by analyzing longitudinal data from the spontaneous oral speech of two monolingual English-speaking children, Naima and Ella, respectively followed between ages 0;11 and 3;10 and between ages 1;00 and 4;00. The corpora transcripts come from the CHILDES database (MacWhinney, 2000a).Finally, this thesis also focuses on the acquisition and use of particle placement within direct transitive phrasal verbs in English-speaking children’s speech. In particular, a multifactorial analysis of several linguistic variables will be conducted to see if children reproduce the same linguistic pattern as adults in their productions of both types of direct transitive verb-particle constructions (i.e. continuous configuration V-Prt-O and split configuration V-O-Prt).

La caractérisation par mesure spectrale de l'environnement neutronique atmosphérique ambiant s'avère être spécifiquement primordiale dans le contexte de la problématique actuelle liée à l'évaluation des effets de radiations naturelles dans les matériaux semi-conducteurs. Ces " effets singuliers " identifiés sont susceptibles d'altérer le bon fonctionnement des technologies sur silicium fortement intégrées jusqu'au niveau du sol terrestre. Les travaux menés au cours de cette thèse de doctorat ont ainsi porté sur le développement d'un spectromètre de neutron, basé sur le principe du système généralisé des sphères de Bonner, de sensibilité adaptée à la mesure en environnement radiatif atmosphérique naturel et d'efficacité étendue de surcroît jusqu'au domaine des hautes énergies. Le développement du spectromètre s'est alors grandement appuyé sur la simulation numérique de type Monte Carlo au moyen du code de transport MCNPX. Une fois le système multi-détecteurs défini sur le support d'une modélisation détaillée, la matrice de réponse en fluence a été déterminée sur un large spectre en énergie, depuis les énergies thermiques jusqu'à plusieurs GeV. Une phase d'extension puis d'optimisation de la réponse aux neutrons d'énergies supérieures à la dizaine de MeV ont été menées pour aboutir à la configuration et au dimensionnement finals du système de spectrométrie, jusqu'à sa propre réalisation. Une phase de caractérisation, par simulations Monte Carlo, du spectromètre s'est ensuite consacrée à l'évaluation des possibles déviations et incertitudes associées aux réponses en fluence calculées. Une analyse de la sensibilité du spectromètre aux composantes radiatives atmosphériques chargées complète et finalise cette étude exhaustive de caractérisation. Des tests de mesures réalisés au moyen du spectromètre auprès d'une source 241Am-Be de référence ont apporté des éléments de validation expérimentale préliminaire de la matrice de réponse calculée.

Cette thèse se compose de trois parties indépendantes portant sur l'application du contrôle stochastique à la finance. Dans la première partie, nous étudions le problème de maximisation de la fonction d'utilité dans un marché incomplet avec défauts et information totale/partielle. Nous utilisons le principe de la programmation dynamique pour pouvoir caractériser la fonction valeur solution du problème. Ensuite, nous utilisons cette caractérisation pour en déduire une EDSR dont la fonction valeur est solution. Nous donnons également une approximation de cette fonction valeur. Dans la seconde partie, nous étudions les EDSR à sauts. En utilisant les résultats de décomposition des processus à sauts liée au grossissement progressif de filtration, nous faisons un lien entre les EDSR à sauts et les EDSR browniennes. Cela nous permet de donner un résultat d'existence, un théorème de comparaison ainsi qu'une décomposition de la formule de Feynman-Kac. Puis nous utilisons ces techniques pour la détermination du prix d'une option européenne dans un marché complet et le prix d'indifférence d'un actif contingent non duplicable dans un marché incomplet. Enfin, dans la troisième partie, nous utilisons la théorie des erreurs pour expliquer le risque de liquidité comme une propriété intrinsèque au marché. Cela nous permet de modéliser la fourchette Bid-Ask. Puis nous résolvons dans ce modèle le problème de liquidation optimale d'un portefeuille en temps discret et déterministe en utilisant la programmation dynamique.