Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Abitare il rio bogota. Modelli insediativi per la megalopoli.

Il progetto di tesi si sviluppa a partire dalla proposta di espansione lineare della città di Bogotá, lungo un asse infrastrutturale che attraversa diversi comuni vicini alla città. Il tema principale del lavoro di tesi è relativo al confronto con uno dei limiti principali di questa espansione: il Rio Bogotà. L'obiettivo è quello di risolvere a livello urbano il rapporto di tale elemento naturale con l'edificato, in particolare il grande edificio pubblico e le abitazioni. Questo sarà reso possibile attraverso lo studio di valide soluzioni strutturali che tengano conto dei problemi derivanti da una zona fortemente sismica e soggetta ad inondazioni.

A step forwards in immunomodulation and immunetolerance knowledge. HLA-G expression in co-cultures of peripheral blood mononuclear cells and stem cells after in vitro NGAL stimulation

NGAL (Neutrophil Gelatinase-associated Lipocalin ) is a protein of lipocalin superfamily. Recent literature focused on its biomarkers function in several pathological condition (acute and chronic kidney damage, autoimmune disease, malignancy). NGAL biological role is not well elucidated. Several are the demonstration of its bacteriostatic role. Recent papers have indeed highlight NGAL role in NFkB modulation. The aim of this study is to understand whether NGAL may exert a role in the activation (modulation) of T cell response through the regulation of HLA-G complex, a mediator of tolerance. From 8 healthy donors we obtained peripheral blood mononuclear cells (PBMCs) and we isolated by centrifugation on a Ficoll gradient. Cells were then treated with four concentrations of NGAL (40-320 ng/ml) with or without iron. We performed flow cytometry analysis and ELISA test. NGAL increased the HLA-G expression on CD4+ T cells, with an increasing corresponding to the dose. Iron effect is not of unique interpretation. NGAL adiction affects regulatory T cells increasing in vitro expansion of CD4+ CD25+ FoxP3+ cells. Neutralizing antibody against NGAL decreased HLA-G expression and reduced significantly CD4+ CD25+ FoxP3+ cells percentage. In conclusion, we provided in vitro evidence of NGAL involvement in cellular immunity. The potential role of NGAL as an immunomodulatory molecule has been evaluated: it has been shown that NGAL plays a pivotal role in the induction of immune tolerance up regulating HLA-G and T regulatory cells expression in healthy donors. As potential future scenario we highlight the in vivo role of NGAL in immunology and immunomodulation, and its possible relationship with immunosuppressive therapy efficacy, tolerance induction in transplant patients, and/or in other immunological disorders.

Lipid quality and oxidative stability in food products from animal origin, as affected by breeding factor

Nowadays it is requested more investigations on alternative rearing systems that are able to improve poultry welfare and to warrant high-quality and safe meat products. This thesis work was focused on the evaluation of the oxidative stability of poultry meats, obtained with different rearing systems, diets (supplemented with bioactive compounds), and packaging conditions. The thesis work was divided into the following parts: - Evaluation of the effects of different rearing systems on the quality, fatty acid composition and oxidative stability of poultry thigh and breast meat belonging to different product categories (“rotisserie” and “cut-up” carcasses); - Evaluation of the effects of different rearing systems and packaging conditions on the shelf-life of poultry thigh meat stored at 4°C for 14 days, and the effects of feed supplementation with thymol (control diet and diet with 2 different concentration of thymol) and packaging conditions on lipid oxidation of poultry thigh meat shelf-life (stored at 4°C for 14 days). The oxidative stability of poultry meat was studied by means of the spectrophotometric determinations of peroxide value and thiobarbituric acid reactive substances. - Evaluation of anti-inflammatory effects of different flavonoids (thymol, luteolin, tangeretin, sulforaphane, polymethoxyflavones, curcumin derivates) to detect their biological activity in LPS-stimulated RAW 264.7 macrophage cells in vitro, in order to study more in depth their action mechanisms. It was evaluated the cell vitality (MTT assay), nitrite concentration and protein profile. The study was focused on the identification of potential dietary bioactive compounds in order to investigate their biological activity and possible synergic effects, and to develop new suitable strategies for long-term promotion of human health, in particular against cancer.

I manufatti egizi ed egittizzanti in Sicilia

