Teoria dei giochi ed evoluzione La selezione naturale

La tesi fornisce una chiave di lettura del rapporto che si instaura tra la biologia e la matematica, nello specificio nell'analisi della Teoria dell'Evoluzione proposta da Charles Darwin e del processo di Selezione Naturale attraverso l'utilizzo di modelli matematici forniti dalla Teoria dei giochi e la Teoria dei giochi Evolutivi.

Algoritmi per la stima del rumore nella ricostruzione di immagini

In questa tesi viene analizzato un metodo di regolarizzazione nel quale il problema di regolarizzazione è formulato come un problema di ottimizzazione vincolata. In questa formulazione è fondamentale il termine noto del vincolo, parametro per il quale dipende la bontà della ricostruzione, che corrisponde ad una stima della norma del rumore sul dato. Il contributo della tesi è l'analisi di un algoritmo proposto per stimare il rumore in applicazioni di image deblurring utilizzando la decomposizione in valori singolari dell'operatore che descrive il blur. Sono stati fatti numerosi test per valutare sia i parametri dell'algoritmo di stima che l'efficacia della stima ottenuta quando è inserita nel termine noto del vincolo del problema di ottimizzazione per la ricostruzione dell'immagine.

Meccanismi neurali per la rappresentazione semantica e lessicale: modello di una rete neurale per apprendere il significato di oggetti e parole

Lo studio della memoria semantica attraverso modelli teorici (qualitativi o matematici) gioca un ruolo importante nelle neuroscienze cognitive. In questa tesi viene presentato un modello della memoria semantica e lessicale. Il principio alla base del modello è che la semantica di un oggetto è descritta attraverso una collezione di proprietà, che sintetizzano la percezione dell’oggetto nelle diverse regioni corticali. Gli aspetti semantici e lessicali sono memorizzati in regioni separate del cervello, ma reciprocamente connesse sulla base dell’esperienza passata, secondo un meccanismo di apprendimento Hebbiano. L’obiettivo del lavoro è indagare i meccanismi che portano alla formazione di categorie, analizzare il ruolo delle diverse proprietà nella costruzione di un concetto e le connessioni tra queste proprietà e la parola corrispondente al nome dell’oggetto. Durante l’addestramento per ogni oggetto sono presentate alcune proprietà in input, con una data frequenza: alcune sono condivise, cioè appartengono a più di un concetto e permettono la formazione di categorie, altre sono distintive, cioè sono tipiche di un concetto e consentono la rappresentazione dei membri di una categoria. Un ulteriore aspetto riguardante le proprietà è la distinzione fra proprietà salienti, che sono spontaneamente evocate, e proprietà marginali. E’ stata utilizzata una tassonomia composta da 11 parole che identificano 11 animali. La salienza è stabilita dalla frequenza con cui si verifica ciascuna proprietà. La distinzione tra proprietà condivise e distintive, e tra proprietà salienti e non salienti, è stata ottenuta mediante l’uso della regola di Hebb con una diversa soglia presinaptica e postsinaptica, producendo patterns di sinapsi asimmetriche all’interno della rete semantica (auto-associazione) e tra la rete semantica e lessicale (etero-associazione). La rete addestrata è in grado di risolvere compiti di riconoscimento e denominazione di oggetti, mantenendo una distinzione tra le categorie e i suoi membri, e fornendo un diverso ruolo per le proprietà salienti rispetto alle proprietà marginali.

La crittografia nel sistema di moneta digitale Bitcoin

In questo documento si presenta lo studio degli algoritmi matematici e crittografici su cui si basa il sistema di moneta digitale Bitcoin, in circolazione dal 2009. Bitcoin è un sistema di cripto valuta elettronica peer-to-peer, ideato da un anonimo conosciuto con lo pseudonimo "Satoshi Nakamoto", i cui principi sono descritti in un documento pubblicato nel 2008 ed ora accessibile in rete. L'utilizzo di Bitcoin permette di effettuare transazioni con sicurezza da un soggetto ad un altro e, grazie a una tecnologia peer-to-peer che opera senza alcuna autorità centrale e intermediari quali banche o istituzioni governative, sia la gestione delle operazioni sia l'emissione di denaro sono svolte per mezzo di un protocollo P2P. Nel corso della trattazione si propone un analisi più tecnica del sistema di gestione e creazione dei Bitcoin e degli strumenti crittografici che hanno permesso l'avvento di questa moneta elettronica decentralizzata.

