Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Valutazione dell'impatto della farmacogenetica in ambito di Sanità Pubblica. Analisi del polimorfismo genetico dell'enzima CYP2D6 metabolizzante xenobiotici.

Pharmacogenetic testing provides an outstanding opportunity to improve prescribing safety and efficacy. In Public health policy pharmacogenetics is relevant for personalized therapy and to maximize therapeutic benefit minimizing adverse events. CYP2D6 is known to be a key enzyme responsible for the biotransformation of about 25-30% of extensively used drugs and genetic variations in genes coding for drug-metabolizing enzymes might lead to adverse drug reactions, toxicity or therapeutic failure of pharmacotherapy. Significant interethnic differences in CYP2D6 allele distribution are well established, but immigration is reshaping the genetic background due to interethnic admixture which introduces variations in individual ancestry resulting in distinct level of population structure. The present thesis deals with the genetic determination of the CYP2D6 alleles actually present in the Emilia-Romagna resident population providing insights into the admixture process. A random sample of 122 natives and 175 immigrants from Africa, Asia and South America where characterized considering the present scenario of migration and back migration events. The results are consistent with the known interethnic genetic variation, but introduction of ethnic specific variants by immigrants predicts a heterogeneous admixed population scenario requiring, for drugs prescription and pharmacogenetics studies, an interdisciplinary approach applied in a properly biogeographical and anthropological frame. To translate pharmacogenetics knowledge into clinical practice requires appropriated public health policies, possibly guiding clinicians to evaluate prospectively which patients have the greatest probability of expressing a variant genotype.

Epos orale russo tra oralità e scrittura: problemi e proposte di traduzione

In the present thesis, I discuss the role of orality in translation, taking into account the problems arising while translating Russian folk epics. I investigate the meaning of orality in the context of folkloristic translation, trying to define a concept of oral poetry, and exploring its consequences for translation. In the first chapter, I try to identify the main differences between written literature and oral modes of expression, with special reference to folklore. Oral verbal art is performed, sung or recited, and based on a vital and dynamic interrelation between kinesics, sound, speech and gestures. According to Muhawi (2006), performance provides an interpretive frame enabling a correct interpretation of the message conveyed beyond the literal meaning. Transposing certain performance elements into print is one of the most controversial problems in folklore studies. However, formulas and formal stylistic devices may be rendered in transcription, building a bridge between oral and written elements. In the translation of oral poetry in transcription, this interconnection between orality and literacy might be emphasized, thus creating a hybrid dimension where oral and literary features coexist. In the second chapter, I introduce and describe the genre of Russian folk epics, transmitted orally, and transcribed between the 19th and 20th centuries, from a historical, linguistic and stylistic point of view. In the third and fourth chapters, I explore the issue of translation of Russian oral poetry. I first analyse existing Italian translations of Russian epics, and then present and discuss my own translation, based on a philological, scholarly approach. Thus, in my translation, which is followed by a rich commentary, I try to focus on the rendering of formulas as one of the most relevant aspects of Russian epics. At the same time, oral devices combine with literary features, thus creating a sort of frozen orality.

Towards model driven software development for Arduino platforms: a DSL and automatic code generation

La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent. Per la generazione automatica di codice è stata adottata una piattaforma di riferimento, cioè Arduino. Arduino è un sistema embedded che si sta sempre più affermando perché coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione. Il meta-modello definito è un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello può essere considerato anche come la sintassi astratta di un linguaggio, quindi può essere definito da un insieme di regole EBNF. La tecnologia utilizzata per la definizione del meta-modello è stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore è l'implementazione di EMOF in ambiente Eclipse. Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello. La generazione automatica di codice è stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari. Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic. Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione è stato spostato più in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si è quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello. Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema. I risultati ottenuti sono stati di buona qualità ed il meta-modello viene tradotto in codice che funziona correttamente.

L'immobilità del traduttore: la traduzione dei classici moderni inglesi in Italia

Translations, says Gideon Toury, are facts of target cultures – but the perceived status of source texts has a bearing on how these are reflected or refracted in the target language. This proposition is particularly evident in the case of classics: when translators have to work on literary creations occupying a pivotal position in the source/target cultures, they adopt strategies of literalness and ennoblement which betray a quasi-religious awe – on the one hand, a desire to ruffle the surface of the revered original as little as possible; and on the other, a determination to reproduce the supposed “classical qualities” of the classic even when they are not present in the source. In this dissertation, Paola Venturi studies how the “idea of classic” influences translation theory and practice, and substantiates her theoretical observations by looking at Italian translations of eighteenth- and nineteenth-century English classics. A marked – and historically determined – disparity between source and target readerships, and the translators’ reverence for their prestigious originals, conspire to produce Italian versions which are much more “wooden” and “elegant” than their English counterparts.

Analisi del profilo tossicologico e cancerogeno del particolato atmosferico e identificazione dei rischi per la salute umana correlati all'esposizione

Gli impianti di incenerimento di rifiuti solidi suscitano preoccupazione nella popolazione per i possibili effetti avversi associati all’esposizione. Gli effetti delle polveri sottili (PM2.5), generate dai processi di combustione, sulla salute umana includono l’insorgenza di patologie a carico del sistema respiratorio e cardiovascolare e l’aumento della mortalità per malattie polmonari e probabilmente cancro al polmone. Lo scopo della tesi è quello di valutare il profilo tossicologico e cancerogeno del particolato atmosferico in prossimità dell’inceneritore di Bologna rispetto alle aree adiacenti mediante l’utilizzo di test alternativi alle metodologie in vivo, come il test di trasformazione cellulare e approcci di tossicogenomica (soprattutto trascrittomica) oltre alla valutazione della variazione del rischio cancerogeno indotto dall’esposizione di PM2.5 in diversi siti (massima ricaduta, controllo, fondo urbano e fondo rurale) e in differenti periodi di campionamento (estate 2008 e inverno 2009). Gli estratti di PM2.5 relativi alla stagione invernale sono risultati più tossici rispetto ai campioni estivi, che inducono tossicità soprattutto alle alte dosi. Per i campioni invernali il numero medio di colonie di cellule BALB/c 3T3 A31-1-1 risulta ridotto in modo significativo anche per le dosi più basse saggiate indipendentemente dal sito di provenienza. Tutti i campioni analizzati sono risultati negativi nel test di trasformazione cellulare in vitro. L’analisi dell’espressione genica delle cellule BALB/c 3T3 A31-1-1, in seguito all’esposizione agli estratti di PM2.5, ha mostrato un effetto stagionale evidente. Relativamente ai campioni invernali è stato evidenziato un maggior effetto tossico da parte del sito di controllo rispetto alla massima ricaduta, poiché nel sito di controllo risultano attivati marcatori di morte cellulare per apoptosi. La valutazione del rischio cancerogeno in tutti i siti valutati non mostra situazioni preoccupanti legate alla predizione di eccessi di rischio di tumori imputabili all’attività dell’inceneritore in quanto le stime di rischio non eccedono mai il valore limite riportato in letteratura.

Il Vocalismo Andaluso. Analisi linguistica della parlata granadina.

Il presente lavoro ha come scopo lo studio del fenomeno linguistico dell'apertura vocalica nella parlata della città di Granada. Attraverso un'approfondita analisi fonetica della produzione orale di parlanti granadini, viene proposta un'indagine sulle eventuali implicazioni che il fenomeno dell'apertura vocalica può avere sul sistema grammaticale spagnolo, aggiornando al 2012 gli studi su tale argomento.