Classificazione di brani musicali mediante reti neuronali artificiali

L'informatica musicale è una disciplina in continua crescita che sta ottenendo risultati davvero interessanti con l'impiego di sistemi artificiali intelligenti, come le reti neuronali, che permettono di emulare capacità umane di ascolto e di esecuzione musicale. Di particolare interesse è l'ambito della codifica di informazioni musicali tramite formati simbolici, come il MIDI, che permette un'analisi di alto livello dei brani musicali e consente la realizzazione di applicazioni sorprendentemente innovative. Una delle più fruttifere applicazioni di questi nuovi strumenti di codifica riguarda la classificazione di file audio musicali. Questo elaborato si propone di esporre i fondamentali aspetti teorici che concernono la classificazione di brani musicali tramite reti neuronali artificiali e descrivere alcuni esperimenti di classificazione di file MIDI. La prima parte fornisce alcune conoscenze di base che permettono di leggere gli esperimenti presenti nella seconda sezione con una consapevolezza teorica più profonda. Il fine principale della prima parte è quello di sviluppare una comparazione da diversi punti di vista disciplinari tra le capacità di classificazione musicale umane e quelle artificiali. Si descrivono le reti neuronali artificiali come sistemi intelligenti ispirati alla struttura delle reti neurali biologiche, soffermandosi in particolare sulla rete Feedforward e sull'algoritmo di Backpropagation. Si esplora il concetto di percezione nell'ambito della psicologia cognitiva con maggiore attenzione alla percezione uditiva. Accennate le basi della psicoacustica, si passa ad una descrizione delle componenti strutturali prima del suono e poi della musica: la frequenza e l'ampiezza delle onde, le note e il timbro, l'armonia, la melodia ed il ritmo. Si parla anche delle illusioni sonore e della rielaborazione delle informazioni audio da parte del cervello umano. Si descrive poi l'ambito che interessa questa tesi da vicino: il MIR (Music Information Retrieval). Si analizzano i campi disciplinari a cui questa ricerca può portare vantaggi, ossia quelli commerciali, in cui i database musicali svolgono ruoli importanti, e quelli più speculativi ed accademici che studiano i comportamenti di sistemi intelligenti artificiali e biologici. Si descrivono i diversi metodi di classificazione musicale catalogabili in base al tipo di formato dei file audio in questione e al tipo di feature che si vogliono estrarre dai file stessi. Conclude la prima sezione di stampo teorico un capitolo dedicato al MIDI che racconta la storia del protocollo e ne descrive le istruzioni fondamentali nonchè la struttura dei midifile. La seconda parte ha come obbiettivo quello di descrivere gli esperimenti svolti che classificano file MIDI tramite reti neuronali mostrando nel dettaglio i risultati ottenuti e le difficoltà incontrate. Si coniuga una presentazione dei programmi utilizzati e degli eseguibili di interfaccia implementati con una descrizione generale della procedura degli esperimenti. L'obbiettivo comune di tutte le prove è l'addestramento di una rete neurale in modo che raggiunga il più alto livello possibile di apprendimento circa il riconoscimento di uno dei due compositori dei brani che le sono stati forniti come esempi.

Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

La piattaforma BTSSOC-Cellulat per la simulazione di sistemi biochimici

Il lavoro svolto in questa tesi verte sullo sviluppo e l'integrazione del modello teorico conosciuto come Biochemical Tuple Spaces for Self-Organizing Coordination, in breve BTSSOC, in una piattaforma completa, chiamata BTSSOC-Cellulat, per la simulazione di sistemi biochimici, sviluppata utilizzando i linguaggi Java, Prolog, TuCSoN e ReSpecT.

Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA

Scopo di questa tesi è analizzare e sviluppare la parte preposta al controllo dell’integrità dei dati (Check&SODA), facente parte di un nuovo plugin per piattaforma Eclipse che supporti il progettista durante le attività di progettazione con SODA, tramite una componente grafica Graph&SODA.

