Expressiveness of Concurrent Languages

The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with mrewriting rules. Depending on the shape of the rewriting rules, several dialects of the calculus can be obtained. We analyse the expressive power of some of these dialects by focusing on decidability and undecidability for problems like reachability and coverability.

The massless two-loop two-point function and zeta functions in counterterms of Feynman diagrams

The main part of this thesis describes a method of calculating the massless two-loop two-point function which allows expanding the integral up to an arbitrary order in the dimensional regularization parameter epsilon by rewriting it as a double Mellin-Barnes integral. Closing the contour and collecting the residues then transforms this integral into a form that enables us to utilize S. Weinzierl's computer library nestedsums. We could show that multiple zeta values and rational numbers are sufficient for expanding the massless two-loop two-point function to all orders in epsilon. We then use the Hopf algebra of Feynman diagrams and its antipode, to investigate the appearance of Riemann's zeta function in counterterms of Feynman diagrams in massless Yukawa theory and massless QED. The class of Feynman diagrams we consider consists of graphs built from primitive one-loop diagrams and the non-planar vertex correction, where the vertex corrections only depend on one external momentum. We showed the absence of powers of pi in the counterterms of the non-planar vertex correction and diagrams built by shuffling it with the one-loop vertex correction. We also found the invariance of some coefficients of zeta functions under a change of momentum flow through these vertex corrections.

La ville comme labyrinthe: réécritures d'un mythe entre les années 1950 et 1980

Entre les années 1950 et 1980, émerge une nouvelle forme de labyrinthe chez des romanciers européens comme Michel Butor, Alain Robbe-Grillet, Italo Calvino, Patrick Modiano et Alasdair Gray : un labyrinthe insaisissable et non cartographiable. Pour en rendre compte nous avons recours au modèle du rhizome, issu de la philosophie de Gilles Deleuze et de Félix Guattari, aussi bien qu'au concept d'hétérotopie de Michel Foucault. La spatialité de nos romans nous pousse à prendre en compte également les réécritures ironiques du mythe de Thésée, Ariane, le Minotaure, Dédale. Les citations et les allusions au mythe nous font remarquer la distance d'avec le modèle traditionnel et les effets de ce qu'on peut considérer comme un « bricolage mythique », dans le cadre d'un regard ironique, parodique ou satirique. La représentation romanesque du labyrinthe accentue d'un côté l'absence d'un centre, et de l'autre côté l'ouverture extrême de cet espace qu'est la ville contemporaine. En même temps, la présence de nombreux « espaces autres », les hétérotopies de Foucault, définit l'égarement des protagonistes des romans. Au fur et à mesure que les écrivains acquièrent conscience des caractéristiques « labyrinthiques » de ces espaces, celles-ci commencent à informer l'œuvre romanesque, créant ainsi un espace métafictionnel. Entre les années Cinquante et le début des années Soixante-dix, les Nouveaux romanciers français accentuent ainsi l'idée de pouvoir jouer avec les instruments de la fiction, pour exaspérer l'absence d'un sens dans la ville comme dans la pratique de l'écriture. Calvino reformule cette conception du roman, remarquant l'importance d'un sens, même s'il est caché et difficile à saisir. Pour cette raison, à la fin de l'époque que nous analysons, des auteurs comme Modiano et Gray absorbent les techniques d'écriture de ces prédécesseurs, en les faisant jouer avec la responsabilité éthique de l'auteur.

Employing Distances in Design-based Spatial Estimation

In the last couple of decades we assisted to a reappraisal of spatial design-based techniques. Usually the spatial information regarding the spatial location of the individuals of a population has been used to develop efficient sampling designs. This thesis aims at offering a new technique for both inference on individual values and global population values able to employ the spatial information available before sampling at estimation level by rewriting a deterministic interpolator under a design-based framework. The achieved point estimator of the individual values is treated both in the case of finite spatial populations and continuous spatial domains, while the theory on the estimator of the population global value covers the finite population case only. A fairly broad simulation study compares the results of the point estimator with the simple random sampling without replacement estimator in predictive form and the kriging, which is the benchmark technique for inference on spatial data. The Monte Carlo experiment is carried out on populations generated according to different superpopulation methods in order to manage different aspects of the spatial structure. The simulation outcomes point out that the proposed point estimator has almost the same behaviour as the kriging predictor regardless of the parameters adopted for generating the populations, especially for low sampling fractions. Moreover, the use of the spatial information improves substantially design-based spatial inference on individual values.

La permanence du picaresque dans la littérature contemporaine

