Nous proposons une approche où la phase d'analyse est remplacée par une phase d'édition dirigée par la grammaire du langage naturel à traduire. Nous spécifions un système où l'interaction est faite avec l'auteur du texte. En cas de faute, une reformulation correcte est proposée; en cas d'ambiguïté, les différentes interprétations sont paraphrasées. Pour réaliser l'analyseur, nous avons défini une version interprétable du Langage de Spécification de Correspodances Structurales utilisé au GETA pour décrire des langages naturels et les descripteurs abstraits correspondants. Nous avons implémenté une maquette de l'interpréteur

La reconnaissance de la langue des signes française (LSF) comme une langue à part entière en 2005 a créé un besoin important de développement d’outils informatiques pour rendre l’information accessible au public sourd. Dans cette perspective, cette thèse a pour cadre la modélisation linguistique pour un système de génération de la LSF. Nous présentons dans un premier temps les différentes approches linguistiques ayant pour but la description linguistique des langues des signes (LS). Nous présentons ensuite les travaux effectués en informatique pour les modéliser.Dans un deuxième temps, nous proposons une approche permettant de prendre en compte les caractéristiques linguistiques propres au LS tout en respectant les contraintes d’un processus de formalisation. En étudiant des liens entre des fonctions sémantiques et leurs formes observées dans les corpus LSF, nous avons identifié plusieurs règles de production. Nous présentons finalement le fonctionnement des règles comme étant un système susceptible de modéliser un énoncé entier en LSF. / The recognition of French Sign Language (LSF) as a natural language in 2005 has created an important need for the development of tools to make information accessible to the deaf public. With this prospect, this thesis aims at linguistic modeling for a system of generation of LSF. We first present the different linguistic approaches aimed at describing the sign language (SL). We then present the models proposed in computer science. In a second step, we propose an approach allowing to take into account the linguistic properties of the SL while respecting the constraints of a formalisation process.By studying the links between semantic functions and their observed forms in LSF Corpora, we have identified several production rules. We finally present the rule functioning as a system capable of modeling an entire utterance in LSF.

Les travaux de recherche portent sur la modélisation mathématique de la croissance des plantes et le développement de méthodes mathématiques adaptées à l'étude des modèles. In fine, les objectifs sont d'une part la prévision quantitative et qualitative de la production végétale, et d'autre part l'optimisation et le contrôle optimal des cultures. L'étape préalable est la compréhension et l'analyse des interactions génotype x environnement.<br />Nous proposons une voie mathématique d'exploration de ces interactions basée sur l'écriture du système dynamique de croissance des plantes. Le modèle de base sur lequel repose notre étude est le modèle individu-centré GreenLab, combinant la description de la structure et du fonctionnement de la plante, à l'échelle de l'individu ou du peuplement. L'architecture de la plante est le résultat complexe de cette interaction génotype x environnement. Nous montrons comment il est possible de mettre en œuvre des méthodes d'analyse de cette architecture pour expliquer le passage du génotype au phénotype. Mathématiquement, il s'agit :<br />– de décrire la mise en place dynamique des structures de la plante,<br />– de dériver de cette structure les équations fonctionnelles de la croissance et le système<br />de rétroaction entre croissance et processus de développement,<br />– de mettre au point les méthodes d'estimation paramétrique à partir des données expérimentales<br />sur l'architecture.<br />Une fois le modèle d'interaction génotype x environnement déterminé, nous illustrons la mise en œuvre de méthodes d'optimisation et de contrôle optimal à la résolution de problèmes applicatifs.