Dans cette thèse, nous étudions les notions de déterminisme et de confluence dans des systèmes concurrents et synchrones. Ces derniers sont des variantes du pi-calcul qui ont été étendues avec une notion de temps. Le premier modèle étudié, le S-pi-calcul, est une extension du modèle SL où la réaction à l'absence d'un signal se fait à la fin de l'instant et où les signaux sont considérés comme des valeurs de première classe. Ce modèle utilise les signaux comme mécanisme de communication de base. Dans le cadre du S-pi-calcul, nous avons cherché à développer une théorie compositionnelle de l'équivalence des programmes basée sur la notion de bisimulation. Ensuite, nous avons conçu un système de types en se basant sur une notion d'usage affine pour les signaux que nous avons introduit. Dans ce système, nous avons montré que tout programme typable est déterministe. Le second modèle, TAPIS, est une autre variante du pi-calcul où les canaux sont utilisés pour la communication. Dans ce cadre, nous avons adapté la théorie des types précedemment introduite pour le S-pi-calcul au cas des canaux et montré que les programmes typables sont confluents. Le système développé dans ce contexte ainsi que la preuve du lemme de préservation du typage ont été formalisés dans Coq.

The aim with this research is to present children with autism an alternative method through animal assisted therapy to communicate and socialize. Since children with autism cannot be guided to mastery of full maturity by means of the ordinary education system, separate provision of highly specialized fomative and formal education is essential. Autism prevents a child from reaching out to the world and other people. Autism implies a lack of communication with others and entails a disturbed dialogue with the world. This is revealed by the strange and odd behaviour of the child with autism. The aim of this research is to use animal assited therapy to bridge the gap between numerous problems experienced by the child with autism ascribed to his inadequate affective life, inablitity to form relationships with others, his language, speech and communication problems and poor sensory integration. / Social Work / M. Diac (Play Therapy)

Purpose of this thesis is the quality check of correct button text display on photographed monitors. These photographs contain a variety of image distortions which complicates the following image graphic element recognition. This paper outlines several possibilities to detect buttons on forms and further elaborates on the implemented detection based on contour shapes description. After buttons are found, their defects are detected subsequently. Additionally, this thesis describes an automatic identification of picture with the highest quality for documentation purposes.

Movement in Gestalt therapeutic intervention, using structured activities and free improvisations, is a successful alternative to punishing adolescents with disruptive behavioural tendencies in the classroom. An overview of the existing literature regarding the therapeutic value of movement in Gestalt therapeutic intervention for adolescents with disruptive behavioural tendencies is firstly presented. Various techniques supporting the adolescent in his quest to achieve equilibrium, ultimately improving his relationships with others and his environment, are described. A case study, involving eight adolescents with disruptive behavioural tendencies in group therapy follows, which indicates that movement in Gestalt therapy is an alternative to punishment. In the light hereof it is suggested that movement in Gestalt therapy could be implemented successfully in the formal school environment. This form of intervention can contribute to the adolescent's growth, his ability to communicate and his relationships with self, others and the environment, culminating in improved behavioural tendencies. / Social Work / M. Diac. (Play Therapy)

