Evaluation of the formalin-Tween concentration technique for parasitic detection

The formalin-Tween sedimentation method was compared with the formalin-ether sedimentation for parasitic detection. Of a total 297 fecal specimens examined, 72.1% were positive. The formalin-tween technique was effective for ascertaining helminths, particularly Ascaris lumbricoides, Trichuris trichiura and hookworm eggs; however it has less capability for protozoa detection. This method is simple, inexpensive, less time consuming and highly sensitive when detecting the parasitic infection, particularly when focusing on helminth eggs.

Assessment of the rapid test based on an immunochromatography technique for detecting anti-Treponema pallidum antibodies

A rapid test based on an immunochromatography assay - Determine™ Syphilis TP (Abbott Lab.) for detecting specific antibodies to Treponema pallidum was evaluated against serum samples from patients with clinical, epidemiological and serological diagnosis of syphilis, patients with sexually transmitted disease other than syphilis, and individuals with negative serology for syphilis. The Determine™ test presented the sensitivity of 93.6%, specificity of 92.5%, and positive predictive value and negative predictive value of 95.2% and 93.7%, respectively. One serum sample from patient with recent latent syphilis showed a prozone reaction. Determine™ is a rapid assay, highly specific and easy to perform. This technique obviates the need of equipment and its diagnostic features demonstrate that it may be applicable as an alternative assay for syphilis screening under some emergency conditions or for patients living in remote localities.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Histoplasma capsulatum fungemia in patients with acquired immunodeficiency syndrome: detection by lysis-centrifugation blood-culturing technique

Progressive disseminated histoplasmosis (PDH) is an increasingly common cause of infection in patients with acquired immune deficiency syndrome (AIDS). We report 21 cases of PDH associated with AIDS diagnosed by lysis-centrifugation blood culture method. The most prevalent clinical findings were fever, weight loss, respiratory symptoms, and mucocutaneous lesions. Chest roentgenogram showed diffuse pulmonary infiltrates in 13 of 21 patients (62%). Brochoalveolar fluid has yelded positive culture in four patients only in medium with cycloheximide.

Adhesive selection for single lap bonded joints: Experimentation and advanced techniques for strength prediction

The integrity of multi-component structures is usually determined by their unions. Adhesive-bonding is often used over traditional methods because of the reduction of stress concentrations, reduced weight penalty, and easy manufacturing. Commercial adhesives range from strong and brittle (e.g., Araldite® AV138) to less strong and ductile (e.g., Araldite® 2015). A new family of polyurethane adhesives combines high strength and ductility (e.g., Sikaforce® 7888). In this work, the performance of the three above-mentioned adhesives was tested in single lap joints with varying values of overlap length (LO). The experimental work carried out is accompanied by a detailed numerical analysis by finite elements, either based on cohesive zone models (CZM) or the extended finite element method (XFEM). This procedure enabled detailing the performance of these predictive techniques applied to bonded joints. Moreover, it was possible to evaluate which family of adhesives is more suited for each joint geometry. CZM revealed to be highly accurate, except for largely ductile adhesives, although this could be circumvented with a different cohesive law. XFEM is not the most suited technique for mixed-mode damage growth, but a rough prediction was achieved.

Cohesive law estimation of adhesive joints in mode II condition

The adhesive bonding technique enables both weight and complexity reduction in structures that require some joining technique to be used on account of fabrication/component shape issues. Because of this, adhesive bonding is also one of the main repair methods for metal and composite structures by the strap and scarf configurations. The availability of strength prediction techniques for adhesive joints is essential for their generalized application and it can rely on different approaches, such as mechanics of materials, conventional fracture mechanics or damage mechanics. These two last techniques depend on the measurement of the fracture toughness (GC) of materials. Within the framework of damage mechanics, a valid option is the use of Cohesive Zone Modelling (CZM) coupled with Finite Element (FE) analyses. In this work, CZM laws for adhesive joints considering three adhesives with varying ductility were estimated. The End-Notched Flexure (ENF) test geometry was selected based on overall test simplicity and results accuracy. The adhesives Araldite® AV138, Araldite® 2015 and Sikaforce® 7752 were studied between high-strength aluminium adherends. Estimation of the CZM laws was carried out by an inverse methodology based on a curve fitting procedure, which enabled a precise estimation of the adhesive joints’ behaviour. The work allowed to conclude that a unique set of shear fracture toughness (GIIC) and shear cohesive strength (ts0) exists for each specimen that accurately reproduces the adhesive layer’ behaviour. With this information, the accurate strength prediction of adhesive joints in shear is made possible by CZM.

Immunoperoxidase technique using an anti-Leishmania (L.) chagasi hyperimmune serum in the diagnosis of culture-confirmed American tegumentary leishmaniasis

