Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

The sustainability of development in Latin America and the Caribbean: challenges and opportunities

Includes bibliography

Sustainable development: changing production patterns, social equity and the environment

Includes bibliography

Regulation, worker protection and active labour-market policies in Latin America

Includes bibliography

The 2004 hurricanes in the Caribbean and the tsunami in the Indian Ocean: lessons and policy challenges for development and disaster reduction

Includes bibliography

The economics of climate change in Latin America and the Caribbean: Paradoxes and challenges of sustainable development

The robust growth of Latin American and Caribbean economies in recent years has led to an improvement in economic and social conditions in the region. It has also had collateral negative effects, however, such as more air pollution in urban areas and a serious deterioration of various natural assets, including non-renewable resources, water resources and forests. There are economies and societies within the region that are highly vulnerable to all sorts of adverse impacts of climate change, and whose production structures and consumption patterns still tend to leave a large carbon footprint. This situation has reached the point of undermining the foundations of the region’s economic buoyancy. Latin America and the Caribbean therefore needs to make the transition in the years to come towards a sustainable form of development that will preserve its economic, social and natural assets for future generations and leave them with a legacy of a more equal, more socially inclusive, low-carbon form of economic growth. Viewed from this standpoint, the climate change challenge is also a sustainable development challenge, and if it is to be addressed successfully, a global consensus that recognizes the asymmetries and paradoxes of the problem will have to be reached..

Pissing Glass and the Body Crass: Adaptations of the Scatological in Théophile

Examination of scatological motifs in Théophile de Viau’s (1590-1626) libertine, or ‘cabaret’ poetry is important in terms of how the scatological contributes to the depiction of the Early Modern body in the French lyric.1 This essay does not examine Théophile’s portrait of the body strictly in terms of the ‘Baroque’ or the ‘neo-Classical.’ Rather, it argues that the scatological context in which he situates the body (either his, or those of others), reflects a keen sensibility of the body representative of the transition between these two eras. Théophile reinforces what Bernard Beugnot terms the body’s inherent ‘eloquence’ (17), or what Patrick Dandrey describes as an innate ‘textuality’ in what the body ‘writes’ (31), and how it discloses meaning. The poet’s scatological lyric, much of which was published in the Pamasse Satyrique of 1622, projects a different view of the body’s ‘eloquence’ by depicting a certain realism and honesty about the body as well as the pleasure and suffering it experiences. This Baroque realism, which derives from a sense of the grotesque and the salacious, finds itself in conflict with the Classical body which is frequently characterized as elegant, adorned, and ‘domesticated’ (Beugnot 25). Théophile’s private body is completely exposed, and, unlike the public body of the court, does not rely on masking and pretension to define itself. Mitchell Greenberg contends that the body in late sixteenth-century and early seventeenth-century French literature is often depicted in a chaotic manner because, ‘the French body politic was rent by tumultuous religious and social upheavals’ (62).2 While one could argue that Théophile’s portraits of a syphilis-ridden narrators are more a reflection of his personal agony rather than that of France as a whole, what emerges in Théophile is an emphasis on the movement, if not decomposition of the body.3 Given Théophile’s public persona and the satirical dimension of his work, it is difficult to imagine that the degeneration he portrays is limited only to his individual experience. On a collective level, Théophile reflects what Greenberg calls ‘a continued, if skewed apprehension of the world in both its physical and metaphysical dimensions’(62–3) typical of the era. To a large extent, the body Théophile depicts is a scatological body, one whose deterioration takes the form of waste, disease, and evacuation as represented in both the private and public domain. Of course, one could cast aside any serious reading of Théophile’s libertine verse, and virtually all of scatological literature for that matter, as an immature indulgence in the prurient. Nonetheless, it was for his dissolute behavior and his scatological poetry that Théophile was imprisoned and condemned to death. Consequently, this part of his work merits serious consideration in terms of the personal and poetic (if not occasionally political) statement it represents. With the exception of Claire Gaudiani’s outstanding critical edition of Théophile’s cabaret lyric, there exist no extensive studies of the poet’s libertine œuvre.4 Clearly however, these poems should be taken seriously with respect to their philosophical and aesthetic import. As a consequence, the objective becomes that of enhancing the reader’s understanding of the lyric contexts in which Théophile’s scatological offerings situate themselves. Structurally, the reader sees how the poet’s libertine ceuvre is just that — an integrated work in which the various components correspond to one another to set forth a number of approaches from which the texts are to be read. These points of view are not always consistent, and Théophile cannot be thought of as writing in a sequential manner along the lines of devotional Baroque poets such as Jean de La Ceppède and Jean de Sponde. However, there is a tendency not to read these poems in their vulgar totality, and to overlook the formal and substantive unity in this category of Théophile’s work. The poet’s resistance to poetic and cultural standards takes a profane, if not pornographic form because it seeks to disgust and arouse while denigrating the self, the lyric other, and the reader. Théophile’s pornography makes no distinction between the erotic and scatological. The poet conflates sex and shit because they present a double form of protest to artistic and social decency while titillating and attacking the reader’s sensibilities. Examination of the repugnant gives way to a cathartic experience which yields an understanding of, if not ironic delight in, one’s own filthy nature.

