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.

Ottimalità dell'ottimalità - Complessità della riduzione su grafi di condivisione

Trent’anni or sono il concetto di ottimalità venne formulato in senso teorico da Lévy, ma solo un decennio dopo Lamping riesce a darne elegante implementazione algoritmica. Realizza un sistema di riduzione su grafi che si scoprirà poi avere interessanti analogie con la logica lineare presentata nello stesso periodo da Girard. Ma l’ottimalità è davvero ottimale? In altre parole, l’implementazione ottimale del λ calcolo realizzata attraverso i grafi di condivisione, è davvero la migliore strategia di riduzione, in termini di complessità? Dopo anni di infondati dubbi e di immeritato oblìo, alla conferenza LICS del 2007, Baillot, Coppola e Dal Lago, danno una prima risposta positiva, seppur parziale. Considerano infatti il caso particolare delle logiche affini elementare e leggera, che possiedono interessanti proprietà a livello di complessità intrinseca e semplificano l’arduo problema. La prima parte di questa tesi presenta, in sintesi, la teoria dell’ottimalità e la sua implementazione condivisa. La seconda parte affronta il tema della sua complessità, a cominciare da una panoramica dei più importanti risultati ad essa legati. La successiva introduzione alle logiche affini, e alle relative caratteristiche, costituisce la necessaria premessa ai due capitoli successivi, che presentano una dimostrazione alternativa ed originale degli ultimi risultati basati appunto su EAL e LAL. Nel primo dei due capitoli viene definito un sistema intermedio fra le reti di prova delle logiche e la riduzione dei grafi, nel secondo sono dimostrate correttezza ed ottimalità dell’implementazione condivisa per mezzo di una simulazione. Lungo la trattazione sono offerti alcuni spunti di riflessione sulla dinamica interna della β riduzione riduzione e sui suoi legami con le reti di prova della logica lineare.

Geolocalizzazione e QRCode come strumenti a supporto di applicazioni turistico-culturali

Gli smartphone, sono dispositivi per la telefonia mobile che oramai includono una serie di funzionalità a supporto della multimedialità e non solo. Divenuti quasi dei notebook in miniatura, ne esistono di vari tipi e dimensioni e anche se la loro potenza di calcolo rimane di gran lunga inferiore a quella di un PC, riescono comunque a effettuare operazioni abbastanza evolute e con prestazioni accettabili. Quello che si vuole realizzare con questo lavoro non è uno studio su questi dispositivi (anche se in parte sarà affrontato), ma un approfondimento sulla possibilità di utilizzare una buona fetta di essi, a supporto dello sviluppo turistico nel nostro paese. In particolare si vuole realizzare una piattaforma mobile che metta in comunicazione individui che vogliono fornire informazione di tipo turistico (beni culturali, eventi, attività commerciali, ecc.) con individui che vogliono fruire di tali contenuti (un qualsiasi turista che sia in grado di utilizzare uno smartphone). Tale applicazione dovrà raccogliere informazioni su una determinata città e riuscire in maniera chiara e intuitiva a dare risposte alle principali domande che un turista si pone: • dove sono? • Cosa c’è d’interessante da visitare nei dintorni? • Interessante questa statua! Di cosa si tratta? • Quali sono gli eventi più interessanti ai quali potrei partecipare? • Ho un leggero appetito dove posso andare a mangiare? • Dove posso fare un po’ di shopping?

Analisi LCA delle case di paglia di Pescomaggiore (AQ)

