Gruppi superiori di omotopia

Tesi compilativa riguardo definizione, proprietà e metodi di calcolo di Gruppi superiori di omotopia. Argomenti:definizioni, gruppi delle sfere, proprietà, sospensione, proiezioni di rivestimento, spazi fibrati, approssimazione cellulare, gruppi stabili di omotopia, esempi.

Applicazione del metodo QDanet_PRO alla classificazione di dati omici

Il presente lavoro di tesi si pone nell'ambito dell'analisi dati attraverso un metodo (QDanet_PRO), elaborato dal Prof. Remondini in collaborazine coi Dott. Levi e Malagoli, basato sull'analisi discriminate a coppie e sulla Teoria dei Network, che ha come obiettivo la classificazione di dati contenuti in dataset dove il numero di campioni è molto ridotto rispetto al numero di variabili. Attraverso questo studio si vogliono identificare delle signature, ovvero un'insieme ridotto di variabili che siano in grado di classificare correttamente i campioni in base al comportamento delle variabili stesse. L'elaborazione dei diversi dataset avviene attraverso diverse fasi; si comincia con una un'analisi discriminante a coppie per identificare le performance di ogni coppia di variabili per poi passare alla ricerca delle coppie più performanti attraverso un processo che combina la Teoria dei Network con la Cross Validation. Una volta ottenuta la signature si conclude l'elaborazione con una validazione per avere un'analisi quantitativa del successo o meno del metodo.

Stime Integrali su Gruppi di Tipo H e Principio Forte di Continuazione Unica

Lo scopo di questa tesi è dimostrare il Principio Forte di Continuazione Unica per opportune soluzioni di un'equazione di tipo Schrödinger Du=Vu, ove D è il sub-Laplaciano canonico di un gruppo di tipo H e V è un potenziale opportuno. Nel primo capitolo abbiamo esposto risultati già noti in letteratura sui gruppi di tipo H: partendo dalla definizione di tali gruppi, abbiamo fornito un'utile caratterizzazione in termini "elementari" che permette di esplicitare la soluzione fondamentale dei relativi sub-Laplaciani canonici. Nel secondo capitolo abbiamo mostrato una formula di rappresentazione per funzioni lisce sui gruppi di tipo H, abbiamo dimostrato una forma forte del Principio di Indeterminazione di Heisenberg (sempre nel caso di gruppi di tipo H) e abbiamo fornito una formula per la variazione prima dell'integrale di Dirichlet associato a Du=Vu. Nel terzo capitolo, infine, abbiamo analizzato le proprietà di crescita di funzioni di frequenza, utili a dimostrare le stime integrali che implicano in modo piuttosto immediato il Principio Forte di Continuazione Unica, principale oggetto del nostro studio.

Trasformata di Fourier e trasformata Wavelet

Questo elaborato si concentra sullo studio della trasformata di Fourier e della trasformata Wavelet. Nella prima parte della tesi si analizzano gli aspetti fondamentali della trasformata di Fourier. Si definisce poi la trasformata di Fourier su gruppi abeliani finiti, richiamando opportunamente la struttura di tali gruppi. Si mostra che calcolare la trasformata di Fourier nel quoziente richiede un minor numero di operazioni rispetto a calcolarla direttamente nel gruppo di partenza. L'ultima parte dell'elaborato si occupa dello studio delle Wavelet, dette ondine. Viene presentato quindi il sistema di Haar che permette di definire una funzione come serie di funzioni di Haar in alternativa alla serie di Fourier. Si propone poi un vero e proprio metodo per la costruzione delle ondine e si osserva che tale costruzione è strettamente legata all'analisi multirisoluzione. Un ruolo cruciale viene svolto dall'identità di scala, un'identità algebrica che permette di definire certi coefficienti che determinano completamente le ondine. Interviene poi la trasformata di Fourier che riduce la ricerca dei coefficienti sopra citati, alla ricerca di certe funzioni opportune che determinano esplicitamente le Wavelet. Non tutte le scelte di queste funzioni sono accettabili. Ci sono vari approcci, qui viene presentato l'approccio di Ingrid Daubechies. Le Wavelet costituiscono basi per lo spazio di funzioni a quadrato sommabile e sono particolarmente interessanti per la decomposizione dei segnali. Sono quindi in relazione con l'analisi armonica e sono adottate in un gran numero di applicazioni. Spesso sostituiscono la trasformata di Fourier convenzionale.

Progettazione e realizzazione di gruppi funzionali di un impianto automatico nel settore food

