Study of chelicerae in the tick Amblyomma cajennense (Fabricius 1787) by scanning electron microscopy

Chelicerae de Amblyomma cajennense foram examinados em microscopia de varredura. Esta técnica mostrou detalhes não evidenciáveis ao poder de resolução do microscópio ótico.

Atomic force microscopy assisted with electron and ion beam microscopy for the direct measurement of biostructures and DNA samples

Dissertation to obtain a Master degree in Biotechnology

Confocal fluorescence microscopy: a powerful tool in the study of Chagas' disease

Confocal scanning fluorescence microscopy has become widely used in cell biology and pathology. In conjunction with monoclonal antibodies it may turn out to be a powerful diagnostic tool that also enables detailed studies of tissue forms of Trypanosoma cruzi.

Microscopy image segmentation by active contour models

In this thesis a semi-automated cell analysis system is described through image processing. To achieve this, an image processing algorithm was studied in order to segment cells in a semi-automatic way. The main goal of this analysis is to increase the performance of cell image segmentation process, without affecting the results in a significant way. Even though, a totally manual system has the ability of producing the best results, it has the disadvantage of taking too long and being repetitive, when a large number of images need to be processed. An active contour algorithm was tested in a sequence of images taken by a microscope. This algorithm, more commonly known as snakes, allowed the user to define an initial region in which the cell was incorporated. Then, the algorithm would run several times, making the initial region contours to converge to the cell boundaries. With the final contour, it was possible to extract region properties and produce statistical data. This data allowed to say that this algorithm produces similar results to a purely manual system but at a faster rate. On the other hand, it is slower than a purely automatic way but it allows the user to adjust the contour, making it more versatile and tolerant to image variations.

Functional MRI of stimulus interference on auditory processing in normal listeners and tinnitus patients

We are constantly immersed in stimuli. Upon reaching our senses, stimuli are processed within various brain systems along various pathways into the brain, and eventually turned into a percept. However, there are percepts that do not result from responses to external source stimuli. A particular case of this situation is the auditory percept known as tinnitus. Tinnitus can be seen as a task-irrelevant auditory percept, commonly reported to interfere with normal daily tasks. This is known from reports made by tinnitus sufferers that refer to their phantom percept as distracting, and that it diverts their focus from the task-relevant stimuli.(...)

Laboratory diagnosis of amebiasis in a sample of students from southeastern Brazil and a comparison of microscopy with enzyme-linked immunosorbent assay for screening of infections with Entamoeba sp.

Introduction: Epidemiological studies on amebiasis have been reassessed since Entamoeba histolytica and E. dispar were first recognized as distinct species. Because the morphological similarity of these species renders microscopic diagnosis unreliable, additional tools are required to discriminate between Entamoeba species. The objectives of our study were to compare microscopy with ELISA kit (IVD®) results, to diagnose E. histolytica infection, and to determine the prevalence of amebiasis in a sample of students from southeastern Brazil. Methods: In this study, diagnosis was based on microscopy due to its capacity for revealing potential cysts/trophozoites and on two commercial kits for antigen detection in stool samples. Results: For 1,403 samples collected from students aged 6 to 14 years who were living in Divinópolis, Minas Gerais, Brazil, microscopy underestimated the number of individuals infected with E. histolytica/E. dispar (5.7% prevalence) compared with the ELISA kit (IVD®)-based diagnoses (15.7% for E. histolytica/E. dispar). A comparison of the ELISA (IVD®) and light microscopy results returned a 20% sensitivity, 97% specificity, low positive predictive value, and high negative predictive value for microscopy. An ELISA kit (TechLab®) that was specific for E. histolytica detected a 3.1% (43/1403) prevalence for E. histolytica infection. Conclusions: The ELISA kit (IVD®) can be used as an alternative screening tool. The high prevalence of E. histolytica infection detected in this study warrants the implementation of actions directed toward health promotion and preventive measures.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Comparing different methods to measure biofilm thickness: the techniques are: optical coherence tomography, confocal laser scanning microscopy and low load compression test

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Engenharia Clínica)

Microscopy- or DNA-based analyses: Which methodology gives a truer picture of stream-dwelling decomposer fungal diversity?

We assessed aquatic hyphomycete diversity in autumn and spring on oak leaves decomposing in five streams along a gradient of eutrophication in the Northwest of Portugal. Diversity was assessed through microscopy-based (identification by spore morphology) and DNA-based techniques (Denaturing Gradient Gel Electrophoresis and 454 pyrosequencing). Pyrosequencing revealed five times greater diversity than DGGE. About 21% of all aquatic hyphomycete species were exclusively detected by pyrosequencing and 26% exclusively by spore identification. In some streams, more than half of the recorded species would have remained undetected if we had relied only on spore identification. Nevertheless, in spring aquatic hyphomycete diversity was higher based on spore identification, probably because many species occurring in this season are not yet connected to ITS barcodes in genetic databases. Pyrosequencing was a powerful tool for revealing aquatic hyphomycete diversity on decomposing plant litter in streams and we strongly encourage researchers to continue the effort in barcoding fungal species.

Tailored deposition of coloured coatings: on the widening of the available colour range

Dissertação de mestrado integrado em Engenharia de Materiais

Quantifying, generating and mitigating radio interference in Low-Power Wireless Networks

Doctoral Programme in Telecommunication - MAP-tele

The interference of methods in the collection of teredinids (Mollusca, Bivalvia) in mangrove habitats

In the estuary of the Mamanguape River (Paraíba, Brazil), a new collection technique was developed and applied with virgin poles of mangrove trees Avicennia schaueriana (Verbenaceae), Rhizophora mangle (Rhizophoraceae), and Laguncularia racemosa (Combretaceae), taking into account wood preference, water salinity and depth influence during teredinid larval settlement. Sets of poles were vertically fixed in the riverbed at three sites along a decreasing salinity gradient, where they stayed for four months. The poles were collected and divided into upper, median, and lower segments, in agreement with different immersion regimes. An increase of 239% was obtained in the number of individuals when compared to a previous study in the same area using a different methodology. The species Teredo bartschi (Clapp, 1923), Nausitora fusticula (Jeffreys, 1860) and Bankia fimbriatula Moll & Roch, 1931 were registered in both studies, and the species Psiloteredo healdi (Bartsch, 1931) is here registered for the first time as occurring in that estuary. The species Neoteredo reynei (Bartsch, 1920), previously registered on tree branches of the mangrove habitat, was not found in the present work. Bankia fimbriatula, the most abundant species, did not show preference for any substratum but occurred significantly on the lower segment of the poles. N. fusticula, second in abundance, preferred to settle on poles of A. schaueriana and on any of the three segments. Aiming to assess the habitat variations, a more accurate study on teredinids diversity in mangrove ecosystems should be performed through a concomitant analysis from tree branches of the mangrove habitat, as well as from poles of mangrove trees or panels made of pine wood or mangrove trees wood. These collection devices should be maintained along a decreasing salinity gradient exposed to different tide levels.