La problématique critique autour de la permanence du picaresque à l’époque contemporaine révèle, à partir des années soixante, une controverse qui n’est pas parvenue à en donner une vision homogène. L’oscillation entre une conception historique close et une conception a-historique ouverte ne permet pas de saisir les données essentielles d’une présence très riche et qui n’a pas du tout disparu. Pour le démontrer, on a pris en considération deux ensembles d’œuvres des XXe et XXIe siècles qui présentent un caractère bien distinct : d’un côté, un corpus restreint, composé par des réécritures ou des adaptations des textes canoniques espagnols ; de l’autre, un deuxième corpus plus riche en termes quantitatifs, qui ne représente pas forcement une réélaboration du canon du genre picaresque. Pour aborder l’analyse du corpus, on a évidemment essayé d’identifier des caractéristiques spécifiques qui ont survécu, tout en subissant parfois des transformations, au cours des XXe et XXIe siècles : plus particulièrement, on a pris en considération le narrateur, le motif de la naissance ignoble, la marginalisation du héros et son statut dynamique, aussi bien que la conclusion du récit. D’une tel analyse, il émerge en définitive que la réactivation du genre picaresque ne se borne pas à une réécriture contemporaine, mais aussi qu’il constitue un genre dont la survivance ne peut être mise en question, et dont la diffusion est assez ample. L’analyse d’une telle permanence dans la littérature contemporaine permet de comprendre que ce genre n’est pas lié exclusivement à une société particulière et à un moment historique précis, mais qu’il relève d’une structure plus profonde qui réussit à s’incarner, au cours de l’histoire, dans l’écriture et dans la tradition littéraire.

Vidding Grrls. Pratiche di remix audiovisivo nella cultura digitale contemporanea

La pratica del remix è al giorno d’oggi sempre più diffusa e un numero sempre più vasto di persone ha ora le competenze e gli strumenti tecnologici adeguati per eseguire operazioni un tempo riservate a nicchie ristrette. Tuttavia, nella sua forma audiovisiva, il remix ha ottenuto scarsa attenzione a livello accademico. Questo lavoro esplora la pratica del remix intesa al contempo come declinazione contemporanea di una pratica di lungo corso all’interno della storia della produzione audiovisiva – ovvero il riuso di immagini – sia come forma caratteristica della contemporaneità mediale, atto di appropriazione grassroots dei contenuti mainstream da parte degli utenti. La tesi si articola in due sezioni. Nella prima, l’analisi di tipo teorico e storico-critico è suddivisa in due macro-aree di intervento: da una parte il remix inteso come pratica, atto di appropriazione, gesto di riciclo, decontestualizzazione e risemantizzazione delle immagini mediali che ha attraversato la storia dei media audiovisivi [primo capitolo]. Dall’altra, la remix culture, ovvero il contesto culturale e sociale che informa l’ambiente mediale entro il quale la pratica del remix ha conosciuto, nell’ultimo decennio, la diffusione capillare che lo caratterizza oggi [secondo capitolo]. La seconda, che corrisponde al terzo capitolo, fornisce una dettagliata panoramica su un caso di studio, la pratica del fan vidding. Forma di remix praticata quasi esclusivamente da donne, il vidding consiste nel creare fan video a partire da un montaggio d’immagini tratte da film o serie televisive che utilizza come accompagnamento musicale una canzone. Le vidders, usando specifiche tecniche di montaggio, realizzano delle letture critiche dei prodotti mediali di cui si appropriano, per commentare, criticare o celebrare gli oggetti di loro interesse. Attraverso il vidding il presente lavoro indaga le tattiche di rielaborazione e riscrittura dell’immaginario mediale attraverso il riuso di immagini, con particolare attenzione al remix inteso come pratica di genere.

When Beauty Goes to Sleep: an analysis of the symbolism behind the sleeping beauty tale