Questo elaborato tratta della progettazione e della realizzazione di una serie di gruppi funzionali di un impianto automatico per l'applicazione, tramite colla, di carta assorbente o pluriball all'interno di vaschette alimentari. Il sistema progettato si inserisce all'interno di una linea produttiva, tipicamente tra una macchina termoformatrice e una tranciatrice.

Rilevazione di eventi geo-localizzati sulla piattaforma Twitter: Una valutazione sperimentale

I Social Network sono una fonte di informazioni di natura spontanea, non guidata, provviste di posizione spaziale e prodotte in tempo reale. Il Social Sensing si basa sull'idea che gruppi di persone possano fornire informazioni, su eventi che accadono nelle loro vicinanze, simili a quelle ottenibili da sensori. La letteratura in merito all’utilizzo dei Social Media per il rilevamento di eventi catastrofici mostra una struttura comune: acquisizione, filtraggio e classificazione dei dati. La piattaforma usata, nella maggior parte dei lavori e da noi, è Twitter. Proponiamo un sistema di rilevamento di eventi per l’Emilia Romagna, tramite l’analisi di tweet geolocalizzati. Per l’acquisizione dei dati abbiamo utilizzato le Twitter API. Abbiamo effettuato due passaggi per il filtraggio dei tweet. Primo, selezione degli account di provenienza dei tweet, se non sono personali è improbabile che siano usati per dare informazioni e non vanno tenuti in considerazione. Secondo, il contenuto dei tweet, vengono scartati se presentano termini scurrili, parole come “buon giorno” e un numero di tag, riferiti ad altri utenti, superiore a quattro. La rilevazione di un valore anomalo rispetto all'insieme delle osservazioni che stiamo considerando (outlier), è il primo indice di un evento eccezionale. Per l’analisi siamo ricorsi all’outlier detection come indice di rilevamento di un evento. Fatta questa prima analisi si controlla che ci sia un effettivo picco di tweet in una zona della regione. Durante il periodo di attività non sono accaduti eventi straordinari, abbiamo quindi simulato un avvenimento per testare l'efficacia del nostro sistema. La maggior difficoltà è che i dati geolocalizzati sono in numero molto esiguo, è quindi difficile l'identificazione dei picchi. Per migliorare il sistema si propone: il passaggio a streaming dei tweet e un aumento della velocità di filtraggio; la automatizzazione dei filtri; l'implementazione di un modulo finale che operi a livello del testo.

Vibrazioni di Piastre in Materiale Composito con Elementi Finiti in Forma Forte

In questa tesi si affronta lo studio di piastre isotrope e laminate mediante metodo GDQ e si confrontano i risultati con quelli ottenuti, per le stesse tipologie di piastre, mediante metodo FEM. Lo scopo del lavoro e quello di certificare la maggior efficienza del software di calcolo DiQuMASPAB, basato su teorie in forma forte, rispetto ai tradizionali software di calcolo agli elementi finiti attualmente in commercio. Il confronto ha come obiettivo quello di evidenziare i punti deboli dal punto di vista dell'approssimazione delle soluzioni e del costo computazonale.

Classificazione e selezione di tecniche di visualizzazione per Big Data Analytics

La tesi presenta uno studio della libreria grafica per web D3, sviluppata in javascript, e ne presenta una catalogazione dei grafici implementati e reperibili sul web. Lo scopo è quello di valutare la libreria e studiarne i pregi e difetti per capire se sia opportuno utilizzarla nell'ambito di un progetto Europeo. Per fare questo vengono studiati i metodi di classificazione dei grafici presenti in letteratura e viene esposto e descritto lo stato dell'arte del data visualization. Viene poi descritto il metodo di classificazione proposto dal team di progettazione e catalogata la galleria di grafici presente sul sito della libreria D3. Infine viene presentato e studiato in maniera formale un algoritmo per selezionare un grafico in base alle esigenze dell'utente.

Classificazione spettrale delle stelle