The present study reports the production of the rabbit anti-Leishmania (L.) chagasi hyperimmune serum, the standardization of the immunohistochemistry (IHC) technique and the evaluation of its employment in cutaneous leishmaniasis (CL) lesions diagnosed by Leishmania sp. culture isolation. Thirty fragments of active CL lesions were examined as well as 10 fragments of cutaneous mycosis lesions as control group. IHC proved more sensitive in detecting amastigotes than conventional hematoxylin-eosin (HE) stained slides: the former was positive in 24 (80%) biopsies whereas the latter, in 16 (53%) (p = 0.028). The reaction stained different fungus species causing cutaneous mycosis. Besides, positive reaction was noticed in mononuclear and endothelial cells. Nevertheless, this finding was present in the control group biopsies. It is concluded that IHC showed good sensitivity in detecting amastigotes.

Effective swimmer’s action during the grab start technique

The external forces applied in swimming starts have been often studied, but using direct analysis and simple interpretation data processes. This study aimed to develop a tool for vertical and horizontal force assessment based on the swimmers' propulsive and structural forces (passive forces due to dead weight) applied during the block phase. Four methodological pathways were followed: the experimented fall of a rigid body, the swimmers' inertia effect, the development of a mathematical model to describe the outcome of the rigid body fall and its generalization to include the effects of the inertia, and the experimental swimmers' starting protocol analysed with the inclusion of the developed mathematical tool. The first three methodological steps resulted in the description and computation of the passive force components. At the fourth step, six well-trained swimmers performed three 15 m maximal grab start trials and three-dimensional (3D) kinetic data were obtained using a six degrees of freedom force plate. The passive force contribution to the start performance obtained from the model was subtracted from the experimental force due to the swimmers resulting in the swimmers' active forces. As expected, the swimmers' vertical and horizontal active forces accounted for the maximum variability contribution of the experimental forces. It was found that the active force profile for the vertical and horizontal components resembled one another. These findings should be considered in clarifying the active swimmers' force variability and the respective geometrical profile as indicators to redefine steering strategies.

Influence of variables on centrifuge-flotation technique for recovery of Toxocara canis eggs from soil

The purpose of this study was to evaluate the influence of variables in a flotation technique for the recovery of Toxocara canis eggs from soil. The trials were done under standardized conditions on one gram of previously sterilized soil samples contaminated with 200 eggs of T. canis. The following variables were evaluated in serial steps: sieving; type of wash; time of stirring; resuspension of sediment; solution flotation. Centrifuge-flotation in sodium nitrate (d = 1.20 g/cm³) was adopted as an initial technique, using Tween 80 (0.2%) and decinormal sodium hydroxide as solutions for washing the samples. Ten tests were done to compare the variables, using counting in triplicate. The sieving of the material reduced significantly the recovery of eggs (p < 0.001) and the number of eggs recovered was higher when the sediment was resuspended (p < 0.05). After standardization, flotation solutions sodium chloride, zinc sulfate, sodium dichromate, magnesium sulfate, and sodium nitrate (d = 1.20g/cm³) were compared. The best results were obtained by using zinc sulfate solution. In conclusion, the chances of recovering T. canis eggs from samples using flotation solutions can be increased by washing of soil twice using distilled water, and resuspension of sediment. On the other hand, the sieving procedure can drastically reduce the number of eggs.

Genetic variability of Triatoma flavida and Triatoma bruneri (Hemiptera: Reduviidae) by RAPD-PCR technique

The Triatominae (Hemiptera:Reduviidae) contains the principal and potential Chagas disease vectors present in Mexico, Central America and South America. Triatoma flavida and T. bruneri are Cuban species. These species are closely related according to morphology and were considered synonyms until 1981, when they were separated on the grounds of external characters of the body and the morphology of male genitalia. The present study seeks to analyze genetic polymorphism of T. flavida and T. bruneri populations using RAPD techniques, and to assess the genetic relationship between these species. Ten random primers were used to evaluate the genetic variability among species using RAPD-PCR. The genetic flow among them was calculated. The dendrogram based on calculated Jaccard distances showed two clearly distinguishable clusters which coincided with the studied species. Within each species, moderate genetic differentiation (Fst 0.05-0.15) and migration rates (N > 1) were found among populations, that reveal gene flow and genetic homogeneity. Between species, the Fst value showed a high genetic differentiation and the migration rate was insufficient to maintain genetic homogeneity, and confirmed the absence of gene flow between them. Our results confirm the genetic variability among T. flavida and T. bruneri species.

Monte Carlo simulations for dosimetric verification in photon and electron beam radiotherapy

Dissertação para obtenção do Grau de Doutor em Engenharia Biomédica

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic