Actor Kit: Design and Development of an Actor Framework for Swift

Nell'ambito dello sviluppo software, la concorrenza è sempre stata vista come la strada del futuro. Tuttavia, questa è stata spesso ignorata a causa del continuo sviluppo dell'hardware che ha permesso agli sviluppatori di continuare a scrivere software sequenziale senza doversi preoccupare delle performance. In un'era in cui le nuove architetture hardware presentano processori multi-core, tutto questo non è più possibile. L'obiettivo di questa tesi è stato quello di considerare il Modello ad Attori come valida alternativa allo sviluppo di applicazioni in ambito mobile e quindi di progettare, sviluppare e distribuire un nuovo framework sulla base di tale modello. Il lavoro parte quindi da una panoramica di Swift, il nuovo linguaggio di programmazione presentato da Apple al WWDC 2014, in cui vengono analizzati nel dettaglio i meccanismi che abilitano alla concorrenza. Successivamente viene descritto il modello ad attori in termini di: attori, proprietà, comunicazione e sincronizzazione. Segue poi un'analisi delle principali implementazioni di questo modello, tra cui: Scala, Erlang ed Akka; quest'ultimo rappresenta la base su cui è stato ispirato il lavoro di progettazione e sviluppo del framework Actor Kit. Il quarto capitolo descrive tutti i concetti, le idee e i principi su cui il framework Actor Kit è stato progettato e sviluppato. Infine, l'ultimo capitolo presenta l'utilizzo del framework in due casi comuni della programmazione mobile: 1) Acquisizione dati da Web API e visualizzazione sull'interfaccia utente. 2) Acquisizione dati dai sensori del dispositivo. In conclusione Actor Kit abilita la progettazione e lo sviluppo di applicazioni secondo un approccio del tutto nuovo nell'ambito mobile. Un possibile sviluppo futuro potrebbe essere l'estensione del framework con attori che mappino i framework standard di Apple; proprio per questo sarà reso pubblico con la speranza che altri sviluppatori possano evolverlo e renderlo ancora più completo e performante.

Transistor elettrochimici organici per biosensoristica

I transistor elettrochimici a base organica (OECT) hanno attratto sempre maggior interesse e sono oggetto di molti studi dagli anni '70 no ai nostri giorni. Questo lavoro di tesi ha come oggetto la realizzazione e la caratterizzazione di OECT a base di poli(3,4-etilen-diossi-tiofene) complessato con l'acido stirensolfonico (PSS). Questi dispositivi sono stati costruiti utilizzando solamente semiconduttori organici come materiali conduttivi ovvero senza l'uso di metalli, quindi risultano essere biocompatibili, economici e di semplice realizzazione. Questo tipo di sensori presenta un elevata sensibilità agli analiti e necessita di un'elettronica di controllo molto più semplice rispetto a metodi elettrochimici tradizionali che utilizzano un potenziostato ed un elettrodo di riferimento. Sono state studiate diverse geometrie e spessori di polimero depositato per ottimizzare le condizioni di lavoro per avere alta sensibilità e guadagno in corrente attraverso l'uso di misure di corrente di drain in funzione del tempo con aggiunte successive di analita. Questi dispositivi sono stati utilizzati come sensori di analiti quali la dopamina, l'acido ascorbico e l'acido urico. Attraverso scansioni in transcaratteristica, si è studiata la risposta dei transistor relativa agli analiti ed attraverso lo studio della transconduttanza si è ottenuta una nuova metodologia di lavoro in grado di separare i contributi relativi ai vari composti. Inoltre, in questa modalità, è stato possibile ottenere una selettività dei sensori ai vari analiti, problema principale dell'utilizzo di transistor elettrochimici, ed attraverso la modulazione della velocità di scansione dello strumento, è stata ottenuta una risposta alla sola dopamina, analita di maggior interesse per applicazioni biosensoristiche. In conclusione si può affermare che questo tipo di dispositivo possiede ottime proprietà e caratteristiche per ulteriori studi e sviluppi in applicazioni reali.

