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.

Motivação e ensino de espanhol na escola pública paulista: dados quantitativos e qualitativos de um estudo de caso

O presente artigo tem como objetivo apresentar e discutir os resultados de parte de uma pesquisa empírica levada a cabo em 2008 com alunos de espanhol de um dos Centros de Estudos de Línguas mantido pelo governo estadual de São Paulo. Tínhamos como meta conhecer e mensurar, até onde fosse possível, o nível de motivação dos alunos em sala de aula, assim como as suas principais causas. Uma vez que tais Centros são, no momento, os responsáveis em São Paulo pela aplicação da lei que torna obrigatória a oferta de língua espanhola nas escolas de nível médio do país (no que se refere à escola pública estadual), consideramos pertinente divulgar tais resultados, de forma que as discussões suscitadas por eles possam contribuir para um ensino de línguas mais motivador e, portanto, mais eficiente. A pesquisa, de cunho quantitativo e qualitativo, contou com 161 alunos informantes. Os principais resultados apontaram que i) os estudantes em geral encontram-se motivados durante as aulas de espanhol; ii) a figura do professor, o esforço depreendido, o conteúdo, a autonomia de escolha do idioma estudado e o prazer que têm em aprender a LE foram as principais causas de motivação apresentadas; iii) a falta de conhecimento sobre aspectos culturais da língua alvo foi apontada como uma das principais causas de desmotivação; iv) as atividades descritas como mais motivadoras foram, pela ordem, jogos e brincadeiras, vídeos/filmes e músicas; v) as atividades consideradas menos motivadoras foram seminário, prova oral/chamada oral e redação.

Estratégias utilizadas por aprendizes de línguas afins: a troca de código

Neste artigo analisamos a troca de código, uma estratégia de compensação que consiste na utilização de uma palavra ou frase em L1, L3 ou L4, no interior do enunciado em L2, empregada por aprendizes de italiano LE cuja língua materna é o português brasileiro, durante a realização em dupla de uma tarefa escrita. A pesquisa, que se baseou nos instrumentos propostos pela etnografia, mostra que a troca de código constitui um potencial para o desenvolvimento da interlíngua e para a aquisição/aprendizagem de LE e que tal estratégia, além de compensar eventuais lacunas linguísticas originadas pela falta de recursos adequados para expressar-se em LE, é usada pelos falantes como procedimento típico da conversação bilíngue para facilitar a comunicação.

Proteo : lenguaje para la especificación de lenguajes específicos de dominio

Máster Universitario en Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería (SIANI)

A communication infrastructure to support knowledge level agents on the web

Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been proposed for Multi-Agent Systems, such as KQML and FIPA-ACL. The goal of these languages is to support high-level, human like communication among agents, exploiting Knowledge Level features rather than symbol level ones. Adopting these ACLs, and mainly the FIPA-ACL specifications, many agent platforms and prototypes have been developed. Despite these efforts, an important issue in the research on ACLs is still open and concerns how these languages should deal (at the Knowledge Level) with possible failures of agents. Indeed, the notion of Knowledge Level cannot be straightforwardly extended to a distributed framework such as MASs, because problems concerning communication and concurrency may arise when several Knowledge Level agents interact (for example deadlock or starvation). The main contribution of this Thesis is the design and the implementation of NOWHERE, a platform to support Knowledge Level Agents on the Web. NOWHERE exploits an advanced Agent Communication Language, FT-ACL, which provides high-level fault-tolerant communication primitives and satisfies a set of well defined Knowledge Level programming requirements. NOWHERE is well integrated with current technologies, for example providing full integration for Web services. Supporting different middleware used to send messages, it can be adapted to various scenarios. In this Thesis we present the design and the implementation of the architecture, together with a discussion of the most interesting details and a comparison with other emerging agent platforms. We also present several case studies where we discuss the benefits of programming agents using the NOWHERE architecture, comparing the results with other solutions. Finally, the complete source code of the basic examples can be found in appendix.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

¿Cómo ven los maestros en formación la futura evaluación estandarizada a través de tabletas digitales?

