Pervasive Sensing in Future Networks

Pervasive Sensing is a recent research trend that aims at providing widespread computing and sensing capabilities to enable the creation of smart environments that can sense, process, and act by considering input coming from both people and devices. The capabilities necessary for Pervasive Sensing are nowadays available on a plethora of devices, from embedded devices to PCs and smartphones. The wide availability of new devices and the large amount of data they can access enable a wide range of novel services in different areas, spanning from simple data collection systems to socially-aware collaborative filtering. However, the strong heterogeneity and unreliability of devices and sensors poses significant challenges. So far, existing works on Pervasive Sensing have focused only on limited portions of the whole stack of available devices and data that they can use, to propose and develop mainly vertical solutions. The push from academia and industry for this kind of services shows that time is mature for a more general support framework for Pervasive Sensing solutions able to enhance frail architectures, promote a well balanced usage of resources on different devices, and enable the widest possible access to sensed data, while ensuring a minimal energy consumption on battery-operated devices. This thesis focuses on pervasive sensing systems to extract design guidelines as foundation of a comprehensive reference model for multi-tier Pervasive Sensing applications. The validity of the proposed model is tested in five different scenarios that present peculiar and different requirements, and different hardware and sensors. The ease of mapping from the proposed logical model to the real implementations and the positive performance result campaigns prove the quality of the proposed approach and offer a reliable reference model, together with a direction for the design and deployment of future Pervasive Sensing applications.

Modelli e linguaggi per grafi multi-livello

I grafi sono molto utilizzati per la rappresentazione di dati, sopratutto in quelle aree dove l’informazione sull’interconnettività e la topologia dei dati è importante tanto quanto i dati stessi, se non addirittura di più. Ogni area di applicazione ha delle proprie necessità, sia in termini del modello che rappresenta i dati, sia in termini del linguaggio capace di fornire la necessaria espressività per poter fare interrogazione e trasformazione dei dati. È sempre più frequente che si richieda di analizzare dati provenienti da diversi sistemi, oppure che si richieda di analizzare caratteristiche dello stesso sistema osservandolo a granularità differenti, in tempi differenti oppure considerando relazioni differenti. Il nostro scopo è stato quindi quello di creare un modello, che riesca a rappresentare in maniera semplice ed efficace i dati, in tutte queste situazioni. Entrando più nei dettagli, il modello permette non solo di analizzare la singola rete, ma di analizzare più reti, relazionandole tra loro. Il nostro scopo si è anche esteso nel definire un’algebra, che, tramite ai suoi operatori, permette di compiere delle interrogazioni su questo modello. La definizione del modello e degli operatori sono stati maggiormente guidati dal caso di studio dei social network, non tralasciando comunque di rimanere generali per fare altri tipi di analisi. In seguito abbiamo approfondito lo studio degli operatori, individuando delle proprietà utili per fare delle ottimizzazioni, ragionando sui dettagli implementativi, e fornendo degli algoritmi di alto livello. Per rendere più concreta la definizione del modello e degli operatori, in modo da non lasciare spazio ad ambiguità, è stata fatta anche un’implementazione, e in questo elaborato ne forniremo la descrizione.

Dupire's formula for exponential Lévy models

Questa tesi è incentrata sull'analisi della formula di Dupire, che permette di ottenere un'espressione della volatilità locale, nei modelli di Lévy esponenziali. Vengono studiati i modelli di mercato Merton, Kou e Variance Gamma dimostrando che quando si è off the money la volatilità locale tende ad infinito per il tempo di maturità delle opzioni che tende a zero. In particolare viene proposta una procedura di regolarizzazione tale per cui il processo di volatilità locale di Dupire ricrea i corretti prezzi delle opzioni anche quando si ha la presenza di salti. Infine tale risultato viene provato numericamente risolvendo il problema di Cauchy per i prezzi delle opzioni.

Moschee a Milano: La costruzione geografica del diritto alla città

