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

Algebraic structure for interaction on mixed models

Binary operations on commutative Jordan algebras, CJA, can be used to study interactions between sets of factors belonging to a pair of models in which one nests the other. It should be noted that from two CJA we can, through these binary operations, build CJA. So when we nest the treatments from one model in each treatment of another model, we can study the interactions between sets of factors of the first and the second models.

Pré-processamento e Tag automático de imagens em ambiente móvel e web, aplicado a um sistema de informação geográfica

No panorama socioeconómico atual, a contenção de despesas e o corte no financiamento de serviços secundários consumidores de recursos conduzem à reformulação de processos e métodos das instituições públicas, que procuram manter a qualidade de vida dos seus cidadãos através de programas que se mostrem mais eficientes e económicos. O crescimento sustentado das tecnologias móveis, em conjunção com o aparecimento de novos paradigmas de interação pessoa-máquina com recurso a sensores e sistemas conscientes do contexto, criaram oportunidades de negócio na área do desenvolvimento de aplicações com vertente cívica para indivíduos e empresas, sensibilizando-os para a disponibilização de serviços orientados ao cidadão. Estas oportunidades de negócio incitaram a equipa do projeto a desenvolver uma plataforma de notificação de problemas urbanos baseada no seu sistema de informação geográfico para entidades municipais. O objetivo principal desta investigação foca a idealização, conceção e implementação de uma solução completa de notificação de problemas urbanos de caráter não urgente, distinta da concorrência pela facilidade com que os cidadãos são capazes de reportar situações que condicionam o seu dia-a-dia. Para alcançar esta distinção da restante oferta, foram realizados diversos estudos para determinar características inovadoras a implementar, assim como todas as funcionalidades base expectáveis neste tipo de sistemas. Esses estudos determinaram a implementação de técnicas de demarcação manual das zonas problemáticas e reconhecimento automático do tipo de problema reportado nas imagens, ambas desenvolvidas no âmbito deste projeto. Para a correta implementação dos módulos de demarcação e reconhecimento de imagem, foram feitos levantamentos do estado da arte destas áreas, fundamentando a escolha de métodos e tecnologias a integrar no projeto. Neste contexto, serão apresentadas em detalhe as várias fases que constituíram o processo de desenvolvimento da plataforma, desde a fase de estudo e comparação de ferramentas, metodologias, e técnicas para cada um dos conceitos abordados, passando pela proposta de um modelo de resolução, até à descrição pormenorizada dos algoritmos implementados. Por último, é realizada uma avaliação de desempenho ao par algoritmo/classificador desenvolvido, através da definição de métricas que estimam o sucesso ou insucesso do classificador de objetos. A avaliação é feita com base num conjunto de imagens de teste, recolhidas manualmente em plataformas públicas de notificação de problemas, confrontando os resultados obtidos pelo algoritmo com os resultados esperados.

Detection and identification of dengue virus isolates from Brazil by a simplified reverse transcription - polymerase chain reaction (RT-PCR) method

We show here a simplified RT-PCR for identification of dengue virus types 1 and 2. Five dengue virus strains, isolated from Brazilian patients, and yellow fever vaccine 17DD as a negative control, were used in this study. C6/36 cells were infected and supernatants were collected after 7 days. The RT-PCR, done in a single reaction vessel, was carried out following a 1/10 dilution of virus in distilled water or in a detergent mixture containing Nonidet P40. The 50 µl assay reaction mixture included 50 pmol of specific primers amplifying a 482 base pair sequence for dengue type 1 and 210 base pair sequence for dengue type 2. In other assays, we used dengue virus consensus primers having maximum sequence similarity to the four serotypes, amplifying a 511 base pair sequence. The reaction mixture also contained 0.1 mM of the four deoxynucleoside triphosphates, 7.5 U of reverse transcriptase, 1U of thermostable Taq DNA polymerase. The mixture was incubated for 5 minutes at 37ºC for reverse transcription followed by 30 cycles of two-step PCR amplification (92ºC for 60 seconds, 53ºC for 60 seconds) with slow temperature increment. The PCR products were subjected to 1.7% agarose gel electrophoresis and visualized by UV light after staining with ethidium bromide solution. Low virus titer around 10 3, 6 TCID50/ml was detected by RT-PCR for dengue type 1. Specific DNA amplification was observed with all the Brazilian dengue strains by using dengue virus consensus primers. As compared to other RT-PCRs, this assay is less laborious, done in a shorter time, and has reduced risk of contamination

The friction force mouse-pad and the forearm muscles efforts (preliminary results)

The objective of the article is to evaluate the impact of the friction force mouse-pad in the contraction level of the forearm muscles M. extensor carpi ulnaris, M. extensor digitorum and M. extensor carpi radialis longus. A standard protocol of mouse movements was performed involving horizontal, vertical and diagonal mouse displacements drag-and-drop type. The operators were instructed to execute the protocol with their normal working speed. The movements protocol were performed by each subject (n=17) with three selected pairs mouse-pad, classified as low, medium and high friction force pairs. The mean time to execute the protocol with each mouse was ~138s. Mean values of ~13%MVE and ~17%MVE were found in the M. extensor carpi ulnaris and in the M. extensor digitorum respectively when performing the movements’ protocol. A 8.1% increase in %MVE was observed in the M. extensor digitorum and a 9.4% increase in %MVE was observed in the M. extensor carpi ulnaris when the high friction force pair was operated, relatively to the low friction force pair (p<0.05). The main preliminary conclusions of this study is that operating a high friction force mouse-pad may increase the risk to symptoms or disorders in the wrist due to an increase in the forearm muscles contraction levels, particularly during work with drawing application

Casualties distribution in human and natural hazards

Catastrophic events, such as wars and terrorist attacks, big tornadoes and hurricanes, huge earthquakes, tsunamis, floods, and landslides, are always accompanied by a large number of casualties. The size distribution of these casualties have separately been shown to follow approximate power law (PL) distributions. In this paper, we analyze the number of victims of catastrophic phenomena, in particular, terrorism, and find double PL behavior. This means that the data set is better approximated by two PLs instead of one. We have plotted the two PL parameters corresponding to all terrorist events occurred in every year, from 1980 to 2010. We observe an interesting pattern in the chart, where the lines, that connect each pair of points defining the double PLs, are roughly aligned to each other.

Optimization of random amplified polymorphic DNA techniques for use in genetic studies of Cuban triatominae

Random amplified polymorphic DNA (RAPD) technique is a simple and reliable method to detect DNA polymorphism. Several factors can affect the amplification profiles, thereby causing false bands and non-reproducibility of assay. In this study, we analyzed the effect of changing the concentration of primer, magnesium chloride, template DNA and Taq DNA polymerase with the objective of determining their optimum concentration for the standardization of RAPD technique for genetic studies of Cuban Triatominae. Reproducible amplification patterns were obtained using 5 pmoL of primer, 2.5 mM of MgCl2, 25 ng of template DNA and 2 U of Taq DNA polymerase in 25 µL of the reaction. A panel of five random primers was used to evaluate the genetic variability of T. flavida. Three of these (OPA-1, OPA-2 and OPA-4) generated reproducible and distinguishable fingerprinting patterns of Triatominae. Numerical analysis of 52 RAPD amplified bands generated for all five primers was carried out with unweighted pair group method analysis (UPGMA). Jaccard's Similarity Coefficient data were used to construct a dendrogram. Two groups could be distinguished by RAPD data and these groups coincided with geographic origin, i.e. the populations captured in areas from east and west of Guanahacabibes, Pinar del Río. T. flavida present low interpopulation variability that could result in greater susceptibility to pesticides in control programs. The RAPD protocol and the selected primers are useful for molecular characterization of Cuban Triatominae.

Groundtruth system for underwater benchmarking

Oceans - San Diego, 2013

Structured Light System Calibration for Perception in Underwater Tanks

The process of visually exploring underwater environments is still a complex problem. Underwater vision systems require complementary means of sensor information to help overcome water disturbances. This work proposes the development of calibration methods for a structured light based system consisting on a camera and a laser with a line beam. Two different calibration procedures that require only two images from different viewpoints were developed and tested in dry and underwater environments. Results obtained show, an accurate calibration for the camera/projector pair with errors close to 1 mm even in the presence of a small stereos baseline.

Affinity and diversity indices for anopheline immature forms

As for the entire Amazon Region, malaria continues to be a major health public problem in Roraima that presented an Annual Parasitic Index of 85.4 in 2005, the highest in Brazil. Information on anopheline breeding sites is an essential component in malaria control strategies. Aiming to contribute to the limited knowledge on anopheline immature forms in Roraima, collections and breeding site observations were performed in 10 breeding sites around the capital city Boa Vista. Collections were carried out in the rainy and dry season periods between April 2004 and January 2005. Breeding sites comprised natural and artificial water reservoirs. A total of 623 immature forms were collected belonging to Anopheles albitarsis s.l., An.triannulatus s.l., An. nuneztovari/dunhami, An. braziliensis, An. evansae, An. oswaldoi s.l., An. strodei and An. darlingi. An. albitarsis and An. braziliensis were the most frequently found species. Eight larvae of An. darlingi were found in only one breeding site located in the forest. An. triannulatus/An. nuneztovari and An. albitarsis/An. braziliensis were the pairs of species that mostly occurred together. Both pair of species displayed the highest affinity index what might indicate a high compatibility for the same breeding conditions and/or a synergistic co-occurrence. Species diversity index was higher for the dry season.

Ankle antagonist coactivation in the double-support phase of walking: Stroke vs. healthy subjects

Introduction: Lesions at ipsilateral systems related to postural control at ipsilesional side, may justify the lower performance of stroke subjects during walking. Purpose: To analyse bilateral ankle antagonist coactivation during double-support in stroke subjects. Methods: Sixteen (8 females; 8 males) subjects with a first isquemic stroke, and twenty two controls (12 females; 10 males) participated in this study. The double support phase was assessed through ground reaction forces and electromyography of ankle muscles was assessed in both limbs. Results: Ipsilesional limb presented statistical significant differences from control when assuming specific roles during double support, being the tibialis anterior and soleus pair the one in which this atypical behavior was more pronounced. Conclusion: The ipsilesional limb presents a dysfunctional behavior when a higher postural control activity was demanded.

Measuring data transfer in heterogeneous IoT environments

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Estudo electroquímico de compostos naturais e semicondutores com possível utilização em células foto voltaicas

As células foto voltaicas orgânicas ou células de Gräetzel (depois do seu descobridor) são aparelhos para a colecta de energia solar que utilizam um semicondutor inorgânico e uma molécula orgânica. Dita molécula orgânica é capaz de excitar-se na presença de radiação electromagnética e ceder esta energia através da doação de electrões a este semicondutor. Embora estas estruturas e o seu processo de fabrico sejam relativamente pouco onerosas, o aproveitamento da energia solar é ainda muito baixo. Para além desta deficiência, os corantes sintéticos sofrem de “bleaching” ou então são reduzidos ou oxidados facilmente quando não conseguem transferir a energia que foi absorvida ou quando é difícil voltar ao estado original por dificuldades no completamento de circulação de electrões. Neste trabalho pretende-se então estudar o comportamento de moléculas e misturas complexas de moléculas com capacidade para serem excitadas pela luz solar. Como a dita xcitação promove a transferência de um electrão, este processo será seguido pela técnica de Voltametria cíclica. Como substâncias absorventes de luz utilizaremos compostos naturais (principalmente flavonóides) puros, ou então na forma de complexos naturais extraídos de algumas plantas. Estas misturas de corantes serão extractos aquosos (infusões) de casca de laranja e limão assim como extractos de folhas de cerejeira, com o objectivo de proporcionar lternativas aos flavonóides utilizados neste estudo. A caracterização voltamétrica desta célula é feita em diferentes formas de iluminação. Sobre a célula assim formada faz-se incidir rimeiro luz de lâmpadas fluorescentes, depois luz ultra violeta e por fim sem qualquer tipo de luz incidente. Na base do fabrico da variante mais clássica destas células está o semicondutor óxido de itânio (TiO2), por ser uma substância muito comum e barata e com propriedades semicondutoras notáveis. Uma forma comum de melhorar a eficiência deste material é introduzir dopantes com o intuito de melhorar a eficiência do processo de transferência electrónica. Um segundo objectivo deste trabalho é o estudo de sistemas semicondutor/molécula foto activa. Semicondutores como ZnO, TiO2 e TiO2 dopado serão então estudados. O gels de TiO2 ou o TiO2 dopado serão depositados sobre lâminas de vidro comum, nas quais foi anteriormente depositado uma película de alumínio que serve de condutor (eléctrodo egativo). Uma outra variante será a utilização de óxido de zinco, um semicondutor de baixo custo que por sua vez vai ser depositado em lâminas de alumínio comercial. A nossa célula foto electroquímica será então formada por moléculas de corante, uma lâmina e um semicondutor (que funcionará como eléctrodo de trabalho), com ou sem electrólito/catalizador (solução de iodo/iodeto), e eléctrodos de referência de Ag/AgCl, e outro auxiliar de grafite. Um outro objectivo é fazer um pequeno estudo sobre influencia do catalisador I2/etilenodiamina no comportamento electroquímico da célula, de forma a poder utilizar o solvente (etilenodiamina) com menor volatilidade do que a água, que é empregada no par I2/I3.m A importância deste facto prende-se com a limitada vida destas células quando o electrólito/solvente é evaporado pelas altas temperaturas da radiação incidente.

Do outro lado da sala... Relatório de Estágio da Prática Educativa

Este relatório de estágio integra-se na unidade curricular de Integração Curricular: Prática Educativa e Relatório de Estágio, inserida no segundo ano do Mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico. Neste sentido, tem como propósito dar a conhecer o percurso realizado pela mestranda nos dois contextos educativos onde desenvolveu a sua Prática Educativa Supervisionada. Sendo a Prática o momento em que teoria e práxis se articulam, evidencia, num primeiro momento, o enquadramento académico e profissional que deve nortear a ação do professor. Inicia-se, assim, pelos pressupostos legais que fundamentam a formação de professores e a Prática Educativa Supervisionada, seguindo-se algumas considerações sobre a dimensão profissional e pressupostos teóricos e práticos que devem orientar o professor na sua ação, destacando-se, neste sentido, a reflexão e a investigação nos diferentes momentos da ação docente. Descreve, num segundo momento, o contexto educativo onde a mestranda se integrou, seguindo-se uma análise reflexiva e devidamente fundamentada das experiências educativas vivenciadas em par pedagógico, nos dois contextos, nomeadamente, a Escola Eb1/Ji dos Miosótis e a Escola Eb2/3 Pêro Vaz de Caminha. Todo este trabalho de cooperação se realizou em par pedagógico, possibilitando a construção de conhecimentos e de vivências partilhadas que foram, sem dúvida, enriquecedoras. Este relatório de estágio pretende evidenciar o crescimento da mestranda a nível pessoal e profissional e apresenta-se como o culminar de uma etapa marcante na sua vida, a formação inicial de professores. Fica, desta forma, a certeza de que o verdadeiro caminho se inicia agora, um caminho esse que será certamente repleto de novos desafios e aprendizagens.

Ser Professora: à conquista de um sonho: Relatório de Estágio da Prática Educativa

Este relatório de estágio, inserido no âmbito da unidade curricular de Integração Curricular: Prática Educativa e Relatório de Estágio, apresenta-se neste momento como o culminar de um processo académico que se iniciou num primeiro ciclo de estudos, na Licenciatura em Educação Básica, e se complementou com o segundo ciclo de estudos, o Mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico. Pretende-se com este documento analisar reflexivamente o percurso de desenvolvimento profissional da mestranda, no âmbito da sua intervenção educativa em contexto do 1.º e 2.º CEB. Evidencia-se, num primeiro momento, o quadro referencial académico e profissional que sustenta e norteia a intencionalidade educativa inerente a toda a ação pedagógica da professora estagiária. Destaca-se, a nível académico, os pressupostos legais que orientam a formação profissional dos docentes e a prática educativa supervisionada. Salienta-se, a nível profissional, alguns princípios teóricos e práticos que guiam o professor para a sua ação, dando especial destaque à importância da reflexão, da investigação e da supervisão nos diferentes momentos da ação pedagógica. O segundo momento é dedicado à descrição das experiências educativas vivenciadas nos contextos educativos do 1.º e 2.º CEB, em cooperação com o par pedagógico. Procede-se, primeiramente, à descrição dos contextos educativos com objetivo de contextualizar as práticas educativas propostas e realizadas pela professora estagiária. A análise crítica e fundamentada acontece seguidamente e recai sobre a intervenção educativa dentro da sala de aula e a dinamização de projetos educativos contextualizados não só para as turmas, como para a escola e para toda a comunidade educativa. A realização deste documento conclui um momento da formação inicial de professores, mas fica a certeza de que a construção de aprendizagens não termina aqui, sendo este apenas o início de um longo caminho envolvido por um conjunto de desafios que culminarão sempre em aprendizagens.