Partizioni di un intero

Questa tesi di laurea tratta delle partizioni di un intero positivo. La tesi viene suddivisa in tre capitoli: nel primo capitolo definirò cosa significa scomporre additivamente un intero positivo e come si può rappresentare una partizione cioè utilizzando diagrammi, chiamati \textit{diagrammi di Ferrers}, o tabelle, chiamate \textit{tableau di Young}, si possono rappresentare graficamente partizioni. In seguito, in questo capitolo, verrà definita la funzione di partizione e, infine, tratterò delle partizioni ordinate. Il secondo capitolo ha carattere storico: infatti, mostra come cinque famosi matematici, Eulero, Ramanujan e Hardy, Hans Rademacher e Ken Ono, nel tempo abbiano affrontato il problema di trovare una formula matematica che meglio rappresenti la funzione di partizione. Il terzo ed ultimo capitolo riguarda le applicazioni delle partizioni, cioè come esse abbiano una relazione con le classi di coniugio nel gruppo simmetrico $S_{n}$ e con le classificazioni dei gruppi abeliani di ordine $p^{n}$, con p un numero primo. Di alcune affermazioni ( o teoremi ) nei capitoli seguenti non è stata riportata la dimostrazione; in questi casi si rimanda direttamente alle corrispondenti citazioni bibliografiche. 

Studio di fattibilità di un dispositivo medico di emergenza per l'ipotermia cerebrale in pazienti traumatizzati

Le lesioni cerebrali possono generare danni permanenti e richiedono trattamenti immediati e a lungo termine. L’ipotermia cerebrale di 1 o 2°C inibisce il rilascio di aminoacidi neuro eccitatori e interrompe la risposta infiammatoria. L'effetto è maggiore se il raffreddamento viene eseguito immediatamente dopo il trauma. Oggi il raffreddamento viene effettuato in ospedale, raramente sul luogo dell’incidente (con ghiaccio). Tale soluzione è ostacolata dall’applicazione dei collari cervicali ed è condizionata dagli effetti a breve termine del ghiaccio. In questo studio è stata effettuata un’analisi di fattibilità di un dispositivo che, alle tecnologie per l’immobilizzazione cervicale, associ l'induzione terapeutica controllata e prolungata di una lieve ipotermia cerebrale (2-3°C), tramite raffreddamento transcutaneo del sangue nelle arterie carotidee. Il lavoro è suddiviso in due fasi: 1) modellizzazione teorica del fenomeno in esame; 2) verifica dei modelli teorici mediante test in vitro. Mediante i modelli numerici, sono state calcolate le temperature e i tempi per produrre un raffreddamento di 3°C. Considerando lo scambio di calore attraverso il collo, i vasi sanguigni e i tessuti cerebrali è stato calcolato un tempo minimo di circa 50 minuti per produrre il ΔT richiesto, con l’applicazione all’esterno del collo di un dispositivo che mantenga la temperatura a 5°C. Per la verifica è stata utilizzata una carotide sintetica ed una in tessuto biologico: queste sono state immerse in un contenitore isolato contenente acqua e connesse ad un simulatore dell’apparato circolatorio. Mantenendo costante la temperatura dell’acqua circolante mediante un termostato, sono stati misurati gli abbassamenti di temperatura nel vaso in funzione di quella esterna applicata. Il raffreddamento dei tessuti è stato realizzato con una cella di Peltier. La verifica dei modelli ha evidenziato un ΔT di -2°C. Il valore è inferiore a quello ipotizzato ma può ritenersi già efficace in ambito clinico e può essere migliorato ottimizzando il sistema di raffreddamento.

Leopoli-Cencelle beyond virtual reality Documentazione, interpretazione e comprensione di una città medievale