[ES]El campo de la evaluación va adquiriendo una importancia progresiva en España. Hasta hace pocos años los estudiosos de la especialidad eran pocos en nuestro país y aun hoy, en el campo de las lenguas extranjeras, el número de investigadores es pequeño. Una de las áreas donde la evaluación de lenguas extranjeras en España se ha fijado recientemente es la de la ubiquidad. Proyectos como PAULEX Universitas y más recientemente OPENPAU han puesto de manifiesto la necesidad del uso de dispositivos móviles para la realización de pruebas estandarizadas. [EN]The field of evaluation is acquiring growing importance in Spain . Until recently scholars specialty were few in our country and even today, in the field of foreign languages , the number of researchers is small. One area where the assessment of foreign languages in Spain has been recently set is that of ubiquity. Projects like PAULEX Universitas and more recently OPENPAU have revealed the necessity of the use of mobile devices for conducting standardized tests.

Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

Security control brought back to the user

The activity of the Ph.D. student Juri Luca De Coi involved the research field of policy languages and can be divided in three parts. The first part of the Ph.D. work investigated the state of the art in policy languages, ending up with: (i) identifying the requirements up-to-date policy languages have to fulfill; (ii) defining a policy language able to fulfill such requirements (namely, the Protune policy language); and (iii) implementing an infrastructure able to enforce policies expressed in the Protune policy language. The second part of the Ph.D. work focused on simplifying the activity of defining policies and ended up with: (i) identifying a subset of the controlled natural language ACE to express Protune policies; (ii) implementing a mapping between ACE policies and Protune policies; and (iii) adapting the ACE Editor to guide users step by step when defining ACE policies. The third part of the Ph.D. work tested the feasibility of the chosen approach by applying it to meaningful real-world problems, among which: (i) development of a security layer on top of RDF stores; and (ii) efficient policy-aware access to metadata stores. The research activity has been performed in tight collaboration with the Leibniz Universität Hannover and further European partners within the projects REWERSE, TENCompetence and OKKAM.

Il dialogo con l'infanzia. Utopia del folklore, nonsense e comico in Gianni Rodari.

Nel trentennale dalla morte di Gianni Rodari, la tesi elabora problemi e riflessioni circa la maggiore urgenza corrente tra gli attuali studi rodariani: la necessità, per la cultura nazionale, di conferire a Gianni Rodari e alla letteratura per l’infanzia il ruolo intellettuale determinante da essi rivestito. La tesi sceglie di concentrarsi sui maggiori libri poetici e sul capolavoro teorico, la Grammatica della fantasia, utilizzando come strumenti il confronto con Gramsci, con la tradizione del folklore, con i grandi scrittori per l’infanzia dell’Inghilterra e con le altre esperienze poetiche del Novecento, discutendo Rodari da una specola esclusivamente filologica e letteraria. Parte prima: Rodari utopista. Nella prima parte Gianni Rodari viene inquadrato in un confronto diretto con l’Antonio Gramsci dei Quaderni, che aveva lucidamente individuato la separatezza tutta italiana tra classe intellettuale e mondo popolare, con conseguente inesistenza di una letteratura nazionale-popolare e di una specifica letteratura per l’infanzia. Rodari, primo intellettuale a dedicare tutto se stesso al riempimento di questa lacuna, risponde con intento sociale e politico al problema, adottando un atteggiamento che la tesi definisce utopico. Tramite una disamina del pensiero delle utopie letterarie a confronto con la tradizione popolare del paese di Cuccagna, la tesi procede all’accurato rinvenimento nell’opera di Rodari dei luoghi utopici, tutti orientati a suggerire un utilizzo dell’utopia come chiave per forzare un presente insoddisfacente e accedere a un futuro costruito da ogni individuo in prima persona. Parte seconda: Rodari poeta nonsense? Scritta in Inghilterra presso l’Istitute of Germanic and Romance Studies della University of London, la seconda e corposa parte della tesi si propone come un ampliamento della traccia gettata nel 1983 dall’articolo di Cristina Bertea Gianni Rodari in Gran Bretagna. La tesi analizza dapprima il problema del nonsense, ancora scarsamente trattato in Italia, riflettendo criticamente sulla maggiore bibliografia anglosassone che ha studiato il tema. Successivamente, mette a raffronto il lavoro linguistico che Gianni Rodari ha compiuto lungo l’arco di tutta la vita e le tecniche di composizione poetica elaborate nella Grammatica della fantasia con gli strumenti retorico-formali del nonsense individuati nell’opera di Lewis Carroll, di Edward Lear e delle nursery rhymes inglesi. Parte terza: Traccia per una mappatura della poesia per l’infanzia in Italia, a partire da Gianni Rodari. L’ultima parte della tesi si avventura alla ricerca di un percorso possibile attraverso la poesia per l’infanzia del Novecento e le sue esperienze di comicità. I capitoli si soffermano sul nonsense di Toti Scialoja e di Nico Orengo, sui precedenti di Lina Schwarz e Alfonso Gatto, sul Petel di Zanzotto, sulla poesia di soglia di Vivian Lamarque e sull’eredità della Grammatica della fantasia con particolare riferimento a Calicanto, di Ersilia Zamponi e Roberto Piumini.