Il ruolo delle architetture di controllo nella progettazione e sviluppo di applicazioni web: Un confronto fra event-loop e control-loop utilizzando il linguaggio dart e linguaggi agent-oriented

Quando si parla di architetture di controllo in ambito Web, il Modello ad Eventi è indubbiamente quello più diffuso e adottato. L’asincronicità e l’elevata interazione con l’utente sono caratteristiche tipiche delle Web Applications, ed un architettura ad eventi, grazie all’adozione del suo tipico ciclo di controllo chiamato Event Loop, fornisce un'astrazione semplice ma sufficientemente espressiva per soddisfare tali requisiti. La crescita di Internet e delle tecnologie ad esso associate, assieme alle recenti conquiste in ambito di CPU multi-core, ha fornito terreno fertile per lo sviluppo di Web Applications sempre più complesse. Questo aumento di complessità ha portato però alla luce alcuni limiti del modello ad eventi, ancora oggi non del tutto risolti. Con questo lavoro si intende proporre un differente approccio a questa tipologia di problemi, che superi i limiti riscontrati nel modello ad eventi proponendo un architettura diversa, nata in ambito di IA ma che sta guadagno popolarità anche nel general-purpose: il Modello ad Agenti. Le architetture ad agenti adottano un ciclo di controllo simile all’Event Loop del modello ad eventi, ma con alcune profonde differenze: il Control Loop. Lo scopo di questa tesi sarà dunque approfondire le due tipologie di architetture evidenziandone le differenze, mostrando cosa significa affrontare un progetto e lo sviluppo di una Web Applications avendo tecnologie diverse con differenti cicli di controllo, mettendo in luce pregi e difetti dei due approcci.

Progettare nel verde urbano. Dalla teoria del settore a nuove ipotesi di densificazione e riqualificazione urbana: Un nuovo auditorium per bogota

Questa tesi si propone di ripensare una parte della città di Bogotà, dopo un’attenta analisi del suo sviluppo storico ed evolutivo. L’intento è sia quello di contrastare lo sprawl urbano e gli effetti negativi che esso produce, sia quello di migliorare la vivibilità delle città, tentando di limitare i problemi della città diffusa. In particolare, studiando i piani urbanistici e il loro concretizzarsi all’interno della città, si sono volute dare soluzioni al crescente bisogno di alloggi, causato dall’aumento di popolazione. L’attenzione si è quindi focalizzata sull’area nord, in cui il carattere urbano è più debole e fortemente frammentato dal passaggio dell’attuale autopista Norte, infrastruttura che separa e divide due parti della città e che il progetto vuole provare a ricollegare dal punto di vista identitario. L’idea del masterplan è stata studiata riferendosi al piano pilota di Le Corbusier e più nello specifico alla sua teoria del settore che prevedeva all’interno di ogni quartiere strutturato da una griglia precisa di strade, differenti funzioni, che il maestro chiama categorie fondamentali dell’urbanistica: abitare, lavorare, circolare e coltivare il corpo e lo spirito; è proprio in relazione a quest’ultima categoria che si è pensato di progettare un nuovo polo accentratore per Bogotá legato alle arti, prevedendo una riconnessione con il centro attraverso, soprattutto, un sistema di aree verdi e pubbliche strutturate a formare un sistema gerarchico di parchi, che vede l’autopista come asse principale di sviluppo. La scelta di progettare un edificio con una vocazione pubblica importante è stata dettata dalla volontà di dislocare in un quartiere meno centrale un nuovo polo attrattore per gli abitanti di tutta la città, in questo modo si è cercato di valorizzare il settore nord, fino ad oggi così marginale e periferico.

Medicina interventistica: Sviluppo di un concentratore di dati clinico-strumentali con applicazioni in telemedicina

