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

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

Calciphylaxis: a Literature Review Based in Two Case Reports

Calciphylaxis is a rare and devastating obliterative vasculopathy, leading to ischemia and subcutaneous necrosis. In most cases it affects patients with renal disease and is associated with high morbidity and mortality. We present two case reports followed recently in our department, and a literature review on this topic. Case one refers to an 80 -year -old Caucasian woman with chronic kidney disease stage 5 and primary hyperparathyroidism with secondary brown tumour and calciphylaxis. Case two refers to a 59 -year -old Caucasian woman admitted with severe nephrotic syndrome associated with amyloidosis, that developed a catastrophic picture of calciphylaxis, ending in the patient’s death. There is a critical need to understand the pathogenesis of calciphylaxis. Its comprehension is the only way to improve the survival of these patients, and may help to elucidate the pathophysiology of vascular calcification in general. Educating physicians in the prevention and early detection of calciphylaxis is crucial. Only by increasing the knowledge about risk factors, pathophysiology, response to treatment and outcome, will we be able to improve prophylaxis and therapy of patients with calciphylaxis, decreasing the high mortality of this entity.

An application of reliability-based robustness assessment of steel moment resisting frame structures under post-mainshock cascading events

The paper presented herein proposes a reliability-based framework for quantifying the structural robustness considering the occurrence of a major earthquake (mainshock) and subsequent cascading hazard events, such as aftershocks that are triggered by the mainshock. These events can significantly increase the probability of failure of buildings, especially for structures that are damaged during the mainshock. The application of the proposed framework is exemplified through three numerical case studies. The case studies correspond to three SAC steel moment frame buildings of 3-, 9-, and 20- stories, which were designed to pre-Northridge codes and standards. Twodimensional nonlinear finite element models of the buildings are developed using the Open System for Earthquake Engineering Simulation framework (OpenSees), using a finite-length plastic hinge beam model and a bilinear constitutive law with deterioration, and are subjected to multiple mainshock-aftershock seismic sequences. For the three buildings analyzed herein, it is shown that the structural reliability under a single seismic event can be significantly different from that under a sequence of seismic events. The reliability-based robustness indicator used shows that the structural robustness is influenced by the extent by which a structure can distribute damage.

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Diagnosis of rubella infection by detecting specific immunoglobulin M antibodies in saliva samples: a clinic-based study in Niterói, RJ, Brazil

This study was designed to investigate whether saliva could be a feasible alternative to serum for the diagnosis of recent rubella infection in a clinic setting. Forty-five paired blood and saliva samples collected 1 to 29 days after onset of illness were tested for specific immunoglobulin (Ig) M by antibody-capture radioimmunoassay (MACRIA). Rubella IgM was detected in all serum samples and in 38 (84.4%) saliva specimens. Forty-six serum and saliva samples from other patients with rash diseases were tested by MACRIA for control purposes and two saliva specimens were reactive. The saliva test had specificity of 96%. These results indicate that salivary IgM detection may be a convenient non-invasive alternative to serum for investigation of recent rubella cases, especially for disease surveillance and control programmes.

A semi-automatic approach to code smells detection

Eradication of code smells is often pointed out as a way to improve readability, extensibility and design in existing software. However, code smell detection remains time consuming and error-prone, partly due to the inherent subjectivity of the detection processes presently available. In view of mitigating the subjectivity problem, this dissertation presents a tool that automates a technique for the detection and assessment of code smells in Java source code, developed as an Eclipse plugin. The technique is based upon a Binary Logistic Regression model that uses complexity metrics as independent variables and is calibrated by expert‟s knowledge. An overview of the technique is provided, the tool is described and validated by an example case study.

Amorphous silicon e 3D sensors applied to object detection

Nowadays, existing 3D scanning cameras and microscopes in the market use digital or discrete sensors, such as CCDs or CMOS for object detection applications. However, these combined systems are not fast enough for some application scenarios since they require large data processing resources and can be cumbersome. Thereby, there is a clear interest in exploring the possibilities and performances of analogue sensors such as arrays of position sensitive detectors with the final goal of integrating them in 3D scanning cameras or microscopes for object detection purposes. The work performed in this thesis deals with the implementation of prototype systems in order to explore the application of object detection using amorphous silicon position sensors of 32 and 128 lines which were produced in the clean room at CENIMAT-CEMOP. During the first phase of this work, the fabrication and the study of the static and dynamic specifications of the sensors as well as their conditioning in relation to the existing scientific and technological knowledge became a starting point. Subsequently, relevant data acquisition and suitable signal processing electronics were assembled. Various prototypes were developed for the 32 and 128 array PSD sensors. Appropriate optical solutions were integrated to work together with the constructed prototypes, allowing the required experiments to be carried out and allowing the achievement of the results presented in this thesis. All control, data acquisition and 3D rendering platform software was implemented for the existing systems. All these components were combined together to form several integrated systems for the 32 and 128 line PSD 3D sensors. The performance of the 32 PSD array sensor and system was evaluated for machine vision applications such as for example 3D object rendering as well as for microscopy applications such as for example micro object movement detection. Trials were also performed involving the 128 array PSD sensor systems. Sensor channel non-linearities of approximately 4 to 7% were obtained. Overall results obtained show the possibility of using a linear array of 32/128 1D line sensors based on the amorphous silicon technology to render 3D profiles of objects. The system and setup presented allows 3D rendering at high speeds and at high frame rates. The minimum detail or gap that can be detected by the sensor system is approximately 350 μm when using this current setup. It is also possible to render an object in 3D within a scanning angle range of 15º to 85º and identify its real height as a function of the scanning angle and the image displacement distance on the sensor. Simple and not so simple objects, such as a rubber and a plastic fork, can be rendered in 3D properly and accurately also at high resolution, using this sensor and system platform. The nip structure sensor system can detect primary and even derived colors of objects by a proper adjustment of the integration time of the system and by combining white, red, green and blue (RGB) light sources. A mean colorimetric error of 25.7 was obtained. It is also possible to detect the movement of micrometer objects using the 32 PSD sensor system. This kind of setup offers the possibility to detect if a micro object is moving, what are its dimensions and what is its position in two dimensions, even at high speeds. Results show a non-linearity of about 3% and a spatial resolution of < 2µm.

