Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

A module for the FTT-SE protocol in ns-3

Demo in Workshop on ns-3 (WNS3 2015). 13 to 14, May, 2015. Castelldefels, Spain.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

mRPL: Boosting mobility in the Internet of Things

The 6loWPAN (the light version of IPv6) and RPL (routing protocol for low-power and lossy links) protocols have become de facto standards for the Internet of Things (IoT). In this paper, we show that the two native algorithms that handle changes in network topology – the Trickle and Neighbor Discovery algorithms – behave in a reactive fashion and thus are not prepared for the dynamics inherent to nodes mobility. Many emerging and upcoming IoT application scenarios are expected to impose real-time and reliable mobile data collection, which are not compatible with the long message latency, high packet loss and high overhead exhibited by the native RPL/6loWPAN protocols. To solve this problem, we integrate a proactive hand-off mechanism (dubbed smart-HOP) within RPL, which is very simple, effective and backward compatible with the standard protocol. We show that this add-on halves the packet loss and reduces the hand-off delay dramatically to one tenth of a second, upon nodes’ mobility, with a sub-percent overhead. The smart-HOP algorithm has been implemented and integrated in the Contiki 6LoWPAN/RPL stack (source-code available on-line mrpl: smart-hop within rpl, 2014) and validated through extensive simulation and experimentation.

Protocol for DNA extraction of Cryptosporidium spp. oocysts in fecal samples

Molecular characterization of Cryptosporidium spp.oocysts in clinical samples is useful for public health since it allows the study of sources of contamination as well as the transmission in different geographical regions. Although widely used in developed countries, in Brazil it is restricted to academic studies, mostly using commercial kits for the extraction of genomic DNA, or in collaboration with external reference centers, rendering the method expensive and limited. The study proposes the application of the modifications recently introduced in the method improving feasibility with lower cost. This method was efficient for clinical samples preserved at -20 °C for up to six years and the low number of oocysts may be overcomed by repetitions of extraction.

Hybrid link-state path-vector protocol ++

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores Mestrado Integrado em Engenharia Electrotécnica e de Computadores

Inversão estocástica de sísmica 3D post-stack e dados de poço para a caracterização de reservatórios e modelação de propriedades

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Environment and Health in Children Day Care Centres (ENVIRH) - Study Rationale and Protocol

Background: Indoor air quality (IAQ) is considered an important determinant of human health. The association between exposure to volatile organic compounds, particulate matter, house dust mite, molds and bacteria in day care centers (DCC) is not completely clear. The aim of this project was to study these effects. Methods --- study design: This study comprised two phases. Phase I included an evaluation of 45 DCCs (25 from Lisbon and 20 from Oporto, targeting 5161 children). In this phase, building characteristics, indoor CO2 and air temperature/relative humidity, were assessed. A children’s respiratory health questionnaire derived from the ISAAC (International Study on Asthma and Allergies in Children) was also distributed. Phase II encompassed two evaluations and included 20 DCCs selected from phase I after a cluster analysis (11 from Lisbon and 9 from Oporto, targeting 2287 children). In this phase, data on ventilation, IAQ, thermal comfort parameters, respiratory and allergic health, airway inflammation biomarkers, respiratory virus infection patterns and parental and child stress were collected. Results: In Phase I, building characteristics, occupant behavior and ventilation surrogates were collected from all DCCs. The response rate of the questionnaire was 61.7% (3186 children). Phase II included 1221 children. Association results between DCC characteristics, IAQ and health outcomes will be provided in order to support recommendations on IAQ and children’s health. A building ventilation model will also be developed. Discussion: This paper outlines methods that might be implemented by other investigators conducting studies on the association between respiratory health and indoor air quality at DCC.

A random access MAC protocol for MPR satellite networks

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Protocol for the psychotherapeutic group intervention for facilitating posttraumatic growth in nonmetastatic breast cancer patients

Breast cancer can be perceived as a traumatic event with disturbing effects on psychological domains such as depression, anxiety, and Posttraumatic Stress Disorder. In contrast, growing evidence has shown that posttraumatic growth can occur as a result of coping with breast cancer. Challenging the assumptive world, deliberate rumination, and emotional disclosure are recognized as strong predictors of posttraumatic growth. Group interventions may also increase social support, distress disclosure, and posttraumatic growth. The aim of this study is to evaluate how group-based interventions can facilitate posttraumatic growth and promote improved psychosocial adjustment to breast cancer. This article describes the study protocol and the applied research methods.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Data quality in biofilm high-throughput routine analysis: intralaboratory protocol adaptation and experiment reproducibility

