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

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

Controlo de qualidade interno: elaboração de um programa de Controlo de Qualidade Interno segundo as boas práticas da Qualidade

RESUMO: Esta dissertação pretende apresentar uma proposta para um programa de Controlo de Qualidade interno das hormonas tiroideias, segundo as boas práticas da qualidade. Para que se comprove o rigor e fiabilidade dos seus resultados analíticos, condição indispensável para que estes possam servir de base às mais diversas tomadas de decisão, toda a filosofia que envolve a qualidade assume um papel preponderante. Neste contexto a elaboração de um programa de controlo de qualidade adequado é muito importante e imprescindível. A realização do controlo de qualidade permite monitorizar o desempenho de todos os materiais, equipamentos, instrumentos e métodos analíticos bem como criar sinais de alerta para prevenir a emissão de resultados não-conformes e indicar a necessidade de ações corretivas. Permite também indicar a necessidade de melhorias em processos e em atividades ligadas aos operadores e consciencializar o pessoal de que o controlo da qualidade é um dever para com o cliente e tem a função de gerar confiança nos resultados obtidos. O controlo de qualidade interno abrange todos os procedimentos assumidos por um laboratório para avaliação contínua do seu trabalho. A sua finalidade é assegurar a consistência dos resultados diários e a sua conformidade com critérios definidos, avaliando a precisão dos ensaios e dando indicação do momento para se promoverem ações corretivas quando surge uma não conformidade. Segundo as melhores práticas da qualidade, serão calculados os valores do controlo de qualidade interno para as hormonas tiroideias, os seus limites e critérios (regras) de aceitabilidade, com base na relação entre o desempenho analítico e o Erro Máximo Admissível. Pretende-se assim, otimizar o desempenho do Controlo de Qualidade Interno, aperfeiçoando a capacidade de identificação do erro.-------- ABSTRACT: This paper intends to submit a proposal for a thyroid hormones internal quality Control program, according to the best quality practices. The whole philosophy involving quality plays a central role in order to prove the accuracy and reliability of the analytical results, a basic prerequisite for decision making. In this context the elaboration of an appropriate quality control program is essential and very important. Quality control allows the motorization of the performance of all materials, equipment, instruments and analytical methods, as well as the creation of warning signals indicating the need for corrective actions, to prevent the release of non-compliant results. It also indicates the need for improvements in the processes and operating activities as well as making the staff aware that quality control is a duty to the client and promotes confidence in the results. The internal quality control covers all procedures undertaken by a laboratory for a continuous evaluation of its performance. Its purpose is to ensure the consistency of the daily results and compliance with defined criteria, assessing the accuracy of the tests and indicating the moment to promote corrective actions when nonconformity appears. According to the best quality practices, the values of the internal quality control for the thyroid hormones, their limits and criteria (rules) of acceptability will be calculated, based on the relationship between analytical performance and the maximum allowable error. Thus, the aim is to optimize the performance of the Internal Quality Control, improving the ability for error detection and identification.

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Time series morphological analysis applied to biomedical signals events detection

Dissertation submitted in the fufillment of the requirements for the Degree of Master in Biomedical Engineering

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.

Land use / land cover change detection: an object oriented approach, Münster, Germany

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Automatic sleep apnea detection and sleep classification using the ECG and the SpO2 signals

Dissertation for a Masters Degree in Computer and Electronic Engineering

Vision based obstacle detection for all-terrain robots

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

LADAR based mapping and obstacle detection system for service robots

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Fast-to-fed shift in glucose homeostasis: clues to an earlier detection of human prediabetic states

FCM: UC Bioquímica I - PhD Thesis

Vision based trail detection for all-terrain robots

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

Advanced image processing techniques for detection and quantification of drusen

Dissertation presented to obtain the degree of Doctor of Philosophy in Electrical Engineering, speciality on Perceptional Systems, by the Universidade Nova de Lisboa, Faculty of Sciences and Technology

New analytical methodologies for doping control – detection of anabolic androgenic steroids in human urine

Dissertation submitted to Faculdade de Ciências e Tecnologia - Universidade Nova de Lisboa in fulfilment of the requirements for the degree of Doctor of Philosophy (Biochemistry - Biotechnology)

Spatial metrics and Landsat data for urban landuse change detection: case of Addis Ababa, Ethiopia.

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies.