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?

Approccio SEM-AVS (Simultaneously Extracted Metals-Acid Volatile Sulfides) per la valutazione del rischio ambientale dei metalli nei sedimenti della Pialassa Baiona

La Pialassa Baiona è una laguna sottoposta a diversi vincoli normativi, visto il suo inquadramento tra le aree SIC e ZPS, e soggetta a diverse sorgenti di disturbo antropico, più intense negli anni ‘50-‘70. Questa tesi si propone lo scopo di valutare il rischio associato ai metalli bivalenti presenti nei sedimenti della Pialassa Baiona attraverso tre approcci: il primo riguarda la determinazione della frazione biodisponibile dei metalli presenti nei sedimenti attraverso la determinazione dei solfuri acidi volatili (AVS) e dei metalli simultaneamente estraibili (SEM), nonché la valutazione della potenziale tossicità dei sedimenti attraverso la valutazione del rapporto molare SEM/AVS, il secondo approccio considera invece il contenuto pseudo totale dei metalli bivalenti (Cd, Cu, Ni, Pb e Zn) e il loro confronto sia con i valori tipici di fondo naturale del Mar Adriatico che con i valori guida di riferimento internazionale (Threshold Effect Level, TEL e Probable Effect Level, PEL) al fine di valutare lo stato di qualità dei sedimenti della zona d’indagine. Il terzo approccio considera l’influenza del gradiente naturale terra-mare tipico delle zone di transizione e del gradiente antropico legato alla vicinanza dell’area industriale alla Pialassa Baiona, sulla distribuzione spaziale dei metalli oggetto di questo studio. I risultati ottenuti evidenziano che l’area più prossima alla zona industriale e al contempo più lontana dall’effetto del ricambio delle acque e di dilavamento ad opera del mare, è risultata quella con livelli significativamente più elevati per la maggior parte dei metalli analizzati. Questo permette di ipotizzare un’influenza diretta delle sorgenti di inquinanti, ma anche un effetto dispersivo della circolazione. Gli AVS hanno invece evidenziato un gradiente terra-mare; ciò comporta che nelle zone più prossime all’influenza del mare si sono riscontrate concentrazioni minori di AVS. La valutazione della potenziale tossicità dei metalli in termini di rapporto SEM/AVS non ha evidenziato la presenza di siti a rischio per il biota acquatico, se non per un unico sito prossimo all’area industriale.

Effetto dei modulatori del sistema serotoninergico sulla trasduzione del segnale AMPc-dipendente nel mitilo

Lo sviluppo della medicina ha determinato un utilizzo sempre crescente di sostanze farmacologiche, le quali una volta escrete dagli organismi raggiungono le acque dei fiumi e dei laghi, per arrivare poi all’ambiente marino costiero, che ne risulta sempre maggiormente contaminato. Negli organismi non bersaglio esposti ai residui dei farmaci in ambiente, queste sostanze potrebbero indurre effetti simili a quelli specifici nel caso i bersagli molecolari siano stati conservati durante l’evoluzione, oppure avere effetti inattesi se i bersagli molecolari sono conservati ma hanno una differente funzione. Questo lavoro di tesi è volto a studiare i potenziali effetti indotti dalla fluoxetina (FX, farmaco antidepressivo inibitore dell’uptake della serotonina), e dal propranololo (PROP, farmaco bloccante sia dei recettori β-adrenergici che serotoninergici nell’uomo) nei mitili Mytilus galloprovincialis, esposti a tali sostanze, valutandone l’interazione con i meccanismi di trasduzione del segnale AMPc-dipendente. Sono stati valutati in particolare i livelli di AMPc e l’attività dell’enzima PKA, inoltre si è studiato se i farmaci influiscano con i meccanismi di regolazione del gene ABCB1, che codifica per la P-glicoproteina (Pgp), che ha il compito di estrudere all’esterno della cellula gli xenobiotici che vi sono entrati. Gli studi sono stati condotti dopo esposizione dei mitili in vivo ai due farmaci ed alla loro miscela per 7 giorni in acquario. I risultati hanno indicato che la FX causa una diminuzione statisticamente significativa dei livelli di AMPc, dell’attività della PKA e anche dell’espressione del gene ABCB1 rispetto al controllo, sia nel mantello che nella ghiandola digestiva. Nella ghiandola digestiva il PROP provoca una significativa riduzione dei livelli di AMPc, dell’attività della PKA e dell’espressione del gene ABCB1 rispetto ai valori di controllo. Nel mantello, invece, il PROP aumenta i livelli di AMPc e l’espressione del gene ABCB1, anche se non ha effetti significativi sull’attività della PKA. Per caratterizzare i recettori per la serotonina (5HT), e il possibile ruolo di antagonista giocato dal PROP, abbiamo inoltre trattato in vitro emociti di mitilo con la 5HT l’agonista fisiologico del recettore, usata da sola ed in presenza del PROP. I dati ottenuti dimostrano che negli emociti di mitilo sono espressi recettori 5HT1 accoppiati a proteine G inibitrici, e che il PROP blocca l’effetto della 5HT, agendo come antagonista dei recettori 5HT1. Nell’insieme i dati dimostrano che i farmaci possono avere effetti sugli organismi acquatici anche a concentrazioni molto basse come quelle ambientali. I dati della tesi non dimostrano che PROP e FX hanno effetti deleteri sulle popolazioni o le comunità dei molluschi, ma debbono essere considerati come indicatori della vulnerabilità degli animali a questi composti. Si è dimostrato per la prima volta che gli emociti di mitilo possiedono recettori di tipo 5HT1 correlati alla riduzione dei livelli intracellulari di AMPc, e soprattutto che il sistema AMPc/PKA è deputato alla regolazione dell’espressione dei geni ABCB1 codificanti per proteine del complesso Multi Xenobiotic Resistance.