Un limite rilevante delle apparecchiature elettromedicali presenti in una comune sala operatoria/interventistica è rappresentato dal fatto che le informazioni clinico-strumentali che esse sono in grado di fornire vengono gestite localmente in maniera indipendente: ogni fabbricante di apparecchiatura medica, infatti, sviluppa standard proprietari per l’acquisizione, la presentazione e l’archiviazione dei dati. Ci si chiede se sia possibile una gestione globale, sincronizzata e personalizzata, delle informazioni clinico-strumentali acquisibili da diverse strumentazioni presenti nel medesimo contesto operatorio. La soluzione di SparkBio S.r.l. per colmare il gap esistente in materia di gestione di informazioni clinico-strumentali di sala è quella di concentrare le uscite video e le uscite analogiche dei vari dispositivi e visualizzarle contemporaneamente su di un unico monitor master. Il monitor master sarà suddiviso tramite una griglia in diversi settori ed ogni area predisposta per visualizzare il segnale video o analogico di un dispositivo presente in sala. Avendo a disposizione un’apparecchiatura con questa potenzialità, le applicazioni risultano innumerevoli: l’archiviazione di un unico file contenente la registrazione sincronizzata dei segnali delle varie sorgenti permette di documentare l’intera esecuzione della procedura al fine di una sua successiva visione e distribuzione: il confronto congiunto, fatto a posteriori, di parametri acquisiti da strumenti diversi rende possibile valutare particolari eventi; la condivisione con la comunità scientifica rende possibile la diffusione del sapere in materia di chirurgia. Inoltre la disponibilità di una collezione di dati concentrati in un’unica workstation apre la strada ad applicazioni nel campo della telemedicina: la condivisione a distanza delle varie sorgenti raccolte e sincronizzate via WEB, tramite l’integrazione di un software per videoconferenza, permette di realizzare supporto remoto, e-learning, telementoring e teleproctoring. L’obiettivo di questa tesi è analizzare il processo di sviluppo di questo nuovo dispositivo medico denominato “OneView”, per poi passare alla progettazione di scenari specifici applicabili a diverse procedure chirurgiche.

Esperimenti di Modularizzazione dello Stack TCP-IP di Linux

In questo lavoro si introduce il progetto di estrarre lo stack tcp-ip dal kernel di linux e farlo funzionare come una normale libreria in userspace. Si parlerà dei vantaggi di avere lo stack tcp-ip in userspace, di altri progetti simili, del motivo per cui si è scelto lo stack di linux, dei principali problemi incontrati nel corso del lavoro, del percorso seguito, e di come il risultato possa essere migliorato per renderlo uno strumento effettivamente utile.

Sviluppo di un'applicazione mobile per la valutazione di sostenibilità della mobilità personale mediante veicoli elettrici

La sempre minore disponibilità di combustibili fossili e il crescente inquinamento ambientale, hanno incentivato non solo la ricerca di fonti alternative di energia, ma anche lo sviluppo di nuove tecnologie che ci permettessero di sfruttarle. Non solo sono stati sviluppati pannelli solari e paleoliche, che ci permettono di ottenere energia rinnovabile; ma anche i "comuni" strumenti sono stati modificati per far fronte a queste esigenze. Tra le più importanti innovazioni, lo sviluppo delle auto elettriche è quella che ha riscosso più interesse. Nonostante gli ingenti investimenti iniziali però, l'immissione nel mercato non sta riscuotendo il successo sperato. Uno dei maggiori limiti riscontrati è quello che viene definito Range Anxiety, ovvero la paura che il veicolo elettrico (EV) non abbia abbastanza autonomia per garantire al conducente il raggiungimento della meta. Inoltre il tutto viene amplificato dai lunghi tempi di ricarica delle batterie e l'elevato costo degli EV. Per arginare questi problemi, in questo documento viene descritto lo sviluppo di un applicazione Android (WhatIfApp - WIA) per la valutazione della sostenibilità di un viaggio, facendo visualizzare all'utente i tempi di percorrenza (ottimizzati) e i consumi, che un EV dovrebbe affrontare in determinati percorsi. In particolare, ne viene spiegato l'utilizzo, le funzionalità, le scelte implementative e le future estensioni.

