Denoising di immagini mediante tecniche basate sulla Total Variation.

Il lavoro svolto in questa tesi è legato allo studio ed alla formulazione di metodi computazionali volti all’eliminazione del noise (rumore) presente nelle immagini, cioè il processo di “denoising” che è quello di ricostruire un’immagine corrotta da rumore avendo a disposizione una conoscenza a priori del fenomeno di degrado. Il problema del denoising è formulato come un problema di minimo di un funzionale dato dalla somma di una funzione che rappresenta l’adattamento dei dati e la Variazione Totale. I metodi di denoising di immagini saranno affrontati attraverso tecniche basate sullo split Bregman e la Total Variation (TV) pesata che è un problema mal condizionato, cioè un problema sensibile a piccole perturbazioni sui dati. Queste tecniche permettono di ottimizzare dal punto di vista della visualizzazione le immagini in esame.

La traduzione dei racconti di Pat Mora: muoversi tra due lingue e due culture

This dissertation deals with the translations of seven books for children written by the Chicano author Pat Mora. I started to be interested in the Chicano world, a world suspended between Mexico and the United States, after reading a book by Sandra Cisneros. I decided to deepen my curiosity and for this reason, I discovered a hybrid reality full of history, culture and traditions. In this context, the language used is characterized by a continuous code switching between Spanish and English and I thought it was an interesting phenomenon from the literary and translation point of view. During my research in the Chicano culture, I ran across Pat Mora. Her books for children fascinated me because of their actual themes (the cultural diversity and the defense of identity) and their beautiful illustrations. For this reason, I chose to translate seven of her books because I believe they could be an enrichment for children literature in Italy. The work consists of five chapters. The first one deals with the identity of Chicano people, their history, their literature and their language. In the second chapter, I outline Pat Mora’s profile. I talk about her biography and I analyze her most famous works. In the third chapter, I introduce the seven books for children to be translated and I point out their plots and main themes. In the fourth chapter, I present the translation of the books. The fifth chapter is the translation comment. I deal with the linguistic analysis of the source texts and the analysis of the target texts focusing on the choices made during the translation process.

Una app ibrida per l'apprendimento incidentale delle lingue straniere.

La tesi è strutturata in tre macro capitoli: • e-learning: questo capitolo tratta i tre principi su cui è basato questo progetto quali e-learning, m-learning ed incidental learning descrivendo l’evoluzione di questi tre concetti e analizzando ognuno di essi nel dettaglio partendo dal principio, l’e-learning. Verranno poi presentati dei progetti inerenti a queste tipologie di apprendimento per fare in modo di dare un’idea più chiara di questi concetti. • Specifiche di progetto: in questo secondo capitolo vengono descritte, ad alto livello, le tecnologie utilizzate per lo sviluppo di questo progetto, descrivendo, per ognuna, le caratteristiche e le applicazioni che essa ha avuto all’interno del progetto. • Implementazione: nel terzo e ultimo capitolo verranno descritte, e motivate, le scelte implementative adottate per sviluppare l’applicazione iLocalApp e verranno mostrati scorci di codice per rendere più chiaro l’utilizzo delle varie API e tecnologie all’interno del progetto.

Dalla storia al testo: L'intervista narrativa tra letteratura e ricerca

Che cosa fa di una storia una buona storia? Che cosa significa ascoltare? Perché ci piace raccontare storie altrui? In che cosa consiste l’editing e fino a che punto è invasivo? Che cosa succede fra chi racconta e chi ascolta? La risposta a queste domande è nascosta in ogni intervista. Le storie raccolte in questa tesi si offrono a molte possibili letture da parte di critici letterari, sociologi, filosofi. È necessario però anche ascoltare, registrare, annotare le parole di qualcuno che regala la sua storia; perciò la tesi è un intreccio di ricerca teorica ed empirica. Si interrogano psicologi per scoprire che cosa succede fra chi racconta e chi ascolta; giornalisti per imparare in che cosa consiste l’editing; critici letterari per capire perché ci piace raccontare storie altrui; filosofi per mostrare che cosa significa ascoltare; scrittori per definire che cosa faccia di una storia una buona storia. Alle persone incontrate viene chiesto soltanto di ricordarsi, raccontarsi e affidarsi a quella duplice ricerca del senso anche chiamata intervista. L'intervista che fa da protagonista a questa tesi, "Polvere, pane e burro", è stata pubblicata sul numero 225 della rivista Una Città. I punti di riferimento sono infatti, da una parte, la redazione di Una Città -con cui ho collaborato per tre anni- e lo scrittore italiano Aldo Nove, autore di "Mi chiamo Roberta, ho 40 anni, guadagno 250 euro al mese". Un'intervista ad Aldo Nove è presente in appendice.

Webapp per l'apprendimento della matematica attraverso cruciverba numerico