La tesi descrive e analizza la geografia delle moschee in Italia, un tema di grande attualità, in particolare per quanto riguardo il quadro degli studi geografici. La tesi ripercorre quello che è stato il processo di insediamento delle moschee in Italia, attraverso lo studio di casi esemplari, e analizza l’impatto che tale presenza ha esercitato sul territorio italiano, ed in particolare nel contesto urbano di Milano. Questo lavoro, infatti, permette di osservare il “processo di visibilizzazione” che una religione, assente fino a pochi decenni fa dal paesaggio italiano, imprime sul territorio, attraverso i luoghi di culto, le moschee. Il cuore di questo lavoro riflette sulla dimensione della “costruzione dello spazio” evidenziata dalla realizzazione di moschee. Infatti, i frequenti conflitti che accompagnano la proposta o la realizzazione di moschee dimostrano che non tutti hanno ugualmente “diritto alla città”, a un “posto” nello spazio. Le moschee non rappresentano solamente il simbolo della presenza di musulmani nello spazio europeo. Attraverso di esse è possibile leggere la posizione dei musulmani nella società italiana. Le sale di preghiera sorte inizialmente nelle città italiane, e in questo caso a Milano, in luoghi residuali e precari (cantine, garage, etc.) rappresentano una prima fase dell’insediamento dei musulmani nello spazio urbano. Un insediamento poco visibile e poco organizzato visto dalle istituzioni e dalla società senza grandi reazioni negative. I conflitti si innescano invece nel passaggio al tempo del riconoscimento, dell’istituzionalizzazione, in cui una presenza che si pensava temporanea o accidentale si fa stabile, organizzata, visibile e centrale. La realizzazione di moschee rappresenterebbe il passaggio da un’epoca di insediamento spontaneo di una minoranza religiosa arrivata recentemente al momento dell’istituzionalizzazione, dell’attribuzione di un “posto” riconosciuto e legittimo. Dunque, il passaggio dal tempo dell’ospitalità al “tempo del diritto alla città” e del riconoscimento.

Estensione dell'interfaccia grafica in tuprolog per Android

L’obiettivo di questa tesi è quello di estendere l’interfaccia grafica di tuProlog nella versione per Android, il più diffuso sistema operativo per tablet e smartphone. TuProlog è un’ interprete Prolog interamente scritto in java, leggero e open–source. L’applicazione è disponibile sotto forma di archivio JAR eseguibile e può essere utilizzato tramite un’interfaccia a riga di comando, nella versione Java, o per mezzo di interfacce grafiche negli ambienti Java, .NET e Android. La versione per Android supporta pienamente Java e la maggior parte delle librerie dell’applicativo per JVM. Lo sviluppo di applicazioni per dispositivi mobile, però, limita lo sviluppatore in termini di complessità delle elaborazioni effettuabili dal programma e comprensibilità dell’interfaccia grafica; per questi e altri motivi, la struttura dell’applicativo in versione Android, fatta eccezione per il core Prolog, è diversa dalle versioni per altri ambienti. L’applicazione, giunta ora alla versione 2.7.2, manca della possibilità di input da console in tutte le versioni ad interfaccia grafica. Scopo di questa tesi è quindi integrare tale funzionalità, inserendola all’interno del contesto applicativo senza modificare il normale flusso delle operazioni, intervenendo in modo mirato, il meno invasivo possibile e garantendo l’espandibilità della modifica ad estensioni future.

Raccontare, resistere. La denuncia tra novela negra e testimonio. Affinita' e differenze in tre scrittori ispanoamericani: Serna, Walsh e Bolaño.

La tesi è incentrata sui recenti sviluppi della narrativa testimoniale dell’America Latina. Verranno presi in considerazione gli ultimi contributi critici dedicati al rapporto tra finzione e realtà in letteratura, e sarà dato spazio alla costruzione narrativa della realtà e alla nascita del testimonio, come genere a sé, che raccoglie alcune delle principali opere latinoamericane degli ultimi quaranta anni. Nello specifico, l’indagine riguarderà la rappresentazione letteraria della violenza nella narrativa di denuncia di tre autori ispoanoamericani: la novela negra di Enrique Serna, il poliziesco testimoniale di Rodolfo Walsh e la scrittura estrema di Roberto Bolaño. Obiettivo della ricerca è capire in che modo i tre scrittori hanno raccontato le loro verità alternative, provando a salvaguardare la memoria, e quali effetti hanno ottenuto. Verranno analizzate non solo le tematiche affrontate, facendo riferimento quindi al contesto storico, politico e sociale al quale si rifanno, ma saranno illustrate anche le differenti tecniche di costruzione del romanzo, dell’intreccio e della trama, e verrà isolato il ruolo del testimone (diretto o indiretto) e delle fonti, per cogliere le differenze ma anche le similitudini stilistiche e narrative di ognuna delle opere. Più in generale, dimostreremo come e quanto i testi di questi autori costituiscano in realtà una forte critica al sistema imperante e diano voce alle categorie sociali altrimenti emarginate.

Advanced Techniques for Face Recognition under Challenging Environments