Approaching the world of the fairy tale as an adult, one soon realizes that things are not what they once seemed during story time in bed. Something that once appeared so innocent and simple can become rather complex when digging into its origin. A kiss, for example, can mean something else entirely. I can clearly remember my sister, who is ten years older than I am, telling me that the fairy tales I was told had a mysterious hidden meaning I could not understand. I was probably 9 or 10 when she told me that the story of Sleeping Beauty, which I used to love so much in Disney’s rendering, was nothing more than the story of an adolescent girl, with all the necessary steps needed to become a woman, the bleeding of menstruation and the sexual awakening - even though she did not really put it in these terms. This shocking news troubled me for a while, so much so that I haven’t watched that movie since. But in reality it was not fear that my sister had implanted in me: it was curiosity, the feeling that I was missing something terribly important behind the words and images. But it was not until last year during my semester abroad in Germany, where I had the chance to take a very interesting English literature seminar, that I fully understood what I had been looking for all these years. Thanks to what I learned from the work of Bruno Bettelheim, Jack Zipes, Vladimir Propp, and many other authors that wrote extensively about the subject, I feel I finally have the right tools to really get to know this fairy tale. But what I also know now is that the message behind fairy tales is not to be searched for behind only one version: on the contrary, since they come from oral traditions and their form was slowly shaped by centuries of recountals and retellings, the more one digs, the more complete the understanding of the tale will be. I will therefore look for Sleeping Beauty’s hidden meaning by looking for the reason why it did stick so consistently throughout time. To achieve this goal, I have organized my analysis in three chapters: in the first chapter, I will analyze the first known literary version of the tale, the French Perceforest, and then compare it with the following Italian version, Basile’s Sun, Moon, and Talia; in the second chapter, I will focus on the most famous and by now classical literary versions of Sleeping Beauty, La Belle Au Bois Dormant, written by the Frenchman, Perrault, and the German Dornröschen, recorded by the Brothers Grimm’s; finally, in the last chapter, I will analyze Almodovar’s film Talk to Her as a modern rewriting of this tale, which after a closer look, appears closely related to the earliest version of the story, Perceforest.

Hoisting C Structures Into Clay In Device Drivers

This project addresses the unreliability of operating system code, in particular in device drivers. Device driver software is the interface between the operating system and the device's hardware. Device drivers are written in low level code, making them difficult to understand. Almost all device drivers are written in the programming language C which allows for direct manipulation of memory. Due to the complexity of manual movement of data, most mistakes in operating systems occur in device driver code. The programming language Clay can be used to check device driver code at compile-time. Clay does most of its error checking statically to minimize the overhead of run-time checks in order to stay competitive with C's performance time. The Clay compiler can detect a lot more types of errors than the C compiler like buffer overflows, kernel stack overflows, NULL pointer uses, freed memory uses, and aliasing errors. Clay code that successfully compiles is guaranteed to run without failing on errors that Clay can detect. Even though C is unsafe, currently most device drivers are written in it. Not only are device drivers the part of the operating system most likely to fail, they also are the largest part of the operating system. As rewriting every existing device driver in Clay by hand would be impractical, this thesis is part of a project to automate translation of existing drivers from C to Clay. Although C and Clay both allow low level manipulation of data and fill the same niche for developing low level code, they have different syntax, type systems, and paradigms. This paper explores how C can be translated into Clay. It identifies what part of C device drivers cannot be translated into Clay and what information drivers in Clay will require that C cannot provide. It also explains how these translations will occur by explaining how each C structure is represented in the compiler and how these structures are changed to represent a Clay structure.

Editorial genesis: From comparing texts (product) to interpreting rewritings (process)

In literary genetics, “editorial genetics” deals with the “public life” of texts, whereas the writing process is affected by edition and diffusion. Editorial genetics frequently has to deal with cases of “editorial rewriting”: in the literary domain for example, authors frequently modify previously published works, so that several versions may co-exist. We are especially interested in Balzac’s La Bourse (translated in English as The Purse) since we know three authorized versions of this specific work.By comparing different texts associated with a single work, the literary geneticist is facing different products that are themselves the result of a writing process. However, different specificities should be outlined: (1) the writing process does not leave any trace: we just have access to different products/texts and (2) since the texts we compare seem to be achieved, differences must be referred, not to programmatic or temporary linguistic structures, but to the reconfiguration of a pre-existing textuality.Do such products still reflect the processes that have given birth to them? Does the comparison between two texts considered as variations of a same text give access to this transformation’s processes? After describing the objects of this particular textual comparison and the terminology that permits to give an account of such phenomenon, this contribution suggests to express these questions differently, as a matter of poetics of transitions between texts, or, further digging, an hermeneutics of the transition between texts.

Leaving Home: Philo of Alexandria on the Exodus.