Jesolo - area "central park" centro per la conoscenza del territorio

Il progetto si propone di individuare le potenzialità del paesaggio naturale di Jesolo, in particolare dell'ambiente lagunare e costiero, e dei suoi caratteri architettonici riproponendo tali caratteristiche all'interno dell'area a scopo conoscitivo, con l'obiettivo di sostenere l'educazione e la sensibilizzazione alla tutela del patrimonio naturale e storico attraverso luoghi per la didattica e proposte educative che consentano un'osservazione e una esperienza diretta sul luogo.

Sviluppo e verifica di un framework basato su logica computazionale per la selezione dinamica di web services tramite informazioni

La presenza sempre più massiccia di fornitori di servizi basati su web service ha portato in rilievo uno dei limiti di questo approccio, l’impossibilità di rendere automatizzabili i task di ricerca, invocazione e orchestrazione dei servizi. Il raggiungimento di questo obiettivo risulta impossibile a causa della mancanza di informazioni comprensibili ad una macchina attraverso le quali un agente software può effettuare delle scelte tra vari servizi esposti. Il fallimento della “ricerca intelligente” di un servizio pubblicato sta nella stessa modellazione dei servizi. I linguaggi attualmente disponibili permettono di modellare un servizio solo dal punto di vista sintattico. Definire le operazioni proposte, il tipo di parametri accettati e il tipo di output prodotto non è sufficiente a comprendere cosa il servizio può fare. I web services semantici consentono di superare questo limite fornendo uno stack semantico, il quale ha il compito di racchiudere le informazioni relative ai servizi, il loro funzionamento e gli obiettivi raggiungibili organizzando la conoscenza in ontologie. La formalizzazione dei modelli ontologici e la loro integrazione con i servizi esistenti è uno dei problemi più interessanti che ha catturato l’attenzione di numerosi studi di settore. Negli ultimi anni numerose sono state le soluzioni proposte. Tra queste si possono considerare due principali vie di sviluppo che hanno visto un’intensa attività sperimentale. Il primo scenario è volto a modellare in maniera formale la conoscenza legata ai servizi esposti, il secondo integra i servizi già esistenti con nuove strutture semantiche in modo da conservare le infrastrutture presenti. Entrambi i filoni hanno come scopo quello di fornire la conoscenza adatta a sistemi esperti che consentano di automatizzare la ricerca dei servizi in base ai desideri dei clienti, permettendo la loro composizione dinamica basata su un’interazione utile e indipendente dai protocolli che vincolano il trasporto delle informazioni.

Analisi del cammino in acqua tramite sensori inerziali: Accuratezza strumentale e fasce di normalita

La biocinematica è una branca della biomeccanica che studia il movimento dei segmenti corporei senza considerare le cause che lo determinano. Le grandezze fisiche di interesse (posizione, velocità ed accelerazione) vengono determinate grazie ai sistemi di analisi del movimento che sfruttano principi fisici di funzionamento differenti con vari gradi di invasività. Lo sviluppo di nuove tecnologie di costruzione dei sensori inerziali, ha fornito una valida alternativa alle tecniche classiche per l’analisi del movimento umano. Gli IMUs (Inertial Measurement Units) sono facilmente indossabili, possono essere facilmente utilizzati fuori dal laboratorio, hanno un costo molto inferiore rispetto a quello dei sistemi opto-elettronici, non richiedono particolari abilità per essere utilizzati dall’utente e si configurano facilmente. In questa tesi verrà analizzato il cammino e costruite le bande di normalità sia in laboratorio che in acqua tramite i sensori inerziali. L’utilizzo in acqua delle tecniche classiche di analisi del movimento presenta dei problemi di accuratezza (legati ad esempio alla presenza delle bolle d’aria in acqua) che impediscono di effettuare un confronto tra i risultati ottenuti dai sensori e quelli ottenuti con un gold standard. Per questo motivo, è stato implementato un test per valutare l’accuratezza dei sensori e l’influenza dei disturbi magnetici sui magnetometri nelle stesse condizioni ambientali in cui si desidera registrare il cammino. Quest’analisi strumentale ha consentito anche di individuare, tra i diversi algoritmi di fusione utilizzati (algoritmo di fabbrica e algoritmo di Madgwick), quello da impiegare nell’analisi del suddetto task motorio per stimare in maniera più accurata l’orientamento dei sensori in acqua e in laboratorio. L'algoritmo di fabbrica viene escluso dal processo di sensor fusion poiché mostra un'accuratezza peggiore rispetto all'algoritmo di Madgwick. Dal momento che il protocollo implementato di analisi del cammino attraverso i sensori inerziali è già stato validato a secco e che le prestazioni dei sensori sono analoghe a secco e in acqua, il protocollo può essere utilizzato per la stima della cinematica degli arti inferiori nell'acqua. Le differenze riscontrate tra le curve del cammino sono da imputare sia alla diversa condizione ambientale che alla minore velocità di progressione che i soggetti manifestano in acqua. Infatti, la velocità media di progressione è 151.1 cm/s in laboratorio e 40.7 cm/s in acqua.