Da sempre l'uomo ha osservato le stelle e il primo a intuire che lo studio degli spettri avrebbe permesso la comprensione della fisica e della chimica delle stelle fu il padre gesuita Secchi. Uno spettro contiene informazioni sui vari processi atmosferici stellari, dove la profondità e la forma di una riga permettono di raccogliere dati sulle condizioni fisiche del gas nelle regioni in cui essa si è formata. La classificazione spettrale è iniziata con il padre gesuita Secchi, che divise le stelle in quattro categorie. In seguito fu sostituita dalla classificazione di Harvard, composta da sette classi, O, B, A, F, G, K, M, caratterizzate da diversi range di temperature. Per risolvere il problema delle diverse luminosità all'interno della stessa classe, Yerkes creó u a nuova classificazione, data da un sistema bidimensionale che oltre a considerare la temperatura tiene conto della luminosità, che influisce molto nella struttura dello spettro. Si sono presi in considerazione anche gli spettri peculiari, cioè che presentano delle anomalie, come un'insolita abbondanza di metalli. Nell'ultimo capitolo viene trattato il diagramma H-R come applicazione delle classificazioni spettrali, accennando come il punto di turn-off del diagramma permetta di calcolare l'età di un ammasso stellare.

Applicazione ai gruppi di Lie della prolungabilità per Equazioni Differenziali Ordinarie

Lo scopo di questa tesi è studiare in dettaglio l'articolo "A Completeness Result for Time-Dependent Vector Fields and Applications" di Stefano Biagi e Andrea Bonfiglioli, dove si ottiene una condizione sufficiente per la completezza di un campo vettoriale (dipendente dal tempo) in RN, che generalizza la ben nota condizione di invarianza a sinistra per i gruppi di Lie.

Classificazione delle curve ellittiche viste come curve algebriche piane

Nel presente lavoro è affrontato lo studio delle curve ellittiche viste come curve algebriche piane, più precisamente come cubiche lisce nel piano proiettivo complesso. Dopo aver introdotto nella prima parte le nozioni di Superfici compatte e orientabili e curve algebriche, tramite il teorema di classificazione delle Superfici compatte, se ne fornisce una preliminare classificazione basata sul genere della superficie e della curva, rispettivamente. Da qui, segue la definizione di curve ellittiche e uno studio più dettagliato delle loro pricipali proprietà, quali la possibilità di definirle tramite un'equazione affine nota come equazione di Weierstrass e la loro struttura intrinseca di gruppo abeliano. Si fornisce quindi un'ulteriore classificazione delle cubiche lisce, totalmente differente da quella precedente, che si basa invece sul modulo della cubica, invariante per trasformazioni proiettive. Infine, si considera un aspetto computazionale delle curve ellittiche, ovvero la loro applicazione nel campo della Crittografia. Grazie alla struttura che esse assumono sui campi finiti, sotto opportune ipotesi, i crittosistemi a chiave pubblica basati sul problema del logaritmo discreto definiti sulle curve ellittiche, a parità di sicurezza rispetto ai crittosistemi classici, permettono l'utilizzo di chiavi più corte, e quindi meno costose computazionalmente. Si forniscono quindi le definizioni di problema del logaritmo discreto classico e sulle curve ellittiche, ed alcuni esempi di algoritmi crittografici classici definiti su quest'ultime.

Sviluppo ed applicazione di tecniche di Multiple Kernel Learning per dati di neuroimaging

Questo lavoro di tesi riguarda lo studio e l’implementazione di un algoritmo di multiple kernel learning (MKL) per la classificazione e la regressione di dati di neuroimaging ed, in particolare, di grafi di connettività funzionale. Gli algoritmi di MKL impiegano una somma pesata di vari kernel (ovvero misure di similarità) e permettono di selezionare le features utili alla discriminazione delle istanze durante l’addestramento del classificatore/regressore stesso. L’aspetto innovativo introdotto in questa tesi è stato lo studio di un nuovo kernel tra grafi di connettività funzionale, con la particolare caratteristica di conservare l’informazione relativa all’importanza di ogni singola region of interest (ROI) ed impiegando la norma lp come metodo per l’aggiornamento dei pesi, al fine di ottenere soluzioni sparsificate. L’algoritmo è stato validato utilizzando mappe di connettività sintetiche ed è stato applicato ad un dataset formato da 32 pazienti affetti da deterioramento cognitivo lieve e malattia dei piccoli vasi, di cui 16 sottoposti a riabilitazione cognitiva tra un’esame di risonanza ma- gnetica funzionale di baseline e uno di follow-up. Le mappe di con- nettività sono state ottenute con il toolbox CONN. Il classificatore è riuscito a discriminare i due gruppi di pazienti in una configurazione leave-one-out annidata con un’accuratezza dell’87.5%. Questo lavoro di tesi è stato svolto durante un periodo di ricerca presso la School of Computer Science and Electronic Engineering dell’University of Essex (Colchester, UK).