For Jewish-Hellenistic authors writing in Egypt, the Exodus story posed unique challenges. After all, to them Egypt was, as Philo of Alexandria states, their fatherland. How do these authors come to terms with the biblical story of liberation from Egyptian slavery and the longing for the promised land? In this chapter I am taking a close look at Philo’s detailed discussion of the Exodus and locate it within the larger context of Jewish-Hellenistic literature (Wisdom of Solomon, Ezekiel’s Exagoge). In Philo’s rewriting of the Exodus the destination of the journey is barely mentioned. Contrary to the biblical narrative, in the scene of the burning bush, as retold by Philo, God does not tell Moses where to go. Philo’s main concern is what happens in Egypt: both in biblical times and in his own days. The Exodus is nevertheless important to Philo: He reads the story allegorically as a journey from the land of the body to the realms of the mind. Such a symbolic reading permitted him to control the meaning of the Exodus and to stay, literally and figuratively, in Egypt.

Entre el testimonio y la autobiografía, Cartucho y la construcción de una memoria poética/política

Cartucho. Relatos de la lucha en el norte de México de Nellie Campobello es un libro excepcional que debido a su posicionamiento político y a la originalidad de su propuesta estética ha sido ignorado y despreciado, siempre a la sombra de los textos canónicos de la literatura de la revolución mexicana. Leemos el texto de Campobello bajo las claves del testimonio y de la autobiografía. Su construcción de una mirada infantil para contar desde una perspectiva villista los enfrentamientos en el norte revolucionario implica un rechazo del registro realista así como la indagación de una reescritura poética-política que recrea una memoria radical, a-moral y provocativa de los hechos de la revolución.

Queerness y antigüedad greco-latina en Ralf König

Reescribir, deconstruir y resignificar el pasado de la tradición heteronormativa es una de las estrategias más usuales de la expresión de la diversidad sexual en los textos culturales. Es interesante plantear lo que ocurre con el historietista Ralf König y sus intervenciones sobre la tradición literaria y cultural de la antigüedad grecolatina clásica. Los modelos canónicos de la sexualidad son confrontados y la literatura y la tradición clásica se vuelven paródicas del binarismo y la normalidad sexual: la tematización de las relaciones intermasculinas en la antigua Grecia, los clásicos greco-latinos, la figura de Alejandro Magno y la historia del mártir san Sebastián, son todos ejemplos de tópicos y tradiciones resignificadas por König en términos queer

Traductología : Exploración de un enfoque feminista de la traducción

Este trabajo se propone presentar la transformación de la Traductología desde la perspectiva de los Estudios de Género, dos campos del conocimiento que reconocen una impronta multi e interdisciplinaria. En cuanto a la primera, el giro cultural de los ochenta marca el momento en que se incluye a la traducción dentro del conjunto de subsistemas culturales con intereses competitivos y sujetos a las ideologías predominantes (Molina Martínez, 2006: 37). Paralelamente se instala en Canadá un terreno de estudio que vincula los desarrollos transculturales y translingüísticos surgidos de los movimientos feministas de los años setenta con la producción y recepción de textos, temas que son abarcados por la investigación sobre género y traducción. En ese contexto surge la noción de traducción en femenino o reescritura en femenino cuya finalidad es subvertir el lenguaje patriarcal y reivindicar las ideas feministas (Lotbinière-Harwood, 1991). Las estrategias discursivas y textuales utilizadas para resolver los problemas de traducción relacionados con el género "suplementación o compensación, la metatextualidad, el secuestro y el pacto especular" suelen recurrir al empleo de un lenguaje con alteraciones semánticas, neologismos o innovaciones lingüísticas, cuyo propósito es cuestionar la lengua actual y, a su vez, visibilizar la presencia femenina (Castro Vázquez, 2008: 296-298). En esta ponencia, nos detendremos en discutir y ejemplificar las estrategias citadas

Antigüedades mexicanas : Memoria e intertextualidad en la poesía de José Emilio Pacheco

En este trabajo se analizan las diversas formas en que el poemario "Antigüedades mexicanas" de José Emilio Pacheco interroga el pasado y propone la construcción de una memoria a partir de distintos momentos de la historia de México, abordados desde una perspectiva irónico-crítica. Dichas antigüedades mexicanas son también modos de reescribir el archivo americano, gesto que funda la relación con la palabra poética. Construyen así una poética que entrelaza tiempo, memoria y literatura como clave de lectura para el presente.

Ricardo Piglia, una poética de la reescritura

El trabajo constituye una primera aproximación a los manuscritos de Prisión perpetua, la consideración de un archivo futuro y las reflexiones teóricas y críticas que suscita ese acontecimiento. Se postula, además, la figuración de una poética basada en el mecanismo de la reescritura y en especial de un tipo de reescritura que denominamos aquí la 'estrategia de Menard', donde las recontextualizaciones de la propia obra conforman un sistema de rentabilidad narrativa que confluye en la multiplicación en el nivel de la producción textual