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.

Identification and functional characterization of human cytomegalovirus Fc binding proteins

ABSTRACT Human cytomegalovirus (HCMV) employs many different mechanisms to escape and subvert the host immune system surveillance. Among these different mechanisms the role of human IgG Fc receptors (FcγR) in HCMV pathogenesis is still unclear. In mammalians, FcγRs are expressed on the surface of all haematopoietic cells and have a multifaceted role in regulating the activity of antibodies to generate a well-balanced immune response. Viral proteins with Fcγ binding ability are highly diffuse among herpesviruses. They interfere with the host receptors functions in order to counteract immune system recognition. So far, two human HCMV Fcγ binding proteins have been described: UL119 and RL11. This work was aimed to the identification and characterization of HCMV Fcγ binding proteins. The study is divided in two parts: first the characterization of UL119 and RL11; second the identification and characterization of novel HCMV Fcγ binding proteins. Regarding the first part, we demonstrated that both UL119 and RL11 internalize Fcγ fragments from transfected cells surface through a clathrin dependent pathway. In infected cells both proteins were found in the viral assembly complex and on virions surface as envelope associated glycoproteins. Moreover, internalized Fcγ in infected cells do not undergo lysosomal degradation but rather traffic in early endosomes up to the viral assembly complex. Regarding the second part, we were able to identify two novels Fcγ binding protein coded by CMV: RL12 and RL13. The latter was also further characterized as recombinant protein in terms of cellular localization, Fc binding site and IgG internalization ability. Finally binding specificity of both RL12 and RL13 seems to be confined to human IgG1 and IgG2. Taken together, these data show that HCMV codes for up to 4 FcγR and that they could have a double role both on virus and on infected cells.

Thermodynamic and mechanical properties of polymer-solvent systems

This work presents the results of theoretical and experimental characterization of thermodynamic, mechanical and transport properties in polymer solvent systems. The polymer solvent pairs considered ranged to those in which the polymer is rubbery, to those in which the initially glassy polymeric matrix is plasticized by the action of the low molecular weight species. Advanced Equation of State models have been adopted for thermodynamic modeling,along with a rigorous procedure that enables to extend their applicability to the non equilibrium, glassy region. Mass sorption kinetics had been modeled with phenomenological models and with advanced kinetic models.

The Dynamics of Passive Torsional Fatigue Test Rigs: Innovative Applications of Universal Joints

The dynamics of a passive back-to-back test rig have been characterised, leading to a multi-coordinate approach for the analysis of arbitrary test configurations. Universal joints have been introduced into a typical pre-loaded back-to-back system in order to produce an oscillating torsional moment in a test specimen. Two different arrangements have been investigated using a frequency-based sub-structuring approach: the receptance method. A numerical model has been developed in accordance with this theory, allowing interconnection of systems with two-coordinates and closed multi-loop schemes. The model calculates the receptance functions and modal and deflected shapes of a general system. Closed form expressions of the following individual elements have been developed: a servomotor, damped continuous shaft and a universal joint. Numerical results for specific cases have been compared with published data in literature and experimental measurements undertaken in the present work. Due to the complexity of the universal joint and its oscillating dynamic effects, a more detailed analysis of this component has been developed. Two models have been presented. The first represents the joint as two inertias connected by a massless cross-piece. The second, derived by the dynamic analysis of a spherical four-link mechanism, considers the contribution of the floating element and its gyroscopic effects. An investigation into non-linear behaviour has led to a time domain model that utilises the Runge-Kutta fourth order method for resolution of the dynamic equations. It has been demonstrated that the torsional receptances of a universal joint, derived using the simple model, result in representation of the joint as an equivalent variable inertia. In order to verify the model, a test rig has been built and experimental validation undertaken. The variable inertia of a universal joint has lead to a novel application of the component as a passive device for the balancing of inertia variations in slider-crank mechanisms.

Theoretical and Experimental Analysis of micro-CHP Energy Systems

In the framework of the micro-CHP (Combined Heat and Power) energy systems and the Distributed Generation (GD) concept, an Integrated Energy System (IES) able to meet the energy and thermal requirements of specific users, using different types of fuel to feed several micro-CHP energy sources, with the integration of electric generators of renewable energy sources (RES), electrical and thermal storage systems and the control system was conceived and built. A 5 kWel Polymer Electrolyte Membrane Fuel Cell (PEMFC) has been studied. Using experimental data obtained from various measurement campaign, the electrical and CHP PEMFC system performance have been determinate. The analysis of the effect of the water management of the anodic exhaust at variable FC loads has been carried out, and the purge process programming logic was optimized, leading also to the determination of the optimal flooding times by varying the AC FC power delivered by the cell. Furthermore, the degradation mechanisms of the PEMFC system, in particular due to the flooding of the anodic side, have been assessed using an algorithm that considers the FC like a black box, and it is able to determine the amount of not-reacted H2 and, therefore, the causes which produce that. Using experimental data that cover a two-year time span, the ageing suffered by the FC system has been tested and analyzed.

Characterization of the Staphylococcus aureus bone sialoprotein-binding protein SdrE and the serine protease EpiP

In an attempt to develop a Staphylococcus aureus vaccine, we have applied reverse vaccinology approach, mainly based on in silico screening and proteomics. By using this approach SdrE, a protein belonging to serine-aspartate repeat protein family was identified as potential vaccine antigen against S. aureus. We have investigated the biochemical properties as well as the vaccine potential of SdrE and its highly conserved CnaBE3 domain. We found the protein SdrE to be resistant to trypsin. Further analysis of the resistant fragment revealed that it comprises a CnaBE3 domain, which also showed partial trypsin resistant behavior. Furthermore, intact mass spectrometry of rCnaBE3 suggested the possible presence of isopeptide bond or some other post-translational modification in the protein.However, this observation needs further investigation. Differential Scanning Fluorimetry study reveals that calcium play role in protein folding and provides stability to SdrE. At the end we have demonstrated that SdrE is immunogenic against clinical strain of S. aureus in murine abscess model. In the second part, I characterized a protein, annotated as epidermin leader peptide processing serine protease (EpiP), as a novel S. aureus vaccine candidate. The crystal structure of the rEpiP was solved at 2.05 Å resolution by x-ray crystallography . The structure showed that rEpiP was cleaved somewhere between residues 95 and 100 and cleavage occurs through an autocatalytic intra-molecular mechanism. In addition, the protein expressed by S. aureus cells also appeared to undergo a similar processing event. To determine if the protein acts as a serine protease, we mutated the catalytic serine 393 residue to alanine, generating rEpiP-S393A and solved its crystal structure at a resolution of 1.95 Å. rEpiP-S393A was impaired in its protease activity, as expected. Protective efficacy of rEpiP and the non-cleaving mutant protein was comparable, implying that the two forms are interchangeable for vaccination purposes.

Studio di un impasto acido funzionale ad elevata biodisponibilita di selenio

