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.

Connessioni territoriali e nuove topografie: Un centro di interpretazione della cultura muisca a bogota.

Attualmente Usme, caratterizzata come visto da un territorio principalmente a bassa densità, è ancora fortemente relazionata con la campagna perché costituita dall’insieme di aree agricole, o di quelli che una volta erano spazi coltivati più prossimi alla città compatta. Questo tipo di paesaggio rurale che caratterizza Usme è caratterizzato come già visto da un tessuto sfrangiato e discretizzato e rappresenta la porzione di territorio dove la città esercita l’impatto ambientale più intenso dovuto sia alla sua immediata vicinanza al contesto urbano che al carattere di scarsa identità che sembra esprimere. Qualunque intervento architettonico in un territorio di margine come quello di Usme dovrebbe confrontarsi con un sistema di relazioni a grande scala, che si rapporti con la geografia stessa del luoghi e con un orientamento e una misurazione visiva e fisica del territorio stesso. Allo stesso modo è necessario che il progetto comprenda anche il suolo stesso delle grande aree attualmente lasciate libere, ovvero che il progetto architettonico si integri con il progetto paesaggistico creando in questo modo nuove relazioni e nuove geometrie nell’assetto territoriale. In questo senso il progetto può dialogare con il territorio e mettere in relazione differenti situazioni morfologiche, sfruttandone le potenzialità. L’obiettivo è quindi quello di non costruire semplici volumi appoggiati sulla terra ma quello di modificare la terra stessa, entrando in relazione con essa in modo profondo. Il progetto così inteso è concepito, e prima ancora letto, secondo strati, i quali possono contaminarsi o possono semplicemente sovrapporsi. L’area di progetto, come già detto, è essenzialmente all’interno di un vuoto presente tra le due parti di città. Il nuovo edificio si conforma come un segno netto nel territorio, un viadotto, un tronco d’albero caduto che protegge il parco dalla città, un elemento primordiale che da una parte si incunea nel terreno e dall’altra si affaccia sulla valle. Vuole essere il segno di un naturale artificio, proponendosi al tempo stesso come simbolo e funzione. Il museo emerge dalla terra, ma sembra anche immergersi in essa. L’architettura del museo crea un nuovo paesaggio morfologicamente radicato al suolo, attraverso uno spazio parzialmente ipogeo che integra il museo all’interno della montagna attraverso la copertura continua con la topografia esistente, sottolineando il profilo della collina.

Html 5 - evoluzione del linguaggio

Analisi sulle principali novità di utilizzo del nuovo linguaggio Html5

Origini dell'ucronia. La letteratura contro la storia

L’ucronia (Alternate History) è un fenomeno letterario ormai popolare e molto studiato, ma non lo sono altrettanto lo sue origini e i suoi rapporti con la storia “fatta con i se” (Counterfactual History), che risale a Erodoto e a Tito Livio. Solo nell’Ottocento alcuni autori, per vie largamente autonome, fecero della storia alternativa un genere di fiction: Louis Geoffroy con Napoléon apocryphe (1836), storia «della conquista del mondo e della monarchia universale», e Charles Renouvier con Uchronie. L’utopie dans l’histoire (1876), storia «della civiltà europea quale avrebbe potuto essere» se il cristianesimo fosse stato fermato nel II secolo. Questi testi intrattengono relazioni complesse con la letteratura dell’epoca di genere sia realistico, sia fantastico, ma altresì con fenomeni di altra natura: la storiografia, nelle sue forme e nel suo statuto epistemico, e ancor più il senso del possibile - o la filosofia della storia - derivato dall’esperienza della rivoluzione e dal confronto con le teorie utopistiche e di riforma sociale. Altri testi, prodotti in Inghilterra e negli Stati Uniti nello stesso periodo, esplorano le possibilità narrative e speculative del genere: tra questi P.s’ Correspondence di Nathaniel Hawthorne (1845), The Battle of Dorking di George Chesney (1871) e Hands Off di Edward Hale (1881); fino a una raccolta del 1931, If It Had Happened Otherwise, che anticipò molte forme e temi delle ucronie successive. Queste opere sono esaminate sia nel contesto storico e letterario in cui furono prodotte, sia con gli strumenti dell’analisi testuale. Una particolare attenzione è dedicata alle strategie di lettura prescritte dai testi, che subordinano i significati al confronto mentale tra gli eventi narrati e la serie dei fatti autentici. Le teorie sui counterfactuals prodotte in altri campi disciplinari, come la storia e la psicologia, arricchiscono la comprensione dei testi e dei loro rapporti con fenomeni extra-letterari.