Confronto tra dispositivi per la Realtà Virtuale: OSVR vs Oculus Rift

La realtà virtuale è un campo in continua crescita e in costante studio, in particolare nell'applicazione nel campo del gaming e nella formazione. In questa tesi sono stati confrontati e testati due visori per la realtà virtuale di tipo immersivo: OSVR e Oculus Rift DK2. Per il confronto dei due dispositivi sono stati creati su Blender due modelli: una rappresentazione tridimensionale di Times Square molto realistica (sfruttando Google Street View per la visualizzazione degli edifici e dei banner pubblicitari) e un circuito di Go Kart stile cartoon. Successivamente alla creazione di questi, è stato utilizzato il motore grafico Unity per l'aggiunta della dinamica dei componenti dei visori e il completamento dei due progetti, per esempio l'utilizzo degli script per il movimento del go kart. Tramite lo strumento Profiler e il Frame Debugger di Unity sono stati eseguiti i test sulle performance e sono state svolte le considerazioni finali sui visori. I risultati ottenuti possono essere d'aiuto per uno studio successivo sulla realtà virtuale immersiva ed essere una base di partenza per le migliorie da adottare con lo scopo di ottenere migliori prestazioni ed una maggiore interattività con l'utente.

Ecomusei in Alto Adige / Südtirol: presupposti normativi e contributo alla progettazione

Il termine Ecomuseo deriva dal greco οἶκος da intendersi come l’insieme delle relazioni all’interno di una comunità e delle interazioni tra la comunità e il territorio. Si tratta di un particolare processo di conoscenza, tutela e valorizzazione del patrimonio locale, materiale e immateriale. In mancanza di una legge quadro nazionale, in Italia finora sono state dodici le regioni e le province a sancire autonomamente l’istituzione e il riconoscimento degli Ecomusei, promuovendone la creazione. La Provincia Autonoma di Bolzano non è ancora dotata di uno strumento normativo per il riconoscimento degli Ecomusei. Si è pertanto valutata la possibilità di applicare lo strumento alle particolari condizioni socio-culturali del territorio sudtirolese. L’indagine è stata svolta a partire dall’analisi dei presupposti necessari alla realizzazione di un Ecomuseo generalmente condivisi dalle normative quali l’omogeneità culturale e la presenza di beni di comunità. Entrambi i criteri hanno richiesto di essere interpretati, sulla base di indagini storiche, sociali e culturali, svolte sotto il profilo architettonico, analizzando non solo la produzione edilizia nel tempo, ma anche i contenuti politici e culturali, la variazione della percezione del costruito da parte della popolazione e la conseguente evoluzione nell’approccio nei confronti della preesistenza. Verificate le condizioni di applicabilità dei criteri si è proceduto alla progettazione di un Ecomuseo Interculturale per la città di Merano (EIM), valutandone oggetto, finalità e struttura. Il progetto ha compreso anche la proposta di una sede per l’Ecomuseo, realizzando uno studio per il restauro di un’officina ferroviaria dei primi del Novecento riconoscendo in essa un importante documento di cultura materiale. In conclusione è stata quindi elaborata una proposta per un progetto di legge provinciale in materia di Ecomusei, quale fattore fondamentale per la loro organizzazione, promozione e diffusione.

Fluency in interpreting: a native-like quality factor