Made available in DSpace on 2016-04-28T19:59:04Z (GMT). No. of bitstreams: 1 Diana Navas.pdf: 315906 bytes, checksum: 6c1311fcbbb51fa3835c6d6a6d402236 (MD5) Previous issue date: 2007-10-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The present study proposes to verify how the confluence of the lyric and epic genres happens in the novel Não entres tão depressa nessa noite escura, of António Lobo Antunes, as well as to show what, in fact, configures its poeticity. Initiating with the exposition of the path that has been followed by the contemporary Portuguese romance and, afterwards, reflecting briefly on the works of fiction written by Lobo Antunes so far, as well as on the biographical and structural traits present in his works, the present studies culminates with the analysis of the novel. Having as a central hub the work carried out by Lobo Antunes with and through the language, the research aims to demonstrate how the novel in question is, according to the concepts developed by Linda Hutcheon, a metafiction, that is, a work that alerts us to its own construction process, or even, to a kind of discursive narcissism. Pointing out to the fact that the work with the language is, at the same time, the central theme of the novel and also the basic principle of its construction, this study shows how Lobo Antunes s novel, a novel in process, evidences its scriptural poiesis, escapes from the rigid classifications of the traditional forms of literary narrative, pioneering a new form of narrating, or even, a new conception of narrative genre, once that in it the lyric and epic genres conjugating themselves and thus merging themselves. With the analysis of this novel, the present study also aims to demonstrate how, always through the language, Lobo Antunes s novel points to a portrait of the contemporary man and world: a multiple, fragmented, in splinters portrait, whose pieces make part of a persistent effort of desconstrucion/ reconstruction, always in the search of a possible rescue of a hypothetic lost totality / Esta dissertação tem como proposta inicial verificar como se processa a confluência dos gêneros lírico e épico no romance Não entres tão depressa nessa noite escura, de António Lobo Antunes, bem como evidenciar o que, de fato, configura a sua poeticidade. Iniciando com a exposição da trajetória que vem sendo percorrida pelo romance português contemporâneo e, posteriormente, dedicando-se a refletir sinteticamente sobre as obras de ficção até então escritas pelo autor, assim como sobre os traços autobiográficos e também estruturais presentes em suas obras, o presente estudo culmina com a análise do romance supracitado. Tendo por eixo central o trabalho realizado por Lobo Antunes com e na linguagem, esta pesquisa visa a demonstrar como o romance em questão constitui-se, de acordo com os conceitos desenvolvidos por Linda Hutcheon, em uma metaficção, ou seja, em uma obra que alerta para seu próprio processo de construção, ou ainda, para uma espécie de narcisismo discursivo. Considerando-se o fato de que o trabalho com a linguagem é ao mesmo tempo tema central do romance e também princípio básico de sua construção, procura-se verificar como o romance antuniano, um romance em processo, põe em evidência sua poeisis escritural, escapa das rígidas classificações das formas tradicionais de narrativa literária, abrindo caminho para uma nova forma de narrar, ou ainda mesmo, uma nova concepção de gênero narrativo, já que nele o lírico e o épico se conjugam e até se fundem. A partir da análise da obra escolhida, o presente trabalho visa, também, a demonstrar como, sempre via linguagem, o romance antuniano aponta para um retrato do homem e do mundo contemporâneos: retrato múltiplo, fragmentado, em estilhaços, cujos pedaços fazem parte de um persistente esforço de desconstrução/reconstrução, na busca sempre de um possível resgate de uma hipotética totalidade perdida

Cette thèse porte sur la théorie de Galois différentielle. Elle est divisée en deux parties. La première concerne la théorie de Galois différentielle paramétrée, et la seconde, les équations aux q-différences. Dans le chapitre 2, nous exposons une généralisation de l'algorithme de Kovacic qui permet de calculer le groupe de Galois paramétré de certaines équations différentielles paramétrées d'ordre 2. Dans le chapitre 3, nous présentons une généralisation du théorème de densité de Ramis qui donne un ensemble de générateurs topologiques du groupe de Galois pour les équations différentielles linéaires paramétrées à coefficients dans un anneau convenable. Nous obtenons une contribution au problème inverse dans cette théorie de Galois, donnons un critère d'isomonodromie, et répondons partiellement à une question posée par Sibuya. Dans le chapitre 4, il est question de confluence et d'équations aux q-différences. Nous prouvons comment la transformée de Borel-Laplace d'une série formelle divergente solution d'une équation différentielle linéaire à coefficients dans C(z) peut être uniformément approchée par un q-analogue de la transformée de Borel-Laplace appliqué à une série formelle solution d'une famille d'équations aux q-différences linéaires qui discrétise l'équation différentielle. Nous faisons directement les calculs dans le cas des séries hypergéométriques basiques, et nous prouvons sous des hypothèses raisonnables, qu'une matrice fondamentale d'une équation différentielle linéaire à coefficients dans C(z) peut être uniformément approchée par une matrice fondamentale d'une famille d'équations aux q-différences linéaires correspondante.

Movement in Gestalt therapeutic intervention, using structured activities and free improvisations, is a successful alternative to punishing adolescents with disruptive behavioural tendencies in the classroom. An overview of the existing literature regarding the therapeutic value of movement in Gestalt therapeutic intervention for adolescents with disruptive behavioural tendencies is firstly presented. Various techniques supporting the adolescent in his quest to achieve equilibrium, ultimately improving his relationships with others and his environment, are described. A case study, involving eight adolescents with disruptive behavioural tendencies in group therapy follows, which indicates that movement in Gestalt therapy is an alternative to punishment. In the light hereof it is suggested that movement in Gestalt therapy could be implemented successfully in the formal school environment. This form of intervention can contribute to the adolescent's growth, his ability to communicate and his relationships with self, others and the environment, culminating in improved behavioural tendencies. / Social Work / M. Diac. (Play Therapy)