Nell'ambito di questa tesi è stato sviluppato un gioco per l'apprendimento della matematica rivolto ai ragazzi delle scuole medie. In particolare, è stato realizzato un cruciverba numerico sotto forma di WebApp, ovvero utilizzando tecnologie web.

Modelli compartimentali per l'analisi di segnali ottenuti tramite DCE MRI per studi di perfusione epatica

Il presente lavoro di tesi si inserisce all'interno di uno studio dal titolo: "Strategia di posizionamento multi-step come approccio pragmatico per ridurre il rischio di encefalopatia epatica post-TIPS (shunt trans-giugulare porto-sistemico intraepatico) in pazienti cirrotici con ascite refrattaria". Il progetto di tesi si è concentrato sull'analisi dei segnali ottenuti tramite DCE MRI, con lo scopo di implementare in ambiente MatLab due modelli differenti (Dual input - Mono compartment e Dual input - Dual compartment) che descrivono la cinetica del tracciante all'interno del sistema vascolare epatico e valutare l'efficacia dei parametri di perfusione associati nella descrizione delle variazioni in termini di microcircolazione introdotte dall'inserimento del TIPS. Inizialmente si sono voluti valutare, tramite simulazione, gli effetti in termini di amplificazione del rumore e stima dei parametri perfusionali dell'approssimazione lineare nella conversione da intensità di segnale MR a concentrazione di mezzo di contrasto. Successivamente, sempre attraverso simulazioni, per entrambi i modelli considerati è stato scelto uno schema di model-fitting e quindi testata l'affidabilità in termini di accuratezza e precisione delle stime dei parametri ottenute in funzione del livello di rumore associato alle curve di intensità di segnale. Parallelamente all'implementazione dei modelli per la stima di parametri di perfusione, sono stati realizzati dei phantom con l'obiettivo di simulare il parenchima epatico prima e dopo l'arrivo del mezzo di contrasto e poter testare la sequenza utilizzata durante l'acquisizione dei dati su paziente. Infine sono stati considerati gli esami di DCE MRI effettuati su un campione di nove pazienti pre e post-TIPS, utilizzando per l'analisi dei segnali entrambi i modelli implementati in fase di simulazione e successivamente valutando le variazioni nel valori associati ai parametri di perfusione introdotte dall'inserimento del TIPS.

Ricostruzione delle sorgenti corticali da segnali EEG in task di discriminazione visiva: Effetto di training multisensoriale

I neuroni in alcune regioni del nostro cervello mostrano una risposta a stimoli multisensoriali (ad es. audio-visivi) temporalmente e spazialmente coincidenti maggiore della risposta agli stessi stimoli presi singolarmente (integrazione multisensoriale). Questa abilità può essere sfruttata per compensare deficit unisensoriali, attraverso training multisensoriali che promuovano il rafforzamento sinaptico all’interno di circuiti comprendenti le regioni multisensoriali stimolate. Obiettivo della presente tesi è stato quello di studiare quali strutture e circuiti possono essere stimolate e rinforzate da un training multisensoriale audio-visivo. A tale scopo, sono stati analizzati segnali elettroencefalografici (EEG) registrati durante due diversi task di discriminazione visiva (discriminazione della direzione di movimento e discriminazione di orientazione di una griglia) eseguiti prima e dopo un training audio-visivo con stimoli temporalmente e spazialmente coincidenti, per i soggetti sperimentali, o spazialmente disparati, per i soggetti di controllo. Dai segnali EEG di ogni soggetto è stato ricavato il potenziale evento correlato (ERP) sullo scalpo, di cui si è analizzata la componente N100 (picco in 140÷180 ms post stimolo) verificandone variazioni pre/post training mediante test statistici. Inoltre, è stata ricostruita l’attivazione delle sorgenti corticali in 6239 voxel (suddivisi tra le 84 ROI coincidenti con le Aree di Brodmann) con l’ausilio del software sLORETA. Differenti attivazioni delle ROI pre/post training in 140÷180 ms sono state evidenziate mediante test statistici. I risultati suggeriscono che il training multisensoriale abbia rinforzato i collegamenti sinaptici tra il Collicolo Superiore e il Lobulo Parietale Inferiore (nell’area Area di Brodmann 7), una regione con funzioni visuo-motorie e di attenzione spaziale.

Realizzazione di un simulatore biomeccanico del sistema ventricolo-aorta e studio della contropulsazione passiva

