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.

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.

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.