Automatically recognizing faces captured under uncontrolled environments has always been a challenging topic in the past decades. In this work, we investigate cohort score normalization that has been widely used in biometric verification as means to improve the robustness of face recognition under challenging environments. In particular, we introduce cohort score normalization into undersampled face recognition problem. Further, we develop an effective cohort normalization method specifically for the unconstrained face pair matching problem. Extensive experiments conducted on several well known face databases demonstrate the effectiveness of cohort normalization on these challenging scenarios. In addition, to give a proper understanding of cohort behavior, we study the impact of the number and quality of cohort samples on the normalization performance. The experimental results show that bigger cohort set size gives more stable and often better results to a point before the performance saturates. And cohort samples with different quality indeed produce different cohort normalization performance. Recognizing faces gone after alterations is another challenging problem for current face recognition algorithms. Face image alterations can be roughly classified into two categories: unintentional (e.g., geometrics transformations introduced by the acquisition devide) and intentional alterations (e.g., plastic surgery). We study the impact of these alterations on face recognition accuracy. Our results show that state-of-the-art algorithms are able to overcome limited digital alterations but are sensitive to more relevant modifications. Further, we develop two useful descriptors for detecting those alterations which can significantly affect the recognition performance. In the end, we propose to use the Structural Similarity (SSIM) quality map to detect and model variations due to plastic surgeries. Extensive experiments conducted on a plastic surgery face database demonstrate the potential of SSIM map for matching face images after surgeries.

Finte pelli per interni auto in PVC: adeguamento ai requisiti REACH

Le finte pelli sono sistemi costituiti da vari strati, il cui componente principale è il PVC. La produzione delle finte pelli richiede l’utilizzo di un elevato numero di additivi; per ognuno di essi occorre valutare la quantità da utilizzare, l’efficienza in rapporto al suo costo e, non di minore importanza, il suo grado di tossicità. Gli additivi attualmente utilizzati nella produzione delle finte pelli, che presentano problemi legati alla sicurezza sono: gli ftalati (plastificanti), l’azodicarbonammide (agente espandente) e il triossido di antimonio (agente antifiamma). Il lavoro di tesi è stato incentrato sullo studio di queste materie prime allo scopo di trovare delle valide alternative rispetto ai composti standard, in relazione agli attuali (e probabili futuri) requisiti del REACH e produrre una finta pelle “migliorata” in termini di prestazioni e sicurezza.

Classificazione delle galassie: Caratteristiche morfologiche, fotometriche e cinematiche

In questa tesi si cercherà di passare in rassegna le caratteristiche fondamentali dei principali tipi galattici. Dopo un breve ex-cursus storico, si passerà al primo capitolo, nel quale si osserverà come le prime catalogazioni si siano basate sulla morfologia di questi oggetti. Si cercherà quindi di mostrare come molte grandezze fisiche siano strettamente legate all’aspetto che questi oggetti celesti mostrano. Nel secondo capitolo verranno trattate le principali caratteristiche fotometriche: si mostreranno isofote di galassie ellittiche, si accennerà al fenomeno dell’isophotal twist, si introdurranno diversi profili di brillanza, sia per galassie ellittiche che per galassie a spirale. Nel terzo ed ultimo capitolo si tratteranno le caratteristiche cinematiche dei due principali tipi galattici. Riusciremo, a questo punto, a trovare una relazione tra l’isophotal twist e le caratteristiche cinematiche delle galassie ellittiche. Dopo aver introdotto il concetto di dispersione di velocità, sarà possibile introdurre brevemente il piano fondamentale, importante relazione tra le caratteristiche principali delle galassie ellittiche. Si discuterà infine della particolare curva di rotazione delle galassie a spirale, la cui velocità si mantiene costante ben oltre i limiti di quanto si possa stimare osservando la materia visibile; questa peculiarità delle galassie a spirale ha portato direttamente all’idea che possa esserci della materia oscura in grado di esercitare una attrazione gravitazionale sulla materia ordinaria.

Quality of Service in Distributed Stream Processing for large scale Smart Pervasive Environments

The wide diffusion of cheap, small, and portable sensors integrated in an unprecedented large variety of devices and the availability of almost ubiquitous Internet connectivity make it possible to collect an unprecedented amount of real time information about the environment we live in. These data streams, if properly and timely analyzed, can be exploited to build new intelligent and pervasive services that have the potential of improving people's quality of life in a variety of cross concerning domains such as entertainment, health-care, or energy management. The large heterogeneity of application domains, however, calls for a middleware-level infrastructure that can effectively support their different quality requirements. In this thesis we study the challenges related to the provisioning of differentiated quality-of-service (QoS) during the processing of data streams produced in pervasive environments. We analyze the trade-offs between guaranteed quality, cost, and scalability in streams distribution and processing by surveying existing state-of-the-art solutions and identifying and exploring their weaknesses. We propose an original model for QoS-centric distributed stream processing in data centers and we present Quasit, its prototype implementation offering a scalable and extensible platform that can be used by researchers to implement and validate novel QoS-enforcement mechanisms. To support our study, we also explore an original class of weaker quality guarantees that can reduce costs when application semantics do not require strict quality enforcement. We validate the effectiveness of this idea in a practical use-case scenario that investigates partial fault-tolerance policies in stream processing by performing a large experimental study on the prototype of our novel LAAR dynamic replication technique. Our modeling, prototyping, and experimental work demonstrates that, by providing data distribution and processing middleware with application-level knowledge of the different quality requirements associated to different pervasive data flows, it is possible to improve system scalability while reducing costs.