Il progetto di ricerca si è posto l'obiettivo di analizzare una serie di manufatti egizî e di tradizione egizia della Sicilia preromana e di evidenziare le eventuali sopravvivenze della cultura egittizzante sull’isola fino all'età tardoantica. La realizzazione di un corpus, aggiornato sulla scorta di nuovi rinvenimenti, di recenti riletture e di studi su materiali inediti custoditi nei musei siciliani, ha contribuito a tracciare una mappa distributiva delle aree di rinvenimento e di attestazione, con particolare riferimento alle diverse etnie che recepiscono tali prodotti e alla possibilità di ricostruire l’ambientazione storica della domanda diretta o indiretta. Si è scelto di privilegiare lo studio tipologico, iconografico e iconologico di alcune “categorie” di materiali maggiormente documentati sull’isola, quali amuleti, scarabei e scaraboidi, cretule, ushabti, gioielli, bronzi figurati, gemme, con l’individuazione di riscontri in ambito mediterraneo. La documentazione delle testimonianze antiquarie contenenti notizie su reperti oggi non più reperibili ha permesso, infine, non solo l’acquisizione d’informazioni spesso ritenute perse, ma anche una comprensione storicizzata delle dinamiche del collezionismo siciliano e del suo ruolo nel più vasto ambito europeo dal XVII al XIX secolo. È stato importante, infatti, chiarire anche alcuni aspetti della cultura egittologica del periodo, legata in genere alla circolazione di stereotipi e alla mancanza di una conoscenza diretta della realtà faraonica.

Italian texts as networks: Topological measurements, Zipf and Heaps' laws

In questa tesi si è studiato un corpus di importanti testi della letteratura Italiana utilizzando la teoria dei network. Le misure topologiche tipiche dei network sono state calcolate sui testi letterari, poi sono state studiate le loro distribuzioni e i loro valori medi, per capire quali di esse possono distinguere un testo reale da sue modificazioni. Inoltre si è osservato come tutti i testi presentino due importanti leggi statistiche: la legge di Zipf e quella di Heaps.

Un protagonista del commercio librario nell'Italia dei lumi: Moïsè Beniamino Foà (1730-1821)

Nell’alveo delle indagini sulla storia del commercio librario nell’Italia del Settecento, attente a individuare i legami fra circolazione del libro, diffusione delle idee illuministe e riforme politiche nella seconda metà del secolo, la ricerca ha l’obiettivo di offrire un quadro articolato della fisionomia di un mercante del libro attivo nel periodo più intenso del riformismo estense nel ducato di Modena: Moïsè Beniamino Foà (1730-1821). Il primo capitolo della tesi riguarda le cariche ufficiali che questi ricoprì al servizio delle istituzioni culturali promosse da Francesco III d’Este, le vicende che lo implicarono nelle maglie della censura e il suo impegno civile e politico a favore dei processi di emancipazione degli ebrei in età giacobina e napoleonica. Il secondo tenta di interpretare la genesi della sua fortuna economica attraverso l’esame del testamento e dell’inventario dell’asse ereditario: nel panorama di precarietà dei mestieri del libro dal secolo dei lumi ai primi decenni della Restaurazione, pare arduo individuare un libraio comparabile a Foà per solidità e capacità di investimento. All’analisi della clientela del mercante è dedicato il terzo capitolo, che si sviluppa seguendo il filo dei rapporti diplomatici intessuti da Francesco III con le corti italiane nell’orbita dell’influenza politica e culturale asburgica. Si descrivono, quindi, i viaggi europei e la rete dei contatti commerciali che garantirono la ricchezza dell’offerta rispecchiata dai numerosi cataloghi librari pubblicati nel corso di oltre un cinquantennio. Di questi si offre una descrizione bibliografica e quantitativa con un affondo sulla diffusione del libro scientifico. Con la fisionomia del mercante viaggiatore, Foà coniugava quella dell’erudito bibliofilo: la ricerca si conclude con la presentazione della sua biblioteca e dei suoi rapporti con i filologi dell’epoca.

Mangia, bevi, ama. Cibo e rituali alimentari del matrimonio nell'Occidente altomedievale