Gold nanoparticles for the detection of DNA adducts as biomarkers of exposure to acrylamide

The main objective of this thesis was the development of a gold nanoparticle-based methodology for detection of DNA adducts as biomarkers, to try and overcome existing drawbacks in currently employed techniques. For this objective to be achieved, the experimental work was divided in three components: sample preparation, method of detection and development of a model for exposure to acrylamide. Different techniques were employed and combined for de-complexation and purification of DNA samples (including ultrasonic energy, nuclease digestion and chromatography), resulting in a complete protocol for sample treatment, prior to detection. The detection of alkylated nucleotides using gold nanoparticles was performed by two distinct methodologies: mass spectrometry and colorimetric detection. In mass spectrometry, gold nanoparticles were employed for laser desorption/ionisation instead of the organic matrix. Identification of nucleotides was possible by fingerprint, however no specific mass signals were denoted when using gold nanoparticles to analyse biological samples. An alternate method using the colorimetric properties of gold nanoparticles was employed for detection. This method inspired in the non-cross-linking assay allowed the identification of glycidamide-guanine adducts and DNA adducts generated in vitro. For the development of a model of exposure, two different aquatic organisms were studies: a goldfish and a mussel. Organisms were exposed to waterborne acrylamide, after which mortality was recorded and effect concentrations were estimated. In goldfish, both genotoxicity and metabolic alterations were assessed and revealed dose-effect relationships of acrylamide. Histopathological alterations were verified primarily in pancreatic cells, but also in hepatocytes. Mussels showed higher effect concentrations than goldfish. Biomarkers of oxidative stress, biotransformation and neurotoxicity were analysed after prolonged exposure, showing mild oxidative stress in mussel cells, and induction of enzymes involved in detoxification of oxygen radicals. A qualitative histopathological screening revealed gonadotoxicity in female mussels, which may present some risk to population equilibrium.

State detection in a financial portfolio: a self-organizing maps approach for financial time series

This study analyses financial data using the result characterization of a self-organized neural network model. The goal was prototyping a tool that may help an economist or a market analyst to analyse stock market series. To reach this goal, the tool shows economic dependencies and statistics measures over stock market series. The neural network SOM (self-organizing maps) model was used to ex-tract behavioural patterns of the data analysed. Based on this model, it was de-veloped an application to analyse financial data. This application uses a portfo-lio of correlated markets or inverse-correlated markets as input. After the anal-ysis with SOM, the result is represented by micro clusters that are organized by its behaviour tendency. During the study appeared the need of a better analysis for SOM algo-rithm results. This problem was solved with a cluster solution technique, which groups the micro clusters from SOM U-Matrix analyses. The study showed that the correlation and inverse-correlation markets projects multiple clusters of data. These clusters represent multiple trend states that may be useful for technical professionals.

UAV - based imagery processing using structure from motion and remote sensing technology

With the recent advances in technology and miniaturization of devices such as GPS or IMU, Unmanned Aerial Vehicles became a feasible platform for a Remote Sensing applications. The use of UAVs compared to the conventional aerial platforms provides a set of advantages such as higher spatial resolution of the derived products. UAV - based imagery obtained by a user grade cameras introduces a set of problems which have to be solved, e. g. rotational or angular differences or unknown or insufficiently precise IO and EO camera parameters. In this work, UAV - based imagery of RGB and CIR type was processed using two different workflows based on PhotoScan and VisualSfM software solutions resulting in the DSM and orthophoto products. Feature detection and matching parameters influence on the result quality as well as a processing time was examined and the optimal parameter setup was presented. Products of the both workflows were compared in terms of a quality and a spatial accuracy. Both workflows were compared by presenting the processing times and quality of the results. Finally, the obtained products were used in order to demonstrate vegetation classification. Contribution of the IHS transformations was examined with respect to the classification accuracy.

A piezoelectric based energy harvester interface for a CMOS wireless sensor IC

