Introducing numerical analysis tools in engineering: a Scilab user case in electronics course

Software tools in education became popular since the widespread of personal computers. Engineering courses lead the way in this development and these tools became almost a standard. Engineering graduates are familiar with numerical analysis tools but also with simulators (e.g. electronic circuits), computer assisted design tools and others, depending on the degree. One of the main problems with these tools is when and how to start use them so that they can be beneficial to students and not mere substitutes for potentially difficult calculations or design. In this paper a software tool to be used by first year students in electronics/electricity courses is presented. The growing acknowledgement and acceptance of open source software lead to the choice of an open source software tool – Scilab, which is a numerical analysis tool – to develop a toolbox. The toolbox was developed to be used as standalone or integrated in an e-learning platform. The e-learning platform used was Moodle. The first approach was to assess the mathematical skills necessary to solve all the problems related to electronics and electricity courses. Analysing the existing circuit simulators software tools, it is clear that even though they are very helpful by showing the end result they are not so effective in the process of the students studying and self learning since they show results but not intermediate steps which are crucial in problems that involve derivatives or integrals. Also, they are not very effective in obtaining graphical results that could be used to elaborate reports and for an overall better comprehension of the results. The developed tool was based on the numerical analysis software Scilab and is a toolbox that gives their users the opportunity to obtain the end results of a circuit analysis but also the expressions obtained when derivative and integrals calculations, plot signals, obtain vector diagrams, etc. The toolbox runs entirely in the Moodle web platform and provides the same results as the standalone application. The students can use the toolbox through the web platform (in computers where they don't have installation privileges) or in their personal computers by installing both the Scilab software and the toolbox. This approach was designed for first year students from all engineering degrees that have electronics/electricity courses in their curricula.

Tendências no Twitter

Atualmente as redes sociais fazem parte do dia a dia das pessoas, sendo que para muitas delas essas plataformas tornaram-se imprescindíveis. Quer seja por mera curiosidade ou por uma necessidade imperiosa de partilhar com o mundo as suas ideias ou pensamentos, a verdade é que as pessoas utilizam cada vez mais as redes sociais. O trabalho descrito neste documento pretende explorar uma dessas redes sociais, o Twitter, mais propriamente através do estudo das suas tendências do momento ou trending topics que são expressões referidas pelos utilizadores a uma taxa superior em comparação com outras. São descritas algumas das características do Twitter e dos recursos disponíveis para programadores. Para além do estudo detalhado do Twitter, são extraídos dados de diversas fontes, destacando-se o próprio Twitter, mas também outras plataformas e jornais online. Posteriormente é feita a análise desses dados através da verificação da evolução das tendências ao longo do tempo nos diversos locais em estudo e ainda através do cruzamento de dados das várias fontes de dados, com análise dos resultados obtidos. Na análise efetuada são analisadas as tendências considerando algumas métricas, a sua globalidade, a relação das tendências com tópicos dos jornais online e ainda a sua periodicidade.

Deteção Automática de Conteúdos Explícitos em Sequências de Vídeo

Nos últimos anos, o fácil acesso em termos de custos, ferramentas de produção, edição e distribuição de conteúdos audiovisuais, contribuíram para o aumento exponencial da produção diária deste tipo de conteúdos. Neste paradigma de superabundância de conteúdos multimédia existe uma grande percentagem de sequências de vídeo que contém material explícito, sendo necessário existir um controlo mais rigoroso, de modo a não ser facilmente acessível a menores. O conceito de conteúdo explícito pode ser caraterizado de diferentes formas, tendo o trabalho descrito neste documento incidido sobre a deteção automática de nudez feminina presente em sequências de vídeo. Este processo de deteção e classificação automática de material para adultos pode constituir uma ferramenta importante na gestão de um canal de televisão. Diariamente podem ser recebidas centenas de horas de material sendo impraticável a implementação de um processo manual de controlo de qualidade. A solução criada no contexto desta dissertação foi estudada e desenvolvida em torno de um produto especifico ligado à área do broadcasting. Este produto é o mxfSPEEDRAIL F1000, sendo este uma solução da empresa MOG Technologies. O objetivo principal do projeto é o desenvolvimento de uma biblioteca em C++, acessível durante o processo de ingest, que permita, através de uma análise baseada em funcionalidades de visão computacional, detetar e sinalizar na metadata do sinal, quais as frames que potencialmente apresentam conteúdo explícito. A solução desenvolvida utiliza um conjunto de técnicas do estado da arte adaptadas ao problema a tratar. Nestas incluem-se algoritmos para realizar a segmentação de pele e deteção de objetos em imagens. Por fim é efetuada uma análise critica à solução desenvolvida no âmbito desta dissertação de modo a que em futuros desenvolvimentos esta seja melhorada a nível do consumo de recursos durante a análise e a nível da sua taxa de sucesso.

A study in cross-cultural transmission of natural philosophy: the Kenkon Bensetsu

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em História dos Descobrimentos e da Expansão Portuguesa

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Generalized convolution

The paper revisits the convolution operator and addresses its generalization in the perspective of fractional calculus. Two examples demonstrate the feasibility of the concept using analytical expressions and the inverse Fourier transform, for real and complex orders. Two approximate calculation schemes in the time domain are also tested.

Responsible innovation: bringing together technology assessment, applied ethics, and STS research

Paper presented as "key note" at the Doctorate Conference on Technology Assessment in June 2011, at FCT-UNL, Monte de Caparica.

Do discurso da violência à violência do discurso

A questão da violência discursiva estabelece com o tema da guerra, a que estes IX Encontros Interdisciplinares são dedicados, uma relação privilegiada que importa esclarecer. Ao contrário da idéia muito generalizada de que o discurso se opõe à violência, a dar crédito ao aforismo popular «a conversar é que a gente se entende», pretendo mostrar que é no discurso que a violência se fundamenta e se alimenta. Partirei de uma concepção pragmática, considerando a linguagem como prática que se desenrola ao longo do processo interlocutivo e da interacção discursiva. Da perspectiva pragmática que adopto decorrem alguns postulados que orientarão a minha abordagem da violência discursiva. Passo a explicitá-los de maneira sucinta. Primeiro postulado: a violência não é um valor semântico dos textos, da materialidade das formas verbais, mas uma dimensão pragmática da interacção verbal, da colocação dos textos em discurso^. Não tem por isso sentido dizer que um texto é violento ou não violento. A violência só pode advir aos textos a partir de pressupostos criados pela situação enunciativa. Um mesmo conjunto de unidades lingüísticas pode adquirir marcas distintas de violência, consoante as relações interlocutivas e o sentido da interacção verbal em que ocorre, em função dos diferentes quadros enunciativos particulares em que se insere.

Análise da tradução e legendagem da sátira no mockumentary

O presente trabalho foi elaborado no âmbito da dissertação do Mestrado em Tradução e Interpretação Especializadas, e tem como objectivo estudar o formato mockumentary, no qual se baseia a minha análise, e compreender as especificidades da tradução do elemento satírico de que este híbrido se pode revestir, enquanto elemento potenciador de comicidade. A Tradução Audiovisual é um fenómeno com que nos deparamos diariamente, seja a partir de uma televisão, de um ecrã de computador ou de um dispositivo móvel, em que estamos perante um conjunto de elementos semióticos diversos, para os quais concorre uma combinação essencial de quatro canais, a saber, o canal visual, acústico, verbal e não-verbal. O tradutor deve ter em consideração não só o código verbal, como também os elementos que não são estritamente linguísticos, como gestos, música, expressões faciais, etc. Dado que Uma Família Muito Moderna, sobre a qual baseei a minha análise, é uma série humorística com um forte pendor satírico, afigurou-se como primeiro objecto de estudo por descrever o mockumentary e analisar como esse humor se verifica na versão portuguesa. Deste modo, impõe-se abordar a questão da tradução do humor, neste caso de trocadilhos (wordplay), puns e casos de polissemia, bem como da tradução de referências culturais e intertextuais. Para esse efeito, procedi a uma análise contrastiva entre o texto original, em língua inglesa, e verificar a recuperação do tom satírico potenciador de humor nas legendas, na língua de chegada, em língua portuguesa. Em conjunto, estes elementos concorrem para a construção de um texto que, no caso deste mockumentary, se reveste de um forte tom satírico - mock - para a criação de humor, apresentando uma série que, apesar de indubitavelmente fictícia, revela determinados traços associados a formatos televisivos informativos - documentary - , transmitindo ao espectador uma ilusão de realidade e de factualidade.

Robust facial expression analysis for affect-based interaction

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

Aplicação de um software de cálculo automático na verificação aos estados limites de utilização em estruturas de Betão Armado

Actualmente e cada vez mais, são concebidos e utilizados programas de cálculo automático de Engenharia na realização de projectos de edifícios, que proporcionam aos engenheiros uma possibilidade avançada e rápida de execução, simulação e análise de edifícios para estruturas complexas e de elevada dimensão. Contudo, será necessário que os resultados deverão ser fiáveis de modo a não existirem consequências no comportamento real da estrutura a longo prazo. O presente relatório de estágio, refere-se à verificação aos estados limites de utilização (tensões, fendilhação e deformação) segundo o Eurocódigo 2, de uma estrutura porticada em betão armado, nomeadamente de um pórtico central pertencente a essa mesma estrutura recorrendo ao programa de cálculo automático da Autodesk o Robot Structural Analysis Professional 2014. O objectivo principal do presente trabalho consiste na comparação de resultados referente aos estados limites últimos e de utilização, pelos diferentes módulos de dimensionamento Required e Provided Reinforcement presentes no programa Robot. É destacado no final do relatório, considerando uma disposição de armadura optada analiticamente para o pórtico, uma análise comparativa de resultados referente aos estados limites de utilização entre o comando Typical Reinforcement do módulo Provided Reinforcement e por expressões analíticas. Refere-se contudo que, o procedimento do método analítico teve como base de cálculo uma aplicação desenvolvida para a verificação de elementos de betão armado aos estados limites de utilização segundo o Eurocódigo 2, com o nome de XD-Conserv tendo sido também comparado os resultados finais do mesmo.

SEROPOSITIVITY FOR ASCARIOSIS AND TOXOCARIOSIS AND CYTOKINE EXPRESSION AMONG THE INDIGENOUS PEOPLE IN THE VENEZUELAN DELTA REGION

The present study aimed at measuring seropositivities for infection by Ascaris suum and Toxocara canis using the excretory/secretory (E/S) antigens from Ascaris suum (AES) and Toxocara canis (TES) within an indigenous population. In addition, quantification of cytokine expressions in peripheral blood cells was determined. A total of 50 Warao indigenous were included; of which 43 were adults and seven children. In adults, 44.1% were seropositive for both parasites; whereas children had only seropositivity to one or the other helminth. For ascariosis, the percentage of AES seropositivity in adults and children was high; 23.3% and 57.1%, respectively. While that for toxocariosis, the percentage of TES seropositivity in adults and children was low; 9.3% and 14.3%, respectively. The percentage of seronegativity was comparable for AES and TES antigens in adults (27.9%) and children (28.6%). When positive sera were analyzed by Western blotting technique using AES antigens; three bands of 97.2, 193.6 and 200.2 kDas were mostly recognized. When the TES antigens were used, nine major bands were mostly identified; 47.4, 52.2, 84.9, 98.2, 119.1, 131.3, 175.6, 184.4 and 193.6 kDas. Stool examinations showed that Blastocystis hominis, Hymenolepis nana and Entamoeba coli were the most commonly observed intestinal parasites. Quantification of cytokines IFN-γ, IL-2, IL-6, TGF-β, TNF-α, IL-10 and IL-4 expressions showed that there was only a significant increased expression of IL-4 in indigenous with TES seropositivity (p < 0.002). Ascaris and Toxocara seropositivity was prevalent among Warao indigenous.

Development Process and Cognitive Testing of CARATkids - Control of Allergic Rhinitis and Asthma Test for Children

Background: Allergic rhinitis and asthma (ARA) are chronic inflammatory diseases of the airways that often coexist in children. The only tool to assess the ARA control, the Control of Allergic Rhinitis and Asthma Test (CARAT) is to be used by adults. We aimed to develop the Pediatric version of Control of Allergic Rhinitis and Asthma Test (CARATkids) and to test its comprehensibility in children with 4 to 12 years of age. Methods: The questionnaire development included a literature review of pediatric questionnaires on asthma and/or rhinitis control and two consensus meetings of a multidisciplinary group. Cognitive testing was carried out in a cross-sectional qualitative study using cognitive interviews. Results: Four questionnaires to assess asthma and none to assess rhinitis control in children were identified. The multidisciplinary group produced a questionnaire version for children with 17 questions with illustrations and dichotomous (yes/no) response format. The version for caregivers had 4-points and dichotomous scales. Twenty-nine children, 4 to 12 years old, and their caregivers were interviewed. Only children over 6 years old could adequately answer the questionnaire. A few words/expressions were not fully understood by children of 6 to 8 years old. The drawings illustrating the questions were considered helpful by children and caregivers. Caregivers considered the questionnaire complete and clear and preferred dichotomous over the 4-points scales. The proportion of agreement between children and their caregivers was 61%. The words/expressions that were difficult to understand were amended. Conclusion: CARATkids, the first questionnaire to assess a child’s asthma and rhinitis control was developed and its content validity was assured. Cognitive testing showed that CARATKids is well-understood by children 6 to 12 years old. The questionnaire’s measurement properties can now be assessed in a validation study.

PARACOCCIDIOIDOMYCOSIS TREATMENT

SUMMARYConsidered to be an emerging endemic mycosis in Latin America, paracoccidioidomycosis is characterized by a chronic course and involvement of multiple organs in immunocompromised hosts. Infection sequelae are mainly related to pulmonary and adrenal insufficiency. The host-parasite interaction results in different expressions of the immune response depending on parasite pathogenicity, fungal load and genetic characteristics of the host. A few controlled and case series reports have shown that azoles and fast-acting sulfa derivatives are useful treatment alternatives in milder forms of the disease. For moderate/severe cases, more prolonged treatments or even parenteral routes are required especially when there is involvement of the digestive tract mucosa, resulting in poor drug absorption. Although comparative studies have reported that shorter treatment regimens with itraconazole are able to induce cure in chronically-infected patients, there are still treatment challenges such as the need for more controlled studies involving acute cases, the search for new drugs and combinations, and the search for compounds capable of modulating the immune response in severe cases as well as the paradoxical reactions.

Context-aware personalization environment for mobile computing

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