La ricerca pone al centro dell’indagine lo studio dell’importanza del cibo nelle cerimonie nuziali dell’Europa occidentale nei secoli V-XI. Il corpus di fonti utilizzate comprende testi di genere diverso: cronache, annali, agiografie, testi legislativi, a cui si è aggiunta un’approfondita analisi delle antiche saghe islandesi. Dopo un'introduzione dedicata in particolare alla questione della pubblicità della celebrazione, la ricerca si muove verso lo studio del matrimonio come “processo” sulla base della ritualità alimentare: i brindisi e i banchetti con cui si sigla l’accordo di fidanzamento e i ripetuti convivi allestiti per celebrare le nozze. Si pone attenzione anche ad alcuni aspetti trasversali, come lo studio del caso della “letteratura del fidanzamento bevuto”, ossia una tradizione di testi letterari in cui il fidanzamento tra i protagonisti viene sempre ratificato con un brindisi; a questo si aggiunge un’analisi di stampo antropologico della "cultura dell’eccesso", tipica dei rituali alimentari nuziali nel Medioevo, in contrasto con la contemporanea "cultura del risparmio". L'analisi si concentra anche sulle reiterate proibizioni al clero, da parte della Chiesa, di partecipare a banchetti e feste nuziali, tratto comune di tutta l’epoca altomedievale. Infine, la parte conclusiva della ricerca è incentrata sulla ricezione altomedievale di due figure bibliche che pongono al centro della narrazione un banchetto nuziale: la parabola delle nozze e il banchetto di Cana. L’insistente presenza di questi due brani nelle parole dei commentatori biblici mostra la straordinaria efficacia del “linguaggio alimentare”, ossia di un codice linguistico basato sul cibo (e su contesti quali l’agricoltura, la pesca, ecc.) come strumento di comunicazione sociale di massa con una valenza antropologica essenzialmente universale.

Performance evaluation of improved output scheduling in 3lihon nodes

Le reti ottiche, grazie alla loro elevata capacità, hanno acquisito sempre maggiore importanza negli ultimi anni, sia per via del crescente volume di dati scambiati, legato soprattutto alla larga diffusione di Internet, sia per la necessità di comunicazioni in tempo reale. Dati i (relativamente) lunghi tempi di adattamento, questa tecnologia nativamente non è quella ottimale per il trasporto di un traffico a burst, tipico delle telecomunicazioni odierne. Le reti ibride cercano, quindi, di coniugare al meglio le potenzialità della commutazione ottica di circuito e della commutazione ottica a pacchetto. In questo lavoro, in particolare, ci si è concentrati su un'architettura di rete ibrida denominata 3LIHON (3-Level Integrated Hybrid Optical Network). Essa prevede tre distinti livelli di qualità di servizio (QoS) per soddisfare differenti necessità: - Guaranteed Service Type (GST): simile ad un servizio a commutazione di circuito, non ammette perdita di dati. - Statistically Multiplexed Real Time (SM/RT): simile ad un servizio a commutazione di pacchetto, garantisce ritardo nullo o molto basso all'interno della rete, permette un piccolo tasso di perdita di dati e ammette la contesa della banda. - Statistically Multiplexed Best Effort (SM/BE): simile ad un servizio a commutazione di pacchetto, non garantisce alcun ritardo tra i nodi ed ammette un basso tasso di perdita dei dati. In un nodo 3LIHON, il traffico SM/BE impossibile da servire, a causa ad es. dell'interruzione da parte di pacchetti aventi un livello di QoS più prioritario, viene irrimediabilmente perso. Questo implica anche lo spreco del tempo e delle risorse impiegati per trasmettere un pacchetto SM/BE fino alla sua interruzione. Nel presente lavoro si è cercato di limitare, per quanto possibile, questo comportamento sconveniente, adottando e comparando tre strategie, che hanno portato alla modifica del nodo 3LIHON standard ed alla nascita di tre sue varianti.

Analisi clinica ed ex-vivo dei punti isometrici durante tecnica tightrope nella ricostruzione del legamento crociato craniale del cane

La rottura del Legamento Crociato Craniale (LCCr) rappresenta una delle patologie ortopediche di maggiore riscontro clinico nella specie canina. In seguito a rottura del LCCr si presenta un continuo slittamento craniale della tibia il quale esita in un processo osteoartrosico. La risoluzione chirurgica rappresenta la migliore soluzione terapeutica. Le tecniche chirurgiche extra-articolari con sfruttamento dei punti isometrici del ginocchio si presentano come delle procedure molto diffuse e utilizzate. Questa tesi propone di validare l’uso di un nuovo sistema di navigazione computerizzato-assistito per la valutazione cinematica durante la ricostruzione del LCCr nel cane, ma soprattutto di studiare e confrontare il comportamento e l’efficacia dopo ricostruzione TightRope (TR) in due diverse coppie di punti isometrici. Abbiamo effettuato due analisi in parallelo. La prima eseguendo interventi chirurgici con tecnica TR su 18 casi clinici e sfruttando il punto isometrico del femore (F2) e due diversi punti isometrici della tibia (T2 o T3). L’analisi prevedeva dei controlli postoperatori a 1, 3 e 6 mesi. Ad ogni controllo veniva effettuata una visita ortopedica, esami radiografici, un questionario di valutazione clinico e di soddisfazione del proprietario. Mentre nella ricerca Ex-Vivo abbiamo eseguito dei test su 14 preparati anatomici con l’utilizzo di un sistema di navigazione computerizzato per la rilevazione dei dati. L’analisi prevedeva la valutazione dell’articolazione in diversi stadi: LCCr intatto; LCCr rotto; dopo ricostruzione con TR in F2-T2 e tensionato a 22N, 44N e 99N; dopo ricostruzione con TR in F2-T3 e tensionato a 22N, 44N e 99N. Ad ogni stadio si eseguivano cinque test di valutazione, tra cui: Test del Cassetto, Test di compressione tibiale (TCT), Rotazione Interna/Esterna, Flesso/Estensione e Varo/Valgo. Lo scopo di tale studio è quello di confrontare tra loro i punti isometrici del ginocchio e di analizzare l’efficacia della tecnica TR nelle due differenti condizioni di isometria (F2-T2 e F2-T3).