La riforma dell'ordinamento portuale

Il presente elaborato si prefigge l’obiettivo di verificare la reale e concreta applicazione delle disposizioni derivanti dall’ordinamento comunitario, all’interno della realtà portuale italiana, che, consapevole del fatto che i porti costituiscono forti infrastrutture nonché fonte di ricchezza per il paese, avverte l’esigenza di modificare fermamente il regime amministrativo dei propri porti. Le profonde innovazioni introdotte nel sistema portuale italiano a seguito della riforma del 1994, attraverso l’introduzione di assetti istituzionali ed organizzativi, hanno favorito la crescita dei traffici marittimi del paese. In ragione dei significativi mutamenti che hanno segnato la realtà economica mondiale negli ultimi anni, in cui si è assistito, al fenomeno della c.d. globalizzazione economica, che spinge verso la delocalizzazione produttiva e verso l’apertura di nuovi mercati di consumo, particolare attenzione è stata posta alle esigenze nascenti all’interno del sistema portuale, di apportare delle significative modifiche alla Legge 84/1994, per affrontare le nuove sfide poste dalla competizione comunitaria ed internazionale, e migliorare l’efficienza delle attività produttive ed uniformare l’impianto normativo. Nello specifico è stato esaminato il testo unificato della recente proposta di legge di riforma del settore portuale, le cui novità maggiormente rilevanti si sviluppano essenzialmente su tre livelli: la governance dei porti, la programmazione e la pianificazione delle aree, le attività economiche ed i servizi portuali. In maniera precisa e dettagliata, si è proceduto all’analisi dei servizi portuali tecnico-nautici, prestando attenzione alle prospettive di liberalizzazione del settore ed al principio di uniformità in materia tariffaria, al fine di rendere detti servizi funzionali e trasparenti. Infine, l’attenzione è stata posta alla realtà portuale a livello comunitario, esaminando le recenti disposizioni emanate dalle istituzioni comunitarie, al fine di verificare il miglior funzionamento dei porti marittimi e lo sviluppo della rete transeuropea di trasporto.

Filologia Classica: dal segno, al suono, al significato

Il lavoro presenta le ricerche svolte ed i risultati ottenuti per consentire alle persone non vedenti lo studio quanto più autonomo del greco antico tramite sintesi vocale. Una introduzione storica ripercorre la prima vicenda professionale dell'esercizio della professione docente delle lettere classiche da parte di un soggetto privo di vista, mentre il riferimento alla legislazione contemporanea tenta di disegnare una cornice capace dei più moderni approdi supportati dalle tecnologie informatiche. La Tesi illustra infine il funzionamento dei vari dispositivi prodotti, mentre una importante appendice ripercorre le pubblicazioni via via curate dal Gruppo di Studio, accogliendo infine le trascrizioni dei codici di programmazione delle sintesi vocali realizzate. Essa affida così all'Università la prosecuzione delle ricerche delineando ulteriori ipotesi di sviluppo.

Citta' e territorio: La formazione della citta' romana nell'ager gallicus