Analisi e verifica tramite prove meccaniche di un dispositivo ortopedico di fissazione esterna per correzioni angolari

L’obiettivo di questo elaborato consiste nell’introdurre lo studio del “Kore”, un prototipo di fissatore esterno monolaterale, progettato dall’azienda Citieffe (non ancora disponibile in commercio), utilizzato per la correzione di deformità angolari di ossa lunghe (in particolare tibia e femore). Il fissatore esterno monolaterale Kore consente una regolazione giornaliera dell’angolo di deformazione: tale correzione angolare avviene così in maniera graduale favorendo l'adattamento non solo dell'osso, ma anche dei tessuti molli e delle strutture neurovascolari. Correzioni severe di deformità angolari sono state fino ad ora effettuate utilizzando fissatori esterni circolari, i quali garantiscono un’elevata tenuta del segmento scheletrico in tutti i piani dello spazio grazie alla loro particolare geometria. Tuttavia comportano problemi dimensionali, difficilmente tollerabili da parte del paziente, e si è quindi pensato di correggere deformità angolari utilizzando un fissatore esterno monolaterale, introducendo in maniera tale i vantaggi annessi a tali dispositivi di fissazione. Dopo aver effettuato ricerche bibliografiche senza riscontrare la presenza in commercio di un dispositivo con caratteristiche similari al Kore, con il presente lavoro di tesi verrà approfondito lo studio del fissatore, effettuando su di esso prove meccaniche.

Conservare il contemporaneo: Progetto di restauro per la valorizzazione del Woodpecker di Milano Marittima

Il Woodpecker di Milano Marittima, discoteca degli anni sessanta realizzata dall'Architetto Filippo Monti sotto commissione di Aurelio De Maria, la discoteca è stata in funzione solo per due stagioni. Ora l'edificio si trova in uno stato di completo abbandono ricoperto da una fiorente vegetazione spontanea. La tesi parte dall'analisi del manufatto, del suo stato di conservazione e delle problematiche riscontate nel luogo, prima tra tutte la presenza d'acqua. Questa tesi ha lo scopo di ridare vita a questo luogo tenendo conto della presenza di vegetazione spontanea presente. Nella prima parte della tesi vengono affrontati i problemi e gli interventi legati alla conservazione, nella seconda viene fatta una proposta di progetto comprendente: un nuovo ingresso al parco, un ristorante, un percorso, e un nuovo accesso al Woodpecker, sfruttando un crollo presente al centro del vano servizi. In questo progetto le problematiche inizialmente riscontrate, quali la presenza di acqua e di vegetazione, diventano le potenzialità principali dell'area.

Dinamica dei due e/o pochi corpi: Sistemi binari, sistema solare

Scopo del presente lavoro è introdurre i principali strumenti fisico-matematici utilizzati per la descrizione del moto (di un numero limitato) di oggetti astronomici, soggetti esclusivamente alle loro vicendevoli interazioni gravitazionali. Tali strumenti sono quelli messi a punto nell'ambito della soluzione del Problema dei Due Corpi e del Problema dei Tre Corpi. Verranno anche esaminate alcune applicazioni pratiche di tali metodologie d'indagine.