Teoria quântica da computação

This undergraduate thesis aims formally define aspects of Quantum Turing Machine using as a basis quantum finite automata. We introduce the basic concepts of quantum mechanics and quantum computing through principles such as superposition, entanglement of quantum states, quantum bits and algorithms. We demonstrate the Bell's teleportation theorem, enunciated in the form of Deutsch-Jozsa definition for quantum algorithms. The way as the overall text were written omits formal aspects of quantum mechanics, encouraging computer scientists to understand the framework of quantum computation. We conclude our thesis by listing the Quantum Turing Machine's main limitations regarding the well-known Classical Turing Machines

Validation of a new proposal of quantitative sperm culture for industrialized bull semen

The Brazilian Ministry of Agriculture (MAPA) has discussed the mandatory culture of industrialized semen, both to ensure biosefety, and to prevent in vitro fertilization problems caused by oocyte contamination with ubiquitous and opportunistic bacteria from preputial microbiota. Pour plate, a quantitative technique recommended by the World Organization for Animal Health (OIE), is operationally difficult and costly for routine analysis in Artificial Insemination Centers (AICs). The objectives of this study were to evaluate and validate viable superficial bacteria counts (VSBC), in CFU/mL, compared with pour plate counts, in industrialized bull semen samples from AICs. Semen straws from Projeto Hungria - MAPA bulls were used. VSBC and pour plate were carried out in parallel in serial dilutions of the samples, from 10(-1) to 10(-5). CFU/mL means or medians recorded in each dilution and technique were compared, and no statistical differences were observed between the two techniques regarding the quantification of bacteria in CFU/mL, suggesting that it may be possible to replace pour plate for CBSV, a cheaper and more practical technique.

Improving the Robustness of Distributed Failure Detectors in Adverse Conditions

Failure detection is at the core of most fault tolerance strategies, but it often depends on reliable communication. We present new algorithms for failure detectors which are appropriate as components of a fault tolerance system that can be deployed in situations of adverse network conditions (such as loosely connected and administered computing grids). It packs redundancy into heartbeat messages, thereby improving on the robustness of the traditional protocols. Results from experimental tests conducted in a simulated environment with adverse network conditions show significant improvement over existing solutions.

A Low Consumption Real Time Environmental Monitoring System for Smart Cities based on ZigBee Wireless Sensor Network

Nowadays, there is an increasing interest in wireless sensor networks (WSN) for environmental monitoring systems because it can be used to improve the quality of life and living conditions are becoming a major concern to people. This paper describes the design and development of a real time monitoring system based on ZigBee WSN characterized by a lower energy consumption, low cost, reduced dimensions and fast adaptation to the network tree topology. The developed system encompasses an optimized sensing process about environmental parameters, low rate transmission from sensor nodes to the gateway, packet parsing and data storing in a remote database and real time visualization through a web server.

Charakterisierung redundanter Kerntransportsignale des minoren Kapsidproteins L2 humaner Papillomviren