La presente ricerca affronta lo studio della formazione delle realtà urbane nell'area dell'antico Ager Gallicus, grossomodo corrispondente all'attuale territorio delle Marche settentrionali. Nel quadro della colonizzazione romana il fenomeno urbano rappresenta, infatti, l'elemento cardine nell'organizzazione di un territorio. Per tale ragione, si è scelto di condurre un lavoro finalizzato alla comprensione dei tempi e dei modi che portarono alla formazione dei municipi e delle colonie nella strutturazione romana del territorio, cercando anche di comprendere le scelte insediative alla base delle singole forme strutturali. L'analisi della genesi e dello sviluppo del fenomeno urbano nell'ager Gallicus ha come obiettivo ultimo l'approfondimento della conoscenza sulla colonizzazione e romanizzazione in area medio adriatica. La ricerca si articola in: uno stato dell'arte delle più recenti interpretazioni storiografiche; una sintesi sulle cosiddette “forme della conquista” (frequentazioni “precoloniali”, realtà santuariali, fondazioni coloniarie, realtà proto-urbane legate all'agro); una dettagliata e aggiornata schedatura storico-archeologica e urbanistico-topografica delle singole realtà urbane dell'ager Gallicus (le colonie di Sena Gallica, Pisaurum, Fanum Fortunae e Aesis, e i municipi di Forum Sempronii, Suasa e Ostra, e Sentinum); una parte conclusiva dove, mettendo a confronto gli elementi alla base della definizione urbana delle realtà esaminate, vengono delineati e sintetizzati i principali modelli di formazione delle città nell'ager Gallicus così individuati (fondazione coloniaria; fondazione coloniaria preceduta da una fase precoloniale nella forma di conciliabulum; nucleo di aggregazione precedente (conciliabulum) scelto quale polo di riferimento del popolamento sparso nel territorio al momento delle distribuzioni viritane; centro di servizio creato in funzione di assegnazioni di terre ai coloni). Infine, viene tracciato un quadro complessivo della romanizzazione dell'ager Gallicus, che, in estrema sintesi, si configura come un processo progressivo di occupazione del territorio rispecchiato dallo sviluppo stesso del fenomeno urbano, ma che si differenzia dalle aree limitrofe o dall'area cisalpina per alcune importanti dinamiche etnico-demografiche.

La funzione limitatrice dei principi - valori costituzionali nella giurisprudenza costituzionale. Riflessi ed implicazioni sulla legalità penale

La tesi di ricerca si propone di indagare il riflesso che i principi/valori producono sul parametro nel sindacato di legittimità costituzionale, al fine di verificarne le implicazioni sulla legalità, in termini di prevedibilità e certezza. In particolare, delineata la connessione tra principi e valori costituzionali e, ricostruito, secondo la teoria dell'ordinamento, il rapporto tra valori e normatività,si analizzano i riflessi prodotti, sul piano interpretativo, dall’apertura del parametro costituzionale alla logica dei valori, enfatizzandone le ricadute sul controllo di costituzionalità delle leggi. Identificato il nesso tra principi e valori nella capacità funzionale dei primi di realizzare i diritti fondamentali, si è inteso rimarcare come la più estesa realizzazione dei principi-valori costituzionali potrebbe compiersi a spese della legge e della certezza del diritto, in una relazione inversamente proporzionale. Ciò apparirebbe evidente dall’ottica privilegiata della materia penale, per cui una legalità materiale, letta alla luce di criteri di adeguatezza e di ragionevole proporzione, seppur vicina alle esigenze di giustizia del caso concreto, se spinta in eccessi interpretativi rischia di invadere il campo del legislatore, unico deputato a compiere scelte di valore.

Analisi d'immagine, patologia quantitativa e dimensione frattale in patologia veterinaria: Densita' e forme

Fino dagli albori della metodica scientifica, l’osservazione e la vista hanno giocato un ruolo fondamentale. La patologia è una scienza visiva, dove le forme, i colori, le interfacce e le architetture di organi, tessuti, cellule e componenti cellulari guidano l’occhio del patologo e ne indirizzano la scelta diagnostico-classificativa. L’osservazione del preparato istologico in microscopia ottica si attua mediante l’esame e la caratterizzazione di anomalie ad ingrandimenti progressivamente crescenti, a diverse scale spaziali, che partono dalla valutazione dell’assetto architettonico sovracellulare, per poi spostarsi ad investigare e descrivere le cellule e le peculiarità citomorfologiche delle stesse. A differenza di altri esami di laboratorio che sono pienamente quantificabili, l’analisi istologica è intrinsecamente soggettiva, e quindi incline ad un alto grado di variabilità nei risultati prodotti da differenti patologi. L’analisi d’immagine, l’estrazione da un’immagine digitale di contenuti utili, rappresenta una metodica oggettiva, valida e robusta ormai largamente impiegata a completamento del lavoro del patologo. Si sottolinea come l’analisi d’immagine possa essere vista come fase descrittiva quantitativa di preparati macroscopici e microscopici che poi viene seguita da una interpretazione. Nuovamente si sottolinea come questi descrittori siano oggettivi, ripetibili e riproducibili, e non soggetti a bassa concordanza inter operatore. La presente tesi si snoda attraverso un percorso concettuale orientato ad applicazioni di analisi d’immagine e patologia quantitativa che parte dalle applicazioni più elementari (densità, misure lineari), per arrivare a nozioni più avanzate, quali lo studio di complessità delle forme mediante l’analisi frattale e la quantificazione del pattern spaziale di strutture sovracellulari.