Schemi di soluzione numerica dell'equazione delle onde per l'individuazione di punti salienti in immagini

L’obiettivo di questa tesi è stato quello di migliorare l’efficacia e l’efficienza di una proposta allo stato dell’arte per l’individuazione di punti salienti in immagini digitali [1]. Questo algoritmo sfrutta le proprietà dell’equazione alle derivate parziali che modella l’evoluzione di un’onda. Per migliorarlo sono stati implementati alcuni schemi numerici di risoluzione dell’equazione delle onde bidimensionale e sono stati valutati rispetto allo schema già utilizzato. Sono stati implementati sia schemi impliciti sia schemi espliciti, tutti in due versioni: con interlacciamento con l’equazione del calore (diffusivi) e senza. Lo studio dei migliori schemi è stato approfondito e questi ultimi sono stati confrontati con successo con la versione precedentemente proposta dello schema esplicito INT 1/4 con diffusione [1]. In seguito è stata realizzata una versione computazionalmente più efficiente dei migliori schemi di risoluzione attraverso l’uso di una struttura piramidale ottenuta per sotto-campionamento dell’immagine. Questa versione riduce i tempi di calcolo con limitati cali di performance. Il tuning dei parametri caratteristici del detector è stato effettuato utilizzando un set di immagini varianti per scala, sfocamento (blur), punto di vista, compressione jpeg e variazione di luminosità noto come Oxford dataset. Sullo stesso sono stati ricavati risultati sperimentali che identificano la proposta presentata come il nuovo stato dell’arte. Per confrontare le performance di detection con altri detector allo stato dell’arte sono stati utilizzati tre ulteriori dataset che prendono il nome di Untextured dataset, Symbench dataset e Robot dataset. Questi ultimi contengono variazioni di illuminazione, momento di cattura, scala e punto di vista. I detector sviluppati risultano i migliori sull’Untextured dataset, raggiungono performance simili al miglior detector disponibile sul Symbench dataset e rappresentano il nuovo stato dell’arte sul Robot dataset.

Simulazione numerica di celle solari in silicio ad eterogiunzione ad un sole e in concentrazione

Il lavoro di tesi ha come obiettivo lo studio e lo sviluppo tramite simulazioni numeriche di due celle in silicio ad eterogiunzione, una con parametri forniti dal CNR (Comitato Nazionale delle Ricerche) ed un’altra di tipo HIT (Heterojunction with Intrinsic Thin-layer). Lo studio e lo sviluppo delle due celle sono stati effettuati mediante un flusso TCAD il quale permette una maggiore flessibilità e completezza nella descrizione dei modelli fisici ed elettrici.

Sperimentazione di metodologie innovative di indagine termografica in campo industriale

La termografia è un metodo d’indagine ampiamente utilizzato nei test diagnostici non distruttivi, in quanto risulta una tecnica d’indagine completamente non invasiva, ripetibile nel tempo e applicabile in diversi settori. Attraverso tale tecnica è possibile individuare difetti superficiali e sub–superficiali, o possibili anomalie, mediante la rappresentazione della distribuzione superficiale di temperatura dell’oggetto o dell’impianto indagato. Vengono presentati i risultati di una campagna sperimentale di rilevamenti termici, volta a stabilire i miglioramenti introdotti da tecniche innovative di acquisizione termografica, quali ad esempio la super-risoluzione, valutando un caso di studio di tipo industriale. Si è effettuato un confronto tra gli scatti registrati, per riuscire a individuare e apprezzare le eventuali differenze tra le diverse modalità di acquisizione adottate. L’analisi dei risultati mostra inoltre come l’utilizzo dei dispositivi di acquisizione termografica in modalità super-resolution sia possibile anche su cavalletto.

Tracking di target multipli in reti di sensori radar

Viene proposta una possibile soluzione al problema del tracking multitarget, tramite una rete di sensori radar basata su tecnoligia ultra wide-band. L'area sorvegliata ha una superficie pari a 100 metri quadri e all'interno di essa si vuole tracciare la traiettoria di più persone.

Previewer con creazione di form dinamici in .NET e ANTLR

Creazione di un nuovo linguaggio con relativo interprete e, per osservare il comportamento del sistema, un semplice Previewer in grado di: - caricare una pagina XAML di un form e svariate risorse - farle processare dall'interprete seguendo la grammatica descritta dal nuovo linguaggio creato con ANTLR - cablare la visualizzazione dei componenti della pagina a seconda dei risultati ottenuti, il tutto in ambiente .NET

Un'esperienza di rappresentazione di dati di cataloghi digitali in Linked Open Data: il caso della Fondazione Zeri

Il documento presenta il caso dell'archivio fotografico della Fondazione Zeri come caso reale di conversione di un catalogo ricco di informazioni ma povero di interconnessioni nel dominio dei Linked Open Data, basandosi sull'ontologia CIDOC-CRM per il cultural heritage.