La sinergia tra diverse aree scientifiche svolge oggi un ruolo preminente nella risoluzione di problematiche molto complesse: in ambito medico, un massiccio intervento delle scienze fisico-matematiche ha portato, grazie alla ricerca sulle proprietà subatomiche (NMR), sulla funzione elettromeccanica tissutale (pace-makers) e sulla biocompatibilità di materiali innovativi, ad un completo rinnovamento e miglioramento delle terapie tradizionali, delineando nuove strategie terapeutiche. In questo quadro di attiva collaborazione si colloca la ricerca in ambito biomeccanico cardiovascolare che, approfondendo la funzionalità del cuore e dei vasi in condizioni normali e patologiche, propone soluzioni terapeutiche alternative all'approccio farmacologico, impensabili fino a pochi anni fa. Uno di questi ambiti è l'insufficienza cardiaca: al ventricolo incapace di produrre l'energia necessaria alla perfusione ematica viene associato un sistema di pulsazione meccanica che riduce il carico durante l'eiezione ed aumenta la perfusione coronarica in diastole. Tuttavia, benché l'efficacia della contropulsazione intra-aortica sia riconosciuta da decenni, alcune problematiche rimangono irrisolte: l'inapplicabilità su pazienti aritmici, l'eccessiva sollecitazione meccanica in pazienti vasculopatici, la complessità e l'alto costo dell'apparecchiatura. Questo lavoro affronta la validazione e la caratterizzazione di una soluzione terapeutica alternativa, di tipo completamente passivo, il cui effetto non è basato sulla somministrazione di energia meccanica dall'esterno, attraverso la pulsazione, ma sull'adattamento di impedenza biomeccanica tra la sorgente elastica pulsatile (il ventricolo) ed il carico (l'aorta). Per verificare l'ipotesi funzionale è stato realizzato un sistema contrattile che simulasse diversi livelli di insufficienza ventricolare ed un sistema vascolare con resistenza idraulica ed elastanza variabili. Sono stati rilevati i parametri fisiologici (pressioni, flusso, potenza ed efficienza) nelle diverse condizioni di accoppiamento biomeccanico e si sono ripetuti i rilievi inserendo il dispositivo di contropulsazione passiva. La validazione sperimentale ha prodotto risultati coerenti con quanto atteso ed è stata indispensabile per l'ottenimento, da parte del Comitato Etico, dell'autorizzazione per la sperimentazione clinica del sistema in oggetto.

Studio di cavità Fabry-Perot per laser ultrastabili

Lo scopo di questo lavoro di tesi è stato quello di studiare il comportamento di un fascio laser interagente con un risonatore ottico, grazie al quale il laser può essere stabilizzato agganciando la sua frequenza di missione ad uno dei modi della cavità. In sintesi la lunghezza d’onda del fascio è vincolata ad assumere valori multipli della lunghezza della cavità, dato che in questo modo si possono decisamente migliorare le caratteristiche spettrali di un laser tipico. La stabilizzazione, e il restringimento di riga del laser, vengono effettuati agganciando la sua frequenza sul modo trasverso fondamentale tramite un sistema di feedback. La cavità è però soggetta a sua volta a fluttuazioni di tipo termico e meccanico. Una variazione in lunghezza del risonatore comporta una variazione in frequenza dei modi. Le derive di frequenza dovute agli effetti termici si possono limitare utilizzando materiali con bassa dilatazione termica posti in ambienti la cui temperatura viene stabilizzata tramite un sistema di feedback. Per le vibrazioni, invece, il lavoro è più complicato: non essendo sufficiente mettere il sistema in ambienti isolati per attenuare le fluttuazioni, è stato recentemente proposto di studiare la posizione migliore dei sostegni affinché le fluttuazioni, e quindi le conseguenti variazioni in lunghezza della cavità, risultino minime. Per analizzare questo problema è stato utilizzato un software open-source per l’analisi agli elementi finiti, Salome-Meca, tramite il quale è stata riprodotta la geometria del un risonatore ottico a nostra disposizione, per simularne il comportamento sotto l’effetto del campo gravitazionale. Da qui si sono ottenuti i dati riguardo lo spostamento degli specchi della cavità in funzione della posizione del sostegno, dai quali si è riuscito a trovare il punto di posizionamento del supporto capace di ridurre lo spostamento di un ordine di grandezza.

Valutazione della vulnerabilità costiera nell'area ravennate: il caso di Marina di Ravenna e foce Bevano

La tesi tratta di un concetto che negli ultimi anni sta diventando sempre più importante e per questo, deve essere studiato e analizzato: la vulnerabilità costiera. In generale per vulnerabilità si intende il carattere di chi o di ciò che è vulnerabile, ossia la sua predisposizione ad essere colpito, attaccato o danneggiato. Viene anche definita come l’attitudine di un dato elemento o contesto territoriale a supportare gli effetti di un evento dannoso in funzione dell’intensità dell’evento stesso. Questa nozione, in particolare, verrà applicata all’ambito costiero; pertanto si parlerà di vulnerabilità costiera dell’area ravennate. La vulnerabilità costiera è definita come il grado a cui un sistema costiero è suscettibile agli effetti negativi del cambiamento climatico, inclusi la variabilità climatica e gli eventi estremi. Negli ultimi decenni si è giunti alla conclusione che le manifestazioni meteo-marine di estrema entità hanno avuto la tendenza a svilupparsi con maggiore intensità e frequenza (es.: mareggiate). Questo è il motivo per cui la trattazione verterà su tale argomento, al fine di presentare, chiarire e rendere più esplicita questa tematica, sempre maggiormente presente nella realtà di tutti i giorni. Nei due siti di interesse: Marina di Ravenna e foce Bevano, sono stati effettuati due transetti, da cui sono stati estratti i relativi profili topografici, sui quali è stato calcolato il Dune Safety Factor, considerando i diversi valori di sopraelevazione marina totale.