Musitique: Informatica ed evoluzione del linguaggio musicale

La mia tesi tratta il cammino storico dell'evoluzione della musica e in che modo l'informatica ha contribuito all'evoluzione e al cambiamento della musica.

Studio comparato sull'uso dell'accusativo preposizionale in spagnolo, italiano e dialetto di Montemesola

In questa tesi parlo del fenomeno del complemento oggetto preposizionale. Nel primo capitolo definirò e descriverò il fenomeno grazie alle posizioni assunte da molti grammatici e linguisti nei loro studi; riporterò le varie ipotesi sorte nel campo della linguistica circa l’origine del fenomeno e come si giunge all’uso della preposizione “a” per tale marcatura; evidenzierò, infine, i vari approcci da parte dei linguisti di fronte al fenomeno in spagnolo, italiano e nelle sue varianti in diatopia. Nel secondo capitolo, focalizzerò l’attenzione sull’aspetto normativo esposto nelle grammatiche riguardo un uso corretto della marca riportando le casistiche d’uso in spagnolo, in italiano, e descrivendo come e dove alcuni linguisti rintracciano il fenomeno tra le varianti dialettali e di italiano regionale. Nel terzo e ultimo capitolo, riporto i dati di una indagine condotta tra parlanti di due fasce d’età distinte (studenti e over 30) a Granada, per quanto concerne lo spagnolo, e Montemesola (piccolo paese della provincia di Taranto), per una verifica dell’uso della marca preposizionale in italiano e dialetto. Cercherò di evidenziare: quanto e in che modo i parlanti siano consapevoli delle loro scelte linguistiche analizzando, non solo statisticamente la frequenza d’uso della “a”, confrontandola tra le fasce d’età, ma considerando anche, di volta in volta, le motivazioni date dai parlanti nell’effettuare le loro scelte. La grammatica non è il perno centrale delle considerazioni del parlante nel momento in cui sceglie dei ricorsi linguistici piuttosto che altri, ma esistono altri criteri nella scelta altrettanto rilevanti, quali fattori soprasegmentali, contesto linguistico ed extralinguistico, e conoscenza enciclopedica del mondo, che intervengono anche a giustificazione dell’assenza della preposizione, rendendola significativa.

Gestione del copyright nel tool autore AContent.

Con l’avvento di Internet, potentissimo strumento tecnologico di diffusione di informazioni e di comunicazione a distanza, anche le modalità di apprendimento sono cambiate: persino nelle scuole si tende a non utilizzare più i classici libri di testo, ma ad utilizzare dispositivi dai quali scaricare in formato elettronico, libri, dispense, test, video ed ogni altro genere di materiale di apprendimento, dando vita a un vero e proprio nuovo modo di apprendere chiamato E-learning, più veloce, comodo e ricco di alternative rispetto al vecchio modello offline che si presentava sottoforma di floppy inizialmente e poi di CD-ROM. E-learning significa, electronic based learning, ed è appunto una vera e propria metodologia di didattica che sfrutta e viene facilitata da risorse e servizi disponibili e accessibili virtualmente in rete. Al momento vi sono numerose piattaforme di E-learning, una delle quali è il nucleo di questa tesi, ovvero il tool autore AContent. Questo documento di tesi, infatti, raccoglie la descrizione della progettazione e della fase implementativa della gestione delle politiche di copyright per il tool AContent. L’obbiettivo è quello di rendere possibile l’assegnazione di un copyright a qualsiasi tipo di materiale didattico venga creato, caricato e/o condiviso sulla piattaforma in questione. Pertanto l’idea è stata quella di dare la possibilità di scegliere fra più copyright preimpostati, utilizzando degli standard di licenze riguardanti i diritti d’autore, lasciando anche l’opportunità di inserire la propria politica.

Il patrimonio culturale per la dinamizzazione dell'economia territoriale: Il riconoscimento dell'indicazione geografica "Vale do Paraiba Fluminense" ad un caffè con identità culturale