Das minore Kapsidprotein L2 humaner Papillomviren wird im Laufe des HPV-Lebenszyklus zweimal in den Zellkern importiert und akkumuliert dort an den Nukleären Domänen 10 (ND10). Der erste Kernimport erfolgt in der frühen Phase der Infektion zusammen mit der Virus-DNA. Für den Zusammenbau von Virionen wird neu synthetisiertes L2-Protein ein weiteres Mal in den Kern transportiert. Im Rahmen dieser Arbeit konnte die Domäne von L2 identifiziert werden, die für den Kernimport von HPV16 L2 absolut notwendig ist. Dabei gelang es diesen Bereich auf 25 Aminosäuren einzuengen. Sowohl während der frühen Phase der Infektion als auch während der Morphogenese scheint die zentrale, basische Aminosäureregion 291-315 (mNLS) hauptverantwortlich für die Interaktion mit Kernimportrezeptoren zu sein. Möglicherweise leisten dabei flankierende Sequenzen einen Beitrag zur Stabilisierung der notwendigen Konformation. Des Weiteren gelang die Identifizierung der Aminosäuren, die für die Funktionalität des mNLS essentiell sind. Hierbei handelt es sich um ein zentrales Arginin-Motiv, bestehend aus vier dicht beieinander liegenden Argininen, dessen Mutation den Kernimport von L2 während Infektion und Morphogenese verhindert. Untersuchungen mit HPV16 und HPV18 L2-Proteinen verdeutlichten, dass es möglicherweise ein universelles Motiv zu sein scheint und in verschiedenen HPV-Typen konserviert ist. Flankiert wird dieses Arginin-Motiv von konservierten Serinen und Threoninen. Wie die Analyse von Punktmutationen zeigte, sind diese Aminosäuren für den Kernimport von L2 ohne Bedeutung. Interessanterweise verhinderte aber die Mutation TS295/6A die Kolokalisation von L2 mit ND10 im Zellkern. L2wt rekrutiert den transkriptionellen Regulator Daxx. Auch diese Funktion ging bei der Mutante TS295/6A verloren. Diese Ergebnisse zeigen, dass nicht nur die ND10-Lokalisationsdomäne (AS 390-420) in L2 sondern auch weitere Aminosäuren oder Domänen für die Assoziation mit ND10 und die Rekrutierung von Daxx verantwortlich sein könnten. Auf der Suche nach zellulären Faktoren, die eine Rolle im mNLS-vermittelten Kernimport spielen, wurde zunächst die Bedeutung von Hsc70 untersucht. Während der Morphogenese maskiert Hsc70 den C-Terminus von L2 und verhindert damit unerwünschte Interaktionen mit Mikrotubuli im Zytoplasma. Es existieren aber weitere noch unbekannte Hsc70-Bindedomänen in L2, die möglicherweise den Kernimport ebenfalls beeinflussen können. Wie die Untersuchungen deutlich machten, ist der zentrale, basische Bereich von L2 aber nicht mit Hsc70 assoziiert und der mNLS-vermittelte Kernimport findet unabhängig von Hsc70 statt. In einem siRNA-Screen wurde anschließend die Rolle von Karyopherinen während der Infektion untersucht. Sowohl Kapß2-siRNA als auch Kapß3-siRNA waren in der Lage unabhängig voneinander die Infektion von HPV16-Pseudovirionen zu reduzieren. Für beide Karyopherine konnte in der Vergangenheit in vitro die Interaktion mit HPV16 L2 nachgewiesen werden. Das L2-Protein ist das einzige virale Protein, das während der Infektion die Virus-DNA in den Kern begleitet (Day et al., 2004). Demzufolge ist es auch das einzige virale Protein, das mit Importinen während der Infektion interagiert. Möglicherweise sind also beide Karyopherine in der Lage sein L2 während der Infektion in den Kern zu importieren. Abschließend wurden Präzipitationsversuche durchgeführt, die zur Identifizierung möglicher Bindungspartner des mNLS führen sollten. In diesen Versuchen konnte eine erhöhte Bindungsaffiniät zu den beiden Importinen Kapß1 und Kapß2 festgestellt werden. Möglicherweise ist das L2-Protein mit seiner mNLS in der Lage mehrere Importrezeptoren zu binden und für den Kernimport zu nutzen. Eines dieser Importine ist Kapß2. Dieser Importrezeptor scheint sowohl bei der Infektion als auch während der Morphogenese den Kernimport von L2 durch die Bindung an das mNLS zu vermitteln.

Polycyclic aromatic hydrocarbons (PAHs) in river bank soils

Polycyclic aromatic hydrocarbons (PAHs) are ubiquitous and found in the atmosphere, aquatic environment, sediments and soils. For environmental risk assessments and the allocation of the polluter it is important to know the PAH sources. PAH contamination sites are usually the result of anthropogenic processes. Three major sources are known: i) petroleum, including crude oil and its refined products and coals (petrogenic PAHs), ii) burning of organic matter (pyrogenic PAHs) and iii) transformation products of natural organic precursors present in the environment (diagenetic processes). In one case elevated PAH concentrations were found in river bank soils when building a retention area along the Mosel River. The source of the PAHs in this area was unclear and required the investigation of possible sources. To evaluate the PAH distribution along the Mosel River, a section of ~ 160 km along the river and a short section along the Saar River were investigated within this study. Concentrations of the Σ16 EPA PAHs were as high as 81 mg kg-1 dry weight (dw). Additionally, coal particles were identified in some soils, which originated from mining activities in the Saarland region. PAH distribution patterns of the 16 EPA PAHs suggest a mainly pyrogenic origin and in some cases a mixture of pyrogenic and petrogenic origin. For a comprehensive investigation five sampling sites were selected. Two sites were located before the confluence of the Mosel and Saar River, one site at the confluence and two sites after the confluence. The examination included typical forensic methods such as PAH distribution patterns of 45 PAHs (including alkylated PAHs), calculation of PAH ratios, determination of PAH alkyl homologues, n-alkanes, principal component analysis (PCA) and coal petrography. The results revealed a mainly pyrogenic source at sampling sites before the confluence of the two rivers. At and after the confluence, a mixture of pyrogenic and petrogenic inputs were present. With the help of coal petrography, coal derived particles could be identified in these soils. Therefore, coal was suggested to be the petrogenic source. It could be shown that sites with diffuse sources of contaminants, like the bank soils of the Mosel River, are difficult to characterize. As previously mentioned for detailed source identifications, the use of various forensic methods is essential. Determination of PAH alkyl homologue series, biomarkers and isotopes are often recommended. Source identification was evaluated using three different methods (i.e. PAH distribution patterns of an extended PAH spectrum, PAH ratios and analyses of n-alkanes). It was assessed if these methods were sufficient for the initial steps in identifying sources of PAHs in selected samples, and if they could be used for decision-making purposes. Point- and non-point sources were identified by applying the three methods and it could be shown that these relatively simple methods are sufficient in determining the primary source. In a last step of this study two soils (one before the confluence of the Mosel and Saar rivers and one after the confluence), and one sediment of the Mosel River were evaluated by investigating the mutagenic potential of the soils and the sediment with a fluctuation version of the Ames-test. The study showed that coal bearing soils at the Mosel River do not exhibit a greater mutagenic potential than other soils or sediments without coal particles.

