Trade-Off Performance Regions of Slotted ALOHA Protocol using Multi-Objective Optimization

10th Conference on Telecommunications (Conftele 2015), Aveiro, Portugal.

A Random Access Protocol incorporating Multi-Packet Reception, Retransmission Diversity and Successive Interference Cancellation

8th International Workshop on Multiple Access Communications (MACOM2015), Helsinki, Finland.

Performance Analysis of IEEE 802.15.6 Contention-based MAC Protocol

IEEE International Conference on Communications (IEEE ICC 2015). 8 to 12, Jun, 2015, IEEE ICC 2015 - Communications QoS, Reliability and Modeling, London, United Kingdom.

Holistic Analysis for Fork-Join Distributed Tasks supported by the FTT-SE Protocol

11th IEEE World Conference on Factory Communication Systems (WFCS 2015). 27 to 29, May, 2015, TII-SS-2: Scheduling and Performance Analysis. Palma de Mallorca, Spain.

A morphological protocol and guide-list on uterine cervix cytology associated to Papillomavirus infection

The present study was designed to further assess the validity of the cytological description of morphological lesions said to be related to Papillomavirus (HPV) infections in senior women. The casuistic comprised 196 cervical smears from a group of women with no clinical or morphological evidence of neoplasia, collected simultaneously with samples submitted to detection of HPV DNA by PCR in a previous study. Three experienced cytologists studied each slide in two different conditions, with an interval of 20 months between them. The first approach was performed under routine laboratory standards, whereas the second was guided by a list of 16 well-defined parameters indicative of HPV-related cytological lesions. When suspicious cases of HPV-related alterations were grouped with positive cases, they showed on average: sensitivity of 25.5%, specificity of 84.4% and positive predictive value (PPV) of 26.8%. When suspicious cases were grouped with negative cases, sensitivity decreased, whereas specificity and PPV increased, as expected. In the second reading, which followed a "guide-list", a decrease in sensitivity was observed, contrasting with a sharp increase of positive predictive value. Among the 16 cytomorphological criteria tested, "koilocytosis", "mild koilocytosis" and "condylomatous parabasal cells" yielded the best predictive value for HPV DNA detection by PCR. In conclusion, despite the low sensitivity, cytopathologic assessment of cervico-vaginal smears leads to a highly specific diagnosis of HPV infection in menopausal women, with PPV of 91.0% when directed by a guide-list of well-defined morphologic criteria.

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.

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.

(Un)suitability of the use of pH buffers in biological, biochemical and environmental studies and their interaction with metal ions – a review

The use of buffers to maintain the pH within a desired range is a very common practice in chemical, biochemical and biological studies. Among them, zwitterionic N-substituted aminosulfonic acids, usually known as Good’s buffers, although widely used, can complex metals and interact with biological systems. The present work reviews, discusses and updates the metal complexation characteristics of thirty one commercially available buffers. In addition, their impact on biological systems is also presented. The influences of these buffers on the results obtained in biological, biochemical and environmental studies, with special focus on their interaction with metal ions, are highlighted and critically reviewed. Using chemical speciation simulations, based on the current knowledge of the metal–buffer stability constants, a proposal of the most adequate buffer to employ for a given metal ion is presented.

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

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.