L'analyse statique a pour but de vérifier qu'un programme a le comportement souhaité c.à.d. satisfait des propriétés de sûreté. Toutefois, inférer les propriétés vérifiées par un programme est un problème difficile : le théorème de Rice énonce que toute propriété non triviale d'un langage de programmation Turing-complet est indécidable. Afin de contourner cette difficulté, les analyses statiques effectuent des approximations des comportements possibles du programme. La théorie de l'interprétation abstraite permet de donner un cadre formel à ces approximations. Cette théorie, introduite par Cousot & Cousot propose un cadre d'approximation basé sur la notion de treillis, de connexion de Galois et de calculs de points fixes par itération. Ce cadre permet de définir la qualité des approximations effectuées et notamment la notion de meilleure approximation. À l'opposé, les notions quantitatives n'apparaissent pas naturellement dans ce cadre. Nous nous sommes donc posés la question de l'inférence, par analyse statique, de propriétés s'exprimant de manière quantitative (telles que l'utilisation de la mémoire ou le temps d'exécution).

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

L'étude que nous proposons s'inscrit dans le cadre de la complexité implicite des calculs. Selon Daniel Leivant, il s'agit de donner des caractérisations de la complexité sans faire de référence explicite à un modèle de calcul. Nous montrons que les interprétations de programmes sont un bon outil d'analyse dans ce contexte. Les aspects théoriques et pratiques sont abordés.

Cette thèse propose une modélisation en informatique de l'interprétation des énoncés en langue naturelle. La démarche est expérimentale, elle consiste à analyser le déroulement des interactions langagières pour construire un modèle computationel à partir de ce qui est observé. Dans ce modèle, l'apprentissage par l'interaction homme - machine a été choisi comme mode de conception par amorce d'un système d'interprétation. <br /><br />Dans les modèles logiques de la sémantique, l'analyse d'un énoncé a pour résultat une représentation du sens sous forme d'expression ou de graphe. Ici, dans une problématique de dialogue homme - machine, l'interprétation a pour objectif d'extraire du matériau linguistique les contraintes sémantiques conditionnant les enchaînements conversationnels possibles. Ces contraintes sont obtenues par une recherche de dépendance sémantique entre les lexèmes de l'énoncé à partir des connaissances du système sur les significations des lexèmes. Ces connaissances paradigmatiques sont des systèmes hiérarchiques de tables produites par combinatoire des différences entre les significations, et lorsqu'un mot est polysémique, ses significations prennent place dans plusieurs de ces tables. Les systèmes de tables sont construits dans un processus interactif entre la machine et un partenaire humain. Le processus d'interprétation consiste à rechercher des isotopies réduisant la polysémie lexicale et assurant la cohésion et la cohérence des énoncés. Les interprétations de la machine sont soumises à la validation du partenaire humain. Si elles ne sont pas jugées satisfaisantes, c'est qu'il manque des connaissances paradigmatiques. Il convient alors de relancer la boucle interactive afin de décrire de nouvelles significations en introduisant de nouvelles différences, puis d'exécuter à nouveau le calcul interprétatif. <br /><br />Par l'interaction avec un partenaire humain qui analyse des dialogues réels, des connaissances sémantiques sont acquises sous forme de systèmes de valeurs paradigmatiques et le système les réutilise pour proposer de nouvelles interprétations. La compétence interprétative s'améliore ainsi au fur et à mesure de son utilisation.

Les glissements de terrain sont à l'origine de la destruction de nombreuses infrastructures routières, de bâtiments et causent la perte de vies humaines. L'observation des glissements de terrain est limitée par l'absence d'archives historiques précises. Sur les glissements de terrain superficiels forestiers, la dendrogéomorphologie permet de reconstruire, avec une résolution temporelle saisonnière et une emprise spatiale décamétrique, l'activité du processus, à partir de l'analyse des perturbations anatomiques contenues dans les cernes de croissance. 13 glissements de terrain superficiels forestiers, localisés dans la vallée de l'Ubaye ont été étudiés. L'analyse dendrogéomorphologique permet de densifier les chroniques historiques, d'obtenir des périodes de retour et d'améliorer nos connaissances sur le comportement spatial du processus. L'approche statistique basée sur un modèle de Poisson, permet de quantifier et de cartographier des probabilités de réactivation. La thèse proposera d'évaluer la robustesse de la reconstruction dendrogéomorphologique ainsi que le rôle des précipitations dans le déclenchement des évènements passé.