Coordinazione embodied vs. Disembodied: TuCSon on cloud

Lo scopo della tesi è esplorare il nuovo dualismo tra calcolo situato e calcolo come mero servizio immateriale che si osserva nel rafforzarsi di due paradigmi apparentemente antitetici come Cloud Computing e Pervasive Computing. Si vuole quindi dimostrare che i due paradigmi sono complementari, e possibilmente sviluppare un modello e un approccio metodologico per sistemi distribuiti che sfrutti opportunamente le caratteristiche dei due paradigmi. A tale scopo si utilizzerà come caso di studio il modello TuCSoN con linguaggio ReSpecT, combinando opportunamente Situated ReSpecT con il modello Coordination as a Service (CaaS) espresso da TuCSoN on Cloud.

Coordinazione space-aware per dispositivi mobili in tucson

Lo scopo della tesi è quello di definire un modello di astrazione di coordinazione space-aware nell'ottica dei dispositivi mobili e del pervasive computing, concentrandosi in particolare sul modello TuCSoN e sui tuple centre ReSpecT.

Maternal Smoking Impact on the Delivery Cost: a population-based study in the Emilia-Romagna region

This doctoral thesis is devoted to the study of the causal effects of the maternal smoking on the delivery cost. The interest of economic consequences of smoking in pregnancy have been studied fairly extensively in the USA, and very little is known in European context. To identify the causal relation between different maternal smoking status and the delivery cost in the Emilia-Romagna region two distinct methods were used. The first - geometric multidimensional - is mainly based on the multivariate approach and involves computing and testing the global imbalance, classifying cases in order to generate well-matched comparison groups, and then computing treatment effects. The second - structural modelling - refers to a general methodological account of model-building and model-testing. The main idea of this approach is to decompose the global mechanism into sub-mechanisms though a recursive decomposition of a multivariate distribution.

Eco-sistemi informatici, distribuiti, real-time, a supporto del lavoro cooperativo in scenari di emergenza: Studio e realizzazione di un caso applicativo

I sistemi software nati dall'esigenza di supportare agevolmente ed efficacemente il lavoro cooperativo, in particolare quelli orientati al supporto di azioni di soccorso in scenari di emergenza, appaiono tutt'ora fortemente limitati e frammentati. In molti casi vengono affrontate solamente specifiche dimensioni del problema complessivo, anche se il livello al quale è giunto lo sviluppo tecnologico e i risultati osservati in ambito di ricerca permettono di delineare soluzioni complete e significative per l'impiego in ambiti reali. Tale tipologia di sistemi è stata scelta per il grande interesse che desta sia dal punto di vista accademico, essendo costituita da molteplici sotto--sistemi spesso eterogenei che debbono necessariamente interagire e supportare l'azione umana, sia dal punto di vista industriale, interpretando la necessità crescente di iniettare nel maggior numero possibile di livelli sociali la forte dipendenza (il supporto allo stesso tempo) dalle scienze tecnologiche ed informatiche, per rafforzare e talvolta estendere le possibilità dell'essere umano in quanto tale. Dopo una prima fase in cui verrà delineato un quadro concettuale piuttosto dettagliato circa i principali elementi e problematiche che caratterizzano la classe di sistemi considerati, sarà dato spazio alla validazione di tali principi e considerazioni emerse, confrontandosi con la progettazione e sviluppo in forma prototipale di un sotto--sistema relativo ad un caso di studio reale, significativo per l'ambito di applicazione, nato dalla collaborazione con l'Università degli Studi di Bologna di un'azienda della regione Emilia--Romagna. Il sistema software realizzato vuole essere innanzi tutto la risposta alle esigenze emerse nel caso di studio trattato, in modo tale da potersi sostituire agli attuali limitati supporti alla cooperazione, ma anche un esperimento che possa essere considerato un artefatto centrale da utilizzare come base di conoscenza condivisa, in cui vengano fattorizzati i concetti e meccanismi chiave, fondamentali per sviluppi futuri.