Monismo e dualismo nei rapporti tra Cedu e ordinamento costituzionale interno. Fonti e processi interpretativi

La tesi analizza i rapporti tra l’ordinamento italiano e la Cedu, in particolare la collocazione della Cedu all’interno del sistema delle fonti alla luce della modifica dell’art. 117, comma 1 Cost. Si tratta di un tema molto dibattuto in dottrina, specialmente a seguito dell’entrata in vigore del Trattato di Lisbona. Questa tematica risulta strettamente connessa al profilo dell’interazione tra la Corte di Strasburgo e la Corte costituzionale e i giudici ordinari. L’analisi del profilo statico concernente lo status della Cedu nel sistema italiano deve quindi essere accompagnata dall’esame del profilo dinamico, relativo al ruolo della giurisprudenza della Corte di Strasburgo nell’esperienza dell’ordinamento nazionale. Entrambi i profili di indagine sono esaminati alla luce delle indicazioni provenienti dalla giurisprudenza della Corte costituzionale, della Corte di Cassazione e della Corte di Strasburgo. Prima di essere esaminate singolarmente, queste tematiche richiedono la preliminare ricognizione dei termini della dicotomia tra i due modelli concettuali di riferimento in tema di rapporti interordinamentali: il monismo e il dualismo. Trasferite nel peculiare contesto del sistema Cedu, tali categorie dogmatiche si arricchiscono di ulteriori profili, che esorbitano dalla sistemazione del rapporto tra fonti. La tenuta dei due paradigmi concettuali, che sono nati ed operano nel contesto della teorica delle fonti, deve essere verificata anche rispetto all’attuale fenomeno della produzione europea di diritto giurisprudenziale ed alla capacità paradigmatica assunta dalla giurisprudenza di Strasburgo. Il diritto e le istituzioni giuridiche tendono ad assumere sempre più sembianze giurisdizionali, generando un’osmosi che porta a trasferire il focus dai rapporti interordinamentali ai rapporti tra giurisprudenze.

Tra pacifismo e ambientalismo: il Nuclear Freeze Movement e la risposta dell'amministrazione Reagan

Negli anni Ottanta si assiste tanto nel vecchio quanto nel nuovo continente alla rinascita del movimento antinucleare. Mentre in Europa l’origine di questa ondata di proteste antinucleari è collegata alla “doppia decisione” NATO del 1979, negli Stati Uniti la genesi si colloca nel contesto dalla mobilitazione dei gruppi ambientalisti in seguito all’incidente alla centrale nucleare di Three Mile Island. Dopo l’elezione di Ronald Reagan, alle proteste contro le applicazioni pacifiche dell’atomo si affiancarono quelle contro la politica nucleare del Paese. La retorica di Reagan, il massiccio piano di riarmo, unitamente al rinnovato deteriorarsi delle relazioni tra USA e URSS contribuirono a diffondere nell’opinione pubblica la sensazione che l’amministrazione Reagan, almeno da un punto di vista teorico, non avesse escluso dalle sue opzioni il ricorso alle armi nucleari nel caso di un confronto con l’URSS. I timori legati a questa percezione produssero una nuova ondata di proteste che assunsero dimensioni di massa grazie alla mobilitazione provocata dalla Nuclear Weapons Freeze Campaign (NWFC). Il target della NWFC era l’ampio programma di riarmo nucleare sostenuto da Reagan, che secondo gli attivisti nucleari, in un quadro di crescenti tensioni internazionali, avrebbe fatto aumentare le possibilità di uno scontro atomico. Per evitare lo scenario dell’olocausto nucleare, la NWFC proponeva «un congelamento bilaterale e verificabile del collaudo, dell’installazione e della produzione di armi nucleari». L’idea del nuclear freeze, che era concepito come un passo per fermare la spirale del riarmo e tentare successivamente di negoziare riduzioni negli arsenali delle due superpotenze, riscosse un tale consenso nell’opinione pubblica americana da indurre l’amministrazione Reagan a formulare una risposta specifica. Durante la primavera del 1982 fu, infatti, creato un gruppo interdipartimentale ad hoc, l’Arms Control Information Policy Group, con il compito di arginare l’influenza della NWFC sull’opinione pubblica americana e formulare una risposta coerente alle critiche del movimento antinucleare.