Condensazione di Bose-Einstein in trappole ottiche

Questo lavoro di tesi si occupa dello studio del fenomeno di condensazione di Bose-Einstein sia da un punto di vista teorico che, in maniera più accennata, da quello pratico-sperimentale; risulta pertanto strutturato in due parti. La prima è incentrata sull'analisi prettamente teorico-matematica dell'argomento, e si apre con l'introduzione dell'opportuno apparato formale atto alla trattazione della statistica quantistica; a tal proposito vengono definiti gli operatori di densità. Quindi viene affrontato il problema dell'indistinguibilità degli enti quantistici e del conseguente carattere di simmetria delle funzioni d'onda, individuando così la differenza tra particelle fermioniche e bosoniche. Di queste ultime vengono largamente studiate la statistica cui essere rispondono e le loro principali caratteristiche termodinamiche. Infine, viene analizzato il caso specifico del gas ideale di Bose, trattato nei limiti del continuo e termodinamico; è nel corso di questa trattazione che emerge il fenomeno di transizione chiamato condensazione di Bose-Einstein, di cui vengono ampiamente studiate le proprietà. La seconda parte, invece, è volta all'analisi delle tecniche sperimentali utilizzate per la realizzazione della condensazione, in particolare le trappole ottiche di dipolo; dopo averne studiato le caratteristiche, vengono illustrate alcune tecniche di raffreddamento di atomi intrappolati. Il lavoro si conclude con la trattazione delle principali tecniche diagnostiche e di riconoscimento del condensato.

Sperimentazione sull'introduzione delle equazioni differenziali come strumento per la modellizzazione matematica di un problema in una classe quinta liceo scientifico

La tesi si occupa di mostrare il progetto messo in atto in una classe dell’ultimo anno di liceo scientifico. Tratta un possibile approccio all’introduzione delle equazioni differenziali mediante la modellizzazione matematica. Si vuole mostrare come lo studio di problemi di diversa natura porti alla costruzione e all’utilizzo di modelli matematici, quali le equazioni differenziali. Con questo intervento didattico si propone un percorso che guida gli studenti nel processo della modellizzazione matematica, analizzandone le criticità.

Realizzazione di un sistema di analisi dei dati elettroanatomici per l'analisi dei pattern di attivazione elettrica in pazienti affetti da fibrillazione atriale.

La fibrillazione atriale è l'aritmia maggiormente riscontrata nella pratica clinica. Nonostante l'ablazione transcatetere presenti risultati migliori rispetto alla terapia farmacologica, non è ancora chiaro se sia utile l'aggiunta di ulteriori lesioni in atrio, oltre a quelle delle vene polmonari, in maniera tale da aumentare la percentuale di successo della procedura. Infatti, poiché i meccanismi che portano all'insorgere dell'aritmia e in particolare che la sostengono ancora oggi non sono ben chiari, si sono sviluppate diverse teorie, tra cui quella dei Rotori, che consistono in pattern di stabile rotazione e diffusione intorno al loro punto di origine (pivot) e che si pensa possano essere i responsabili del sostentamento della fibrillazione atriale. Questo elaborato ha l'obiettivo di realizzare un sistema di analisi dei dati elettroanatomici con lo scopo di studiare l'attività elettrica dell'atrio, rivolgendo particolare attenzione all'individuazione di rotori.

Coppie di ammassi globulari in lmc

