Modelli matematici di potenziale d'azione atriale umano e analisi degli effetti di malattie genetiche aritmogene.

Il primo obiettivo di questo lavoro di tesi è quello di sviluppare il primo modello matematico di potenziale d'azione pacemaker umano: è vero che gli studi elettrofisiologici pubblicati sull'uomo non hanno ancora raggiunto la mole di risultati ottenuti, invece, sugli altri mammiferi da laboratorio, ma i tempi possono ritenersi "maturi", in quanto i dati disponibili in letteratura sono sufficienti e adeguati allo scopo. Il secondo obiettivo di questo lavoro di tesi nasce direttamente dall'esigenza clinica di definire le relazioni causa-effetto tra la mutazione T78M della proteina caveolina-3 e le varie forme di aritmie cardiache riscontrate, ad essa associate. Lo scopo è quello di stabilire quale sia il link tra genotipo della mutazione e fenotipo risultante, ovvero colmare il gap esistente tra i dati sperimentali in vitro in possesso ed i meccanismi di alterazione delle correnti ioniche affette, per arrivare a osservare l'effetto che ne deriva sull'attività elettrica delle cellule. Proprio in relazione a quest'ultimo punto, i due obiettivi del lavoro convergono: l'analisi degli effetti indotti dalla mutazione T78M è, infatti, effettuata sul modello di potenziale d'azione di nodo senoatriale umano sviluppato (oltre che su altri modelli atriali).

Analisi computazionale e confronto con dati sperimentali della corrente rapida di potassio nei modelli di cardiomiocità ventricolare umano

Analisi della corrente rettificata di potassio IKr all'interno di tre modelli di potenziale d'azione ventricolare umano, e confronto con dati sperimentali in letteratura.

Modelli neurali per lo studio dei gangli della base e delle patologie correlate

I Gangli della Base svolgono un importante ruolo nel controllo del movimento volontario: questi nuclei sottocorticali localizzati alla base di entrambi gli emisferi cerebrali sono densamente interconnessi con la corteccia cerebrale, il talamo e il tronco dell’encefalo, ma non con il midollo spinale. Facilitano l’esecuzione di un singolo atto motorio, sopprimendo tutti gli altri. Questa funzionalità ha lo scopo di favorire il comando più appropriato, inibendo i restanti per il tempo necessario. I Gangli della Base fungono da vero e proprio filtro, prendendo informazioni dall'intera corteccia, permettendo il passaggio di alcune e bloccandone altre. Per iniziare, verrà descritta l’anatomia e ogni singola parte che compone questi nuclei, elencando le varie interconnessioni sinaptiche. Successivamente, si passerà alla illustrazione della via diretta e della via indiretta e del meccanismo fisiologico che regola l’apprendimento sinaptico e la selezione di azioni, con annessi i principi teorici che ne costituiscono le fondamenta. Si affronterà il modello sviluppato presso l’Università di Bologna da C. Baston e M. Ursino e verranno mostrate varie simulazioni riguardanti tale modello. In conclusione, si tratteranno la malattia di Parkinson, patologia neurodegenerativa che colpisce principalmente le cellule dopaminergiche di alcune aree dei Gangli della Base, e il morbo di Huntington

Nuovi modelli organizzativi: il caso Valve Corporation

La tesi espone il caso della Valve Corporation, una azienda produttrice e distributrice di Videogiochi. Questa azienda, leader nel suo settore, ha adottato una organizzazione di tipo "flat" ed ha ideato particolari e innovative soluzioni per la produzione dei suoi software. Ha inoltre sviluppato una piattaforma di distribuzione digitale per la vendita online di Videogiochi.

Sicurezza, protezione e integrità nei sistemi cloud: Modelli, metodi e tecnologie

La natura distribuita del Cloud Computing, che comporta un'elevata condivisione delle risorse e una moltitudine di accessi ai sistemi informatici, permette agli intrusi di sfruttare questa tecnologia a scopi malevoli. Per contrastare le intrusioni e gli attacchi ai dati sensibili degli utenti, vengono implementati sistemi di rilevamento delle intrusioni e metodi di difesa in ambiente virtualizzato, allo scopo di garantire una sicurezza globale fondata sia sul concetto di prevenzione, sia su quello di cura: un efficace sistema di sicurezza deve infatti rilevare eventuali intrusioni e pericoli imminenti, fornendo una prima fase difensiva a priori, e, al contempo, evitare fallimenti totali, pur avendo subito danni, e mantenere alta la qualità del servizio, garantendo una seconda fase difensiva, a posteriori. Questa tesi illustra i molteplici metodi di funzionamento degli attacchi distribuiti e dell'hacking malevolo, con particolare riferimento ai pericoli di ultima generazione, e definisce le principali strategie e tecniche atte a garantire sicurezza, protezione e integrità dei dati all'interno di un sistema Cloud.

La descrizione semantica di modelli tridimensionali dal reale dei portici di bologna. Quattro casi di studio: Palazzo Bonasoni, Palazzo Felicini, Palazzo Caccialupi, Palazzo Grassi

La tesi tratta della modellazione tridimensionale attraverso software di rilievo fotografico Agisoft Photoscan di alcuni portici della città di Bologna, della successiva segmentazione dei modelli tridimensionali e della classificazione e identificazione delle componenti architettoniche dei casi studio analizzati andando a definire un nuovo approccio di studio semantico al sistema porticato della città di Bologna.

Ricerca, classificazione e archiviazione dei dati di elettrofisiologia cellulare cardiaca umana per l'identificazione di modelli matematici

L’obiettivo di questo lavoro di tesi è stato quindi quello di ricercare e archiviare tutti i dati sperimentali di correnti ioniche umane ventricolari presenti in letteratura fino ad oggi, per costruire uno strumento di facile utilizzo per chiunque abbia la necessità di sviluppare o validare modelli matematici di potenziale d’azione. Partendo da una fase iniziale di ricerca vera e propria degli articoli in letteratura, utilizzando il motore di ricerca PubMed come strumento principale, sono stati estratti e archiviati tutti i dati di interesse, divisi per tipo di corrente, memorizzando le informazioni principali in un foglio di lavoro e salvando i dati sia come immagini che come vettori, per consentirne in futuro una rapida consultazione e un facile utilizzo.

Studio di modelli di illuminazione e texture in ambiente WebGL

Il mondo di Internet ha vissuto un radicale e inarrestabile processo di rinnovamento nel corso dell'ultimo decennio. Nel giro di pochi anni, i siti che popolano il World Wide Web si sono evoluti divenendo vere e proprie applicazioni in grado di fornire un livello di interattività e di coinvolgimento fino ad allora impensabile. Il mondo del Web è mutato, e con esso quello dei browser, i quali assumono sempre più le conformazioni di "sistemi operativi nei sistemi operativi": si sono tramutati in complesse piattaforme di sviluppo in grado di fornire a programmatori e web designer potenti librerie e API relative a qualsiasi ambito, nonché avanzati strumenti di debugging. Numerosi standard che governano l'ecosistema di Internet hanno raggiunto la maturità in questo contesto: fra tutti HTML5, il quale ha arricchito enormemente le potenzialità di un browser introducendo nuovi strumenti orientati alla multimedialità e alla classificazione semantica delle risorse. Altri standard altrettanto importanti hanno visto la luce in questi anni, affermandosi e conquistando, nel giro di pochissimi anni, l'interesse di un'ampia platea di sviluppatori. E' il caso di WebGL, una potente e flessibile libreria grafica derivata dal mondo di OpenGL che ha aperto le porte al rendering di scene tridimensionali all'interno di un qualsiasi browser moderno. WebGL ha rappresentato un punto di svolta abbattendo un'ulteriore barriera tra il mondo del web che vive all'interno di un browser e la dimensione delle applicazioni native che popolano un sistema operativo, consolidando il già affermato concetto di web app che lentamente sta seppellendo l'idea di "sito" così come era stato concepito all'inizio del nuovo millennio. Scopo di questo elaborato è quello di fornire una panoramica delle principali funzionalità offerte dalla libreria WebGL (con una particolare attenzione per il supporto cross browser) e di analizzare le possibilità che essa offre, studiando e implementando i principali modelli di illuminazione e le tecniche di applicazione texture per definire un ambiente tridimensionale esplorabile e il più possibile realistico all'interno della dimensione del web.

Studio ed analisi dell'applicativo Microsoft Sharepoint per lo sviluppo di soluzioni orientate al business

La mia esperienza con Microsoft SharePoint ha inizio durante il tirocinio svolto presso una famosa azienda bolognese tra fine settembre e metà novembre 2014. Durante questi due mesi ho avuto il piacere di confrontarmi con questa piattaforma e di studiarla allo scopo di carpire quali possano essere i vantaggi e gli svantaggi per un'impresa una volta che decidesse di investire su di essa. La decisione di scrivere una tesi su SharePoint e di aumentare la mia conoscenza su di esso, ha preso piede dentro di me in seguito allo sviluppo di una piccola applicazione d'esempio. Infatti in sole due settimane e senza scrivere una riga di codice, se non qualche piccolo script di css, sono stato in grado di realizzare un piccolo gestionale per uno studio di rappresentanza di abbigliamento. Grazie alla realizzazione di questo applicato ho potuto riscontrare l'effettiva forza del tool. Difatti, SharePoint, possiede un livello d'astrazione così elevato da offrire una o più soluzioni predefinite ad una vasta gamma di problemi di business, riducendo conseguentemente i tempi ed i costi di sviluppo. A questa motivazione si è aggiunta anche quella derivante dal fatto che la piattaforma viene usata da molte realtà aziendali di elevata importanza. A tal proposito una di queste mi ha concesso l'autorizzazione a sottoporle un'intervista.

Studio del network metabolico umano: modelli e applicazioni.

Il lavoro di tesi si basa sull'analisi del database pubblico ReconX, il quale costituisce lo stato dell'arte della ricostruzione in silico del metabolismo umano. Il modello che se ne può estrarre è stato impiegato per simulazioni di metabolismo cellulare in condizioni di ossigeno variabile, valutando l'impatto della carenza di ossigeno sulle reazioni e su i pathways metabolici. Le tecniche impiegate appartengono alla systems biology e sono di tipo bioinformatico e riguardano flux balance analysis e flux variability analysis. I risultati trovati vengono quindi confrontati con la letteratura di settore. E' stato inoltre possibile estrarre dei sotto network dal modello principale, analizzando la rete di connessioni esistente fra i metaboliti e fra le reazioni separatamente. Viene estratto e studiato anche il network di interazione fra pathways, su cui è introdotta una misura ad hoc per valutare la forza di connessione fra i vari processi. Su quest'ultimo network viene anche effettuata un'analisi di tipo stocastico, mostrando che tecniche di tipo markoviano possono essere applicate per indagini diverse da quelle più in uso basate sui flussi. Infine viene mostrata una possibile soluzione per visualizzare graficamente i network metabolici così costituiti.

Opzioni asiatiche in modelli discreti

In questa tesi si cerca di fornire un quadro generale sulle Opzioni Asiatiche dandone prima una descrizione in termini economici e successivamente una classificazione matematica più rigorosa. Nel primo capitolo vengono presentati strumenti matematici e finanziari indispensabili per affrontare la comprensione dell'argomento centrale: vengono esposti i concetti di derivato e di strategia d'arbitraggio ed inoltre viene mostrato il modello di mercato a tempo discreto; in particolar modo viene descritto il modello binomiale come esempio di mercato completo. Nel secondo capitolo viene fatta una breve introduzione sulle Opzioni Esotiche di cui sono un particolare esempio le Opzioni Asiatiche, le quali vengono successivamente classificate e descritte più dettagliatamente. Infine nel terzo capitolo viene introdotto il problema della valutazione e della copertura di un'Opzione Asiatica, trattando una particolare tecnica utilizzata nei modelli di mercato discreti di tipo binomiale, la tecnica ad albero, che viene poi applicata ad un esempio reale.

Studio e validazione di modelli di propagazione radio in ambiente urbano per tecniche di localizzazione non cooperativa

La previsione della copertura RF in ambiente urbano è oggi comunemente considerato un problema risolto, con decine di modelli proposti in letteratura che mostrano una buona approssimazione rispetto alle misure. Tra questi, il ray tracing è considerato come uno dei più accurati tra i modelli disponibili. In questo lavoro si dimostra però come sia ancora necessario parecchio lavoro per fare in modo che il ray tracing possa essere effettivamente impiegato per scopi pratici.

I Modelli Comparativi delle Valutazioni in Matematica

Analisi dei modelli statistici alla base delle indagini di valutazione matematica e confronto tra Pisa e Timss

Identificazione di modelli estrinseci di dispositivi elettronici ad effetto di campo in Nitruro di Gallio

In questa tesi descrive un modello per l'estrazione di modelli estrinseci "Parassiti" di dispositivi attivi per l'elettronica delle telecomunicazione. Trovare un modello accurato di un transistore implementabile in un CAD di simulazione. Inoltre ho descritto il comportamento del dispositivo intrinseco.

Modelli topologici del piano proiettivo

In questa tesi ho ripercorso storicamente i modelli del piano proiettivo studiando in particolare quelli di Möbius, Klein e Grassman, fino ad arrivare a quelli più comunemente usati, mostrando le loro equivalenze.