Dal 2008, sono evidenti che i benefici del selenio nell'organismo dipendono dalla forma in cui è ingerito, stabilendo che quella organica è migliore dell'inorganica. L’introduzione di selenio raccomandato a livello internazionale è di 55-70 μg/giorno e la sua specie chimica efficace dal punto di vista biologico è la seleniometionina. Infatti, si può affermare che il selenio in forma inorganica possieda una bassa bioattività rispetto al selenio legato agli aminoacidi (Se-metionina e Se-cisteina) di maggiore bioattività. Nell’ambito dei prodotti lievitati da forno, uno dei fattori che desta maggior interesse è l’effetto esercitato dal processo tecnologico (che include fermentazione e cottura) sull’aumento della biodisponibilità dei composti antiossidanti e nutrizionali. In particolare, attraverso il processo fermentativo, è possibile aumentare sia l’azione degli enzimi digestivi sul substrato alimentare, che la stabilità del selenio inorganico e organico presente modificandone le caratteristiche chimiche e fisiche (es. organicazione). Nello specifico, i processi fermentativi che caratterizzano gli impasti acidi (basati sulle interazioni metaboliche tra batteri lattici e lieviti) sono stati riconosciuti efficaci per modificare la composizione delle micro e macromolecole responsabili del miglioramento non solo delle caratteristiche qualitative ma anche di quelle nutrizionali, come il selenio. Lo scopo della mia tesi era lo sviluppo di un prodotto funzionale a base di cereali arricchito con selenio bioattivo tramite un processo di natura biotecnologica di tipo fermentativo. L’aggiunta di selenio alla farina attraverso un impasto acido arricchito favorisce la sua organicazione da parte dei batteri lattici presenti che trasformano parte del selenio additivato (SeIV) in forme organiche come SeMet e MeSeCys e in parte in altri frammenti organici non rilevati dall’analisi. D’altra parte la quantità di selenio inorganico rilevato nei digeriti di piadina ottenuta con impasto acido è risultata essere drasticamente ridotta. Dalla mia sperimentazione ho ottenuto molteplici indicazioni che riguardano la possibilità di produrre un alimento fermentato a base di cereali ed a elevato contenuto di selenio bioattivo. Dal punto di vista applicativo questo sperimentazione costituisce una base sia per la comprensione del ruolo dei processi fermentativi nella generazione di alimenti o ingredienti funzionali ma anche per l’individuazione di nuovi microrganismi probiotici con potenziali attività antiossidante ricchi di selenio bioattivo.

Studio e implementazione di metodi per la migrazione di processi tramite dmtcp

In questo elaborato vengono descritte le principali modalità di migrazione di processi con riferimento al Sistema Operativo GNU Linux. Sono presentate : caratteristiche di migrazione, varianti implementative, tecniche di checkpoint restart, DMTCP ed il progetto ULPM. Il corso di riferimento è Progetto di Sistemi Virtuali. Il relatore è il professor Renzo Davoli.

Transcriptional responses of the Helicobacter pylori cag pathogenicity island

The severity of Helicobacter pylori infections largely depends on the genetic diversity of the infecting strain, and particularly on the presence of the cag pathogenicity island (cag-PAI). This virulence locus encodes a type-IV secretion system able to translocate in the host cell at least the cag-encoded toxin CagA and peptidoglycan fragments, that together are responsible for the pathogenic phenotype in the host. Little is known about the bacterial regulators that underlie the coordinated expression of cag gene products, needed to assemble a functional secretion system apparatus. To fill this gap, a comprehensive analysis of the transcriptional regulation of the cag-PAI operons was undertaken. To pursue this goal, a robust tool for the analysis of gene expression in H. pylori was first implemented. A bioluminescent reporter system based on the P. luminescens luxCDABE operon was constructed and validated by comparisons with transcriptional analyses, then it was systematically used for the comprehensive study and mapping of the cag promoters. The identification of bona fide cag promoters had permitted to pinpoint the set of cag transcriptional units of the PAI. The responses of these cag transcriptional units to metabolic stress signals were analyzed in detail, and integrated with transcription studies in deletion mutants of important H. pylori virulence regulators and protein-DNA interaction analyses to map the binding sites of the regulators. Finally, a small regulatory RNA cncR1 encoded by the cag-PAI was identified, and the 5’- and 3’-ends of the molecule were mapped by primer extension analyses, northern blot and studies with lux reporter constructs. To identify regulatory effects exerted by cncR1 on the H. pylori gene expression, the cncR1 knock out strain was derived and compared to the parental wild type strain by a macroarray approach. Results suggest a negative effect exerted by cncR1 on the regulome of the alternative sigma54 factor.

Lipid quality and oxidative stability in food products from animal origin, as affected by breeding factor