Le Nubi di Magellano sono una coppia di galassie irregolari molto vicine alla nostra. La loro vicinanza le ha rese target ideali per molti studi, tra cui ricerche sulla formazione ed evoluzione di popolazioni stellari. Da questi studi è emerso che una delle principali differenze tra le Nubi e la MW sta nella popolazione di ammassi globulari: circa il 20% degli ammassi di LMC, infatti, appartiene a una coppia. Si tratta di distinguere tra coppie reali o apparenti, cercando sistemi legati. Questo può essere fatto per via spettrometrica (attraverso velocità radiali o composizione chimica) e/o fotometrica (attraverso stima dell'età e profili di densità). In questo lavoro vengono analizzate fotometricamente tre coppie di LMC, al fine di determinarne la natura per migliorare le statistiche esistenti e porre dei constrain sulle conoscenze a disposizione.

Approccio network-based alla discriminant analysis mediante HPC per la ricerca di signature ottimali in dati ad alta dimensionalità

Il presente lavoro di tesi si inserisce nell’ambito della classificazione di dati ad alta dimensionalità, sviluppando un algoritmo basato sul metodo della Discriminant Analysis. Esso classifica i campioni attraverso le variabili prese a coppie formando un network a partire da quelle che hanno una performance sufficientemente elevata. Successivamente, l’algoritmo si avvale di proprietà topologiche dei network (in particolare la ricerca di subnetwork e misure di centralità di singoli nodi) per ottenere varie signature (sottoinsiemi delle variabili iniziali) con performance ottimali di classificazione e caratterizzate da una bassa dimensionalità (dell’ordine di 101, inferiore di almeno un fattore 103 rispetto alle variabili di partenza nei problemi trattati). Per fare ciò, l’algoritmo comprende una parte di definizione del network e un’altra di selezione e riduzione della signature, calcolando ad ogni passaggio la nuova capacità di classificazione operando test di cross-validazione (k-fold o leave- one-out). Considerato l’alto numero di variabili coinvolte nei problemi trattati – dell’ordine di 104 – l’algoritmo è stato necessariamente implementato su High-Performance Computer, con lo sviluppo in parallelo delle parti più onerose del codice C++, nella fattispecie il calcolo vero e proprio del di- scriminante e il sorting finale dei risultati. L’applicazione qui studiata è a dati high-throughput in ambito genetico, riguardanti l’espressione genica a livello cellulare, settore in cui i database frequentemente sono costituiti da un numero elevato di variabili (104 −105) a fronte di un basso numero di campioni (101 −102). In campo medico-clinico, la determinazione di signature a bassa dimensionalità per la discriminazione e classificazione di campioni (e.g. sano/malato, responder/not-responder, ecc.) è un problema di fondamentale importanza, ad esempio per la messa a punto di strategie terapeutiche personalizzate per specifici sottogruppi di pazienti attraverso la realizzazione di kit diagnostici per l’analisi di profili di espressione applicabili su larga scala. L’analisi effettuata in questa tesi su vari tipi di dati reali mostra che il metodo proposto, anche in confronto ad altri metodi esistenti basati o me- no sull’approccio a network, fornisce performance ottime, tenendo conto del fatto che il metodo produce signature con elevate performance di classifica- zione e contemporaneamente mantenendo molto ridotto il numero di variabili utilizzate per questo scopo.

Modellazione e simulazione di particelle 'attive' in matrici liquido-cristalline

In questo lavoro di tesi si sono sviluppati un modello molecolare ed una metodologia Molecular Dynamics in grado di simulare il comportamento di particelle attive, alimentate da un motore molecolare, in matrici liquido-cristalline. In particolare, abbiamo sviluppato un metodo di calcolo della temperatura traslazionale ed un algoritmo di termalizzazione compatibili con le condizioni di non-equilibrio del sistema. Dall’analisi delle prove condotte sono emerse variazioni significative nei comportamenti collettivi dei campioni quali segregazioni e flussi coerenti caratterizzati da un alto grado di ordine nematico. Il modello proposto, pur nella nella sua semplicità, può costituire una base per future e più specifiche simulazioni.

Tecniche di fault tolerance in swarm robotics

Questa tesi presenta e discute le sfide per ottenere sistemi di swarm robotis affidabili e tolleranti ai guasti e quindi anche alcuni metodi per rilevare anomalie in essi, in modo tale che ipotetiche procedure per il recupero possano essere affrontate, viene sottolineata inoltre l’ importanza di un’ analisi qualitativa dei guasti.

Grafene e ossido di grafene: applicazioni in elettrochimica e catalisi

In questo lavoro di tesi si è applicato dei materiali a base di ossido di grafene in ambito catalitico ed elettrochimico, dopo uno studio iniziale delle proprietà del materiale di partenza tramite XRD, ATR, Raman e SEM-EDS e la sua evoluzione durante processi di riduzione per ottimizzare il suo utilizzo. In particolare è stato depositato l’ossido di grafene su delle sfere di Al2O3 (γ-Al2O3 e α-Al2O3) per preparare dei catalizzatori eterogenei per la produzione di 2,5-biidrossimetilfurano (BHMF) tramite idrogenazione del 5-idrossimetilfurfurale (HMF). Le prestazioni del catalizzatore costituito di sfere di γ-Al2O3 ricoperte di GO sono state paragonate alle prestazioni di un sistema analogo ma contenente anche Pt 1%wt coimpregnato e alle performance della sospensione di GO non supportata. In ambito elettrochimico è stato preparato ed ottimizzato un sensore a base di ossido di grafene per determinare la concentrazione del glucosio, fondamentale per i soggetti diabetici. Nell’intenzione di ampliare le condizioni di impiego rispetto ai biosensori, sono stati studiati elettrodi modificati con ossido di grafene e composti tipo idrotalciti, i quali operano in ambiente basico sfruttando il fenomeno di scavenging del Ni.

Strutture dinamiche nei dati di telefonia mobile in contesto urbano

Lo scopo del presente lavoro e' di stabilire se l'attivita' di una rete telefonica obbedisce a leggi statistiche e verificare se sono presenti delle fluttuazioni rispetto a queste ultime. Nella prima parte vengono illustrati alcuni modelli di Human Dynamics. Nella seconda parte viene descritta l'analisi dei dati soffermandosi su alcuni punti chiave che determinano il significato del risultato finale.