Notre étude est bipartite. En premier lieu nous avons effectué une étude empirique des différences entre les processus de catégorisation explicite (verbalisable) et implicite (non-verbalisable). Nous avons examiné la difficulté et le temps nécessaire pour apprendre trois tâches de catégorisation dites par air de famille, par règle logique conjonctive et par règle logique disjonctive. Nous avons ensuite utilisé un réseau neuronal pour modéliser la catégorisation en lui faisant compléter les mêmes tâches. La comparaison entre les deux nous permet de juger de l’adéquation du modèle. Les données empiriques ont montré un effet de la typicité et de la familiarité en accord avec la documentation et nous trouvons que la tâche de catégorisation par règle disjonctive est la plus difficile alors que la tâche de catégorisation par air de famille est la plus facile. La modélisation par le réseau est une réussite partielle mais nous présentons des solutions afin qu’un réseau futur puisse modéliser le processus catégoriel humain efficacement / Our present research was twofold. First, we conducted a study of the differences in the categorization processes between explicit (verbalizable) and implicit (nonverbalizable) tasks. The differentiation was done in term of difficulty and time necessary to learn the rule of the category for family resemblance, conjunctive and disjunctive rules. We then used a neural network to model the categorization and had it complete the same tasks. The comparison between the two gave us insight into how (and if) the network can be used as a model of human categorization. The empirical data confirmed an effect of familiarity and typicality, as supported by previous studies, and we confirmed that the disjunctive task was the hardest to learn for humans while our results point toward the family resemblance task as being the easiest. The modelization by the neural network was partially successful at best but we present options that could permit a next generation neural network to model the categorization process truthfully

Cette thèse investigue l'apprentissage implicite d'une grammaire artificielle chez l'enfant avec et sans retard mental à travers le rôle des propriétés de surface du matériel (répétitions adjacentes ou non-adjacentes) et l'influence des instructions en phase test (tests de génération implicite ou explicite). Un des objectifs est de départager quatre des principaux modèles de l'apprentissage implicite en examinant la sensibilité aux propriétés de surface saillantes du matériel présenté à des enfants d'âges différents. La robustesse des capacités d'apprentissage implicite face au développement et au niveau intellectuel est également testée en rapport avec la perméabilité des instructions en phase test aux influences explicites. Enfin, ces travaux étudient l'appréhension des stimuli d'entraînement et l'adaptation comportementale progressive en fonction de l'âge des sujets et des caractéristiques perceptives et statistiques du matériel. Les résultats révèlent une sensibilité aux propriétés de surface spécifiques aux séquences d'entraînement plutôt qu'à la structure grammaticale à partir de laquelle elles ont été construites. Les Expériences 1 et 3 montrent que l'apprentissage est invariant face à l'âge et au niveau intellectuel lorsque les consignes limitent les contaminations explicites. En revanche, malgré une phase d'apprentissage identique aux Expériences 1 et 3, les Expériences 2 et 4 indiquent l'émergence d'effets d'âge et une altération des performances chez les enfants présentant un retard mental, lorsque les instructions délivrées en test sollicitent des processus intentionnels de récupération de l'information. L'Expérience 5 montre que différents types de saillances (perceptive, positionnelle et statistique) guident l'appréhension du matériel lors de la phase d'étude et ce, de manière concurrentielle, avant de conduire à la formation progressive d'unités plus complexes. Cette thèse apporte des éléments en faveur d'un apprentissage spécifique des stimuli, basé sur le traitement attentionnel de leurs propriétés de surface et la mise en œuvre de mécanismes associatifs de base. Elle confirme également les postulats de robustesse propres aux processus implicites et précise les précautions méthodologiques nécessaires à l'étude des capacités d'apprentissage implicite, telles que la neutralité des procédures aux influences explicites ou l'emploi d'un groupe contrôle.

Les progrès des dispositifs d'imagerie médicale permettent l'obtention d'images volumiques, qui contiennent une grande quantité d'information. Une approche efficace de traitement de ces images consiste à utiliser la connaissance a priori de la forme des objets à analyser, et à employer des méthodes intrinsèquement tridimensionnelles. Les modèles déformables répondent à ces deux critères. Nous proposons de formaliser les modèles déformables et leur évolution dans une image dite de données, en distinguant cinq composantes : caractéristiques de liaison, représentation géométrique, déformation, déformabilité, et contrôle. Nous décrivons trois modèles déformables. Nous employons le modèle surfacique des delta-snakes pour reconstruire des objets à partir de points répartis sur leur surface. Nous approximons cette surface par une carte de distance octree-spline. Nous avons mis au point des outils interactifs pour compléter des données manquantes ou déformer directement la surface. Nous proposons ensuite pour ce même type d'application un modèle implicite à base de primitives générant un champ potentiel local. Les primitives sont placées interactivement, ou automatiquement sélectionnées dans l'axe médian discret des données. L'optimisation des paramètres des primitives mène à une représentation compacte des objets. Nous reconstruisons par ces deux modèles des objets numérisés par des capteurs de distance ou segmentés dans des images volumiques. Notre dernier modèle est volumique. Sa déformation hiérarchique par un octree-spline minimise la distance généralisée entre ses caractéristiques et celles des données, sous le contrôle de l'algorithme de Levenberg-Marquardt, et dans les limites imposées par une fonction de régularisation. Nous avons établi un algorithme de calcul de distance généralisée itérée dans un arbre k-d. Nous appliquons ce modèle à la segmentation d'images volumiques. D'autres types d'applications ont également été réalisées.

La résolution de singularités des courbes sur C est connue depuis longtemps et possède de nombreuses preuves. L'une d'entre elles consiste à utiliser le théorème de Newton-Puiseux pour obtenir l'uniformisation locale d'une valuation centrée sur l'anneau de départ. Ce théorème fournit une série de Puiseux permettant de paramétrer les branches de la courbe ainsi qu'un ensemble de polynômes décrivant complètement la valuation. Dans cette thèse, nous généralisons cette méthode à l'aide des polynômes-clés indexés sur un ensemble bien ordonné qui deviennent, après éclatements, des coordonnées. Notre premier résultat fournit une généralisation effective du théorème de Newton-Puiseux pour une valuation de rang 1, centrée sur un anneau local régulier et complet, ainsi que des résultats de dépendance intégrale sur les séries tronquées. Dans un second temps, nous montrons qu'il n'y a pas de polynômes-clés limites en caractéristique nulle et proposons une méthode pour obtenir l'uniformisation locale des schémas quasi-excellents. Cette méthode consiste à désingulariser l'idéal premier implicite, engendré par un polynôme, en monomialisant les polynômes-clés. Enfin, en caractéristique positive ou mixte, nous montrons que, pour obtenir l'uniformisation locale, il suffit, sous certaines conditions, de monomialiser le premier polynôme-clé limite.

Malgré des résultats prometteurs, les procédés de mise en forme à grande vitesse sont encore peu utilisés dans l'industrie du fait d'un manque de compréhension du phénomène de Bande de Cisaillement Adiabatique (BCA).Ce travail présente le développement d'outils numériques permettant la simulation adaptative et l'analyse de BCA dans des procédés 3D de mise en forme à grande vitesse. L'utilisation du modèle ALE-adaptatif séquentiel développé dans le logiciel Forge3 permet pour la première fois la simulation automatique de BCA 3D. L'étude des résultats numériques permet de proposer une description innovante du processus de formation de BCA. Les moyens de calcul requis s'avérant très importants, un nouveau code éléments finis hautement parallèle appelé Forge++ est développé. Ce dernier inclut de nouveaux algorithmes tels que le couplage thermomécanique implicite, la méthode de stabilisation RFB et un recouvrement par patch parallèle pour une meilleure simulation de BCA.

Cette thèse consiste en l’analyse du jeu dans les deux œuvres littéraires majeures de Lewis Carroll, Alice’s Adventures in Wonderland et Through the Looking-Glass, œuvres qui accordent la part belle au jeu, tant au niveau diégétique, narratologique que stylistique et linguistique. Il en ressort qu’une tension entre liberté et règle (entre paidia, l’expression impulsive d’un instinct de jeu, et ludus, le besoin de créer des règles et de s’y plier, pour utiliser les termes de Caillois) traverse les Alice. L’étude des jeux et jouets, des macro- et micro-structures, du style et des intertextes, permet d’affirmer que ces deux volumes sont résolument ludiques, car ils reposent sur une légaliberté, une liberté dans et par une légalité (Duflo). Ils jouent avec et contre les attentes, la langue et les connaissances du lecteur de sens commun. Toutefois, dans le même temps, le champ d’action du lecteur virtuel est considérablement restreint : ses facultés d’idéation sont orientées par l’imbrication du texte et des illustrations, et sa participation à la construction du texte carrollien se borne à compléter les « blancs » textuels, tel que Eco les définit, c’est-à-dire à faire ressurgir les déjà-dits qui ont été effacés. Les œuvres carrolliennes sont ainsi caractérisées par ce paradoxe : alors que la diégèse et l’économie textuelle semblent promouvoir le jeu, le rôle du Lecteur Modèle prévu par le texte est extrêmement réduit. Cependant, il est possible pour le lecteur réel, interpellé par le texte carrollien et son Auteur, d’endosser le rôle de Lecteur Imposteur, de les contre-interpeller, et de devenir, par ce processus de subjectivation, un lecteur pleinement joueur. Il s’avère alors que la légaliberté permet non seulement de saisir l’esthétique du jeu, mais aussi la formation des sujets (personnages, auteurs, lecteurs) à l’œuvre dans les Alice. / This thesis consists in an analysis of play and game(s) in Lewis Carroll’s two major literary works, Alice’s Adventures in Wonderland and Through the Looking-Glass, in which diegetic, narratological, stylistic and linguistic games play a significant part. It shows that a tension is at work throughout the Alice books, between freedom and rules (between paidia, the impulsive manifestation of a play instinct, and ludus, the need to invent rules and to abide by them, to state this in Caillois’s terms). The study of games and toys, of the macro- and micro-structures, of the style and the intertexts reveals the playfulness of these texts, as they rely on “legafreedom”, freedom in, and made possible by legality (Duflo). They play with and against the reader’s commonsensical expectations, language and knowledge. Yet, at the same time, the virtual reader’s playing field is considerably limited: his or her faculties of ideation are directed by the interweaving of text and illustrations, and his or her participation (involvement?) in constructing the Carrollian text is restricted to filling in the textual “blanks,” as defined by Eco, i.e. making the “already said” that has been erased reappear. Carroll’s works are, therefore, characterized by this paradoxical idea: while the diegesis and the textual economy seem to promote play, the role of the Model Reader as mapped out by the text is extremely circumscribed. However, the real reader, interpellated by the Carrollian text and its Author, can take on the role of the Impostor Reader, counter-interpellate them, and become, thanks to this process of subjectification, a consummate playing reader. As such, “legafreedom” makes it possible to understand not only the aesthetics of play, but also the formation of subjects (characters, authors, readers) in the Alice books.

La complexité implicite (ICC) vise à donner des caractérisations de classes de complexité dans des langages de programmation ou des logiques, sans faire référence à des bornes sur les ressources (temps, espace mémoire). Dans cette thèse, nous étudions l’approche de la logique linéaire à la complexité implicite. L’objectif est de donner des caractérisations de classes de complexité, à travers des variantes du lambda-calcul qui sont typables dans de tels systèmes. En particulier, nous considérons à la fois une perspective monovalente et une perspective polyvalente par rapport à l’ICC. Dans le premier cas, le but est de caractériser une hiérarchie de classes de complexité à travers un lambda-calcul élémentaire typé dans la logique linéaire élémentaire (ELL), où la complexité ne dépend que de l’interface d’un programme, c’est à dire son type. La deuxième approche rend compte à la fois des fonctions calculables en temps polynomial et de la normalisation forte, à travers des termes du lambda-calcul pur qui sont typés dans un système inspiré par la logique linéaire Soft (SLL); en particulier, par rapport à l’approche logique ordinaire, ici nous abandonnons la modalité “!” en faveur de l’emploi des types stratifiés, vus comme un raffinement des types intersection non associatifs, afin d’améliorer la typabilité et, en conséquence, l’expressivité. Enfin, nous explorons l’utilisation des types intersection, privés de certaines de leurs propriétés, vers une direction plus quantitative que l’approche qualitative habituelle, afin d’obtenir une borne sur le calcul de lambda-termes purs, en obtenant en plus une caractérisation de la normalisation forte. / In this thesis we explore the linear logic approach to implicit computational complexity, through the design of type assignment systems based on light linear logic, or heavily inspired by them, with the purpose of giving a characterization of one or more complexity classes, through variants of lambda-calculi which are typable in such systems. In particular, we consider both a monovalent and a polyvalent perspective with respect to ICC. In the first one the aim is to characterize a hierarchy of complexity classes through an elementary lambda-calculus typed in Elementary Linear Logic (ELL), where the complexity depends only on the interface of a term, namely its type. The second approach gives an account of both the functions computable in polynomial time and of strong normalization, through terms of pure lambda-calculus which are typed in a system inspired by Soft Linear Logic (SLL); in particular, with respect to the usual logical take, in the latter we give up the “!” modality in favor of employing stratified types as a refinement of non-associative intersection types, in order to improve typability and, as a consequence, expressivity.Finally we explore the use of intersection types, deprived of some of their usual properties, towards a more quantitative approach rather than the usual qualitative one, namely in order to compute a bound on the computation of pure lambda-terms, obtaining in addition a characterization of strong normalization.

La complexité implicite est la caractérisation de classes de complexité par des restrictions syntaxiques sur des modèles de calcul. Plusieurs sous-systèmes de la logique linéaire caractérisant le temps polynomial ont été définis: ces systèmes sont corrects (les termes normalisent en temps polynomial) et complets (il est possible de simuler une machine de Turing pendant un nombre polynomial d'étapes). Un des buts sur le long terme est de donner statiquement des bornes de complexité. C’est pourquoi nous cherchons les caractérisations du temps polynomial les plus expressives possible. Notre principal outil est la sémantique des contextes: des jetons voyagent à travers le réseau selon certaines règles. Les chemins définis par ces jetons représentent la réduction du réseau. Contrairement aux travaux précédents, nous ne définissons pas directement des sous-systèmes de la logique linéaire. Nous définissons d'abord des relations -> sur les sous-termes des réseaux de preuves tel que: B -> C ssi ”le nombre de copies de B dépend du nombre de copies de C”. L’acyclicité de -> borne le nombre de copies de chaque sous-terme, donc la complexité du terme. Ensuite nous définissons des sous-systèmes de la logique linéaire assurant l’acyclicité de ->. Nous étudions aussi des caractérisations du temps élémentaire et primitif récursif. Dans le but d’adapter nos sous-systèmes de la logique linéaire à des langages plus riches, nous adaptons la sémantique des contextes aux réseaux d’interaction, utilisés comme langage cible pour de petits langage de programmation. Nous utilisons cette sémantique des contexte pour définir une sémantique dénotationnelle sur les réseaux d’interactions. / Implicit computational complexity is the characterization of complexity classes by syntactic restrictions on computation models. Several subsystems of linear logic characterizing polynomial time have been defined : these systems are sound (terms normalize in polynomial time) and complete (it is possible to simulate a Turing machine during a polynomial number of steps). One of the long term goals is to statically prove complexity bounds. This is why we are looking for the most expressive characterizations possible. Our main tool is context semantics : tokens travel across proof-nets (programs of linear logic) according to some rules. The paths defined by these tokens represent the reduction of the proof-net.Contrary to previous works, we do not directly define subsystems of linear logic. We first define relations -> on subterms of proof-nets such that: B -> C means \the number of copies of B depends on the number of copies of C". The acyclicity of -> allows us to bound the number of copies of any subterm, this bounds the complexity of the term. Then, we define subsystems of linear logic guaranteeing the acyclicity of ->. We also study characterizations of elementary time and primitive recursive time. In orderto adapt our linear logic subsystems to richer languages, we adapt the context semantics to interaction nets, used as a target language for small programming languages. We use this context semantics to define a denotational semantics on interaction nets.

De nombreux travaux ont décrit et analysé le phénomène néologique, ses domaines d’adoption et ses occurrences dans le discours. La néologie satirique, est, elle, relativement peu explorée. À travers un corpus constitué d’écrits de presse humoristiques portant sur la vie politique française et allemande et provenant des journaux satiriques Le Canard enchaîné et Eulenspiegel, l’étude dégage dans un premier temps les procédés morphologiques de l’innovation lexicale : la dérivation, la composition, les mots-valises, l’abréviation, la conversion, l’emprunt. Le travail explore ensuite les stratégies qui caractérisent cette pratique de la néologie satirique, ainsi que ses divers effets sémantiques et pragmatiques recherchés dans les créations lexicales. Cela nous a permis de faire une analyse contrastive entre textes satiriques français et allemands par les diverses manifestations dicursives des néologismes. / Many studies have been made of the neologistic phenomenon, both in terms of the contexts in which it is used and of how it integrates into discourse. The satirical neology is less well documented. By using a corpus made up of press cartoons in the political French and German satirical magazines Le Canard enchaîné et Eulenspiegel, the study first posits the morphological devices of the lexical innovation : derivation, composition, portmanteau-words, abbreviation, conversion, loan. This work then explores the strategies which characterise the use of the satirical neology as well as the semantic and pragmatic effects aimed in the lexical creations. This allowed us to make a contrastive analysis between satirical French and German texts by the various discursive uses of neologisms.

Aucune étude systématique dans le domaine de la linguistique française n’a porté spécifiquement sur le morphème etc. Nous proposons de cerner les enjeux de cet objet linguistique et littéraire problématique, en diachronie puis en synchronie. Notre travail s’ouvre sur les questions de l’origine et la morphosyntaxe de etc. En effet, l’histoire de la langue permet d’observer le processus de figement partiel de la séquence « coordonnant + adjectif substantivé » et dans un même temps, de distinguer deux grands types d’emplois du morphème. Ces deux types d’emplois établissent un critère de classement pertinent pour toute étude synchronique portant sur la question du etc. De fait, si l’emploi de etc. correspond toujours à une pratique de l’interruption, il intervient soit à la fin d’une énumération, soit entre deux segments textuels. Cette partition nécessite deux niveaux d’analyse, le premier syntaxique, le second lié aux enjeux énonciatifs du texte.Nous avons donc appliqué ce principe de classement aux 350 occurrences de etc. appartenant à un corpus de six textes stendhaliens : De l’Amour, Racine et Shakespeare, Promenades dans Rome, Le Rouge et le Noir, Lucien Leuwen, Vie de Henry Brulard. Le cœur de notre travail se présente à la fois comme un classement de la totalité des occurrences du morphème et comme une analyse des enjeux d’occurrences choisies, à l’échelle phrastique ou textuelle. Une telle étude permet d’aborder un certain nombre de problématiques touchant à la l’utilisation du morphème etc. : effets d’ellipses et d’échos, enjeux des réduplications du morphème, jeux sur l’implicite, logiques référentielles mises en place par l’auteur, portée des ruptures énonciatives et conséquences sur la lecture. Nous entendons enfin montrer que etc. est un ponctème rythmant dont l’impact stylistique est systématiquement exploité par Stendhal. Révélateur d’une écriture qui donne à voir autant qu’elle laisse deviner, le etc. participe de la logique moqueuse, « cryptique » et conversationnelle des textes Stendhaliens. / No systematic study in the field of French linguistics has specifically focused on the morpheme etc. The purpose of this work is to analyse the linguistic and literary issues of this problematic object, first in diachrony and then in synchrony. Our study begins with the question of the origin and of the morphosyntax of etc. Through the history of the language we can observe the partial fossilisation of the sequence ‘coordinating conjunction + nominalised adjective’; we can also identify two main types of use of the morpheme. These two types establish a relevant criterion for the classification of any synchronic study on the issue of etc. If the use of etc. always corresponds to a practice of interruption, it can either take place at the end of an enumeration or in between two segments of text. This partition requires two levels of analysis, a syntactic one and one related to the enunciative issues of the text.We applied this ranking principle to 350 occurrences of etc. belonging to a compilation of six Stendhalian texts: De l’Amour, Racine et Shakespeare, Promenades dans Rome, Le Rouge et le Noir, Lucien Leuwen, Vie de Henry Brulard. The core of our work consists in both establishing the typology of the occurrences of this morpheme as well as the analysis of issues prompted by selected occurrences, on a phrasal or textual level.This study addresses a number of issues relating to the use the morpheme etc.: effects of ellipses and echoes, issues of reduplication of the morpheme, effects of the implicit, referential logics set up by the author, scope of the enunciative ruptures and their effects on the reader. Finally we intend to show that etc. is a beating ‘puncteme’ (acting as a modulating ‘punctuation mark’) whose rhythmical and stylistic impact is systematically exploited by Stendhal. Etc. is an essential part of the mocking, ‘cryptic’ and conversational logic of the works of Stendhal, revealing a writing which lets the reader see as much as it lets him guess.