Investigation of dangling bonds in al2o3 passivated si surface using electron paramagnetic resonance (epr)

Nel presente lavoro di tesi magistrale sono stati depositati e caratterizzati sottili film di ossido di alluminio, Al2O3, (di spessore compreso tra 3-30 nm) su un substrato di FZ-Si drogato p. La deposizione è avvenuta mediante plasma ALD (Atomic Layer Depostion). La tecnica spettroscopica EPR (Electron Paramagnetic Resonance) è stata utilizzata per studiare l’interfaccia Si/Al2O3 con lo scopo di scoprire l’origine della formazione di densità di carica negativa Qf all’interfaccia: tale carica negativa induce una passivazione per effetto di campo ed è quindi la ragione per cui il dielettrico Al2O3 risulta essere un ottimo materiale passivante. Si è deciso di variare alcuni parametri, come lo spessore dello strato di Al2O3, lo spessore dello strato intermedio di ossido di silicio, depositato mediante ossidazione termica (dry thermal oxidation), e la superficie del substrato di silicio. Sono stati realizzati cinque differenti gruppi di campioni: per ciascuno di essi sono state impiegate varie tecniche di caratterizzazione, come la QSSPC (Quasi Steady State Photoconuctance) e la tecnica di spettroscopia ottica SE (spettroscopic ellipsometry). Per ogni gruppo sono stati riportati gli spettri EPR ottenuti ed i rispettivi fit, da cui è stato possibile risalire ai fattori giromagnetici di spin g, riportati in tabelle con le loro possibili attribuzioni. E’ stato dimostrato che la presenza di uno strato di ossido di silicio tra il substrato di silicio e lo strato di ossido di alluminio risulta essere fondamentale per la formazione di densità di carica negativa all’interfaccia: aumentando lo spessore dello strato di SiOx (nel range 1-30 nm) si assiste ad una diminuzione di carica negativa Qf. Analizzando gli spettri EPR, è stato possibile concludere che all’interfaccia Si/Al2O3 sono presenti difetti caratteristici dell’interfaccia Si/SiOx. Le nostre osservazioni, dunque, sono coerenti con la formazione di uno strato di ossido di silicio tra Si e Al2O3.

Un'applicazione Android basata su cloud Google per la gestione dei contatti

La tesi è incentrata sulla creazione di una mobile app partendo da una web application creata precedentemente e in uso. Tramite alcuni strumenti offerti dal cloud Google è possibile creare velocemente un ambiente di collegamento fra la programmazione Android e la programmazione App Engine

Studio dei movimenti verticali del suolo in Europa occidentale da dati gps

La tecnica di posizionamento GPS costituisce oggi un importante strumento per lo studio di diversi processi tettonici e geodinamici a diverse scale spaziali. E’ possibile infatti usare dati GPS per studiare sia i movimenti delle placche tettoniche a scala globale, sia i lenti movimenti relativi attraverso singole faglie. I campi di applicazione del GPS sono aumentati considerevolmente negli ultimi anni grazie all’incremento del numero di stazioni distribuite sulla Terra e al perfezionamento delle procedure di misura ed elaborazione dati. Tuttavia mentre le velocità di spostamento orizzontali sono da tempo largamente studiate, quelle verticali non lo sono altrettanto perché richiedono il raggiungimento di precisioni sub millimetriche e risultano inoltre affette da numerose fonti di errore. Lo scopo di questo lavoro è quello di ricavare i tassi di deformazione verticale della litosfera in Europa Occidentale a partire dalle misure di fase GPS, passando per l’analisi delle serie temporali, e di correggere tali velocità per il contributo dell’aggiustamento glacio-isostatico (Glacial Isostatic Adjustment, GIA), modellato utilizzando il software SELEN (SEa Level EquatioN solver). Quello che si ottiene è un campo di velocità depurato dal contributo del GIA e rappresentante una stima dei tassi di deformazione verticale relativi all’area in esame associati a processi deformativi diversi dal GIA.