Locus Amoenus vs. Locus Terribilis: The Spatial Dynamics of the Pastoral and the Urban in La Ceppède’s Théorèmes

The opening sonnets of Jean de La Ceppède’s Théorèmes (1613, 1622) present an urban vs. rural conflict that mirrors the dialectic between sin and salvation running throughout the work. La Ceppède’s focus for this struggle becomes the stark contrast between Jerusalem and the garden at the Mount of Olives. Jerusalem, as the place where Christ is persecuted and eventually tried, represents a Babylon-like enclave of transgression, while the garden is portrayed as a site of purity and tranquil reflection. From a literary standpoint, La Ceppède’s emphasis on the clash between dystopian and utopian settings comprises part of his adaptation of the pastoral, where this particular struggle becomes one of the genre’s principal motifs. In general, the contrast between Jerusalem and the Mount of Olives emerges as the point of departure for the poet’s figuration of nature, both human and physical. A human construct, the city of Jerusalem becomes a metaphor for human corruption. In view of humanity’s fall in paradise and the denaturation it symbolizes, the poet’s goal, on both intellectual and affective levels, is to place the reader/dévot in a position to lift her/himself from the depravity of human nature to the grace of divine nature.

The Prelude from Suite for solo Piano Le Tombeau de Couperin by Maurice Ravel: compositional and interpretive considerations

This article, part of a doctoral research conducted at the Department of Music of the ECA/USP/FAPESP aims to elucidate compositional and technical procedures in the Prelude from the suite Le Tombeau de Couperin (1914-1917) by french composer Maurice Ravel. Such procedures are traced back to French barroque composer Francois Couperin (1668-1733) harpsichord pieces, and are translated by Ravel to the modern piano. Thus, by studying the works for harpsichord by Couperin it was possible to see a kind of fusion of two languages and two instrumental techniques apart in time. This fusion of languages poses several interpretive questions.

El auge y el declive de las culturas del África Occidental (o Atlántica)

[ES] Cada uno de los pueblos negro-africanos presenta un perfil cultural que le hace ser singular y esencialmente semejante a otros, como parte importante de un todo cultural, algunas veces difícil de determinar explícitamente. Los procesos que definían a los negro-africanos experimentaron una acelerada transformación debido al choque cultural que vivieron durante casi cinco siglos de su historia. Este choque debilitó sus estructuras culturales, creando Estados con lenguas extranjeras oficiales, religiones de importación, escuelas desvernacularizadas, etc., y desplazando los tradicionales sistemas sociopolíticos negro-africanos. Esta fuerte aculturación del África negra se ve fortalecida por la dominancia de la cultura exógena, que impide la reconfiguración etnocultural de sus habitantes y sociedades. Este es el gran reto de su futuro: fortalecer sus diversidades y enseñar a sus habitantes a aprender a ser africanos.

Pattern-based segmentation of digital documents: model and implementation