Lo studio si occupa di fluency e analizza alcuni aspetti che la definiscono (pause vuote, pause piene, segnali discorsivi, riformulazioni). Si analizzano frequenza e durata di tali fenomeni, attraverso due corpora di produzioni orali di due gruppi di parlanti della lingua inglese: gli studenti italiani del corso di Mediazione Linguistica Interculturale della Scuola di Lingue, Letterature, Interpretazione e Traduzione di Forlì, Università di Bologna, e partecipanti britannici di un programma radiofonico. Si è ritenuto utile comparare le produzioni orali di studenti della lingua inglese a quelle di oratori pubblici madrelingua. Si è cercato di bilanciare i due corpora in termini di genere. Sono stati utilzzati i software Praat, per identificare la morfologia e la durata delle variabili, e Notetab Light, per l'annotazione dei corpora. I risultati della ricerca mostrano che le differenze maggiori tra i due gruppi risiedono nella durata delle pause vuote e nella frequenza, durata e e varietà di suoni delle pause piene, oltre a sillabe aggiuntive, sillabe allungate e riformulazioni. Le sillabe aggiuntive appaiono tipiche della produzione orale degli studenti italiani, in quanto, per la maggior parte, le parole della lingua italiana terminano con un suono vocalico. E' inoltre emersa una questione di genere. Le parlanti di sesso femminile, in entrambi i corpora, impiegano maggiormente le variabili della fluency prese in esame, rispetto ai parlanti di sesso maschile. Sulla base di questa ricerca e ricerche future si potranno ideare moduli di insegnamento dell'inglese basati sulla fluency come fattore primario di competenza linguistica. Il Capitolo 1 introduce lo studio. Il Capitolo 2 presenta lo stato dell'arte sul tema. Il Capitolo 3 presenta la metodologia dello studio. Il Capitolo 4 è dedicato a illustrare e discutere i risultati della ricerca. Il Capitolo 5 presenta considerazioni conclusive e future prospettive per l'insegnamento dell'inglese e per la ricerca.

Production and Electrical Characterization of Low Density Polyethylene-based Micro- and Nano-dielectrics containing Graphene Oxide, Functionalized Graphene and Carbon Black additives

Oggigiorno la ricerca di nuovi materiali per gradatori di campo da impiegarsi in accessori di cavi ha iniziato a studiare alcuni materiali nano dielettrici con proprietà elettriche non lineari con la tensione ed aventi proprietà migliorate rispetto al materiale base. Per questo motivo in questo elaborato si sono studiati materiali nanostrutturati a base di polietilene a bassa densità (LDPE) contenenti nano polveri di grafene funzionalizzato (G*), ossido di grafene (GO) e carbon black (CB). Il primo obiettivo è stato quello di selezionare e ottimizzare i metodi di fabbricazione dei provini. La procedura di produzione è suddivisa in due parti. Nella prima parte è stata utilizzatala tecnica del ball-milling, mentre nella seconda un pressa termica (thermal pressing). Mediante la spettroscopia dielettrica a banda larga (BDS) si sono misurate le componenti reali e immaginarie della permettività e il modulo della conducibilità del materiale, in tensione alternata. Il miglioramento delle proprietà rispetto al provino di base composto dal solo polietilene si sono ottenute quando il quantitativo delle nanopolveri era maggiore. Le misure sono state effettuate sia a 3 V che a 1 kV. Attraverso misurazioni di termogravimetria (TGA) si è osservato l’aumento della resistenza termica di tutti i provini, soprattutto nel caso quando la % di nanopolveri è maggiore. Per i provini LDPE + 0.3 wt% GO e LDPE + 0.3 wt% G* si è misurata la resistenza alle scariche parziali attraverso la valutazione dell’erosione superficiale dei provini. Per il provino contenente G* è stato registrato una diminuzione del 22% del volume eroso, rispetto al materiale base, mentre per quello contenente GO non vi sono state variazioni significative. Infine si è ricercata la resistenza al breakdown di questi ultimi tre provini sopra citati. Per la caratterizzazione si è fatto uso della distribuzione di Weibull. Lo scale parameter α risulta aumentare solo per il provino LDPE + 0.3 wt% G*.

Biomechanical modeling of parotid glands morphing in head & neck radiation therapy treatments

Durante i trattamenti radioterapici dei pazienti oncologici testa-collo, le ghiandole parotidee (PGs) possono essere indebitamente irradiate a seguito di modificazioni volumetriche-spaziali inter/intra-frazione causate da fattori quali il dimagrimento, l’esposizione a radiazioni ionizzanti ed il morphing anatomico degli organi coinvolti nelle aree d’irraggiamento. Il presente lavoro svolto presso la struttura di Fisica Medica e di Radioterapia Oncologica dell’A.O.U di Modena, quale parte del progetto di ricerca del Ministero della Salute (MoH2010, GR-2010-2318757) “ Dose warping methods for IGRT and Adaptive RT: dose accumulation based on organ motion and anatomical variations of the patients during radiation therapy treatments ”, sviluppa un modello biomeccanico in grado di rappresentare il processo di deformazione delle PGs, considerandone la geometria, le proprietà elastiche e l'evoluzione durante il ciclo terapeutico. Il modello di deformazione d’organo è stato realizzato attraverso l’utilizzo di un software agli elementi finiti (FEM). Molteplici superfici mesh, rappresentanti la geometria e l’evoluzione delle parotidi durante le sedute di trattamento, sono state create a partire dai contorni dell’organo definiti dal medico radioterapista sull’immagine tomografica di pianificazione e generati automaticamente sulle immagini di setup e re-positioning giornaliere mediante algoritmi di registrazione rigida/deformabile. I constraints anatomici e il campo di forze del modello sono stati definiti sulla base di ipotesi semplificative considerando l’alterazione strutturale (perdita di cellule acinari) e le barriere anatomiche dovute a strutture circostanti. L’analisi delle mesh ha consentito di studiare la dinamica della deformazione e di individuare le regioni maggiormente soggette a cambiamento. Le previsioni di morphing prodotte dal modello proposto potrebbero essere integrate in un treatment planning system per metodiche di Adaptive Radiation Therapy.

I Wormholes ed il loro impiego per il viaggio interstellare

Viaggiare da un punto all'altro dell'universo muovendosi in uno spazio-tempo piatto richiede tempi talmente colossali da risultare impossibile per la nostra razza; pertanto, un viaggio interstellare potrebbe essere realizzato solo per mezzo di topologie relativistiche in grado di accorciare la distanza fra i punti dell'universo. Dopo aver dato una serie di motivazioni per cui i buchi neri ed il ponte di Einstein-Rosen non sono adatti ad essere impiegati viene introdotta una particolare classe di soluzioni, presentata per la prima volta da Michael S. Morris e Kip S. Thorne, delle equazioni di Einstein: essa descrive wormholes i quali, almeno in linea di principio, risultano attraversabili dagli esseri umani in quanto non presentano un orizzonte degli eventi sulla gola. Quest'ultima proprietà, insieme alle equazioni di campo di Einstein, pone dei vincoli piuttosto estremi sul tipo di materiale in grado di dar luogo alla curvatura spazio-temporale del wormhole: nella gola del wormhole la materia deve possedere una tensione radiale di enorme intensità, dell'ordine di quella presente nel centro delle stelle di neutroni più massive per gole con un raggio di appena qualche kilometro. Inoltre, questa tensione dev'essere maggiore della densità di energia del materiale: ad oggi non si conosce alcun materiale con quest'ultima proprietà, la quale viola entrambe le "condizioni sull'energia" alla base di teoremi molto importanti e verificati della relatività generale. L'esistenza di questa materia non può essere esclusa a priori, visto che non esiste prova sperimentale o matematica della sua irrealisticità fisica, ma non essendo mai stata osservata è importante assicurarsi di impiegarne il meno possibile nel wormhole: questo ci porterà a mostrare che i wormholes in cui il materiale esotico presenta una densità di energia negativa per gli osservatori statici sono i più adatti al viaggio interstellare.

La Blockchain: aspetti crittografici e applicazioni

