• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 12
  • 4
  • 2
  • Tagged with
  • 18
  • 6
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

The narrative structure of comics

Bishop, Jonathan January 2006 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
2

Etudes sociocognitives des besoins fondamentaux : échelles de mesure et application sociocognitive pour une population d'étudiant de l'université / Sociocognitive studies for fundamental needs : scales of measure and application sociocognitive for a population of student of the university

Salama Younes, Mareï 14 December 2011 (has links)
Cette thèse avait pour principal objectif d’explorer le caractère normatif de trois besoins dits fondamentaux : le besoin d’évaluer, le besoin de cognition et le besoin de clôture. Pour atteindre cet objectif, il nous a fallu dans un premier temps une validation rigoureuse des trois échelles de mesures habituellement utilisées : Need for Cognition Scale, Need to Evaluate Scale et Need for Closure Scale . Dans cette perspective, trois études distinctes relatives à ce processus de validation ont été effectuées. Une version française épurée pour chacune des échelles a été établie (partie 2, chapitres 1, 2 et 3). Puis à la manière dont cela est réalisé dans les travaux portant sur la normativité de l’internalité, nous avons eu recourt aux paradigmes des juges et d’identification pour tester notre hypothèse de normativité des besoins en vue de poser les premiers jalons d’une conception socio-normative des besoins. Selon le paradigme des juges, les résultats obtenus montrent que les individus évaluent mieux les individus manifestant une forte adhésion aux besoins d’évaluer, de cognition ou de clôture. En revanche, si le paradigme d’identification confirme nos hypothèses de normativité des besoins d’évaluer et de cognition, il manque à apporter un soutien évident à l’hypothèse de normativité du besoin de clôture / The main objective of this thesis was to explore the normative character of three needs known as fundamental: the need for cognitive, need to evaluate and need for closure. To achieve this goal, we initially needed a rigorous validation of the three scales usually used: Need for Scale Cognition, Need to Evaluate Scale and Need for Closure Scale. From this point of view, three distinct studies relative to this process of validation were carried out. A French version purified for each scale was established (part 2, chapters 1, 2 and 3).Then with the way in which that is carried out in work relating to the normatively of the internality, we had resorts to the Judges and identification paradigms to test our assumption of normatively of the needs in order to pose the first stakes of a socio-normative design of the needs. According to the Judges paradigm, the results obtained show that the individuals evaluate the individuals best expressing a strong adhesion with the needs to evaluate, of cognition or closure. On the other hand, if the identification paradigm confirms our assumptions of normatively of the needs to evaluate and cognition, it misses to give an obvious support for the assumption of normatively of the need for closure
3

Clôture algébrique et définissable dans les groupes libres

Vallino, Daniele A.G. 05 June 2012 (has links) (PDF)
Nous étudions la clôture algébrique et définissable dans les groupes libres. Les résultats principaux peuvent être résumés comme suit. Nous montrons un résultat de constructibilité des groupes hyperboliques sans torsion au-dessus de la clôture algébrique d'un sous-ensemble engendrant un groupe non abélien. Nous avons cherché à comprendre la place qu'occupe la clôture algébrique acl_G(A) dans certaines décompositions de G. Nous avons étudié la possibilité de la généralisation de la méthode de Bestvina-Paulin dans d'autres directions, en considérant les groupes de type fini qui agissent d'une manière acylindrique (au sens de Bowditch) sur les graphes hyperboliques. Enfin, nous avons étudié les relations qui existent entre les différentes notions de clôture algébrique et entre la clôture algébrique et la clôture définissable.
4

Algebraic and definable closure in free groups / Clôture algébrique et définissable dans les groupes libres

Vallino, Daniele 05 June 2012 (has links)
Nous étudions la clôture algébrique et définissable dans les groupes libres. Les résultats principaux peuvent être résumés comme suit. Nous montrons un résultat de constructibilité des groupes hyperboliques sans torsion au-dessus de la clôture algébrique d'un sous-ensemble engendrant un groupe non abélien. Nous avons cherché à comprendre la place qu'occupe la clôture algébrique acl_G(A) dans certaines décompositions de G. Nous avons étudié la possibilité de la généralisation de la méthode de Bestvina-Paulin dans d'autres directions, en considérant les groupes de type fini qui agissent d'une manière acylindrique (au sens de Bowditch) sur les graphes hyperboliques. Enfin, nous avons étudié les relations qui existent entre les différentes notions de clôture algébrique et entre la clôture algébrique et la clôture définissable / In Chapter 1 we give basics on combinatorial group theory, starting from free groups and proceeding with the fundamental constructions: free products, amalgamated free products and HNN extensions. We outline a synthesis of Bass-Serre theory, preceded by a survey on Cayley graphs and graphs of groups. After proving the main theorem of Bass-Serre theory, we present its application to the proof of Kurosh subgroup theorem. Subsequently we recall main definitions and properties of hyperbolic spaces. In Section 1.4 we define algebraic and definable closures and recall a few other notions of model theory related to saturation and homogeneity. The last section of Chapter 1 is devoted to asymptotic cones. In Chapter 2 we prove a theorem similar to Bestvina-Paulin theorem on the limit of a sequence of actions on hyperbolic graphs. Our setting is more general: we consider Bowditch-acylindrical actions on arbitrary hyperbolic graphs. We prove that edge stabilizers are (finite bounded)-by-abelian, that tripod stabilizers are finite bounded and that unstable edge stabilizers are finite bounded. In Chapter 3 we introduce the essential notions on limit groups, shortening argument and JSJ decompositions. In Chapter 4 we present the results on constructibility of a torsion-free hyperbolic group from the algebraic closure of a subgroup. Also we discuss constructibility of a free group from the existential algebraic closure of a subgroup. We obtain a bound to the rank of the algebraic and definable closures of subgroups in torsion-free hyperbolic groups. In Section 4.2 we prove some results about the position of algebraic closures in JSJ decompositions of torsion-free hyperbolic groups and other results for free groups. Finally, in Chapter 5 we answer the question about equality between algebraic and definable closure in a free group. A positive answer has been given for a free group F of rank smaller than 3. Instead, for free groups of rank strictly greater than 3 we found some counterexample. For the free group of rank 3 we found a necessary condition on the form of a possible counterexample.
5

La matérialité du texte dans Manhattan Transfer et USA de John Dos Passos / The materiality of the text in Manhattan Transfer and USA of John Dos Passos

Robache, Delphine 01 July 2017 (has links)
Les premiers romans de John Dos Passos s’inscrivent dans le courant moderniste et sont caractérisés par une organisation originale des mots sur la page. Le texte n’est pas un bloc monolothique mais il est découpé en sections et ponctué d’épigraphes. Il contient également une multitude de collages présentés dans des styles et des polices variés. Cette observation est le point de départ de cette étude qui propose d’analyser la matérialité du texte dans les premiers romans de John Dos Passos, Manhattan Transfer et la trilogie USA, publiés entre 1925 et 1938. Ces ouvrages interrogent le regard du lecteur sur le texte, en montrant ce qui est placé devant, autour de l’oeil de celui qui regarde. Ils invitent le lecteur à prendre conscience de ce qui influence sa vision. Le roman exhibe son armature et ses divers seuils, laissant soin à celui qui lit de poursuivre ou non sa lecture, de revenir en arrière et de faire les liens entre les différentes zones de texte. Le roman expose son mode de fabrication, soulignant qu’il est le produit d’un réagencement de textes antérieurs. Cette armature visible est autant faite de pleins que de vides et reflète la tension entre l’ambition de tout dire, tout contenir et la reconnaissance de la difficulté même de raconter. Le jeu avec les espaces blancs, la ponctuation et les indications phonétiques renforcent la dimension écrite du texte tout en essayant de de le faire sortir hors de la page et de résister à toute clôture. / The early novels of John Dos Passos are part of the modernist literary movement. They are characterized by an original organization of the words on the page. The text is no longer a monolithic block, but is divided into sections and its separations are highlighted by a vast paratext. It also contains a variety of collages presented in various styles and in different fonts. These observations are the starting point of this research, which focuses on the materiality of the text in the early novels of John Dos Passos, Manhattan Transfer and the trilogy USA, published between 1925 and 1938. These novels question the gaze of the reader on the text, showing what is placed in front of and around the eye of the observer. The reader becomes aware of what influences his vision. The novel displays its internal structure and various thresholds, allowing the reader to continue or to stop reading, to go backwards and to create connections between the different sections of the text. The novel displays how it has been constructed, highlighting that it is the product of the rearrangement of previous texts. This visible internal structure is also built out of gaps and empty spaces. It reflects the tension between the ambition to be exhaustive, to contain everything and to acknowledge the difficulty to tell a story. The interplay with the blank space on the page, the use of punctuation and phonetic indicators reinforce the written aspect of the text, while at the same time making the words stand off the page and resistant to closure.
6

Etudes sociocognitives des besoins fondamentaux : échelles de mesure et application sociocognitive pour une population d'étudiant de l'université

Salama Younes Sayed Ahmed, Marei 14 December 2011 (has links) (PDF)
Cette thèse avait pour principal objectif d'explorer le caractère normatif de trois besoins dits fondamentaux : le besoin d'évaluer, le besoin de cognition et le besoin de clôture. Pour atteindre cet objectif, il nous a fallu dans un premier temps une validation rigoureuse des trois échelles de mesures habituellement utilisées : Need for Cognition Scale, Need to Evaluate Scale et Need for Closure Scale . Dans cette perspective, trois études distinctes relatives à ce processus de validation ont été effectuées. Une version française épurée pour chacune des échelles a été établie (partie 2, chapitres 1, 2 et 3). Puis à la manière dont cela est réalisé dans les travaux portant sur la normativité de l'internalité, nous avons eu recourt aux paradigmes des juges et d'identification pour tester notre hypothèse de normativité des besoins en vue de poser les premiers jalons d'une conception socio-normative des besoins. Selon le paradigme des juges, les résultats obtenus montrent que les individus évaluent mieux les individus manifestant une forte adhésion aux besoins d'évaluer, de cognition ou de clôture. En revanche, si le paradigme d'identification confirme nos hypothèses de normativité des besoins d'évaluer et de cognition, il manque à apporter un soutien évident à l'hypothèse de normativité du besoin de clôture
7

Vérification relationnelle pour des programmes avec des données entières

Konecny, Filip 29 October 2012 (has links) (PDF)
Les travaux présentés dans cette thèse sont lies aux problèmes de vérification de l'atteignabilité et de la terminaison de programmes qui manipulent des données entières non-bornées. On décrit une nouvelle méthode de vérification basée sur une technique d'accélération de boucle, qui calcule, de manière exacte, la clôture transitive d'une relation arithmétique. D'abord, on introduit un algorithme d'accélération de boucle qui peut calculer, en quelques secondes, des clôtures transitives pour des relations de l'ordre d'une centaine de variables. Ensuite, on présente une méthode d'analyse de l'atteignabilité, qui manipule des relations entre les variables entières d'un programme, et applique l'accélération pour le calcul des relations entrée-sortie des procédures, de façon modulaire. Une approche alternative pour l'analyse de l'atteignabilité, présentée également dans cette thèse, intègre l'accélération avec l'abstraction par prédicats, afin de traiter le problème de divergence de cette dernière. Ces deux méthodes ont été évaluées de manière pratique, sur un nombre important d'exemples, qui étaient, jusqu'a présent, hors de la portée des outils d'analyse existants. Dernièrement, on a étudié le problème de la terminaison pour certaines classes de boucles de programme, et on a montré la décidabilité pour les relations étudiées. Pour ces classes de relations arithmétiques, on présente un algorithme qui s'exécute en temps au plus polynomial, et qui calcule l'ensemble d'états qui peuvent générer une exécution infinie. Ensuite on a intégré cet algorithme dans une méthode d'analyse de la terminaison pour des programmes qui manipulent des données entières.
8

