The Wiener criterion for the Laplacian and the heat operator

La tesi presenta il criterio di regolarità di Wiener dell’ambito classico dell’operatore di Laplace ed in seguito alcune nozioni di teoria del potenziale e la dimostrazione del criterio nel caso dell’operatore del calore; in questa seconda sezione viene dedicata particolare attenzione alle formule di media e ad una diseguaglianza forte di Harnack, che risultano fondamentali nella trattazione dell’argomento centrale.

Metodi per la correzione delle superfici di suddivisione di Catmull-Clark intorno ai vertici straordinari

Presentiamo alcune proposte di modifica alle superfici di suddivisione di Catmull-Clark, per garantire la continuità del secondo ordine anche nei vertici straordinari e una buona qualità di forma. La ricerca di questi miglioramenti è motivata dal tentativo di integrazione delle superfici di suddivisione in un sistema di modellazione geometrica in contesto CAD/CAGD, il quale richiede che certi requisiti di regolarità e qualità siano soddisfatti. Illustriamo due approcci differenti per la modifica della superficie limite. Il primo prevede il blending tra la superficie originale e una superficie polinomiale approssimante, definita opportunamente, in modo tale da ottenere la regolarità desiderata. Il secondo metodo consiste nella sostituzione della superficie di Catmull-Clark con un complesso di patch di Gregory bicubici e adeguatamente raccordati. Insieme all’attività di analisi, riformulazione ed estensione di queste proposte, abbiamo realizzato una implementazione in codice C/C++ e OpenGL (con programmi accessori scritti in MATLAB e Mathematica), finalizzata alla sperimentazione e alla verifica delle caratteristiche dei metodi presentati.

Noisy Oncology: applications of bounded noise transitions in modelling tumor growth

I tumori macroscopici e microscopici, dopo la loro prima fase di crescita, sono composti da un numero medio elevato di cellule. Così, in assenza di perturbazioni esterne, la loro crescita e i punti di equilibrio possono essere descritti da equazioni differenziali. Tuttavia, il tumore interagisce fortemente col macroambiente che lo circonda e di conseguenza una descrizione del tutto deterministica risulta a volte inappropriata. In questo caso si può considerare l'interazione con fluttuazioni statistiche, causate da disturbi esterni, utilizzando le equazioni differenziali stocastiche (SDE). Questo è vero in modo particolare quando si cerca di modellizzare tumori altamente immunogenici che interagiscono con il sistema immunitario, in quanto la complessità di questa interazione risulta in fenomeni di multistabilità. Così, il rumore può provocare disturbi e indurre transizioni di stato (Noise-Induced-Transitions). E' importante notare che una NIT può avere implicazioni profonde sulla vita di un paziente, dal momento che una transizione da uno stato di equilibrio piccolo, nelle dimensioni del tumore, ad uno stato di equilibrio macroscopico, nella maggior parte dei casi significa il passaggio dalla vita alla morte. Generalmente l'approccio standard è quello di modellizzare le fluttuazioni stocastiche dei parametri per mezzo di rumore gaussiano bianco o colorato. In alcuni casi però questa procedura è altamente inadeguata, a causa della illimitatezza intrinseca dei rumori gaussiani che può portare a gravi incongruenze biologiche: pertanto devono essere utilizzati dei rumori "limitati", che, tuttavia, sono molto meno studiati di quelli gaussiani. Inoltre, l'insorgenza di NIT dipende dal tipo di rumore scelto, che rivela un nuovo livello di complessità in biologia. Lo scopo di questa tesi è quello di studiare le applicazioni di due tipi diversi di "rumori limitati" nelle transizioni indotte in due casi: interazione tra tumore e sistema immunitario e chemioterapia dei tumori. Nel primo caso, abbiamo anche introdotto un nuovo modello matematico di terapia, che estende, in modo nuovo, il noto modello di Norton-Simon.

Combinatoria e topologia di arrangiamenti di iperpiani

In questo elaborato vengono studiati gli arrangiamenti di iperpiani prima di tutto dal punto di vista combinatorio e, in seguito, dal punto di vista topologico. Particolare attenzione verrà riposta nello studio della coomologia del complemento di arrangiamenti complessi. Per giungere ad una completa descrizione coomologica si sfrutterà la costruzione e lo studio di particolari algebre esterne basate sulle caratteristiche combinatorie degli arrangiamenti.

Rassegna dei framework per lo sviluppo di applicazioni mobili

Lo stato attuale del mercato continua a dimostrare come l'interesse del pubblico verso i dispositivi mobili sia in costante crescita; se fino a pochi anni fa il termine smartphone era ai piu' privo di significato, ora e' abbastanza comune per giovani e adulti essere concentrati su piccoli dispositivi dove si possono contattare i clienti via e-mail, verificare lo stato di avanzamento dei processi aziendali, consultare il web e cosi' via. L'obiettivo di questa tesi e' introdurre l'utilizzo di diverse tipologie di framework, prendendo come riferimento i sistemi operativi per i dispositivi mobili e quello di presentare soluzioni (attraverso i framework) per lo sviluppo di applicazioni mobili su diverse piattaforme software.

MoNET the Mobile Network Emulation Tool Modulo kernel per l’emulazione del canale wireless

MoNET e' un emulatore per reti wireless mobili, composto da una suite di software distribuiti. MoNET fornisce a ricercatori e sviluppatori un ambiente virtualizzato controllato per lo sviluppo e il test di applicazioni mobili e protocolli di rete per qualsiasi tipologia di hardware e piattaforma software che possa essere virtualizzata. La natura distribuita di questo emulatore permette di creare scenari di dimensione arbitraria. La rete wireless viene emulata in maniera trasparente, quindi la connettività percepita da ogni nodo virtuale, presenta le stesse caratteristiche di quella fisica emulata.

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

Progetto e realizzazione di un sistema di augment browsing per l'accessibilità del Web

Questo documento di tesi descrive il progetto e l'implementazione di un sistema di augment browsing per migliorare l'accessibilità delle pagine Web attraverso l'adattamento e la transcodifica dei contenuti.

Model-driven Usability: alcuni approcci e un prototipo.

Questa tesi si occupa degli aspetti di usabilità nell'interazione degli utenti con le applicazioni, usando le tecniche di generazione automatica della Model-Driven Architecture. Viene prodotto un generatore di applicazioni model-driven, basato su un modello di progettazione Goal-Oriented, con risultati apprezzabili nel fornire all'utente un'interazione dinamica con l'applicazione prodotta.