La Blockchain è un deposito di dati distribuito costituito da una lista di record (in continua crescita) resistente a modifiche e revisioni, anche da parte degli operatori dei nodi (computer) su cui risiede. I dati sono sicuri anche in presenza di partecipanti non affidabili o disonesti alla rete. Una copia totale o parziale della blockchain è memorizzata su tutti i nodi. I record contenuti sono di due tipi: le transazioni, che sono i dati veri e propri, e i blocchi, che sono la registrazione di quanto ed in quale ordine le transazioni sono state inserite in modo indelebile nel database. Le transazioni sono create dai partecipanti alla rete nelle loro operazioni (per esempio, trasferimento di valuta ad un altro utente), mentre i blocchi sono generati da partecipanti speciali, i cosiddetti “miners”, che utilizzano software e a volte hardware specializzato per creare i blocchi. L’attività dei miners viene ricompensata con l’assegnazione di “qualcosa”, nel caso della rete Bitcoin di un certo numero di unità di valuta. Spesso negli esempi si fa riferimento alla Blockchain di Bitcoin perché è la catena di blocchi implementata per prima, e l'unica ad avere una dimensione consistente. Le transazioni, una volta create, vengono distribuite sui nodi con un protocollo del tipo “best effort”. La validità di una transazione viene verificata attraverso il consenso dei nodi della rete sulla base di una serie di parametri, che variano secondo l’implementazione specifica dell’architettura. Una volta verificata come valida, la transazione viene inserita nel primo blocco libero disponibile. Per evitare che ci sia una duplicazione delle informazioni l’architettura prevede un sistema di time stamping, che non richiede un server centralizzato.

PEDOT:PSS: un polimero conduttivo organico per lo studio dell'integrità del tessuto cellulare

Questa tesi si inserisce nel campo della Bioelettronica Organica con lo scopo di utilizzare dei transistor elettrochimici (OECT) organici basati sul polimero conduttivo PEDOT:PSS per rilevare l’integrità di un tessuto cellulare e come biosensori di analiti in soluzione. Nella prima parte dell’elaborato, si spiegano le proprietà ed il trasporto di carica dei polimeri coniugati concentrandosi sulle caratteristiche fisico chimiche del PEDOT:PSS, seguito da una trattazione analitica del principio di funzionamento di un OECT. La seconda parte, si concentra sul lavoro sperimentale partendo da una descrizione dei processi di fabbricazione degli OECT, dei metodi di caratterizzazione utilizzati e della progettazione del set-up sperimentale per permettere le misure elettriche nell’incubatore cellulare. In seguito, viene dimostrato l’uso di un OECT completamente a base di PEDOT:PSS come sensore di un neurotrasmettitore (dopamina). In parallelo, il lavoro si è concentrato sull’ottimizzazione dei transistor in termini di formulazione di PEDOT:PSS e di geometria del dispositivo per ottenere tempi di spegnimento veloci compatibili con le risposte cellulari (<300ms). In fase di preparazione alle misure con le cellule si è valutato la funzionalità dell’OECT nelle condizioni di coltura cellulare dimostrando una buona stabilità dei dispositivi. Inoltre, sono stati progettati degli studi di simulazione tramite una membrana porosa per prevedere le risposte dei transistor in presenza di un tessuto cellulare. Partendo dall’esito positivo dei test preliminari, il lavoro si è concluso con il primo esperimento con le cellule tumorali HeLa, in cui si è monitorata la crescita cellulare con immagini ottiche correlate alle misure elettriche. I primi risultati confermano la biocompatibilità dei dispositivi e una risposta elettrica degli OECTs alla presenza delle cellule, aprendo la possibilità di utilizzare questi dispositivi per futuri esperimenti anche con diversi tipi di cellule.

Division of labour in a group of agents inspired by ants' foraging behaviour

Questa tesi prende spunto da altri studi realizzati nel campo delle esattamente nel campo delle “Swam Intelligence”, una branca delle intelligenze artificiali prende spunto dal comportamento di animali sociali, sopratutto insetti come termini, formiche ed api, per trarne interessanti metafore per la creazione di algoritmi e tecniche di programmazione. Questo tipo di algoritmi, come per gli esempi tratti dalla biologia, risultano dotati di interessanti proprietà adatte alla risoluzione di certi problemi nell'ambito dell'ingegneria. Lo scopo della tesi è quello di mostrare tramite un esempio pratico le proprietà dei sistemi sviluppati tramite i principi delle Swarm Intelligence, evidenziando la flessibilità di questi sistemi. Nello specifico, la mia tesi analizzerà il problema della suddivisione del lavoro in una colonia di formiche, fornendo un esempio pratico quale il compito di cattura di prede in un determinato ambiente. Ho sviluppato un'applicazione software in Java che simula tale comportamento, i dati utilizzati durante le diverse simulazioni possono essere modificati tramite file di testo, in modo da ottenere risultati validi per diversi contesti.

Basi ortonormali negli spazi di Hilbert

Questo elaborato presenta gli elementi di base della Teoria degli Spazi di Hilbert, con particolare attenzione al Teorema della Proiezione sui convessi e ai sistemi ortonormali completi.

Spazi per un'educazione innovativa La pedagogia di Gianfranco Zavalloni in un nuovo progetto per la scuola elementare "Panoramica" a Riccione

Studiare il rapporto tra pedagogia ed architettura per ridisegnare la scuola Panoramica a Riccione. I principi guida di Gianfranco Zavalloni, educatore cesenate, maestro di scuola materna e dirigente scolastico, autore de “La pedagogia della lumaca, sono la base su cui fonda il progetto. Natura, lavoro manuale e gioco sono le parole chiavi, nonchè i punti cardini delle teorie del cesenate. L'applicazione di questi concetti uniti a uno studio sui legami di tipo pubblico e privato che si innescano all'interno di un edificio scolastico sono l'ossatura portante del progetto. Il risultato è un edificio innovativo, a diretto contatto con la natura e attento ai principi di sostenibilità e di risparmio energetico.

Waterfront di Città. Rigenerazione urbana e progetto degli spazi pubblici nella Darsena di Ravenna

Questo lavoro si pone in continuità rispetto al Laboratorio di Sintesi “La città e le case”, nel corso del quale si sono condotti un’analisi del territorio di Ravenna, in particolar modo della Darsena di Città, e uno studio dei possibili scenari di rigenerazione urbana dell’area industriale dismessa del canale Candiano. L’area della Darsena è stata “dimenticata” dagli strumenti di pianificazione per molto tempo, soltanto a partire dagli anni ’90 l’Amministrazione Comunale si è interessata al suo recupero, senza però particolare successo. L’intento di questo lavoro è quello di ripensare l’intero comparto della Darsena di Città attraverso un progetto di rigenerazione urbana che miri a collegare quest’area con la città storica e a ricreare il rapporto tra questa e l’acqua attraverso più fasi distribuite nell’arco dei prossimi 30 anni. Il progetto si pone in continuità con la città esistente ma allo stesso tempo punta a migliorarne alcuni aspetti critici: la mancanza dell’affaccio della città sull’acqua, la cesura nel tessuto urbano dovuta alla presenza dell’infrastruttura ferroviaria e della darsena. Le modalità di sviluppo del progetto per Ravenna riprendono l’esperienza tedesca di HafenCity ad Amburgo dove, dopo un masterplan generale per tutta l’area portuale da recuperare, si è proceduto con concorsi per ciascun edificio così da ottenere una grande varietà architettonica. Maggiore attenzione viene data al progetto degli spazi pubblici poiché la fruizione di essi da parte della collettività e l’attaccamento a questi luoghi possono essere gli elementi trainanti per la riqualificazione dell’intera area. Il progetto degli spazi pubblici è pensato come un sistema unitario poiché deve essere l’elemento che guida, “coordina” e uniforma il progetto del costruito.