Constraints meet concurrency

We investigate the benefits that emerge when the fields of constraint programming and concurrency meet. On one hand, constraints can be use in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. We explore both directions providing two separate lines of contribution. Firstly we study the expressive power of a concurrent language, namely Constraint Handling Rules, that supports constraints as a primitive construct. We show what features of this language make it Turing powerful. Then we propose a framework to solve constraint problems that is intended to be deployed on a concurrent system. For the development of this framework we used the concurrent language Jolie following the Service Oriented paradigm. Based on this experience, we also propose an extension to Service Oriented Languages to overcome some of their limitations and to improve the development of concurrent applications.

Contaminazioni tra arte e architettura

Il concetto di contaminazione fra architettura ed arti plastiche e figurative è molto antico. La dicotomia arte-architettura, sancita in via definitiva con il moderno museo di spoliazione napoleonica, non può che essere considerata una variazione neo-tecnicista sulla quale, non sempre giustamente, sono andati assestandosi gli insegnamenti delle scuole politecniche. Non così è sempre stato. Come il tempio greco può essere considerato un’opera plastica nel suo complesso, esempio tra i primi di fusione tra arte e architettura, moltissimi sono gli esempi che hanno guidato la direzione della ricerca che si è intesa perseguire. Molti sono gli esempi del passato che ci presentano figure di architetto-artista: un esempio fra tutti Michelangelo Buonarroti; come per altro non è nuovo, per l’artista puro, cimentarsi nella progettazione dello spazio architettonico o urbano, o per l'architetto essere coinvolto dalle indagini della ricerca artistica a lui contemporanea dalla quale trarre suggestioni culturali. Le rappresentazioni dei linguaggi visivi sono il frutto di contaminazioni che avvengono su diversi livelli e in più direzioni. Spesso le ricerche artistiche più significative hanno anticipato o influenzato il mondo del design, dell’architettura, della comunicazione. L’intenzione della ricerca è stata quindi approfondire, attraverso un viaggio nel Novecento, con particolare attenzione al Secondo Dopoguerra, i fenomeni culturali che hanno prodotto i più significativi sviluppi stilistici nell’ambito della ricerca e del rinnovo del linguaggio architettonico. Il compito, parafrasando Leonardo Benevolo, non è stato quello di elencare le singole battute della discussione ma di riconoscere gli interventi fruttuosi a lunga scadenza. Mutuando gli insegnamenti della scuola del Bauhaus, arte e architettura sono state affiancate perché considerate espressioni strettamente relazionate di coevi fenomeni culturali. L’obiettivo ha puntato all’individuazione dei meccanismi delle interazioni tra discipline, cercando di delineare il profilo della complessità dell’espressione del contemporaneo in architettura.

L'Architettura religiosa di Luis Moya Blanco. La costruzione come principio compositivo

La presente ricerca, L’architettura religiosa di Luis Moya Blanco. La costruzione come principio compositivo, tratta i temi inerenti l’edificazione di spazi per il culto della religione cristiana che l’architetto spagnolo progetta e realizza a Madrid dal 1945 al 1970. La tesi è volta ad indagare quali siano i principi alla base della composizione architettonica che si possano considerare immutati, nel lungo arco temporale in cui l’autore si trova ad operare. Tale indagine, partendo da una prima analisi riguardante gli anni della formazione e gli scritti da lui prodotti, verte in particolare sullo studio dei progetti più recenti e ancora poco trattati dalla critica. L’obbiettivo della presente tesi è dunque quello di apportare un contributo originale sull’aspetto compositivo della sua architettura. Ma analizzare la composizione significa, in Moya, analizzare la costruzione che, a dispetto del susseguirsi dei linguaggi, rimarrà l’aspetto principale delle sue opere. Lo studio dei manufatti mediante categorie estrapolate dai suoi stessi scritti – la matematica, il numero, la geometria e i tracciati regolatori - permette di evidenziare punti di contatto e di continuità tra le prime chiese, fortemente caratterizzate da un impianto barocco, e gli ultimi progetti che sembrano cercare invece un confronto con forme decisamente moderne. Queste riflessioni, parallelamente contestualizzate nell’ambito della sua consistente produzione saggistica, andranno a confluire nell’idea finale per cui la costruzione diventi per Luis Moya Blanco il principio compositivo da cui non si può prescindere, la regola che sostanzia nella materia il numero e la geometria. Se la costruzione è dunque la pietrificazione di leggi geometrico-matematiche che sottendono schemi planimetrici; il ricorso allo spazio di origine centrale non risponde all’intenzione di migliorare la liturgia, ma a questioni di tipo filosofico-idealista, che fanno corrispondere alla somma naturalezza della perfezione divina, la somma perfezione della forma circolare o di uno dei suoi derivati come l’ellisse.

Il linguaggio figurato e la cabina di simultanea: Il progetto IMITES(Interpretación de la Metáfora entre ITaliano y ESpañol)

Il progetto di dottorato IMITES (Interpretación de la Metáfora entre ITaliano y ESpañol) si pone come obiettivo quello di analizzare l’interpretazione simultanea del linguaggio figurato nelle combinazioni italiano-spagnolo e spagnolo-italiano. Prevede l’analisi di una serie di dati estratti da discorsi pronunciati in italiano e spagnolo in occasione di conferenze tenutesi presso la Commissione europea, e le loro versioni interpretate in spagnolo e italiano rispettivamente. Le espressioni figurate contenute nei discorsi originali sono state allineate e messe a confronto con le versioni fornite dagli interpreti, con il duplice obiettivo di a) capire quali causano maggiori problemi agli interpreti e b) analizzare le strategie di interpretazione applicate da professionisti quali quelli della Direzione Generale Interpretazione (DG SCIC) della Commissione europea nell’interpretare metafore. Il progetto prevede anche la somministrazione di un questionario agli interpreti delle cabine spagnola e italiana del DG SCIC, con l’obiettivo di sondare la loro percezione delle difficoltà che sottendono all’interpretazione del linguaggio figurato, le indicazioni metodologiche ricevute (se del caso) dai loro docenti a tale riguardo e le strategie applicate nella pratica professionale. Infine, l’ultima fase del progetto di ricerca prevede la sperimentazione di una proposta didattica attraverso uno studio caso-controllo svolto su studenti del secondo anno della Laurea Magistrale in Interpretazione delle Scuole Interpreti di Forlì e Trieste. Il gruppo-caso ha ricevuto una formazione specifica sull'interpretazione delle metafore, mentre gruppo-controllo è stato monitorato nella sua evoluzione. L’obiettivo di questa ultima fase di ricerca è quello di valutare, da una parte, l’ “insegnabilità” di strategia per affrontare il linguaggio figurato in interpretazione simultanea, e, dall’altra, l’efficacia dell’unità didattica proposta, sviluppata in base all’analisi svolta su IMITES.

Structural patterns for document engineering: from an empirical bottom-up analysis to an ontological theory

This thesis aims at investigating a new approach to document analysis based on the idea of structural patterns in XML vocabularies. My work is founded on the belief that authors do naturally converge to a reasonable use of markup languages and that extreme, yet valid instances are rare and limited. Actual documents, therefore, may be used to derive classes of elements (patterns) persisting across documents and distilling the conceptualization of the documents and their components, and may give ground for automatic tools and services that rely on no background information (such as schemas) at all. The central part of my work consists in introducing from the ground up a formal theory of eight structural patterns (with three sub-patterns) that are able to express the logical organization of any XML document, and verifying their identifiability in a number of different vocabularies. This model is characterized by and validated against three main dimensions: terseness (i.e. the ability to represent the structure of a document with a small number of objects and composition rules), coverage (i.e. the ability to capture any possible situation in any document) and expressiveness (i.e. the ability to make explicit the semantics of structures, relations and dependencies). An algorithm for the automatic recognition of structural patterns is then presented, together with an evaluation of the results of a test performed on a set of more than 1100 documents from eight very different vocabularies. This language-independent analysis confirms the ability of patterns to capture and summarize the guidelines used by the authors in their everyday practice. Finally, I present some systems that work directly on the pattern-based representation of documents. The ability of these tools to cover very different situations and contexts confirms the effectiveness of the model.