This thesis proposes a new document model, according to which any document can be segmented in some independent components and transformed in a pattern-based projection, that only uses a very small set of objects and composition rules. The point is that such a normalized document expresses the same fundamental information of the original one, in a simple, clear and unambiguous way. The central part of my work consists of discussing that model, investigating how a digital document can be segmented, and how a segmented version can be used to implement advanced tools of conversion. I present seven patterns which are versatile enough to capture the most relevant documents’ structures, and whose minimality and rigour make that implementation possible. The abstract model is then instantiated into an actual markup language, called IML. IML is a general and extensible language, which basically adopts an XHTML syntax, able to capture a posteriori the only content of a digital document. It is compared with other languages and proposals, in order to clarify its role and objectives. Finally, I present some systems built upon these ideas. These applications are evaluated in terms of users’ advantages, workflow improvements and impact over the overall quality of the output. In particular, they cover heterogeneous content management processes: from web editing to collaboration (IsaWiki and WikiFactory), from e-learning (IsaLearning) to professional printing (IsaPress).

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

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 mand sites, bonds are represented by shared names labelling sites, and reactions are represented by rewriting 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 problems of equivalence in advertising translation: examples from English and Russian

Abstract The academic environment has recently recognized the importance and benefits that an extensive research on the translation of advertising can have for translation studies. Despite the growing interest and increasing research activity in the field it is still difficult to speak about a theory of advertising translation in general. There is a need for further study encompassing different languages and both heterogeneous and homogenous cultures that will give the possibility to receive a more complete map of what the translation of advertising is and should be. Previous studies have been concentrated, for the most part, on Western European language pairs. This study is a research into perfume and cosmetics print advertisements translated from English into Russian where both visual and verbal elements are considered. Three broad translation approaches have been identified in what concerns the verbal message: Translated message, parallel translation, recreated adverts, and three approaches in dealing with the image: similar images, modified images, completely different images. The thesis shows that where Russian advertisements for perfume products tend to have a message, or create one, this is often lacking in the English copy. The article ends by suggesting that perfume advertisements favor the standardization approach when entering Russian market. The attempts to localize the advert have also been noticed although they are obviously less numerous in perfume adverts and are rather instances of adaptation - a mix between the localization and standardization approaches since they keep drawing on the same globally accepted universals about female beauty and concern for ‘woman’s identity’ (we focused our analysis on products designed for female consumers). This study, complementing previous studies, aims to be a contribution to the description of laws and strategies that guide the translation of advertising texts into Russian.

Engineering Concurrent and Event-driven Web Apps: An Agent-Oriented Approach based on the simpAL Language

Web is constantly evolving, thanks to the 2.0 transition, HTML5 new features and the coming of cloud-computing, the gap between Web and traditional desktop applications is tailing off. Web-apps are more and more widespread and bring several benefits compared to traditional ones. On the other hand reference technologies, JavaScript primarly, are not keeping pace, so a paradim shift is taking place in Web programming, and so many new languages and technologies are coming out. First objective of this thesis is to survey the reference and state-of-art technologies for client-side Web programming focusing in particular on what concerns concurrency and asynchronous programming. Taking into account the problems that affect existing technologies, we finally design simpAL-web, an innovative approach to tackle Web-apps development, based on the Agent-oriented programming abstraction and the simpAL language. == Versione in italiano: Il Web è in continua evoluzione, grazie alla transizione verso il 2.0, alle nuove funzionalità introdotte con HTML5 ed all’avvento del cloud-computing, il divario tra le applicazioni Web e quelle desktop tradizionali va assottigliandosi. Le Web-apps sono sempre più diffuse e presentano diversi vantaggi rispetto a quelle tradizionali. D’altra parte le tecnologie di riferimento, JavaScript in primis, non stanno tenendo il passo, motivo per cui la programmazione Web sta andando incontro ad un cambio di paradigma e nuovi linguaggi e tecnologie stanno spuntando sempre più numerosi. Primo obiettivo di questa tesi è di passare al vaglio le tecnologie di riferimento ed allo stato dell’arte per quel che riguarda la programmmazione Web client-side, porgendo particolare attenzione agli aspetti inerenti la concorrenza e la programmazione asincrona. Considerando i principali problemi di cui soffrono le attuali tecnologie passeremo infine alla progettazione di simpAL-web, un approccio innovativo con cui affrontare lo sviluppo di Web-apps basato sulla programmazione orientata agli Agenti e sul linguaggio simpAL.