Tuning remoto di filtering, pre-processing e buffering per scenari internet of things

La tesi propone una soluzione middleware per scenari in cui i sensori producono un numero elevato di dati che è necessario gestire ed elaborare attraverso operazioni di preprocessing, filtering e buffering al fine di migliorare l'efficienza di comunicazione e del consumo di banda nel rispetto di vincoli energetici e computazionali. E'possibile effettuare l'ottimizzazione di questi componenti attraverso operazioni di tuning remoto.

Sistema Bluetooth-based di remarketing pervasivo

Il progetto si propone di dotare la realta fisica di un estensione digitale. Sensori, attuatori e tecnologie embedded hanno cambiato il nostro modo di lavorare, allenarci e seguire i nostri interessi. Il mondo del commercio non e rimasto a guardare ed ha dovuto adattarsi alla metamorfosi high-tech del settore dei servizi. Il sistema proposto costituisce un promotore per acquisti ed un raccoglitore intelligente di abitudini sullo shopping e si compone di applicazione mobile, microcontroller e web server. Caratteristica prima e principale del progetto e sicuramente la pervasivita. All'utente ed utilizzatore dell'app dello shopping center deve essere certamente resa nota la collaborazione al fine di raccogliere dati statistici sulle sue abitudini, tuttavia sono le modalita di tale operazione a dover rimanere velate, in modo da non appesantire il cliente con tediose operazioni di invio di feedback e valutazioni ed allo stesso tempo permettere una raccolta capillare delle informazioni. Parallelamente alla raccolta di dati funzionali al producer, sono state implementate features per il consumatore, come notifiche promozionali place-triggered e pubblicita mirata. Tra tutte le tecnologie adibite allo scambio di informazioni, si e scelto l'utilizzo del Bluetooth e del piu recente Bluetooth Low Energy (BLE) per permettere ai dispositivi di comunicare tra loro.

Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio

L'obiettivo principale di questa tesi è quello di approfondire il tema della comunicazione e sincronizzazione dati nel contesto di uno specifico caso di studio di sistema informatico a supporto del lavoro cooperativo per il soccorso in emergenza: a partire dai requisiti del caso applicativo, secondo cui agli operatori deve essere possibile utilizzare il sistema anche a fronte di disconnessioni dei propri dispositivi mobili, emerge infatti la necessità di un middleware a cui il livello applicativo demandi le funzionalità di sincronizzare le informazioni prodotte durante le operazioni, in modo da promuovere uno scambio di informazioni che migliori e supporti l'azione del singolo e conseguentemente del team. Quindi, dopo aver introdotto la tematica ed analizzato il caso di studio da affrontare, viene descritta l'esplorazione del panorama tecnologico volta alla ricerca di strumenti o approcci che possano mitigare la complessità nella realizzazione di questa funzionalità. Nel panorama tecnologico considerato, comprendente framework per servizi web, MOM e database, uno strumento di particolare interesse è stato individuato in CouchDB, un database NoSQL, grazie alle sue funzionalità di replica e sincronizzazione e alla presenza di una libreria per lo sviluppo su dispositivi mobili: su di esso è stata effettuata una breve fase di sperimentazione volta a saggiarne in maniera più concreta le potenzialità anche in relazione alla valutazione di fattibilità per il caso applicativo considerato.

A Flow Trace Generator using Graph-based Traffic Classification Techniques

We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique uses a graph-based approach to model the communication structure observed in real-world traces and to extract traffic templates. By combining extracted and user-defined traffic templates, realistic network flow traces that comprise normal traffic and customized conditions are generated in a scalable manner. A proof-of-concept implementation demonstrates the utility and simplicity of our method to produce a variety of evaluation scenarios. We show that the extraction of templates from real-world traffic leads to a manageable number of templates that still enable accurate re-creation of the original communication properties on the network flow level.