Nowadays it is requested more investigations on alternative rearing systems that are able to improve poultry welfare and to warrant high-quality and safe meat products. This thesis work was focused on the evaluation of the oxidative stability of poultry meats, obtained with different rearing systems, diets (supplemented with bioactive compounds), and packaging conditions. The thesis work was divided into the following parts: - Evaluation of the effects of different rearing systems on the quality, fatty acid composition and oxidative stability of poultry thigh and breast meat belonging to different product categories (“rotisserie” and “cut-up” carcasses); - Evaluation of the effects of different rearing systems and packaging conditions on the shelf-life of poultry thigh meat stored at 4°C for 14 days, and the effects of feed supplementation with thymol (control diet and diet with 2 different concentration of thymol) and packaging conditions on lipid oxidation of poultry thigh meat shelf-life (stored at 4°C for 14 days). The oxidative stability of poultry meat was studied by means of the spectrophotometric determinations of peroxide value and thiobarbituric acid reactive substances. - Evaluation of anti-inflammatory effects of different flavonoids (thymol, luteolin, tangeretin, sulforaphane, polymethoxyflavones, curcumin derivates) to detect their biological activity in LPS-stimulated RAW 264.7 macrophage cells in vitro, in order to study more in depth their action mechanisms. It was evaluated the cell vitality (MTT assay), nitrite concentration and protein profile. The study was focused on the identification of potential dietary bioactive compounds in order to investigate their biological activity and possible synergic effects, and to develop new suitable strategies for long-term promotion of human health, in particular against cancer.

Riabilitazione e valutazione di pazienti con deficit neurologici mediante l'utilizzo di realtà virtuale, feedback aumentati, sensori inerziali e tecnologie video a basso costo.

La neuroriabilitazione è un processo attraverso cui individui affetti da patologie neurologiche mirano al conseguimento di un recupero completo o alla realizzazione del loro potenziale ottimale benessere fisico, mentale e sociale. Elementi essenziali per una riabilitazione efficace sono: una valutazione clinica da parte di un team multidisciplinare, un programma riabilitativo mirato e la valutazione dei risultati conseguiti mediante misure scientifiche e clinicamente appropriate. Obiettivo principale di questa tesi è stato sviluppare metodi e strumenti quantitativi per il trattamento e la valutazione motoria di pazienti neurologici. I trattamenti riabilitativi convenzionali richiedono a pazienti neurologici l’esecuzione di esercizi ripetitivi, diminuendo la loro motivazione. La realtà virtuale e i feedback sono in grado di coinvolgerli nel trattamento, permettendo ripetibilità e standardizzazione dei protocolli. È stato sviluppato e valutato uno strumento basato su feedback aumentati per il controllo del tronco. Inoltre, la realtà virtuale permette l’individualizzare il trattamento in base alle esigenze del paziente. Un’applicazione virtuale per la riabilitazione del cammino è stata sviluppata e testata durante un training su pazienti di sclerosi multipla, valutandone fattibilità e accettazione e dimostrando l'efficacia del trattamento. La valutazione quantitativa delle capacità motorie dei pazienti viene effettuata utilizzando sistemi di motion capture. Essendo il loro uso nella pratica clinica limitato, una metodologia per valutare l’oscillazione delle braccia in soggetti parkinsoniani basata su sensori inerziali è stata proposta. Questi sono piccoli, accurati e flessibili ma accumulano errori durante lunghe misurazioni. È stato affrontato questo problema e i risultati suggeriscono che, se il sensore è sul piede e le accelerazioni sono integrate iniziando dalla fase di mid stance, l’errore e le sue conseguenze nella determinazione dei parametri spaziali sono contenuti. Infine, è stata presentata una validazione del Kinect per il tracking del cammino in ambiente virtuale. Risultati preliminari consentono di definire il campo di utilizzo del sensore in riabilitazione.

Porting della macchina virtuale umview su sistema operativo android arm

Tesi riguardante il porting della macchina virtuale UmView sul sistema operativo Android ARM. Tratta sia di aspetti relativi a umview sia del porting in generale quale del debug remoto con gdb.