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.

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.

Pseudo-Kaposi's Sarcoma Because of Suction-Socket Lower Limb Prosthesis

Pseudo-Kaposi sarcoma is a benign reactive vascular proliferation mainly involving the lower legs, which can be related to acquired chronic venous insufficiency or congenital arteriovenous malformations. In its most common presentation, acroangiodermatitis is seen in patients with chronic venous insufficiency of the lower limbs as an exaggeration of the stasis dermatitis. However, rare reports of acroangiodermatitis include descriptions in amputees (especially in those with poorly fitting suction-type devices), in patients undergoing hemodialysis (with lesions developing distally to arteriovenous shunts) and in patients with paralyzed legs. We report on a 28 year-old-male who presented pseudo-Kaposi's sarcoma in an amputation stump because of suction-socket lower limb prosthesis.

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.

A novel small-caliber bacterial cellulose vascular prosthesis: production, characterization, and preliminary in vivo testing

Vascular grafts are used to bypass damaged or diseased blood vessels. Bacterial cellulose (BC) has been studied for use as an off-the-shelf graft. Herein, we present a novel, cost-effective, method for the production of small caliber BC grafts with minimal processing or requirements. The morphology of the graft wall produced a tensile strength above that of native vessels, performing similarly to the current commercial alternatives. As a result of the production method, the luminal surface of the graft presents similar topography to that of native vessels. We have also studied the in vivo behavior of these BC graft in order to further demonstrate their viability. In these preliminary studies, 1 month patency was achieved, with the presence of neo-vessels and endothelial cells on the luminal surface of the graft.

Percutaneous closure of ductus arteriosus with the amplatzer prosthesis. The Brazilian experience

OBJECTIVE - To report the results of percutaneous occlusion of persistent ductus arteriosus with the Amplatzer prosthesis in 2 Brazilian cardiological centers. METHODS - From May 1998 to July 2000, 33 patients with clinical and laboratory diagnosis of persistent ductus arteriosus underwent attempts at percutaneous implantation of the Amplatzer prosthesis. The median age was 36 months (from 6 months to 38 years), and the median weight was 14kg (from 6 to 92kg). Sixteen patients (48.5%) were under 2 years of age at the time of the procedure. All patients were followed up with periodical clinical and echocardiographic evaluations to assess the presence and degree of residual shunt and possible complications, such as pseudocoarctation of the aorta and left pulmonary artery stenosis. RESULTS - The minimum diameter of the arterial ducts ranged from 2.5 to 7.0mm (mean of 4.0±1.0, median of 3.9). The rate of success for implantation of the prosthesis was 100%. Femoral pulse was lost in 1 patient. The echocardiogram revealed total closure prior to hospital discharge in 30 patients, and in the follow-up visit 3 months later in the 3 remaining patients. The mean follow-up duration was 6.4±3.4 months. All patients were clinically well, asymptomatic, and did not need medication. No patient had narrowing of the left pulmonary artery or of the aorta. No early or late embolic events occurred, nor did infectious endarteritis. A new hospital admission was not required for any patient. CONCLUSION - The Amplatzer prosthesis for persistent ductus arteriosus is safe and highly effective for occlusion of ductus arteriosus of varied diameters, including large ones in small symptomatic infants.