Studio geometrico differenziale dell'evoluzione storica del simbolo dello Yin-Yang (Taijitu)

Alla base dell'elaborato vi è uno studio geometrico differenziale del Taijitu ed in particolare della curva centrale presente nel simbolo; il tutto ripercorrendo cronologicamente ed in termini matematici il cambiamento che il simbolo ha subito nel corso del tempo. Tale studio è consistito, implementando un programma Matlab, nell'approssimazione mediante curve di Bézier, seguita da osservazioni sul grado delle curve trovate e sulla loro differenziabilità.

Da Broadway alla gran via: La traduzione spagnola del musical The Lion King

Questa argomentazione tratta la traduzione e l'adattamento spagnolo del musical The Lion King. In primo luogo viene data una descrizione di che cos'è un musical, quali sono le sue origini, quali tematiche vengono affrontate e da quali numeri è composto lo spettacolo. Viene poi introdotto The Lion King con una breve descrizione del film per poi passare al "making of" del musical, abbiamo quindi una breve descrizione di scene, costumi e maschere. La terza parte è dedicata alla traduzione per la scena: vengono identificate le problematiche maggiori di questo campo della traduzione, si analizzano performability, speakability e soprattutto la singability, la caratteristica principale da tenere a mente quando si traduce un musical anche se spesso non gli viene attribuita l'importanza che merita. Viene poi introdotta la traduzione spagnola de El Rey León e del suo traduttore, Jordi Galcerán, di cui viene descritta una breve biografia in quanto il discorso è incentrato soprattutto nella sua esperienza di traduzione. L'ultima parte è l'analisi delle canzoni. Sono state selezionate sette canzoni di cui sono state analizzate nel dettaglio un minimo di due a un massimo di tre strofe. Ognuna di esse è affiancata dalla versione originale inglese in modo da avere subito chiare quali sono le differenze principali.

Progettazione e sviluppo di un sistema distribuito per la gestione di transazioni finanziarie.

L'opera si propone di esplorare modelli innovativi, in particolare quello ad attori, per lo sviluppo di applicazioni enterprise distribuite con elevata scalabilità, prendendo come caso di studio lo sviluppo di un sistema per la gestione delle transazioni finanziarie in ambito petrolifero.

Non normalità di matrici ed il ruolo degli autovalori

In questa tesi vengono studiati gli effetti della non-normalità di un operatore all'interno di sistemi dinamici regolati da sistemi di equazioni differenziali ordinarie. Viene studiata la stabilità delle soluzioni, in particolare si approfondiscono fenomeni quali le crescite transitorie. In seguito vengono forniti strumenti grafici come gli Pseudospettri capaci di scoprire e quantificare tali "anomalie". I concetti studiati vengono poi applicati alla teoria dell'ecologia delle popolazioni utilizzando una generalizzazione delle equazioni di Lotka-Volterra. Modelli e matrici vengono implementate in Matlab mentre i risultati grafici sono ottenuti con il Toolbox Eigtool.

Circolazioni e omologia dei grafi

In questa tesi verrà trattato il problema di introdurre una teoria omologica sui grafi. Si vedranno i grafi come un 1-complessi simpliciali, e dunque l'idea sarà di applicare le conoscenze che si hanno di una teoria omologica generale ad un oggetto specifico, che è appunto il grafo.

Un' app mobile interpiattaforma per la geolocalizzazione in tempo reale di membri di un gruppo

Realizzazione di un'app mobile interpiattaforma tramite phonegap che permette la geolocalizzazione di utenti di un gruppo. Connessione Client-Server attraverso Websocket. Librerie di Socket.IO e mappe di Google Maps.

Incapsulamento di applicazioni per il controllo del flusso dati: monitor

Nella presente tesi vengono presentati gli strumenti necessari ad un dispositivo mobile per spostarsi attraverso una molteplicità di reti wi-fi senza perdere l'identità della connessione in essere.

La traduzione audiovisiva: Doppiaggio e sottotitolaggio di Triple Standard