Identification des corrélats neuronaux associés à la clôture perceptive des objets : une étude en potentiels évoqués

Désiré, Naddley 06 1900 (has links)
La capacité du système visuel humain à compléter une image partiellement dévoilée et à en dériver une forme globale à partir de ses fragments visibles incomplets est un phénomène qui suscite, jusqu’à nos jours, l’intérêt de nombreux scientifiques œuvrant dans différents milieux de recherche tels que l’informatique, l’ingénierie en intelligence artificielle, la perception et les neurosciences. Dans le cadre de la présente thèse, nous nous sommes intéressés spécifiquement sur les substrats neuronaux associés à ce phénomène de clôture perceptive. La thèse actuelle a donc pour objectif général d’explorer le décours spatio-temporel des corrélats neuronaux associés à la clôture perceptive au cours d’une tâche d’identification d’objets. Dans un premier temps, le premier article visera à caractériser la signature électrophysiologique liée à la clôture perceptive chez des personnes à développement typique dans le but de déterminer si les processus de clôture perceptive reflèteraient l’interaction itérative entre les mécanismes de bas et de haut-niveau et si ceux-ci seraient sollicités à une étape précoce ou tardive lors du traitement visuel de l’information. Dans un deuxième temps, le second article a pour objectif d’explorer le décours spatio-temporel des mécanismes neuronaux sous-tendant la clôture perceptive dans le but de déterminer si les processus de clôture perceptive des personnes présentant un trouble autistique se caractérisent par une signature idiosyncrasique des changements d’amplitude des potentiels évoqués (PÉs). En d’autres termes, nous cherchons à déterminer si la clôture perceptive en autisme est atypique et nécessiterait davantage la contribution des mécanismes de bas-niveau et/ou de haut-niveau. Les résultats du premier article indiquent que le phénomène de clôture perceptive est associé temporellement à l’occurrence de la composante de PÉs N80 et P160 tel que révélé par des différences significatives claires entre des objets et des versions méconnaissables brouillées. Nous proposons enfin que la clôture perceptive s’avère un processus de transition reflétant les interactions proactives entre les mécanismes neuronaux œuvrant à apparier l’input sensoriel fragmenté à une représentation d’objets en mémoire plausible. Les résultats du second article révèlent des effets précoces de fragmentation et d’identification obtenus au niveau de composantes de potentiels évoqués N80 et P160 et ce, en toute absence d’effets au niveau des composantes tardives pour les individus avec autisme de haut niveau et avec syndrome d’Asperger. Pour ces deux groupes du trouble du spectre autistique, les données électrophysiologiques suggèrent qu’il n’y aurait pas de pré-activation graduelle de l’activité des régions corticales, entre autres frontales, aux moments précédant et menant vers l’identification d’objets fragmentés. Pour les participants autistes et avec syndrome d’Asperger, les analyses statistiques démontrent d’ailleurs une plus importante activation au niveau des régions postérieures alors que les individus à développement typique démontrent une activation plus élevée au niveau antérieur. Ces résultats pourraient suggérer que les personnes du spectre autistique se fient davantage aux processus perceptifs de bas-niveau pour parvenir à compléter les images d’objets fragmentés. Ainsi, lorsque confrontés aux images d’objets partiellement visibles pouvant sembler ambiguës, les individus avec autisme pourraient démontrer plus de difficultés à générer de multiples prédictions au sujet de l’identité d’un objet qu’ils perçoivent. Les implications théoriques et cliniques, les limites et perspectives futures de ces résultats sont discutées. / The human visual system has come to prevail over partially hidden boundaries and edges of objects in order to render a unified and holistic representation of the surrounding world. This phenomenon, also referred to as perceptual closure, was further investigated in the context of this current thesis. More precisely, this doctoral thesis aimed at examining the neural mechanisms underlying perceptual closure processes. In order to achieve this goal, the first study to track the spatio-temporal dynamics of electrical brain activity during a pictorial object recognition task to determine whether closure processes are reflect an interplay between low-level and higher-level mechanisms and whether they are solicited during early or late stages of visual processing. We found that perceptual closure is temporally linked to the occurrence of the N80 and P160 which is the earliest negative ERP component sensitive to closure processes reported until now in previous similar studies. Results indicate that closure processes are implicated earlier during visual processing of fragmented object images. We propose here that perceptual closure is a transitional process that reflects the proactive interactions between neural mechanisms trying to match fragmented current sensory input with memory representations. Furthermore, the second study sought to explore the time-course of neural correlates underpinning perceptual closure, during an object recognition task, to determine whether closure processes are associated with an abrupt or gradual change in ERP responses in adults with high functioning autism (HFA), Asperger’s Syndrome (AS) and in typically developing (TD) individuals. We found that, in individuals with HFA and AS, perceptual closure was associated with changes in early ERP (N80 and P160) responses for fragmentation and identification effects, while there were no significant modulations of later ERP responses. However, for TD individuals, perceptual closure was characterized by significant differences in early ERP responses (N80 and P160) between objects and non-objects as well as gradual modulations in late ERP responses for identification effects (450-550ms). Our results suggest that adults with autism rely mostly on low-level processes to achieve closure and do not illustrate the characteristic interplay between early and late ERP responses observed in typically developed individuals, thus revealing the atypicality of perceptual closure mechanisms in this population. We propose here that the interactive matching of incoming fragmented visual information with corresponding candidate object representations is atypical in individuals with autism. Following these articles, we will discuss the theoretical and clinical implications of this work. Finally, we will also propose limitations within our studies and discuss new perspectives for future research.
9

Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis

Vigneron, Laurent 14 November 2011 (has links) (PDF)
Description de mes activités de recherche réalisées depuis plus de 20 ans.
10

Les lacunes constitutionnelles / Constitutional gaps

Jeanneney, Julien 09 December 2014 (has links)
Cette recherche porte sur la question de l'existence de lacunes constitutionnelles. Elle vise à évaluer les représentations fondées sur l'hypothèse de telles inexistences normatives. La diversité des propriétés attachées à l'idée de lacune normative dans le champ du droit constitutionnel invite à proposer une cartographie des différents concepts qui peuvent lui être attachés. Les lacunes constitutionnelles sont à la fois des phénomènes et des instruments. Phénomènes, elles sont difficiles à connaître et impossibles à nier. Elles sont difficiles à connaître : leur appréhension est affectée à la fois par les variations dont peuvent faire l'objet les dogmes qui structurent la représentation systématique des normes juridiques et par diverses formes d'indétermination linguistique. Elles sont impossibles à nier: une évaluation des différents arguments formulés au soutien de la thèse de la nécessaire complétude des systèmes normatifs permet d'établir leurs limites. Instruments, les lacunes constitutionnelles ont une fonction critique et une fonction subversive. Utilisées par la doctrine, elles ont une fonction critique: elles semblent une unité de mesure, perfectible, sur le fondement de laquelle elle évalue les dispositions constitutionnelles. Utilisées par les interprètes authentiques, elles ont une fonction subversive: elles constituent une ressource argumentative propre à justifier le contournement de certaines dispositions constitutionnelles. / This research relates to the question of the existence of gaps in the constitution. It aims to assess the representations based on the hypothesis of these normative non-existences. The range of properties linked to the idea of normative gaps in the field of constitutional law necessitates the mapping of its various connected concepts. Constitutional gaps are both phenomena and instruments. As phenomena, they are difficult to recognise yet impossible to deny. They are difficult to recognise as their understanding is affected both by the variations in the dogma that structure the systematic re-presentation of the legal norms, and by various forms of linguistic indecision. They are impossible to deny insomuch that an assessment of the various arguments in favour of the theory of the necessary completeness of the system of norms makes it possible to establish their limits. As instruments, constitutional gaps have a critical and a subversive function. Used for doctrinal analysis, their function is critical : they appear as a unit of measure, perfectible, serving as a basis to evaluate constitutional provisions. Used by authoritative interpreters, they have a subversive function: they constitute an argumentative resource that can justify the circumvention of specific constitutional provisions.

Page generated in 0.0425 seconds