Sintesi e proprietà fotovoltaiche di polimeri contenenti gruppi elettron donatori e accettori in catena principale

Negli ultimi anni è notevolmente aumentato l’interesse nei confronti dei materiali organici semiconduttori da utilizzare in diversi dispositivi, come, ad esempio, celle fotovoltaiche organiche (OPV). In questo campo si inseriscono i polimeri coniugati ed in particolar modo i polialchiltiofeni (PATs). In questa tesi di laurea magistrale vengono descritte sintesi di monomeri e polimeri tiofenici 3-alchil-sostituiti contenenti un'unità elettron accettrice di benzotiadiazolo. In particolar modo sono stati sintetizzati poli-4,7-bis-(3-esiltiofen-2-il)benzo [1,2,5]tiadiazolo e poli- 4,7 -bis-(3-metossiesiltiofene-2-il)benzo[1,2,5]tiadiazolo, studiando l’effetto dell’ossigeno presente in catena laterale sulle proprietà del materiale. È stata effettuata la caratterizzazione chimico fisica dei polimeri tramite analisi termiche DSC e TGA, cromatografia a permeazione su gel (GPC) e analisi UV-Vis e PL. Sono state inoltre effettuate prove di conducibilità testando i polimeri come materiali fotoattivi in celle fotovoltaiche SMOCs e BHJ, per valutare l’effetto dell’unità di benzotiadiazolo sul trasporto delle cariche.

Studio e sintesi di politiofeni water-soluble contenenti gruppi elettron donatori e accettori in catena principale

Il progressivo esaurimento delle risorse fossili e l’incremento delle problematiche ambientali legate al rilascio di gas serra contribuiscono alla ricerca e all’utilizzo di fonti energetiche alternative. In questo scenario, i dispositivi fotovoltaici organici (OPVs) rappresentano uno dei modi più affascinanti e promettenti per trasformare l’energia solare, una riserva energetica potenzialmente inesauribile, a costo nullo e non inquinante, in energia elettrica. Materiali organici utilizzabili in questi dispositivi sono i polimeri π-coniugati. In quest’ottica, il lavoro è stato focalizzato sulla preparazione di due nuovi polimeri: il primo, contenente unità elettron-donatrici e accettrici in catena principale, ottenuto via polimerizzazione ossidativa in presenza di FeCl3 e successivamente post-funzionalizzato con tributilfosfina per renderlo ionico e idrosolubile; il secondo, a base di politiofene non ionico ma polare, avente funzionalità eteree nelle catene laterali, preparato sfruttando il metodo GRIM. Questi materiali sono stati caratterizzati mediante analisi spettroscopiche e verranno successivamente testati all’interno di celle solari fotovoltaiche organiche aventi configurazione SMOSCs (il primo) e BHJ (il secondo).

Classificazione di Radiografie Toraciche per la Diagnosi del COVID-19 con Reti Convoluzionali e Vision Transformer

Negli ultimi due anni, per via della pandemia generata dal virus Covid19, la vita in ogni angolo del nostro pianeta è drasticamente cambiata. Ad oggi, nel mondo, sono oltre duecentoventi milioni le persone che hanno contratto questo virus e sono quasi cinque milioni le persone decedute. In alcuni periodi si è arrivati ad avere anche un milione di nuovi contagiati al giorno e mediamente, negli ultimi sei mesi, questo dato è stato di più di mezzo milione al giorno. Gli ospedali, soprattutto nei paesi meno sviluppati, hanno subito un grande stress e molte volte hanno avuto una carenza di risorse per fronteggiare questa grave pandemia. Per questo motivo ogni ricerca in questo campo diventa estremamente importante, soprattutto quelle che, con l'ausilio dell'intelligenza artificiale, riescono a dare supporto ai medici. Queste tecnologie una volta sviluppate e approvate possono essere diffuse a costi molto bassi e accessibili a tutti. In questo elaborato sono stati sperimentati e valutati due diversi approcci alla diagnosi del Covid-19 a partire dalle radiografie toraciche dei pazienti: il primo metodo si basa sul transfer learning di una rete convoluzionale inizialmente pensata per la classificazione di immagini. Il secondo approccio utilizza i Vision Transformer (ViT), un'architettura ampiamente diffusa nel campo del Natural Language Processing adattata ai task di Visione Artificiale. La prima soluzione ha ottenuto un’accuratezza di 0.85 mentre la seconda di 0.92, questi risultati, soprattutto il secondo, sono molto incoraggianti soprattutto vista la minima quantità di dati di training necessaria.