Biofilm research is growing more diverse and dependent on high-throughput technologies and the large-scale production of results aggravates data substantiation. In particular, it is often the case that experimental protocols are adapted to meet the needs of a particular laboratory and no statistical validation of the modified method is provided. This paper discusses the impact of intra-laboratory adaptation and non-rigorous documentation of experimental protocols on biofilm data interchange and validation. The case study is a non-standard, but widely used, workflow for Pseudomonas aeruginosa biofilm development, considering three analysis assays: the crystal violet (CV) assay for biomass quantification, the XTT assay for respiratory activity assessment, and the colony forming units (CFU) assay for determination of cell viability. The ruggedness of the protocol was assessed by introducing small changes in the biofilm growth conditions, which simulate minor protocol adaptations and non-rigorous protocol documentation. Results show that even minor variations in the biofilm growth conditions may affect the results considerably, and that the biofilm analysis assays lack repeatability. Intra-laboratory validation of non-standard protocols is found critical to ensure data quality and enable the comparison of results within and among laboratories.

An efficient chronic unpredictable stress protocol to induce stress-related responses in C57BL/6 mice

Exposure to chronic stress can have broad effects on health ranging from increased predisposition for neuropsychiatric disorders to deregulation of immune responses. The chronic unpredictable stress (CUS) protocol has been widely used to study the impact of stress exposure in several animal models and consists in the random, intermittent, and unpredictable exposure to a variety of stressors during several weeks. CUS has consistently been shown to induce behavioral and immunological alterations typical of the chronic stress-response. Unfortunately C57BL/6 mice, one of the most widely used mouse strains, due to the great variety of genetically modified lines, seem to be resistant to the commonly used 4-week-long CUS protocol. The definition of an alternative CUS protocol allowing the use of C57BL/6 mice in chronic stress experiments is a need. Here, we show that by extending the CUS protocol to 8?weeks is possible to induce a chronic stress-response in C57BL/6 mice, as revealed by abrogated body weight gain, increased adrenals weight, and an overactive hypothalamic-pituitary-adrenal axis with increased levels of serum corticosterone. Moreover, we also observed stress-associated behavioral alterations, including the potentiation of anxious-like and depressive-like behaviors and a reduction of exploratory behavior, as well as subtle stress-related changes in the cell population of the thymus and of the spleen. The present protocol for C57BL/6 mice consistently triggers the spectrum of CUS-induced changes observed in rats and, thus, will be highly useful to researchers that need to use this particular mouse strain as an animal model of neuropsychiatric disorders and/or immune deregulation related to CUS.

Widespread environmental contamination with Mycobacterium tuberculosis complex revealed by a molecular detection protocol

Environmental contamination with Mycobacterium tuberculosis complex (MTC) has been considered crucial for bovine tuberculosis persistence in multi-host-pathogen systems. However, MTC contamination has been difficult to detect due to methodological issues. In an attempt to overcome this limitation we developed an improved protocol for the detection of MTC DNA. MTC DNA concentration was estimated by the Most Probable Number (MPN) method. Making use of this protocol we showed that MTC contamination is widespread in different types of environmental samples from the Iberian Peninsula, which supports indirect transmission as a contributing mechanism for the maintenance of bovine tuberculosis in this multi-host-pathogen system. The proportion of MTC DNA positive samples was higher in the bovine tuberculosis-infected than in presumed negative area (0.32 and 0.18, respectively). Detection varied with the type of environmental sample and was more frequent in sediment from dams and less frequent in water also from dams (0.22 and 0.05, respectively). The proportion of MTC-positive samples was significantly higher in spring (p<0.001), but MTC DNA concentration per sample was higher in autumn and lower in summer. The average MTC DNA concentration in positive samples was 0.82 MPN/g (CI95 0.70-0.98 MPN/g). We were further able to amplify a DNA sequence specific of Mycobacterium bovis/caprae in 4 environmental samples from the bTB-infected area.