Approccio dichiarativo alla generazione automatica del layout per testo a fronte su piattaforma web

Il contributo di questo lavoro è stata la realizzazione di un motore di layout specializzato per il testo a fronte basato su paradigma dichiarativo chiamato Sider, che permette all'utente di generare automaticamente layout a fronte anche complessi specificando direttamente le regole da utilizzare per l'allineamento, riducendo drasticamente i problemi legati agli approcci tradizionali. La scelta di seguire un approccio dichiarativo, è stata dettata dal fatto che è il paradigma che permette di ottenere il miglior compromesso tra automatizzazione del layout e interazione utente poiché per natura stessa del testo a fronte l'intervento umano non è totalmente eliminabile.

Studio di un algoritmo di controllo di temperatura per ganasce termosigillanti in macchine per packaging

Gli obiettivi dell'elaborato sono lo studio e la programmazione di un algoritmo di controllo di temperatura per le superfici termosaldanti di macchine per il packaging (confezionatrici in film a file multiple) prodotte dal committente, OMAG srl. L'algoritmo è implementato tramite il software SoMachineMotion v.4.2, prodotto da Schneider Electrics spa. Il controllo è di tipo in anello chiuso in retroazione, con temocoppie e resistenze di riscaldamento con modulazione PWM. Ci si è inizialmente occupati di testare su banco prova varie tipologie di regolatori: a relay, a isteresi, a ricerca diretta del duty cycle, TBH, con approccio misto TBH/integratore di Clegg, PID. I diversi metodi di regolazione sono stati valutati sulla base di una serie di metri di giudizio (precisione dell'inseguimento, prestazioni statiche e dinamiche, flessibilità, peso computazionale, facilità implementativa), pesati secondo i requisiti imposti dal committente. Le metodologie selezionate sono state PID e TBH/Clegg integrator; quest'ultima ha dato risultati assai soddisfacenti, pur essendo un metodo monoparametrico. Si sono quindi studiate diverse modalità per la taratura del regolatore PID, in particolare: tuning in anello chiuso con metodo a relay per la fase di pretuning, algoritmo di Nelder-Mead, per la ricerca diretta continua dei valori che minimizzano l'errore integrale, per un selftuning adattivo. Si è infine proceduto ad implementare le soluzioni individuate in un software robusto, che rispetti gli standard del settore e si sono inoltre sviluppate una serie di funzionalità aggiuntive, quali: modulazione software PWM, preriscaldamento, handling errori/warning, filtraggio segnali in/out. Si è addizionalmente sviluppato un modello matematico predittivo dell'evoluzione del sistema, che potrebbe servire, in un futuro sviluppo, come base per un controllo model-based in cascata al controllo in retroazione studiato.

Il teorema di Borsuk-Ulam

Il teorema di Borsuk-Ulam asserisce che, data una funzione continua f da S^n in R^n, esiste una coppia di punti antipodali sulla sfera che vengono mandati da f nello stesso punto. In questa tesi si vede l'equivalenza di sei diverse formulazioni del teorema e se ne dà una dimostrazione nel caso 2-dimensionale, utilizzando spazi di orbite, gruppo fondamentale e rivestimenti. Si studiano alcune sue dirette conseguenze come generalizzazioni di risultati preliminari sulla suddivisione di regioni piane, dandone anche un’interpretazione fisica e si vede come tutto questo si applica al “Ham Sandwich Theorem” in R^3.

Serie di Fejer e teorema di Weierstrass

Nella mia tesi ho deciso di affrontare il Teorema di Weierstrass utilizzando la serie di Fejer. Il teorema di Weierstrass afferma che ogni funzione continua definita su di un intervallo chiuso e limitato [a , b] può essere approssimata da una funzione polinomiale.

p-gruppi di ordine "piccolo"

La tesi si basa sulla descrizione dei p-gruppi di ordine finito, definiti p-gruppi, cioè quei gruppi che hanno come cardinalità una potenza di un numero primo. Vengono enunciati i teoremi di Sylow e le sue conseguenze. Infine si discute il teorema fondamentale sui gruppi abeliani finiti e la funzione di Eulero.