Le Indicazioni Geografiche (IG) giocano un ruolo importante nella crescita economica e nello sviluppo territoriale rurale quando una determinata qualità di prodotto, reputazione o altra caratteristica del prodotto siano attribuibili essenzialmente alla sua origine geografica. In questa ricerca si è verificato la possibilità di valorizzare la regione del Brasile denominata Vale do Paraiba Fluminense, soprannominata “Vale do Café” e di mettere in luce le potenzialità del caffè come prodotto di qualità, sostenibile sotto il profilo ambientale e sociale: un vero e proprio patrimonio culturale che può rivelarsi una valida risorsa economica per il territorio. Nella prima fase dell'indagine è stata realizzata la ricerca a tavolino e sul campo fondata sulle fonti bibliografiche; nella seconda fase è stata applicata la Metodologia Partecipativa della FAO per identificare il collegamento dell’area di origine e del prodotto locale ed il suo potenziale di sviluppo con le risorse locali attraverso questionari on line. Nell’analisi qualitativa sono stati intervistati rappresentanti delle differenti categorie di stakeholder per arricchire il quadro sul contesto storico della regione. Infine, nella parte quantitativa sono stati applicati dei questionari ai consumatori di caffè del territorio. A conclusione della ricerca il territorio potrebbe reintrodurre un caffè storico, simbolo della ricchezza e decadenza di quella regione come elemento di potenziale economico locale, sfruttando la parte immateriale delle aziende agricole storiche, rilocalizzando il prodotto nella memoria locale, riavvicinando la popolazione alla sua storia e principalmente sensibilizzandola del valore del nome geografico “Vale do Paraiba Fluminense” o “Vale do Café” relazionata alla storia della regione, e del prodotto caffè che si propone rilanciare a favore del territorio, rilocalizzando il nome geografico.

Parametri emato-biochimici e contaminanti ambientali in Tartarughe e Chirotteri

La biochimica clinica dei rettili e dei cheloni in particolare, non ha ottenuto al momento lo stesso livello di attenzione rivolto ai mammiferi. Con il presente lavoro viene proposta la valutazione dei più importanti parametri ematologici e biochimici in campioni di sangue di Testudo hermanni al fine di facilitare l'interpretazione dei dati di laboratorio e la diagnosi di eventuali patologie. A questo scopo, sono stati calcolati gli intervalli di riferimento di questi parametri in individui clinicamente sani e sono state analizzate le influenze di fattori ambientali e fisiologici. Sono state inoltre determinate le concentrazioni di alcuni importanti elementi chimici sia essenziali che non essenziali. Su campioni di chirottero del genere Tadarida teniotis sono state determinate le concentrazioni di PCB DL, PCB NDL, PCDD/F, PFAS e di elementi chimici essenziali e non, al fine di valutare: il possibile livello di contaminazione in relazione alla specie e all’habitat, la prevalenza e/o il rapporto delle classi di composti nel caso di una possibile contaminazione, la eventuale fonte di contaminazione. A quanto ci risulta, il nostro lavoro rappresenta il primo tentativo di analizzare su vasta scala le concentrazioni di questi inquinanti in una popolazione di pipistrelli residenti in un’area urbana. Tra i vari contaminanti esaminanti in questo studio, il Pb e le diossine possono costituire un serio problema per Tadarida teniotis.

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.

Esperimenti di stigmergia cognitiva con TuCSoN e Jason

Lo scopo della tesi è quello di sperimentare le varie possibili tecniche di coordinazione stigmergica cognitiva integrando il linguaggio ad agenti Jason con l'infrastruttura TuCSoN.

Add-on in blender per la deformazione di mesh poligonali

L’idea da cui nasce questa tesi è quella di introdurre in Blender un Add-on in linguaggio Python che permetta di applicare alcune deformazioni di tipo surface-based a mesh poligonali. Questa tipologia di deformazioni rappresentano l’alternativa alle deformazioni di mesh poligonali tramite rigging ( cioè l’aggiunta di uno scheletro per controllare e per animare la mesh) e caging (cioè l’utilizzo di una struttura di controllo di tipo reticolare che propaga la sua deformazione su un oggetto in essa immerso), che di solito sono le prescelte in computer animation e in modellazione. Entrambe le deformazioni indicate sono già estremamente radicate in Blender, prova ne è il fatto che esiste più di un modificatore che le implementa, già integrato in codice nativo. Si introduce inizialmente la tecnica di deformazione di mesh poligonali tramite elasticità discreta, che è stata realizzata, quindi, presenteremo diverse metodologie di deformazione. Illustreremo poi come modellare, creare ed editare delle mesh in Blender. Non ci soffermeremo su dettagli puramente dettati dall’interfaccia utente, cercheremo invece di addentrarci nei concetti e nelle strutture teoriche, allo scopo di avere le basi logiche per definire una Add-on che risulti veramente efficace e utile all’interno del sistema di modellazione. Approfondiremo la struttura di due modificatori chiave per la deformazioni di mesh : Lattice Modifier e Mesh Deform Modifier che implementano una metodologia di tipo space-based. Infine ci concentreremo sulla parte di scripting Python in Blender. Daremo un’idea delle strutture dati, dei metodi e delle funzioni da utilizzare per interagire con l’ambiente circostante, con i singoli oggetti ed in particolare con le Mesh e daremo un esempio di script Python. Andremo infine a descrivere l’implementazione della deformazione elastica mediante add-on Python in Blender.