La tesi analizza il procedimento di doppiaggio e sottotitolaggio in italiano del cortometraggio in lingua inglese Triple Standard

Approcci innovativi per future simulazioni HPC verso l'exascale computing con applicazioni alla fisica dei materiali

In questo lavoro di tesi sono state evidenziate alcune problematiche relative alle macchine exascale (sistemi che sviluppano un exaflops di Potenza di calcolo) e all'evoluzione dei software che saranno eseguiti su questi sistemi, prendendo in esame principalmente la necessità del loro sviluppo, in quanto indispensabili per lo studio di problemi scientifici e tecnologici di più grandi dimensioni, con particolare attenzione alla Material Science, che è uno dei campi che ha avuto maggiori sviluppi grazie all'utilizzo di supercomputer, ed ad uno dei codici HPC più utilizzati in questo contesto: Quantum ESPRESSO. Dal punto di vista del software sono state presentate le prime misure di efficienza energetica su architettura ibrida grazie al prototipo di cluster EURORA sul software Quantum ESPRESSO. Queste misure sono le prime ad essere state pubblicate nel contesto software per la Material Science e serviranno come baseline per future ottimizzazioni basate sull'efficienza energetica. Nelle macchine exascale infatti uno dei requisiti per l'accesso sarà la capacità di essere energeticamente efficiente, così come oggi è un requisito la scalabilità del codice. Un altro aspetto molto importante, riguardante le macchine exascale, è la riduzione del numero di comunicazioni che riduce il costo energetico dell'algoritmo parallelo, poiché in questi nuovi sistemi costerà di più, da un punto di vista energetico, spostare i dati che calcolarli. Per tale motivo in questo lavoro sono state esposte una strategia, e la relativa implementazione, per aumentare la località dei dati in uno degli algoritmi più dispendiosi, dal punto di vista computazionale, in Quantum ESPRESSO: Fast Fourier Transform (FFT). Per portare i software attuali su una macchina exascale bisogna iniziare a testare la robustezza di tali software e i loro workflow su test case che stressino al massimo le macchine attualmente a disposizione. In questa tesi per testare il flusso di lavoro di Quantum ESPRESSO e WanT, un software per calcolo di trasporto, è stato caratterizzato un sistema scientificamente rilevante costituito da un cristallo di PDI - FCN2 che viene utilizzato per la costruzione di transistor organici OFET. Infine è stato simulato un dispositivo ideale costituito da due elettrodi in oro con al centro una singola molecola organica.

Frequency-dependent response of snow in uniaxial compression and comparison with numerical simulation

La determinazione del modulo di Young è fondamentale nello studio della propagazione di fratture prima del rilascio di una valanga e per lo sviluppo di affidabili modelli di stabilità della neve. Il confronto tra simulazioni numeriche del modulo di Young e i valori sperimentali mostra che questi ultimi sono tre ordini di grandezza inferiori a quelli simulati (Reuter et al. 2013)⁠. Lo scopo di questo lavoro è stimare il modulo di elasticità studiando la dipendenza dalla frequenza della risposta di diversi tipi di neve a bassa densità, 140-280 kg m-3. Ciò è stato fatto applicando una compressione dinamica uniassiale a -15°C nel range 1-250 Hz utilizzando il Young's modulus device (YMD), prototipo di cycling loading device progettato all'Istituto per lo studio della neve e delle valanghe (SLF). Una risposta viscoelastica della neve è stata identificata a tutte le frequenze considerate, la teoria della viscoelasticità è stata applicata assumendo valida l'ipotesi di risposta lineare della neve. Il valore dello storage modulus, E', a 100 Hz è stato identificato come ragionevolmente rappresentativo del modulo di Young di ciascun campione neve. Il comportamento viscoso è stato valutato considerando la loss tangent e la viscosità ricavata dai modelli di Voigt e Maxwell. Il passaggio da un comportamento più viscoso ad uno più elastico è stato trovato a 40 Hz (~1.1•10-2 s-1). Il maggior contributo alla dissipazione è nel range 1-10 Hz. Infine, le simulazioni numeriche del modulo di Young sono state ottenute nello stesso modo di Reuter et al.. La differenza tra le simulazioni ed i valori sperimentali di E' sono, al massimo, di un fattore 5; invece, in Reuter et al.⁠, era di 3 ordini di grandezza. Pertanto, i nostri valori sperimentali e numerici corrispondono meglio, indicando che il metodo qui utilizzato ha portato ad un miglioramento significativo.

Virtualizzazione parziale del livello transport ai fini della gestione della mobilità

In questo lavoro di tesi verrà presentato un modo per utilizzare simultaneamente due generiche interfacce di rete, prendendo spunto dal modello Always Best Packet Switching (ABPS) e ricorrendo ai principi della virtualizzazione. Il modello ABPS permette ad una applicazione di usare simultaneamente tutte le interfacce di rete, inviando e ricevendo i datagram IP attraverso l’interfaccia idonea, in base alle caratteristiche del datagram stesso e alla disponibilità della rete.

Valutazione di un sistema di recupero di immagini dermatologiche

Questa tesi si inserisce in un progetto di ricerca fra il gruppo di Matematica della Visione del Prof. Ferri e CA-MI S.r.l. volto a progettare un sistema di recupero di immagini mediante il quale un dermatologo potrà acquisire l’immagine di una lesione e recuperare da un database classificato le immagini più somiglianti. Il concetto stesso di “somiglianza” è formalmente realizzato da una parte dell’omologia persistente (funzioni di taglia). Questa tesi utilizza tali metodi al fine di ottenere una combinazione ottimale dei diversi classificatori che si ottengono utilizzando la modularità intrinseca nella teoria. A questo scopo vengono impiegati due modelli e diversi metodi numerici.

Le funzioni olomorfe e il loro collegamento con le funzioni armoniche

Questo elaborato si propone di analizzare il collegamento tra olomorfia e armonicità. La prima parte della tesi tratta le funzioni olomorfe, mentre la seconda parte tratta le funzioni armoniche. Per quanto riguarda la seconda parte, inizialmente ci limiteremo a studiare le funzioni armoniche in R^2, sottolineando il legame tra queste e le funzioni olomorfe. Considereremo poi il caso generale, ovvero estenderemo la nozione di funzione armonica ad R^N e osserveremo che molte delle proprietà viste per le funzioni olomorfe valgono anche per le funzioni armoniche. In particolare, vedremo che le formule di media per le funzioni armoniche svolgono un ruolo analogo alla formula integrale di Cauchy per le funzioni olomorfe. Vedremo anche che il Teorema di Liouville per le funzioni armoniche è l’analogo del Teorema di Liouville per le funzioni intere (funzioni olomorfe su tutto C) e, infine, osserveremo che il Principio del massimo forte non è altro che il trasferimento alle funzioni armoniche del Principio del massimo modulo visto nella teoria delle funzioni olomorfe.

Un sistema location-based per la mappatura degli Access Point su Android

un' applicazione in grado di memorizzare e mappare tutti i punti dove è possibile collegarsi, in modo gratuito, ad internet usando il nostro Smartphone. Per tenere traccia di questi punti si utilizza un meccanismo in grado di determinare la posizione geografica del dispositivo mediante il quale l’utente si connette alla rete. Inoltre è possibile la condivisione di tutti i punti registrati su un database online per rendere pubbliche le proprie registrazioni.

Strumenti di gestione per infrastrutture IT

L'elaborato analizza gli strumenti utilizzati nella gestione di infrastrutture informatiche. In particolare: nel primo capitolo viene fatta una panoramica del Cloud Computing e relativi modelli infrastrutturali e di distribuzione. Nel secondo vengono analizzate le piattaforme di gestione di sistemi basati su architettura IaaS, quali OpenStack, OpenNebula ed Eucalyptus. Nel terzo capitolo vengono esaminati due dei Software Configuration Management maggiormente utilizzati: Puppet e Chef. Nel quarto ed ultimo capitolo viene descritto lo standard OCCI (Open Cloud Computing Interface).