Questa tesi di laurea ha un duplice scopo: da un lato l’analisi delle caratteristiche delle balle di paglia usate come materiale da costruzione, dall’altro la valutazione ambientale tramite metodologia LCA di un intervento di reinsediamento post-sisma a Pescomaggiore, in Abruzzo, realizzato con edifici in balle di paglia autocostruiti. Nella parte prima si focalizza l’attenzione sulle direttive europee e i loro recepimenti italiani a cui fare riferimento per le gestione energetica degli edifici, oltre ad una panoramica sulla certificazione energetica. Si riportano inoltre sinteticamente quelle parti della normativa edilizia che riguardano le costruzioni con materiali innovativi. La parte seconda è il frutto di una lunga fase di ricerca bibliografica, in cui si è cercato di fare chiarezza sulle caratteristiche della paglia: traspirabilità, isolamento termico, resistenza al fuoco e fonoassorbenza le parti su cui si è maggiormente rivolta l’attenzione. Nella parte terza viene descritta dettagliatamente la metodologia LCA, e in particolare la sua applicazione nel campo dell’edilizia: le diverse fasi in cui si compone, l’uso di software e di banche dati appropriate e i metodi più utilizzati per l’analisi degli impatti. Nella quarta ed ultima parte viene descritto dettagliatamente il caso di studio: una delle case di paglia dell’Ecovillaggio di Pescomaggiore; segue una descrizione accurata della fase di inventario, effettuata anche tramite un sopralluogo in sito. Infine vengono riportati e commentati i risultati dell’analisi, ed espresse considerazioni e proposte migliorative.

Gruppi semplici sporadici: i gruppi di Mathieu

La tesi tratta dei gruppi semplici sporadici, in particolar modo dei gruppi di Mathieu. Sono state ripercorse tappe storiche fondamentali, a partire dalla semplicità del gruppo alterno An, n>4, nota a Galois, fino a giungere al teorema di classificazione dei gruppi semplici, di cui i gruppi sporadici rappresentano un caso particolare. Vengono poi proposte diverse costruzioni dei gruppi di Mathieu, passando dall'algebra alla geometria fino alla teoria dell'informazione. Quindi vengono discusse le proprietà principali dei gruppi di Mathieu, e infine si presentano congetture in cui i gruppi di Mathieu, o più in generale i gruppi sporadici, giocano un ruolo fondamentale, come ad esempio nella congettura "moonshine". Al termine della tesi vengono presentati i gruppi di Mathieu in ambiti diversi dal mondo matematico, dal gioco alla musica.

Caratterizzazione dei sedimenti fluviali della pianura Padana

Nel presente studio sono state eseguite analisi chimiche su sedimenti fluviali, prelevati in 233 siti rappresentativi, fra i corsi d'acqua che attraversano la pianura Padana. L'obbiettivo dello studio era di caratterizzare il sedimento e determinarne il suo stato di qualità. Parallelamente è stata effettuata, un'indagine sulle comunità di macroinvertebrati, fra alcuni degli affluenti di sinistra del Po e sul Po stesso. I sedimenti sono stati analizzati con uno spettrofotometro a fluorescenza a raggi x (XRF). I risultati ottenuti, durante le analisi e le elaborazioni cartografiche eseguite, vengono riportati e discussi in questo documento. Le analisi chimiche indicano che la composizione del sedimento è caratteristica secondo la sua provenienza ed è determinata dalla litologia dell'area che i fiumi attraversano. Sono state riscontrate particolari anomalie, delle concentrazioni di alcuni elementi potenzialmente tossici, a valle dei centri urbani. Lo studio delle comunità di macroinvertebrati concorda con i risultati ottenuti attraverso le analisi chimiche.

Consolidamento e rinforzo della muratura con materiale fibroso immerso in matrice cementizia:applicazione ad un edificio storico.

L’obiettivo che sarà perseguito consisterà, dopo un’attenta ricerca di tipo bibliografico, nella definizione delle diverse fasi legate all’introduzione, in strutture esistenti, di un composito fibrorinforzato con grande attenzione verso i FRCM, fiber reinforced cement matrix, caratterizzati da un recente sviluppo, che saranno messi a confronto con i tradizionali FRP, fiber reinforced polymer. Ad oggi l’Italia è mancante di una linea guida per i materiali fibrorinforzati di tipo FRCM, quindi in un’ottica di colmare tale lacuna, per quel che è possibile, la seguente attività di tesi proverà ad enunciare, avvalendosi dei punti chiavi della linea guida degli FRP, i passaggi relativi alla progettazione ,esecuzione e collaudo di strutture mediante rinforzo con fibre lunghe dentro a matrice cementizia. Si cercherà di fornire un quadro completo dello stato attuale dell’impiego dei FRCM nel recupero storico, in modo da fornire delle tracce di comprovata validità in merito alla scelta del tipo d’intervento ottimale da eseguire.