A study of two Languages for Active Objects with Futures

In computer systems, specifically in multithread, parallel and distributed systems, a deadlock is both a very subtle problem - because difficult to pre- vent during the system coding - and a very dangerous one: a deadlocked system is easily completely stuck, with consequences ranging from simple annoyances to life-threatening circumstances, being also in between the not negligible scenario of economical losses. Then, how to avoid this problem? A lot of possible solutions has been studied, proposed and implemented. In this thesis we focus on detection of deadlocks with a static program analysis technique, i.e. an analysis per- formed without actually executing the program. To begin, we briefly present the static Deadlock Analysis Model devel- oped for coreABS−− in chapter 1, then we proceed by detailing the Class- based coreABS−− language in chapter 2. Then, in Chapter 3 we lay the foundation for further discussions by ana- lyzing the differences between coreABS−− and ASP, an untyped Object-based calculi, so as to show how it can be possible to extend the Deadlock Analysis to Object-based languages in general. In this regard, we explicit some hypotheses in chapter 4 first by present- ing a possible, unproven type system for ASP, modeled after the Deadlock Analysis Model developed for coreABS−−. Then, we conclude our discussion by presenting a simpler hypothesis, which may allow to circumvent the difficulties that arises from the definition of the ”ad-hoc” type system discussed in the aforegoing chapter.

Statistical analysis of written languages

La tesi presenta una serie di risultati dell'analisi quantitativa sulla linguistica. Inizialmente sono studiate due fra le leggi empiriche più famose di questo campo, le leggi di Zipf e Heaps, e vengono esposti vari modelli sullo sviluppo del linguaggio. Nella seconda parte si giunge alla discussione di risultati più specifici sulla presenza di fenomeni di burstiness e di correlazioni a lungo raggio nei testi. Tutti questi studi teorici sono affiancati da analisi sperimentali, svolte utilizzando varie traduzioni del libro "Guerra e pace" di Leo Tolstoj e concentrate principalmente sulle eventuali differenze riscontrabili tra le diverse lingue.

The languages of postcolonial ireland and their potential for cultural expression

Ireland is a country in which two languages are spoken: English and Irish. This thesis analyzes the historical relationship between the languages, the cultural codes and meanings attached to each of them, as well as how much of the culture of its speakers each is able to carry. Beyond that, the influence the two languages have exercised on one another and their mutual entwinement is taken into closer examination.

Applicazione delle metodologie LCA ed LCC per la valutazione ambientale ed economica della produzione del pellet realizzato tramite scarti agricoli di potature degli uliveti

Nel seguente lavoro è stata sviluppata una analisi ambientale ed economica del ciclo di vita del pellet, realizzato con scarti agricoli dalle potature degli uliveti. L’obiettivo di tale lavoro è dimostrare se effettivamente l’utilizzo del pellet apporti vantaggi sia dal punto di vista ambientale sia da quello economico. In tale progetto si sviluppano quindi un LCA, Life cycle analysis, e un LCC, Life Cycle Cost, secondo gli steps standard suggeriti da tali metodologie. Per effettuare l’analisi del ciclo di vita è stato utilizzato il software Simapro che ha permesso di valutare gli impatti ambientali sulle varie categorie di impatto incluse. In particolare sono stati considerati due metodologie, una midpoint ed una endpoint, ossia l’Ecoindicator 99 e il CML2 baseline 2000. Per le valutazioni finali è stata poi utilizzata la normativa spagnola sugli impatti ambientali, BOE 21/2013 del 9 dicembre, che ci ha permesso di caraterizzare le varie categorie d’impatto facendo emergere quelle più impattate e quelle meno impattate. I risultati finali hanno mostrato che la maggior parte degli impatti sono di tipo compatibile e moderato; pochi, invece, sono gli impatti severi e compatibili, che si riscontrano soprattutto nella categoria d’impatto “Fossil Fuels”. Per quanto riguarda invece l’analisi economica, si è proceduto effettuando una valutazione iniziale fatta su tutto il processo produttivo considerato, poi una valutazione dal punto di vista del produttore attraverso una valutazione dell’investimento ed infine, una valutazione dal punto di vista del cliente finale. Da queste valutazioni è emerso che ciò risulta conveniente dal punto di vista economico non solo per il produttore ma anche per l’utente finale. Per il primo perché dopo i primi due anni di esercizio recupera l’investimento iniziale iniziando ad avere un guadagno; e per il secondo, poiché il prezzo del pellet è inferiore a quello del metano. Quindi, in conclusione, salvo cambiamenti in ambito normativo ed economico, l’utilizzo del pellet realizzato da scarti di potature di uliveti risulta essere una buona soluzione per realizzare energia termica sia dal punto di vista ambientale, essendo il pellet una biomassa il cui ciclo produttivo non impatta severamente sull’ambiente; sia dal punto di vista economico permettendo al produttore introiti nell’arco del breve tempo e favorendo al cliente finale un risparmio di denaro sulla bolletta.

Acknowledging linguistic diversity in a multicultural society: the issue of indigenous languages in Colombia.

Nowadays, modern society is gradually becoming multicultural. However, only in the last few years awareness on its importance has been raised. In the case of Colombia, multiculturalism has existed since the pre-Columbian period and today there are more than 80 ethnic groups and 65 indigenous languages in the country. The aim of this work is to illustrate the status of indigenous languages in Colombia and to enlighten about the importance of recognizing, protecting and strengthening the use of these native languages. Subsequent to this, it will be point out that linguistic diversity should be considered a resource and not a barrier to achieve unity in diversity. Finally, ethno-education will be presented as an adequate educational program that may guarantee an equal linguistic representation in the country.