A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Sistema visual para Ground Truth de sistemas autónomos

Este trabalho visa contribuir para o desenvolvimento de um sistema de visão multi-câmara para determinação da localização, atitude e seguimento de múltiplos objectos, para ser utilizado na unidade de robótica do INESCTEC, e resulta da necessidade de ter informação externa exacta que sirva de referência no estudo, caracterização e desenvolvimento de algoritmos de localização, navegação e controlo de vários sistemas autónomos. Com base na caracterização dos veículos autónomos existentes na unidade de robótica do INESCTEC e na análise dos seus cenários de operação, foi efectuado o levantamento de requisitos para o sistema a desenvolver. Foram estudados os fundamentos teóricos, necessários ao desenvolvimento do sistema, em temas relacionados com visão computacional, métodos de estimação e associação de dados para problemas de seguimento de múltiplos objectos . Foi proposta uma arquitectura para o sistema global que endereça os vários requisitos identi cados, permitindo a utilização de múltiplas câmaras e suportando o seguimento de múltiplos objectos, com ou sem marcadores. Foram implementados e validados componentes da arquitectura proposta e integrados num sistema para validação, focando na localização e seguimento de múltiplos objectos com marcadores luminosos à base de Light-Emitting Diodes (LEDs). Nomeadamente, os módulos para a identi cação dos pontos de interesse na imagem, técnicas para agrupar os vários pontos de interesse de cada objecto e efectuar a correspondência das medidas obtidas pelas várias câmaras, método para a determinação da posição e atitude dos objectos, ltro para seguimento de múltiplos objectos. Foram realizados testes para validação e a nação do sistema implementado que demonstram que a solução encontrada vai de encontro aos requisitos, e foram identi cadas as linhas de trabalho para a continuação do desenvolvimento do sistema global.

GPU implementation of the simplex identification via split augmented Lagrangian

Hyperspectral imaging can be used for object detection and for discriminating between different objects based on their spectral characteristics. One of the main problems of hyperspectral data analysis is the presence of mixed pixels, due to the low spatial resolution of such images. This means that several spectrally pure signatures (endmembers) are combined into the same mixed pixel. Linear spectral unmixing follows an unsupervised approach which aims at inferring pure spectral signatures and their material fractions at each pixel of the scene. The huge data volumes acquired by such sensors put stringent requirements on processing and unmixing methods. This paper proposes an efficient implementation of a unsupervised linear unmixing method on GPUs using CUDA. The method finds the smallest simplex by solving a sequence of nonsmooth convex subproblems using variable splitting to obtain a constraint formulation, and then applying an augmented Lagrangian technique. The parallel implementation of SISAL presented in this work exploits the GPU architecture at low level, using shared memory and coalesced accesses to memory. The results herein presented indicate that the GPU implementation can significantly accelerate the method's execution over big datasets while maintaining the methods accuracy.

The visual image in Epiphanic Short History

The visual image is a fundamental component of epiphany, stressing its immediacy and vividness, corresponding to the enargeia of the traditional ekphrasis and also playing with cultural and social meanings. Morris Beja in his seminal book Epiphany in the Modern Novel, draws our attention to the distinction made by Joyce between the epiphany originated in a common object, in a discourse or gesture and the one arising in “a memorable phase of the mind itself”. This type materializes in the “dream-epiphany” and in the epiphany based in memory. On the other hand, Robert Langbaum in his study of the epiphanic mode, suggests that the category of “visionary epiphany” could account for the modern effect of an internally glowing vision like Blake’s “The Tyger”, which projects the vitality of a real tyger. The short story, whose length renders it a fitting genre for the use of different types of epiphany, has dealt with the impact of the visual image in this technique, to convey different effects and different aesthetic aims. This paper will present some examples of this occurrence in short stories of authors in whose work epiphany is a fundamental concept and literary technique: Walter Pater, Joseph Conrad, K. Mansfield, Clarice Lispector. Pater’s “imaginary portraits” concentrate on “priviledged moments” of the lives of the characters depicting their impressions through pictorial language; Conrad tries to show “moments of awakening” that can be remembered by the eye; Mansfield suggests that epiphany, the “glimpse”, should replace plot as an internal ordering principle of her impressionist short-stories; in C. Lispector the visualization of some situations is so aggressive that it causes nausea and a radical revelation on the protagonist’s.

Função visual e desempenho na leitura em crianças do 1º ciclo do ensino básico do concelho de Lisboa