Cette recherche a pour but, premièrement, de reconnaître les traits distinctifs de la pédagogie dans l'enseignement thaïlandais, dans ses relations à la culture. Notre analyse s'appuie sur l'enseignement de la langue thaïe et de la langue française, plus particulièrement sur le développement des compétences linguistiques nécessaires à la compréhension textuelle dans ces deux langues. Pour appuyer cette étude, nous nous référons au Cadre Européen Commun de Référence pour les langues. Nous nous intéressons également aux compétences métacognitives, et plus précisément métalinguistiques, dont le rôle s'avère important lors de la reformulation de la compréhension. Deuxièmement, cette enquête tend à comprendre l'activité de lecture des apprenants de FLE. Nous mettons l'accent sur le processus d'interprétation au cours duquel l'insuffisance ou l'incohérencedes compétences linguistiques peuvent causer l'incompréhension. Troisièmement, en plus des compétences linguistiques, nous pensons que la subjectivité personnelle peut aussi influencer les opérations d'interprétation du texte. Les arts du texte, selon laconception de F. Rastier, nous conduit à observer les différentes opérations d'interprétation mises en oeuvre par chaque apprenant afin de comprendre un même texte. Dans cette enquête, nous insistons sur l'emploi de l'anaphore, plus particulièrement l'expression nominale on, dont la valeur référentielle est particulièrement difficile à identifier

Dans cette thèse, nous cherchons à penser les enjeux philosophiques de l’application de méthodes herméneutiques en histoire de la philosophie politique. À partir d’une étude comparative des interprétations de l’œuvre de Nicolas Machiavel offertes par Leo Strauss, Quentin Skinner et Claude Lefort, nous interrogeons le rapport que l’interprète institue avec le texte qu’il étudie. Nous montrons qu’il y a dans les trois cas un écart entre l’exposition théorique des principes herméneutiques et l’application effective de ces derniers. Nous soutenons que les divergences fondamentales entre les trois lectures des écrits machiavéliens ne trouvent pas leur fondement dans la différence des méthodes employées, mais proviennent en dernier lieu de la compréhension particulière qu’ils ont du rôle et du statut de la pensée de Machiavel. Autrement dit, nous cherchons à montrer que l’intérêt pour la signification de l’œuvre machiavélienne dépasse la simple analyse des écrits d’un auteur du passé; les trois interprètes entretiennent un rapport singulier à la pensée du secrétaire florentin. En ce sens, l’étude des herméneutiques de Strauss, Skinner et Lefort appliquées à Machiavel est indissociable d’une interrogation sur l’articulation entre interprétation et politique.

No description available.

A travers une approche multidisciplinaire qui s’appuie sur l’analyse littéraire, sur la philosophie et l’anthropologie, l'auteur de ce travail part de l’œuvre de Italo Calvino pour ouvrir une réflexion sur des thèmes extrêmement actuels tels que la narration, la construction identitaire, l'interprétation... Le mythe postmoderne sur la dissolution de |'identité et le pouvoir émancipateur des technologies digitales se révèle auj0urd'hui comme un faux mythe et des questions qui semblaient enterrées réapparaissent dans toute leur urgence. En refusant |'interprétation qui fait d’ltaIo Calvino l’un des apôtres du postmodernisme, la lecture de ses écrits devient ainsi l’occasion pour articuler une réflexion critique sur la réalité contemporaine.La première partie du travail est une réflexion théorique qui propose une conception générale sur la fonction anthropologique du récit et sur le rôle social des savoirs littéraires. La deuxième partie relie ce discours à l’œuvre de Calvino et à sa vision de la littérature comme un instrument pour remettre en discussion les idées passivement reçues et pour avoir une attitude critique face au monde. / Through a multidisciplinary approach that draws on literary analysis, on philosophy and anthropology, the author of this thesis reed the texts by Italo Calvino with the aim to open a debate on highly topical themes such as storytelling, identity construction, interpretation. The postmodern myth about the dissolution of identity and emancipatory power of digital technologies is revealed today as a false myth and issues that seemed buried reappear in all their urgency. By refusing the interpretation that makes Italo Calvino one of the apostles of postmodernism, the reading of his writings is the opportunity to articulate a critical reflection on contemporary reality. The first part of the work is a theoretical reflection that proposes a general design on the anthropological function of the narrative and the social role of literary knowledge. The second part relates this reflection to the work of Calvino and his vision of literature as a tool to put into question the ideas passively received and to build a critical attitude towards the world.

No description available.