Piattaforme di supporto per applicazioni mobili iOS in servizi e-Commerce basati su PrestaShop

Questa tesi è strutturata in due parti per un totale di quattro capitoli. La prima parte, formata dai primi due, analizza il sistema operativo iOS e il linguaggio di programmazione Objective-C. La seconda parte, formata dai restanti, è incentrata sullo sviluppo di un framework per iOS che permetta ad un'app di interagire con la piattaforma di commercio elettronico Prestashop. In particolare, verranno studiate l’architettura del framework ed i suoi elementi, ed infine analizzate le sue performance a tempo di esecuzione.

Valutazione della morfologia e della funzione della valvola tricuspide: il contributo dell'imaging tridimensionale

La tricuspide è la valvola meno studiata tra quelle cardiache e per questo motivo le conoscenze su questa sono in genere approssimative. Le poche conoscenze sulla valvola, inoltre, non garantiscono una elevata percentuale di successo di un intervento chirurgico. Fino a qualche anno fa i parametri utilizzati per studiare la valvola e determinare il grado di severità delle patologie che la colpiscono (insufficienza e stenosi) erano ricavati da immagini ecografie bidimensionali. Questi però molto spesso risultano inadeguati. Così i ricercatori, negli ultimi tempi, hanno elaborato metodi che utilizzano l’ecocardiografia tridimensionale anche per la valvola tricuspide (prima l’ecocardiografia in clinica era utilizzata per valutare le valvole della parte sinistra del cuore) e si sono potuti così rivalutare i parametri precedentemente ricavati con analisi bidimensionale. Tutto ciò ha avuto ricadute positive sulla terapia chirurgica che si è potuta avvalere di protesi valvolari più fisiologiche derivate dalle più precise conoscenze anatomiche e funzionali con ovvie conseguenze positive sul benessere dei pazienti trattati. Naturalmente questi sono solamente i primi passi che la ricerca ha compiuto in questo campo e si prospettano nuovi sviluppi soprattutto per quanto riguarda il software che dovrebbe essere implementato in modo tale che lo studio della valvola tricuspide diventi di routine anche nella pratica clinica. In particolare, lo studio della valvola tricuspide mediante eco 3D consentirebbe anche la valutazione pre- operatoria ed il planning paziente-specifico dell'intervento da effettuare. In particolare questo elaborato prevede nel capitolo 1 la trattazione dell’anatomia e della fisiologia della valvola, nel capitolo 2 la descrizione delle patologie che colpiscono la tricuspide, nel capitolo 3 i parametri che si possono ricavare con esami strumentali e in particolare con ecocardiografia bidimensionale e infine nel capitolo 4 lo studio della valvola tricuspide con ecocardiografia tridimensionale.

Raccontare, resistere. La denuncia tra novela negra e testimonio. Affinita' e differenze in tre scrittori ispanoamericani: Serna, Walsh e Bolaño.

La tesi è incentrata sui recenti sviluppi della narrativa testimoniale dell’America Latina. Verranno presi in considerazione gli ultimi contributi critici dedicati al rapporto tra finzione e realtà in letteratura, e sarà dato spazio alla costruzione narrativa della realtà e alla nascita del testimonio, come genere a sé, che raccoglie alcune delle principali opere latinoamericane degli ultimi quaranta anni. Nello specifico, l’indagine riguarderà la rappresentazione letteraria della violenza nella narrativa di denuncia di tre autori ispoanoamericani: la novela negra di Enrique Serna, il poliziesco testimoniale di Rodolfo Walsh e la scrittura estrema di Roberto Bolaño. Obiettivo della ricerca è capire in che modo i tre scrittori hanno raccontato le loro verità alternative, provando a salvaguardare la memoria, e quali effetti hanno ottenuto. Verranno analizzate non solo le tematiche affrontate, facendo riferimento quindi al contesto storico, politico e sociale al quale si rifanno, ma saranno illustrate anche le differenti tecniche di costruzione del romanzo, dell’intreccio e della trama, e verrà isolato il ruolo del testimone (diretto o indiretto) e delle fonti, per cogliere le differenze ma anche le similitudini stilistiche e narrative di ognuna delle opere. Più in generale, dimostreremo come e quanto i testi di questi autori costituiscano in realtà una forte critica al sistema imperante e diano voce alle categorie sociali altrimenti emarginate.