RESUMO - Esta tese pretende ser um contributo para o estudo das anomalias da função visual e da sua influência no desempenho da leitura. Apresentava como objetivos: (1) Identificar a prevalência de anomalias da função visual, (2) Caracterizar o desempenho da leitura em crianças com e sem anomalias da função visual, (3) Identificar de que modo as anomalias da função visual influenciam o desempenho da leitura e (4) Identificar o impacto das variáveis que determinam o desempenho da leitura. Foi recolhida uma amostra de conveniência com 672 crianças do 1º ciclo do ensino básico de 11 Escolas do Concelho de Lisboa com idades compreendidas entre os 6 e os 11 anos (7,69±1,19), 670 encarregados de educação e 34 Professores. Para recolha de dados, foram utilizados três instrumentos: 2 questionários de perguntas fechadas, avaliação da função visual e prova de avaliação da leitura com 34 palavras. Após observadas, as crianças foram classificadas em dois grupos: função visual normal (FVN=562) e função visual alterada (FVA=110). Identificou-se uma prevalência de 16,4% de crianças com FVA. No teste de leitura, estas crianças apresentaram um menor número de palavras lidas corretamente (FVA=31,00; FVN=33,00; p<0,001) e menor precisão (FVA=91,18%; FVN=97,06%; p<0,001). Esta tendência também foi observada na comparação entre os 4 anos de escolaridade. As crianças com função visual alterada mostraram uma tendência para a omissão de letras e a confusão de grafema. Quanto à fluência (FVA=24,71; FVN=27,39; p=0,007) esta foi inferior nas crianças com FVA para todos os anos de escolaridade, exceto o 3º ano. As crianças com hipermetropia (p=0,003) e astigmatismo (p=0,019) não corrigido leram menos palavras corretamente (30,00; 31,00) e com menor precisão (88,24%; 91,18%) que as crianças sem erro refrativo significativo (32,00; 94,12%). A performance escolar classificada pelos professores foi inferior nas crianças com FVA e mais de ¼ necessitavam de medidas de apoio especial na escola. Não se verificaram diferenças significativas na performance da leitura das crianças com FVA por grupos de habilitações dos encarregados de educação. Verificou-se que o risco de ter um desempenho na leitura alterado é superior [OR=4,29; I.C.95%(2,49;7,38)] nas crianças que apresentam FVA. Relativamente ao 1º ano de escolaridade, o 2º, 3º e 4º anos apresentam um menor risco de ter um desempenho na leitura alterado. As variáveis método de ensino, habilitações dos encarregados de educação, tipo de escola (pública/privada), idade do Professor e número de anos de experiência do Professor, não foram fatores estatisticamente significativos para explicar a alteração do desempenho na leitura, quando o efeito da função visual se encontra contemplado no modelo. Um mau desempenho na leitura foi considerado nas crianças que apresentaram uma precisão inferior a 90%. Este indicador pode ser utilizado para identificar crianças em risco, que necessitam de uma observação Ortóptica/Oftalmológica para confirmação ou exclusão da existência de alterações da função visual. Este trabalho constitui um contributo para a identificação de crianças em desvantagem educacional devido a anomalias da função visual tratáveis, propondo um modelo que pretende orientar os professores na identificação de crianças que apresentem um baixo desempenho na leitura.

A pictorial field guide for the rapid identification of sandflies (DIPTERA: PSYCHODIDAE), commonly encountered in Pará state, Brazil.

A pictorial field guide to the 30 species of sandfly most commonly encountered in Pará State is presented, based on the easily recognised external characters of the length of the 5th palpal segment, thoracic infuscation, abdominal colour and head and body size. In most cases this allows identification to the species. In others, especially with females, it gives an indication of the species, which may then be confirmed with data from more detailed taxanomix studies. This type of field guide helps in teaching, rapid sorting of flies prior to dissection and in acquainting visitors with the variety of species present in a given area.A rapid technique for the taxonomic sorting of unmounted, freshly killed female sandflies is required, prior to the dissection of large numbers of a particular species. Such a method is useful in areas where numerous species occur in studies on natural flagellate infections, age determination and for ecological studies. With the above points in mind a pictorial field guide has been designed that enables the identification of unmounted, unmacerated specimens of the 30 more commonly encountered species of phleboto-mine sandflies (***) in Pará State, North Brazil. It is based on the easily recognised external characters of the length of the 5th palpal segment, thoracic infuscation, ad-dominal colour and proboscis and body size.Taxonomy of male phlebotomine sandflies is based on the structure of the genitalia and, as most of this is external, a wholly external character key is readily made. Female taxonomy, however, is based on the internal character of the cibarium, pharynx and sperma thecae. In order to produce an external character key we therefore return to an unso phisticated "phlebotometry" (see Martins et al., 1978 p. 3 for review), using relative lengths of the proboscis, palpal segments and body, along with the degree of infuscation. Ihis idea is not new; indeed many sandfly specialists presently use external characters to separate certain species (H. Fraiha, R. P. Lane, P. D. Ready, D. G. Young and R. D. Ward personal communications 1983 & 1984).A key used to separate five anthropophillic sandflies by Biagi (1966), in Mexico, was based mainly on palpal segment length and infuscation. Floch and Abonnenc (1952) stressed the use of relative lengths of palpal segments in their keys to the sandflies of French Guiana, and four members of the shannoni group have been similarly separated according to the degree of infuscation by Morales et al. (1982). The use of thoracic infuscation as a reliable character seems to be gaining favour, having been used by young & Fairchild (1974) and Ready & Fraiha (1981). Indeed Chariotis 1974) showed the usefulness of thoracic infuscation to sepenate 7 anthropophillic species, during studies onvesicular stomatitis in Panama. Identification using external characters is essential for work on viral isolations from sandflies, where bulk samples of whole sandflies are used.Perhaps the major advantage of a simple visual guide is for teaching purposes. Technical staff in this lnstitute are able to identify most of the species they encounter without having to use the standard, more unwieldly (and in many cases unavailable) internal character keys, and the guides presented below have allowed rapid species sorting prior to the dissection of sandflies in our leismaniasis study areas (Ryan et at. ,1985).

Detection of road accident accumulation zones with a visual analytics approach

Nowadays, road accidents are a major public health problem, which increase is forecasted if road safety is not treated properly, dying about 1.2 million people every year around the globe. In 2012, Portugal recorded 573 fatalities in road accidents, on site, revealing the largest decreasing of the European Union for 2011, along with Denmark. Beyond the impact caused by fatalities, it was calculated that the economic and social costs of road accidents weighted about 1.17% of the Portuguese gross domestic product in 2010. Visual Analytics allows the combination of data analysis techniques with interactive visualizations, which facilitates the process of knowledge discovery in sets of large and complex data, while the Geovisual Analytics facilitates the exploration of space-time data through maps with different variables and parameters that are under analysis. In Portugal, the identification of road accident accumulation zones, in this work named black spots, has been restricted to annual fixed windows. In this work, it is presented a dynamic approach based on Visual Analytics techniques that is able to identify the displacement of black spots on sliding windows of 12 months. Moreover, with the use of different parameterizations in the formula usually used to detect black spots, it is possible to identify zones that are almost becoming black spots. Through the proposed visualizations, the study and identification of countermeasures to this social and economic problem can gain new grounds and thus the decision- making process is supported and improved.

Identification and characterization of deforestation hot spots in Venezuela using MODIS satellite images

Land cover changes over time as a result of human activity. Nowadays deforestation may be considered one of the main environmental problems. The objective of this study was to identify and characterize changes to forest cover in Venezuela between 2005-2010. Two maps of deforestation hot spots were generated on the basis of MODIS data, one using digital techniques and the other by means of direct visual interpretation by experts. These maps were validated against Landsat ETM+ images. The accuracy of the map obtained digitally was estimated by means of a confusion matrix. The overall accuracy of the maps obtained digitally was 92.5%. Expert opinions regarding the hot spots permitted the causes of deforestation to be identified. The main processes of deforestation were concentrated to the north of the Orinoco River, where 8.63% of the country's forests are located. In this region, some places registered an average annual forest change rate of between 0.72% and 2.95%, above the forest change rate for the country as a whole (0.61%). The main causes of deforestation for the period evaluated were agricultural and livestock activities (47.9%), particularly family subsistence farming and extensive farming which were carried out in 94% of the identified areas.

Promoção da motivação e da autonomia com recurso às tecnologias de informação e comunicação em alunos normovisuais e em alunos com deficiência visual

Relatório de estágio de mestrado em Ensino de Informática

Reliability of the interpretation of coronary angiography by the simple visual method

OBJECTIVE: Evaluation of inter and intraobserver reproducibility of by the visual method interpretation of cineangiogram in a clinically based context. METHODS: Five interventional cardiologists analyzed 11 segments of 8 coronary cineangiograms at a two month apart sessions. The percent luminal reduction by the lesions were analyzed by two different classifications: in one (A) the lesions were graded in 0% = absent, 1-50% = mild, 51 - 69 = moderate, and > or = 70% = severe; the other classification (B) was a dichotomic one : <70% = nonsignificant and > or = 70%=significant lesions. The agreement were measured by the kappa (k) index. RESULTS: Interobserver agreement was moderate for classification A (1st measurement, k = 0.36 -- 0.63, k m = 0.49; 2nd measurement, k = 0.39-0.68, k m = 0.52) and good for classification B (1st measurement, k = 0.55-0.73, k m = 0.63; 2nd measurement, k = 0.37-0.82, k m = 0.61). Intraobserver levels of agreement were k = 0.57-0.95 for classification A and 0.62-1.0 for classification B. CONCLUSION: The higher level of reproducibility obtained by adopting the dichotomous criteria usually considered for ischemic limits demonstrates that in the present clinical context, the reliability of the simple visual method is adequate for the identification of patients with clinically significant lesions and candidates for myocardial revascularization procedures.

Fear assessment in pigs exposed to a novel object test

The experiment aimed to study approach and locomotive behaviour as indicators of fear in a novel object test carried out in pigs. Thirty post-weaning (30 kg) and 30 finishing (90 kg) pigs were exposed to visual, auditory and olfactory novel stimuli during 2 different experiments. The facilities consisted of a test pen in which a trough was located. The trough contained chopped apples. Once the animals were trained to enter the test pen individually they were subjected to 3 different fear stimuli. These stimuli were applied in the test pen and next to the trough. The variables studied were feeding behaviour, approach behaviour (the distance and position of the animal with respect to the trough) and locomotive behaviour (general activity, reluctance to move, turning back and retreat attempts). Two groups were studied: saline and midazolam treated group. Twenty minutes before the start of the sessions, 15 post-weaning and finishing pigs received an intramuscular injection of 0.20 and 0.15 mg/kg, respectively, midazolam (Dormicum1). The saline pigs (15 animals per group) were injected with saline. The administration of midazolam increased the feeding behaviour and approaching behaviour, and reduced the locomotive behaviour. In front of the visual and olfactory stimuli post-weaning pigs showed a higher general activity than finishing pigs, but the contrary was found when the auditory stimulus was applied. The olfactory stimulus was more related to the turning back behaviour, whereas the visual stimulus was more related to retreat attempts. Although it could be concluded that reluctant to move was the most common response to the different fear stimuli applied in our study regardless of the age of animals, the combination of reluctant to move and turning back would be a good criterion to assess fear in domestic pigs. The use of midazolam as anxiolytic for studies of fear in commercial conditions in pigs is recommended.

A Camera-Projector System for Robot Positioning by Visual Servoing

Positioning a robot with respect to objects by using data provided by a camera is a well known technique called visual servoing. In order to perform a task, the object must exhibit visual features which can be extracted from different points of view. Then, visual servoing is object-dependent as it depends on the object appearance. Therefore, performing the positioning task is not possible in presence of nontextured objets or objets for which extracting visual features is too complex or too costly. This paper proposes a solution to tackle this limitation inherent to the current visual servoing techniques. Our proposal is based on the coded structured light approach as a reliable and fast way to solve the correspondence problem. In this case, a coded light pattern is projected providing robust visual features independently of the object appearance

An approach to visual servoing based on coded light

Positioning a robot with respect to objects by using data provided by a camera is a well known technique called visual servoing. In order to perform a task, the object must exhibit visual features which can be extracted from different points of view. Then, visual servoing is object-dependent as it depends on the object appearance. Therefore, performing the positioning task is not possible in presence of non-textured objects or objects for which extracting visual features is too complex or too costly. This paper proposes a solution to tackle this limitation inherent to the current visual servoing techniques. Our proposal is based on the coded structured light approach as a reliable and fast way to solve the correspondence problem. In this case, a coded light pattern is projected providing robust visual features independently of the object appearance

Robust decoupled visual servoing based on structured light

This paper focuses on the problem of realizing a plane-to-plane virtual link between a camera attached to the end-effector of a robot and a planar object. In order to do the system independent to the object surface appearance, a structured light emitter is linked to the camera so that 4 laser pointers are projected onto the object. In a previous paper we showed that such a system has good performance and nice characteristics like partial decoupling near the desired state and robustness against misalignment of the emitter and the camera (J. Pages et al., 2004). However, no analytical results concerning the global asymptotic stability of the system were obtained due to the high complexity of the visual features utilized. In this work we present a better set of visual features which improves the properties of the features in (J. Pages et al., 2004) and for which it is possible to prove the global asymptotic stability

Plane-to-plane positioning from image-based visual servoing and structured light

In this paper we face the problem of positioning a camera attached to the end-effector of a robotic manipulator so that it gets parallel to a planar object. Such problem has been treated for a long time in visual servoing. Our approach is based on linking to the camera several laser pointers so that its configuration is aimed to produce a suitable set of visual features. The aim of using structured light is not only for easing the image processing and to allow low-textured objects to be treated, but also for producing a control scheme with nice properties like decoupling, stability, well conditioning and good camera trajectory