In this thesis a piezoelectric energy harvesting system, responsible for regulating the power output of a piezoelectric transducer subjected to ambient vibration, is designed to power an RF receiver with a 6 mW power consump-tion. The electrical characterisation of the chosen piezoelectric transducer is the starting point of the design, which subsequently presents a full-bridge cross-coupled rectifier that rectifies the AC output of the transducer and a low-dropout regulator responsible for delivering a constant voltage system output of 0.6 V, with low voltage ripple, which represents the receiver’s required sup-ply voltage. The circuit is designed using CMOS 130 nm UMC technology, and the system presents an inductorless architecture, with reduced area and cost. The electrical simulations run for the complete circuit lead to the conclusion that the proposed piezoelectric energy harvesting system is a plausible solution to power the RF receiver, provided that the chosen transducer is subjected to moderate levels of vibration.

Methodological framework for detection of harmonisation breaking in service environments

As the complexity of markets and the dynamicity of systems evolve, the need for interoperable systems capable of strengthening enterprise communication effectiveness increases. This is particularly significant when it comes to collaborative enterprise networks, like manufacturing supply chains, where several companies work, communicate, and depend on each other, in order to achieve a specific goal. Once interoperability is achieved, that is once all network parties are able to communicate with and understand each other, organisations are able to exchange information along a stable environment that follows agreed laws. However, as markets adapt to new requirements and demands, an evolutionary behaviour is triggered giving space to interoperability problems, thus disrupting the sustainability of interoperability and raising the need to develop monitoring activities capable of detecting and preventing unexpected behaviour. This work seeks to contribute to the development of monitoring techniques for interoperable SOA-based enterprise networks. It focuses on the automatic detection of harmonisation breaking events during real-time communications, and strives to develop and propose a methodological approach to handle these disruptions with minimal or no human intervention, hence providing existing service-based networks with the ability to detect and promptly react to interoperability issues.

Rapid detection of Van genes in rectal swabs by real time PCR in Southern Brazil

INTRODUCTION: Laboratory-based surveillance is an important component in the control of vancomycin resistant enterococci (VRE). METHODS: The study aimed to evaluate real-time polymerase chain reaction (RT-PCR) (genes vanA-vanB) for VRE detection on 115 swabs from patients included in a surveillance program. RESULTS: Sensitivity of RT-PCR was similar to primary culture (75% and 79.5%, respectively) when compared to broth enriched culture, whereas specificity was 83.1%. CONCLUSIONS: RT-PCR provides same day results, however it showed low sensitivity for VRE detection.

Antigens of worms and eggs showed a differentiated detection of specific IgG according to the time of Schistosoma mansoni infection in mice

INTRODUCTION: The correlation between the immunological assay and the antibody titer can offer a tool for the experimental analysis of different phases of the disease. METHODS: Two simple immunological assays for Schistosoma mansoni in mice sera samples based on specific IgG detection for worms soluble antigens and eggs soluble antigens were standardized and evaluated in our laboratory. Fifty mice were used in negative and positive groups and the results obtained by enzyme-linked immunosorbent assays (ELISA) assays were compared with the number of worms counted and the IgG titers at different times of infection. RESULTS: Data showed that ELISA using adult worm antigens (ELISA-SWAP) presented a satisfactory correlation between the absorbance value of IgG titers and the individual number of worms counted after perfusion technique (R²=0.62). In addition, ELISA-SWAP differentially detected positive samples with 30 and 60 days post infection (p=0.011 and 0.003, respectively), whereas ELISA using egg antigens (ELISA-SEA) detected samples after 140 days (p=0.03). CONCLUSIONS: These data show that the use of different antigens in immunological methods can be used as potential tools for the analysis of the chronological evolution of S. mansoni infection in murine schistosomiasis. Correlations with human schistosomiasis are discussed.

Increased detection of schistosomiasis with Kato-Katz and SWAP-IgG-ELISA in a Northeastern Brazil low-intensity transmission area

INTRODUCTION: The laboratory diagnosis of schistosomiasis is based mainly on the detection of parasite eggs in stool samples through the Kato-Katz (KK) technique, reading one slide by test. However, a widely known limitation of parasitological methods is reduced sensitivity, particularly in low endemic areas. METHODS: To increase sensitivity, we conducted further slide readings from the same stool sample using the parasitological method associated with a serological test. We used the KK method (three slides) and the IgG anti-Schistosoma mansoni-enzyme-linked immunosorbent assay (ELISA) technique to diagnose schistosomiasis in low endemic areas in the Brazilian State of Ceará. Fecal samples and sera from 250 individuals were analyzed. RESULTS: Sixteen percent and 47.2% of samples were positive in parasitological tests and serological tests, respectively. Parasitological methods showed that 32 (80%) individuals tested positive on the first slide, 6 (15%) on the second slide, and 2 (5%) on the third. The performance of the ELISA test in the diagnosis, using the KK method as diagnostic reference, showed a negative predictive value of 100%, with specificity and positive predictive values of 62.8% and 33.9%, respectively. CONCLUSIONS: In this study, the increase from one to three slides analyzed per sample using the KK technique was shown to be a useful procedure for increasing the diagnostic sensitivity of this technique.