La città medievale di Leopoli-Cencelle (fondata da Papa Leone IV nell‘854 d.C. non lontano da Civitavecchia) è stata oggetto di studio e di periodiche campagne di scavo a partire dal 1994. Le stratigrafie investigate con metodi tradizionali, hanno portato alla luce le numerose trasformazioni che la città ha subìto nel corso della sua esistenza in vita. Case, torri, botteghe e strati di vissuto, sono stati interpretati sin dall’inizio dello scavo basandosi sulla documentazione tradizionale e bi-dimensionale, legata al dato cartaceo e al disegno. Il presente lavoro intende re-interpretare i dati di scavo con l’ausilio delle tecnologie digitali. Per il progetto sono stati utilizzati un laser scanner, tecniche di Computer Vision e modellazione 3D. I tre metodi sono stati combinati in modo da poter visualizzare tridimensionalmente gli edifici abitativi scavati, con la possibilità di sovrapporre semplici modelli 3D che permettano di formulare ipotesi differenti sulla forma e sull’uso degli spazi. Modellare spazio e tempo offrendo varie possibilità di scelta, permette di combinare i dati reali tridimensionali, acquisiti con un laser scanner, con semplici modelli filologici in 3D e offre l’opportunità di valutare diverse possibili interpretazioni delle caratteristiche dell’edificio in base agli spazi, ai materiali, alle tecniche costruttive. Lo scopo del progetto è andare oltre la Realtà Virtuale, con la possibilità di analizzare i resti e di re-interpretare la funzione di un edificio, sia in fase di scavo che a scavo concluso. Dal punto di vista della ricerca, la possibilità di visualizzare le ipotesi sul campo favorisce una comprensione più profonda del contesto archeologico. Un secondo obiettivo è la comunicazione a un pubblico di “non-archeologi”. Si vuole offrire a normali visitatori la possibilità di comprendere e sperimentare il processo interpretativo, fornendo loro qualcosa in più rispetto a una sola ipotesi definitiva.

Funzioni hash e sicurezza crittografica

Descrizione delle funzioni hash SHA, in particolare SHA-3, e loro sicurezza in campo crittografico.

Il viaggio celeste di Paolo (2Cor 12,1-10). Particolarità e funzionalità di una forma di contatto con il soprannaturale

L’obiettivo principale di questa ricerca è quello di affrontare le questioni critiche poste all’esegesi da uno dei passi paolini più discussi. Grazie all’impiego delle categorie connesse all’esperienza religiosa, si vuole argomentare la possibilità di leggere il viaggio celeste in termini di modello culturale attraverso il quale interpretare un’esperienza di contatto con il soprannaturale. L’approccio individuato può consentire di rivalutare la funzione di tale narrazione non solo nel contesto di 2 Corinzi, bensì anche in relazione ai paralleli letterari di matrice tanto giudaica e protocristiana quanto greco-romana. Conseguenza di simile analisi ad ampio raggio è il riconoscimento dell’importanza attribuita da Paolo ad esperienze di questo tipo, come testimoniato da alcuni brani centrali delle sue lettere.

Ricerca di contaminanti in tessuti animali e in alimenti destinati all'uomo.

La contaminazione chimica rappresenta uno dei rischi principali per la sicurezza alimentare e può arrecare anche gravi danni alla salute umana. Rientrano in questa tesi di dottorato tre famiglie di contaminanti: Micotossine, Metalli e Insetticidi. La ricerca di aflatossina B1 è stata effettuata su 90 confezioni di farina, sia biologici sia convenzionali. La presenza della micotossina è stata rilevata solo nelle farine di mais. Solo un campione di produzione convenzionale ha superato il limite di 2 ppb definito per legge. Il dato di maggior rilievo è stato che il quantitativo di 5 grammi di campionamento si è dimostrato non rappresentativo sul totale della confezione commerciale di farina. Più attendibile si è invece dimostrato un campionamento di 20 grammi. L’aflatossina M1 è stata ricercata in 58 campioni di latte di cui 35 sono risultati positivi. Tuttavia, i livelli riscontrati erano costantemente inferiori al limite previsto per legge. Sono stati sottoposti a estrazione e purificazione, e analizzati con metodica HPLC-FL per la ricerca di Ocratossina A, 114 campioni di bile, 35 campioni di plasma, 40 campioni di rene prelevati da polli in Giordania. Le analisi hanno fornito risultati costantemente negativi. Sono stati analizzati 72 campioni (30 di muscolo, 29 di fegato e 13 di rene) prelevati da 30 bovini nel macello di Irbid (Giordania), di età compresa tra 8 e 30 mesi e provenienti da allevamenti diversi, per la ricerca di 13 elementi essenziali e non essenziali. In questo studio nessun campione supera i livelli massimi stabiliti dalla normativa europea per quanto riguarda gli elementi considerati. Infine, sono stati analizzati 37 campioni di latte ovino e 31 campioni di latte bovino, prelevati in Giordania in diversi allevamenti, per la ricerca di 4 neonicotinoidi (imidacloprid, acetamiprid, thiamethoxam e thiacloprid). I campioni, analizzati con sistema HPLC/MS/MS, sono risultati costantemente negativi ai quattro neonicotinoidi ricercati.

Studio della parametrizzazione del fondo per la ricerca del bosone di higgs nel modello supersimmetrico minimale con l'esperimento cms a lhc

Questa tesi si svolge nell’ambito della ricerca del bosone di Higgs supersimmetrico all’esperimento CMS del Cern, sfruttando le collisioni protone-protone dell’acceleratore LHC. Il lavoro da me svolto riguarda lo studio della parametrizzazione dell’insieme dei dati che costituiscono il fondo dell’eventuale presenza di un segnale del bosone di Higgs nel modello supersimmetrico minimale. Ho eseguito dei fit al fondo aspettato tramite il package Root, utilizzando diverse funzioni per parametrizzarne analiticamente l’andamento. Nel lavoro di tesi mostro come tali funzioni approssimano i dati e ne discuto le loro caratteristiche e differenze.

Realizzazione di un sistema di misura miniaturizzato per monitoraggio ambientale

L'elaborato affronta in primo luogo la progettazione e il design CAD del sistema di misura impedenziometrico ad alta risoluzione. La seconda parte tratta un'upgrade del software per implementare una funzione di risparmio energetico.

Caratterizzazione e ruolo di PKCε e PKCδ in modelli di differenziamento megacariocitario normale e patologico

La PKCε e la PKCδ, chinasi ubiquitariamente distribuite e ad azione pleiotropica, sono implicate del differenziamento, sopravvivenza e proliferazione cellulare. Esse sono coinvolte nel processo differenziativo delle cellule staminali ematopoietiche e in fenomeni patologici associati al compartimento sanguigno. In questa tesi sono presentati i risultati riguardanti lo studio in vitro del ruolo di PKCε e PKCδ nel contesto del differenziamento megacariocitario, in particolare si caratterizza l’espressione e la funzione di queste chinasi nel modello umano e nel modello murino di Megacariocitopoiesi, normale e patologica. Confrontando le cinetiche dei due modelli presi in analisi nello studio è stato possibile osservare come in entrambi PKCε e PKCδ dimostrino avere una chiara e specifica modulazione nel progredire del processo differenziativo. Questi dati, se confrontati, permettono di affermare che PKCε e PKCδ presentano un pattern di espressione opposto e, nel modello umano rispetto a quello murino, reciproco: nell’uomo i livelli di PKCε devono essere down-modulati, mentre nel topo, al contrario, i livelli della chinasi risultano up-modulati durante lo stesso processo. Analogamente, le CD34+ in differenziazione presentano una costante e maggiore espressione di PKCδ durante la maturazione MK, mentre nel modello murino tale proteina risulta down-modulata nella fase più tardiva di formazione della piastrina. Le chinasi mostrano in oltre di agire, nei due modelli, attraverso pathways distinti e cioè RhoA nel topo e Bcl-xL nell’uomo. È stato inoltre verificato che l’aberrante differenziamento MK osservato nella mielofibrosi primaria (PMF), è associato a difetti di espressione di PKCε e di Bcl-xL e che una forzata down-modulazione di PKCε porta ad un ripristino di un normale livello di espressione di Bcl-xL così come della popolazione di megacariociti formanti propiastrine. I dati ottenuti indicano quindi che PKCε e PKCδ svolgono un ruolo importante nel corretto differenziamento MK e che PKCε potrebbe essere un potenziale nuovo target terapeutico nelle PMF.

Framework e librerie per lo sviluppo di applicazioni di realta aumentata: Metaio sdk come caso di studio

I moderni sistemi computazionali hanno reso applicazioni e dispositivi sempre più complessi e versatili, integrando in essi un numero crescente di funzioni. Da qui si avverte la necessità di un design d’interfaccia utente efficace e pratico che renda il rapporto uomo/macchina semplice ed intuitivo. Negli ultimi anni questo proposito è stato accolto da sviluppatori e progettisti che si sono affacciati nel mondo della “Realtà Aumentata”, una nuova visione d’insieme nel rapporto tra mondo reale e virtuale. Augmented Reality (AR), propone infatti di sviluppare nuove interfacce uomo-computer, che invece di mostrare le informazioni digitali su display isolati, immergano i dati stessi nell’ambiente concreto. Sfuma così una distinzione marcata tra il reale e il virtuale, ma anzi si cerca di combinare in modo naturale la coesistenza di quest’ultimi, permettendo la creazione di interfacce utente semplici e intuitive anche per applicazioni complesse. Il proposito che la tesi vuole andare ad affrontare è proprio quello di indagare lo sviluppo di nuove applicazioni basate su questa tecnologia. Nel primo capitolo verrà analizzatala storia, i campi di applicazione, i device più importanti sui quali è implementata e le varie tecniche di Tracciamento. Nella seconda parte della tesi andremo a interessarci del sistema vero e proprio sul quale regge questa tecnologia. Quindi nel successivo capitolo vedremo esempi di architetture e di piattaforme che offrono questa realtà di sviluppo, soffermandoci su un particolare caso di studio: Metaio; di cui nel terzo e ultimo capitolo indagheremo framework, SDK e API messe a disposizione.

Sviluppo di un algoritmo di calibrazione per analisi quantitative di immagini in microscopia a fluorescenza

Questo progetto di tesi ha come obiettivo lo sviluppo di un algoritmo per la correzione e la calibrazione delle immagini in microscopia a fluorescenza e della sua implementazione come programma. Infatti, senza tale calibrazione le immagini di microscopia a fluorescenza sarebbero intrinsecamente affette da molteplici tipi di distorsioni ottiche. Questo limita fortemente la possibilità di effettuare analisi quantitative del livello di fluorescenza osservato. Il difetto sul quale ci siamo soffermati è la disomogeneità di campo, ossia una non uniforme fluorescenza causata dalla forma irregolare del fascio di eccitazione. Per conseguire l'obiettivo da noi proposto è necessaria l'acquisizione, in parallelo al campione in esame, di immagini di calibrazione contenenti sfere nanometriche a fluorescenza nota. A partire da queste, tramite procedure di image processing da noi implementate, abbiamo stimato la funzione di correzione della fluorescenza, localmente per ogni punto dell'immagine. Per la creazione di tale algoritmo abbiamo ipotizzato una possibile distribuzione dell'intensità dovuta alla non omogeneità del fascio ed abbiamo quindi stimato i parametri tramite un'apposita procedura di maximum likelihood. Tale stima è stata eseguita tenendo conto di possibili effetti dovuti alla luminosità di background, alla sovrapposizione di più nanosfere e ad effetti di bordo nel corso dell'elaborazione. Questa procedura è stata ripetuta su quattro diverse immagini di calibrazione, per valutarne la consistenza e la validità. Inoltre, per poter verificare che il software di elaborazione abbia le desiderate proprietà di linearità tra segnale misurato ed intensità nota, ci siamo serviti di un'ulteriore immagine di calibrazione contenente una mistura di sfere nanometriche con intensità variabili su due ordini di grandezza. Il risultato di questo lavoro di tesi verrà incluso in un programma per la calibrazione delle immagini in fluorescenza acquisite al laboratorio di biofisica del Dipartimento di Fisica ed Astronomia di Bologna.

Midi networking: Metodologie di interconnessione di strumenti musicali tramite reti fisiche e virtuali

Il lavoro che si presenta ha la principale funzione di proporre un metodo di interconnessione di strumenti musicali digitali che utilizzi i più comuni protocolli e strumenti hardware di rete. Nell'ottica di Internet of Things, si vuole rendere MIDI un sotto-protocollo di rete.

Tetti verdi: Analisi sperimentale e Modellazione numerica

I tetti verdi rappresentano, sempre più frequentemente, una tecnologia idonea alla mitigazione alle problematiche connesse all’ urbanizzazione, tuttavia la conoscenza delle prestazioni dei GR estensivi in clima sub-Mediterraneo è ancora limitata. La presente ricerca è supportata da 15 mesi di analisi sperimentali su due GR situati presso la Scuola di Ingegneria di Bologna. Inizialmente vengono comparate, tra loro e rispetto a una superficie di riferimento (RR), le prestazioni idrologiche ed energetiche dei due GR, caratterizzati da vegetazione a Sedum (SR) e a erbe native perenni (NR). Entrambi riducono i volumi defluiti e le temperature superficiali. Il NR si dimostra migliore del SR sia in campo idrologico che termico, la fisiologia della vegetazione del NR determina l'apertura diurna degli stomi e conseguentemente una maggiore evapotraspirazione (ET). Successivamente si sono studiate la variazioni giornaliere di umidità nel substrato del SR riscontrando che la loro ampiezza è influenzata dalla temperatura, dall’umidità iniziale e dalla fase vegetativa. Queste sono state simulate mediante un modello idrologico basato sull'equazione di bilancio idrico e su due modelli convenzionali per la stima della ET potenziale combinati con una funzione di estrazione dell’ umidità dal suolo. Sono stati proposti dei coefficienti di correzione, ottenuti per calibrazione, per considerare le differenze tra la coltura di riferimento e le colture nei GR durante le fasi di crescita. Infine, con l’ausilio di un modello implementato in SWMM 5.1. 007 utilizzando il modulo Low Impact Development (LID) durante simulazioni in continuo (12 mesi) si sono valutate le prestazioni in termini di ritenzione dei plot SR e RR. Il modello, calibrato e validato, mostra di essere in grado di riprodurre in modo soddisfacente i volumi defluiti dai due plot. Il modello, a seguito di una dettagliata calibrazione, potrebbe supportare Ingegneri e Amministrazioni nella valutazioni dei vantaggi derivanti dall'utilizzo dei GR.

Studio del decadimento delle proprietà meccaniche di compositi CFRP sottoposti a invecchiamento termico

I componenti del carbonio in ambito strutturale (aeronautico, navale, automobilistico) sono soggetti a deterioramenti ambientali di difficile determinazione, in particolare alla temperatura e all'umidità. Scopo di questa tesi è determinare i danneggiamenti dei materiali compositi CFRP in funzione di un invecchiamento a diverse percentuali della temperatura di transizione vetrosa Tg. In particolare si vuole studiare e approfondire il processo di reazione della matrice e del carbonio. Per meglio descrivere il procedimento di deterioramento e reazione del materiale composito dovuto ad alti livelli di temperatura, mi sono avvalso del supporto pratico dell’azienda “Riba Composites” di Faenza che in particolare si occupa della prototipazione e produzione di componenti strutturali in materiali compositi avanzati e che si è dimostrata leader nel settore dei compositi CFRP. Pochi studi sono stati condotti su tale argomento. Da qui il mio interesse specifico nel volere studiare e dimostrare come questo processo possa ulteriormente apportare un aiuto agli studi in ambito strutturale già effettuati e pubblicati precedentemente. La dimostrazione pratica della seguente tesi è avvenuta, con l’aiuto dell’Ing. Paolo Proli, nel laboratorio di MaSTeR Lab dell’Università di Bologna, dove si è deciso di eseguire vari invecchiamenti termici a diverse temperature per constatare i livelli di deterioramento e influenza delle variazioni di temperatura sulla matrice del composito preso in analisi. Gli effetti di tale studi sono stati sostenuti anche grazie alla guida del Professore Lorenzo Donati, e verranno dettagliatamente evidenziati nello specifico con spiegazioni in ambito teorico e dimostrazioni pratiche affiancate da schemi dimostrativi e supporto grafico.

Strutture perifrastiche con verbi di movimento: Analisi contrastiva in tre lingue romanze

Le lingue sono veri organismi vitali che creano meccanismi propri al fine di esprimere concetti capaci di descrivere la realtà, fisica e interiore. Un meccanismo linguistico tipico delle lingue (ed anche una risorsa) per esprimere le diverse sfaccettature di una realtà multiforme e diversamente percettibile, è il ricorso a strutture perifrastiche, di utilizzo piuttosto comune in molte lingue. In quest’analisi, nello specifico, viene preso in esame e studiato il sistema perifrastico di tre lingue romanze, quali lo spagnolo, il francese e l’italiano; in particolare, l’attenzione è diretta alle perifrasi costruite con un verbo di movimento in funzione di ausiliare, per analizzare e dimostrare l’eventuale slittamento di tale concetto di movimento dal piano spaziale a quello temporale, o semplicemente metaforico. I sistemi linguistici sono stati scelti tutti appartenenti alla famiglia romanza, al fine di metterli a confronto e trovare convergenze e divergenze fra la gamma di perifrasi costruite con verbi di movimento che le lingue in questione, di ceppo comune, presentano. Per svolgere questo tipo di lavoro sono state utilizzate Grammatiche istituzionali, saggi, articoli e manuali che inquadrano il panorama linguistico di ogni lingua a partire da punti di vista differenti. Inoltre, al fine di dimostrare la tesi principale, ogni concetto teorico è accompagnato da dimostrazioni e da esempi, entrambi tratti da "corpora" linguistici già esistenti in rete.