Interferometria SAR per lo studio di movimenti e generazione di modelli digitali del terreno in Antartide

Satellite SAR (Synthetic Aperture Radar) interferometry represents a valid technique for digital elevation models (DEM) generation, providing metric accuracy even without ancillary data of good quality. Depending on the situations the interferometric phase could be interpreted both as topography and as a displacement eventually occurred between the two acquisitions. Once that these two components have been separated it is possible to produce a DEM from the first one or a displacement map from the second one. InSAR DEM (Digital Elevation Model) generation in the cryosphere is not a straightforward operation because almost every interferometric pair contains also a displacement component, which, even if small, when interpreted as topography during the phase to height conversion step could introduce huge errors in the final product. Considering a glacier, assuming the linearity of its velocity flux, it is therefore necessary to differentiate at least two pairs in order to isolate the topographic residue only. In case of an ice shelf the displacement component in the interferometric phase is determined not only by the flux of the glacier but also by the different heights of the two tides. As a matter of fact even if the two scenes of the interferometric pair are acquired at the same time of the day only the main terms of the tide disappear in the interferogram, while the other ones, smaller, do not elide themselves completely and so correspond to displacement fringes. Allowing for the availability of tidal gauges (or as an alternative of an accurate tidal model) it is possible to calculate a tidal correction to be applied to the differential interferogram. It is important to be aware that the tidal correction is applicable only knowing the position of the grounding line, which is often a controversial matter. In this thesis it is described the methodology applied for the generation of the DEM of the Drygalski ice tongue in Northern Victoria Land, Antarctica. The displacement has been determined both in an interferometric way and considering the coregistration offsets of the two scenes. A particular attention has been devoted to investigate the importance of the role of some parameters, such as timing annotations and orbits reliability. Results have been validated in a GIS environment by comparison with GPS displacement vectors (displacement map and InSAR DEM) and ICEsat GLAS points (InSAR DEM).

Valutazione preclinica di oligonucleotidi antisenso come nuovo approccio terapeutico specifico per le leucemie acute con riarrangiamenti di MLL

Le Leucemie Acute Mieloidi di sottotipo FAB M4 e M5, le Leucemie Acute Linfoblastiche e le Leucemie Bifenotipiche sono frequentemente caratterizzate da traslocazioni del gene 11q23/MLL con formazione di oncogeni di fusione e produzione di oncoproteine che inducono la trasformazione neoplastica. Tali leucemie con riarrangiamenti di 11q23/MLL sono caratterizzate da prognosi infausta e scarsa responsività alle terapie convenzionali. Data la necessità di trovare terapie efficaci per le leucemie con traslocazione di MLL, in questo lavoro di ricerca sono stati progettati, caratterizzati e validati siRNA per il silenziamento genico degli oncogeni di fusione di MLL, con lo scopo di valutare il ripristino delle normali funzionalità di differenziamento cellulare e l’arresto della proliferazione neoplastica. Sono stati progettati siRNA specifici per gli oncogeni di fusione di MLL, sia per le regioni conservate nei diversi oncogeni di fusione, sia a livello del punto di fusione (breakpoint), sia per le regioni sui geni partner. I siRNA sono stati valutati su linee cellulari contenenti diverse traslocazioni del gene MLL. Il silenziamento è stato valutato sia a livello cellulare in termini di riduzione della capacità proliferativa e del numero delle cellule leucemiche, sia a livello molecolare tramite l’analisi della diminuzione dell’mRNA degli oncogeni di fusione di MLL. E’ stata valutata la diminuzione delle oncoproteine di fusione di MLL in seguito a trattamento con siRNA. E’ stata analizzata la variazione dell’espressione di geni dipendenti da MLL in seguito a trattamento con siRNA. Sono stati messi a punto modelli murini bioluminescenti di leucemie acute con traslocazioni di MLL innanzitutto per studiare il trafficking in vivo e la progressione leucemica delle leucemie acute con traslocazione di MLL. Successivamente sono stati utilizzati i modelli murini per lo studio in vivo dell’efficienza e della tossicità dei siRNA progettati e validati in vitro, valutando diversi sistemi di delivery per i siRNA in vivo.

Misure di segnali fluorescenti per l'analisi in microscopia dell'espressione genica in biologia sintetica

Protocolli e metodologie di caratterizzazione di un sistema di misura di segnali fluorescenti in microscopia ottica

La rocca di Fossombrone. Progetto di conservazione e valorizzazione della rovina.

L'oggetto della tesi è la rocca feltresca di Fossombrone, cittadina in provincia di Pesaro-Urbino, in parte attribuita a Francesco di Giorgio Martini. Dopo un'approfondita analisi storica ed evolutiva dell'oggetto, si sono studiati attentamente i suoi sistemi costruttivi, al fine di delineare un progetto di restauro principalmente conservativo. Il progetto propone anche la realizzazione di una copertura che abbia lo scopo sia di contribuire alla conservazione e protezione dei resti di murature antiche, sia di consentire un'accesso protetto in una ritrovata fruibilità della rocca.

Conservare il non finito: il Magazzino Darsena e il comparto del sale di Cervia

L’oggetto del nostro studio è il Magazzino del sale detto “Darsena” di Cervia. Durante l’elaborazione della tesi sono state affrontate diverse tematiche. La nostra attenzione è stata concentrata inizialmente sullo studio della Città Vecchia e sulla fondazione della Nuova, in rapporto alla nascita del comparto dei magazzini del sale, di cui il Darsena fa parte, e sulle trasformazioni che il manufatto ha subito nel tempo per effetto di questi cambiamenti. Siamo giunte fino all’ultimo, e più rilevante, intervento ad opera dell’Architetto Giancarlo De Carlo, che ha cambiato profondamente la spazialità interna dell’edificio. Questa premessa ha indirizzato lo studio della consistenza dell’edificio e del suo stato di conservazione, riflettendo sulla diversità e convivenza di nuovo e antico. Ci siamo proposte in seguito di intervenire sul manufatto con un progetto di restauro conservativo, accompagnato da una nuova destinazione d’uso che permetta all’edificio il suo riuso. Questa proposta si espande all’esterno dell’edificio, verso un progetto per il comparto del sale.

Percezione e paesaggio: un percorso di reastauro tra le rovine di Castelnuovo

Questo progetto tratta di un Luogo, composto di vari elementi, che concorrono a tracciarne l'identità. Partendo dal principio che non solo il restauro di tali oggetti ne garantirebbe la sopravvivenza, la storia del restauro ci insegna che prendersi cura dei monumenti non significa solo preservarne l'integrità materica, ma anche gestire il loro valore d'uso, garantendone una adeguata fruizione. Questa tesi, quindi, non si occuperà solo della conservazione materiale dei manufatti nel tempo ma anche del trattamento del loro intorno, al fine di creare un sistema fruibile, basato sulle dinamiche percettive del Luogo.

Modelli di Ottimizzazione per la programmazione di sale operatorie

La tesi è l'esito di un lavoro di studio e ricerca nell'ambito della gestione delle sale operatorie, uno dei problemi principali su cui si sono focalizzati gli studi di Ricerca Operativa, applicati ai sistemi sanitari, sviluppati nell'ultimo decennio. Vengono presentati i due modelli di ottimizzazione creati al fine di migliorare l'efficienza organizzativa delle pianificazioni degli interventi chirurgici di un presidio ospedaliero. I due modelli, uno teorico e l'altro implementato con istanze reali, si distinguono dalle ricerche presenti in letteratura per l'innovativa proposta di pianificare attività preoperatorie che contribuiscano a raggiungere una miglior efficienza e la diminuzione dei costi delle pratiche chirurgiche.