Disseminated cutaneous cryptococcosis in a patient with AIDS

The authors study a patient carrying Aids, with exuberant dermatological manifestations of cryptococcosis. They stress the therapeutic effectiveness of short-term amphotericin B. The authors reviewed cases of cutaneous infection with Cryptococcus reported in the national and international literature, verifying that the frequency has increased with the AIDS epidemic. Also, they discuss about the differential diagnosis with some cases of dermatosis, particularly with the disseminated giant molluscum contagiosum. In relation to the therapy, they affirm that the choice of drug depends on the organ involved, as well as the immune state of the patient.

Auditoria Energética a Instalação Comercial

O setor da indústria destaca-se como um dos maiores consumidores de energia final em Portugal, representando cerca de 30% do consumo. Para fazer face a esta situação e no âmbito da Estratégia Nacional para a Energia foi criado, pelo Decreto-Lei n.º 71/2008, o Sistema de Gestão dos Consumos Intensivos de Energia (SGCIE), regulamento que classifica como Consumidoras Intensivas de Energia (CIE) as indústrias com um consumo anual superior aos 500 tep. Prevendo a elaboração de Planos de Racionalização dos Consumos de Energia (PREn), estabelecendo-se acordos de racionalização dos consumos com a Direção Geral de Energia e Geologia (DGEG) [1]. Atuando ao nível da eficiência energética o consumo de energia na indústria pode diminuir significativamente, para tal é necessário proceder-se à execução de auditorias energéticas e determinar as soluções mais adequadas de forma a reduzir os desperdícios e custos associados ao consumo de energia. Nesta dissertação apresenta-se a realização de uma auditoria energética a uma instalação comercial, que assenta essencialmente em quatro etapas, nomeadamente: planeamento da intervenção, trabalho de campo, tratamento e análise da informação recolhida, elaboração do relatório da auditoria. A aplicação desta metodologia constitui uma grande ajuda na realização de auditorias energéticas conferindo uma maior qualidade à sua execução. De forma a validar a metodologia utilizada nas auditorias energéticas foi realizado o estudo a uma instalação comercial que registou no ano 2013, um consumo energético inferior a 500 tep, contudo aderiu de forma voluntária ao Sistema de Gestão dos Consumos Intensivos de Energia (SGCIE), sendo obrigado a racionalizar o seu consumo de energia de acordo com as metas estabelecidas no SGCIE.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Water jet based autonomous surface vehicle for coastal waters operations

This paper presents the design of low cost, small autonomous surface vehicle for missions in the coastal waters and specifically for the challenging surf zone. The main objective of the vehicle design described in this paper is to address both the capability of operation at sea in relative challenging conditions and maintain a very low set of operational requirements (ease of deployment). This vehicle provides a first step towards being able to perform general purpose missions (such as data gathering or patrolling) and to at least in a relatively short distances to be able to be used in rescue operations (with very low handling requirements) such as carrying support to humans on the water. The USV is based on a commercially available fiber glass hull, it uses a directional waterjet powered by an electrical brushless motor for propulsion, thus without any protruding propeller reducing danger in rescue operations. Its small dimensions (1.5 m length) and weight allow versatility and ease of deployment. The vehicle design is described in this paper both from a hardware and software point of view. A characterization of the vehicle in terms of energy consumption and performance is provided both from test tank and operational scenario tests. An example application in search and rescue is also presented and discussed with the integration of this vehicle in the European ICARUS (7th framework) research project addressing the development and integration of robotic tools for large scale search and rescue operations.

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.

FAS -670A>G genetic polymorphism Is associated with Treatment Resistant Depression

Background Hippocampal neurogenesis has been suggested as a downstream event of antidepressants (AD) mechanism of action and might explain the lag time between AD administration and the therapeutic effect. Despite the widespread use of AD in the context of Major Depressive Disorder (MDD) there are no reliable biomarkers of treatment response phenotypes, and a significant proportion of patients display Treatment Resistant Depression (TRD). Fas/FasL system is one of the best-known death-receptor mediated cell signaling systems and is recognized to regulate cell proliferation and tumor cell growth. Recently this pathway has been described to be involved in neurogenesis and neuroplasticity. Methods Since FAS -670A>G and FASL -844T>C functional polymorphisms never been evaluated in the context of depression and antidepressant therapy, we genotyped FAS -670A>G and FASL -844T>C in a subset of 80 MDD patients to evaluate their role in antidepressant treatment response phenotypes. Results We found that the presence of FAS -670G allele was associated with antidepressant bad prognosis (relapse or TRD: OR=6.200; 95% CI: [1.875–20.499]; p=0.001), and we observed that patients carrying this allele have a higher risk to develop TRD (OR=10.895; 95% CI: [1.362–87.135]; p=0.008).Moreover, multivariate analysis adjusted to potentials confounders showed that patients carrying G allele have higher risk of early relapse (HR=3.827; 95% CI: [1.072–13.659]; p=0.039). FAS mRNA levels were down-regulated among G carriers, whose genotypes were more common in TRD patients. No association was found between FASL-844T>C genetic polymorphism and any treatment phenotypes. Limitations Small sample size. Patients used antidepressants with different mechanisms of action. Conclusion To the best of our knowledge this is the first study to evaluate the role of FAS functional polymorphism in the outcome of antidepressant therapy. This preliminary report associates FAS -670A>G genetic polymorphism with Treatment Resistant Depression and with time to relapse. The current results may possibly be given to the recent recognized role of Fas in neurogenesis and/or neuroplasticity.

Molecular characterization of vancomycin-resistant Enterococci strains eight years apart from its first isolation in São Paulo, Brazil

E. faecium was the first reported VRE species, carrying the vanA gene in Brazil. In spite of this, vancomycin-resistant E. faecalis has become the predominant species in Brazilian hospitals. The aim of this study was to evaluate the genetic relatedness of VREs isolated in a Brazilian teaching hospital eight years apart from its first isolation. We analyzed 38 VRE strains obtained from 81 surveillance cultures of patients admitted to the four largest intensive care units in Hospital São Paulo in February, 2006. Presence of the vanA gene was assayed by PCR and PFGE analysis was used for molecular characterization. All VRE strains carried the vanA gene. Two distinct clonal groups were observed among vancomycin-resistant E. faecalis. Vancomycin-resistant E. faecium belonged to five distinct clones were demonstrated by molecular typing. All of these clones were different from the first vancomycin-resistant enterococci clone isolated eight years ago in our hospital.

The influence of gait cadence on the ground reaction forces and plantar pressures during load carriage of young adults

Biomechanical gait parameters—ground reaction forces (GRFs) and plantar pressures—during load carriage of young adults were compared at a low gait cadence and a high gait cadence. Differences between load carriage and normal walking during both gait cadences were also assessed. A force plate and an in-shoe plantar pressure system were used to assess 60 adults while they were walking either normally (unloaded condition) or wearing a backpack (loaded condition) at low (70 steps per minute) and high gait cadences (120 steps per minute). GRF and plantar pressure peaks were scaled to body weight (or body weight plus backpack weight). With medium to high effect sizes we found greater anterior-posterior and vertical GRFs and greater plantar pressure peaks in the rearfoot, forefoot and hallux when the participants walked carrying a backpack at high gait cadences compared to walking at low gait cadences. Differences between loaded and unloaded conditions in both gait cadences were also observed.

Working hours and earnings: are mates’ answers coherent?

As surveys about time allocation among couples are extremely expensive, one way of reducing costs could be to query only one member of the coupler with the same set of questions about him/her and about his/her partner. In this paper we show that after carrying out a survey in this way, the responses given by one partner do not always fit the same econometric model as those obtained from the other.

Ensinar ciências a alunos com incapacidade intelectual recorrendo ao software Scratch: um estudo de caso

Este estudo procura a valorização do ensino dirigido a alunos com Incapacidade Intelectual. Tem como objetivos conceber um recurso didático, integrando as ferramentas do Scratch, para alunos com Incapacidade Intelectual; averiguar a exequibilidade do uso desse recurso em ambiente natural de ensino e promover o envolvimento de alunos com Incapacidade Intelectual na realização de tarefas propostas na disciplina de Ciências da Natureza. Pretendemos dar resposta às seguintes questões de investigação: (1) A utilização do Scratch é adequada e exequível no trabalho quotidiano de alunos com Incapacidade Intelectual? (2) Em que medida o Scratch pode contribuir para um melhor envolvimento dos alunos com Incapacidade Intelectual na realização das tarefas propostas? Para este efeito, planificamos duas aulas. Na primeira, abordou-se o conteúdo a tratar – Poluição – e na segunda aula utilizou-se o Scratch, desafiando os alunos a desenvolverem diversas tarefas de forma mais ativa. O presente estudo segue uma abordagem metodológica de natureza qualitativa, centrando-se num estudo de caso, onde se aborda a importância do uso das Tecnologias de Informação e Comunicação, mais concretamente o software educativo Scratch, como sendo uma ferramenta potenciadora do envolvimento dos alunos. Este estudo foi aplicado a três alunos com Incapacidade Intelectual que tinham sido atribuídos à docente investigadora no presente ano letivo. Os dados foram recolhidos através da análise dos Programas Educativos Individuais dos alunos participantes; da entrevista realizada à docente de Educação Especial; de gravações áudio, de fotografias, de trabalhos realizados pelos alunos participantes e de notas de campo da investigadora. Foi centralidade do estudo a conceção de uma proposta didática e o desenvolvimento dos respetivos recursos, utilizando o software educativo Scratch. Quer a proposta didática quer os recursos a ela associados constituem em si mesmo parte dos resultados do trabalho desenvolvido. Os dados obtidos neste estudo permitem sustentar a ideia de que é possível trabalhar com alunos com Necessidades Educativas Especiais, nomeadamente Incapacidade Intelectual, recorrendo ao software educativo Scratch e que o uso desta ferramenta proporcionou um maior envolvimento e autonomia dos alunos nas tarefas propostas.

Utilização do software Scratch no ensino das ciências da natureza e da matemática com alunos portadores de dislexia

O estudo que apresentamos tem como objetivos de investigação contribuir para o desenvolvimento global das crianças com Necessidades Educativas Especiais, nomeadamente, portadoras de Dislexia, designadamente em aulas onde são lecionados conteúdos de Ciências da Natureza e de Matemática, e conceber um recurso didático apoiado nas TIC que seja adequado à utilização em sala de aula por alunos com dislexia. Neste sentido, o estudo foi orientado pelas seguintes questões de investigação: A utilização do Scratch é adequada e exequível no trabalho quotidiano de alunos portadores de Dislexia? e Em que medida o Scratch pode contribuir para um melhor envolvimento dos alunos portadores de Dislexia na realização das tarefas propostas? O presente trabalho segue uma metodologia de carácter qualitativo, centrando-se no estudo de caso. Tentou-se dar uma resposta à reduzida utilização do software Scratch no ensino das Ciências da Natureza e Matemática como instrumentos viáveis para uma aprendizagem de sucesso em alunos portadores de Dislexia. Este estudo foi aplicado a três alunos do 4º ano, com este diagnóstico, de um agrupamento de escolas do concelho de Viseu. Para dar resposta às questões de investigação supracitadas foram implementadas e projetadas duas atividades no software Scratch para serem desenvolvidas em duas situações formativas contextualizadas. O subdomínio que se pretendeu trabalhar foi “A importância da água para os seres vivos” articulando com o conteúdo dos volumes. Os dados foram recolhidos através da análise dos Programas Educativos Individuais de cada um dos alunos participantes, das entrevistas às docentes de Educação Especial, de gravações áudio, fotografias, trabalhos dos alunos e os registos da professora investigadora. Os resultados obtidos permitiram caracterizar o modo como os alunos, portadores de dislexia, se envolveram com o Scratch na aquisição de conhecimento. Permitiram ainda demonstrar aos professores que é possível construir atividades nesta ferramenta envolvendo conteúdos curriculares interdisciplinares.

Municipalização da educação?: O programa APROXIMAR

A contemporaneidade exige que nos tornemos cada vez mais capazes de responder eficazmente às necessidades de mudança, exige que localmente sejamos capazes de responder aos problemas que a sociedade nos coloca e deve, essa mesma sociedade, ser parte da solução para o problema. É urgente aproximar as respostas das pessoas para que as respostas possam ser contextualizadas. A municipalização da Educação ocupa um lugar importante no fenómeno da descentralização e desconcentração de poder. Contudo há muitos receios neste processo que está muito dependente das vontades políticas dos intervenientes. Ao longo do projeto procurou-se perceber qual o envolvimento das partes no processo da municipalização da Educação, mais propriamente, no concelho de Matosinhos, com o Programa APROXIMAR. Aproximar o Ministério da Educação, o Município de Matosinhos e os Agrupamentos de Escolas. Houve a preocupação de se proceder a uma análise de modo a identificar os meios como o programa é operacionalizado pela autarquia, os recursos que envolve e a perceção que tinham os entrevistados. Entendeu-se com a realização das entrevistas que um dos entraves à plena realização do Programa APROXIMAR está na matriz de responsabilidades mas antecede-lhe a ausência de diálogo que se traduza em reais compromissos de trabalho conjunto em prol do bem comum que é a educação. É precisamente na criação de uma rede de comunicação entre os intervenientes que se investe neste projeto com o intuito de posteriormente se discutir a matriz de responsabilidades e só depois decidir os caminhos a seguir nas lógicas de atuação da educação.

Perinatal Outcome and Change in Body Mass Index in Mothers of Dichorionic Twins: a Longitudinal Cohort Study

We used a prospective cohort to analyze the effect of change in BMI rather than change in weight, in mothers carrying dichorionic twins from a population that did not receive any dietary intervention. A total of 269 mothers (150 nulliparas and 119 multiparas) were evaluated. The average change (%) from the pre-gravid BMI was 7.2+/-6.1, 17.4+/-8.2, and 28.7+/-10.8, at 12-14, 22-25, and 30-34 weeks, respectively, without difference between nulliparas and multiparas. The comparison between maternities below or above the average change from the pregravid BMI failed to demonstrate an advantage (in terms of total twin birthweight and gestational age) of an above average change from the pregravid BMI, even when the lower versus upper quartiles were compared. Our observations reached different conclusions regarding the recommended universal dietary intervention in twin gestations. A cautious approach is advocated towards seemingly harmless excess weight gain, as normal weight women may turn overweight, or even obese, by the end of pregnancy, and be exposed to the untoward effects of obesity on future health and body image.

Genetic Control of Mosquitoes: population suppression strategies

Over the last two decades, morbidity and mortality from malaria and dengue fever among other pathogens are an increasing Public Health problem. The increase in the geographic distribution of vectors is accompanied by the emergence of viruses and diseases in new areas. There are insufficient specific therapeutic drugs available and there are no reliable vaccines for malaria or dengue, although some progress has been achieved, there is still a long way between its development and actual field use. Most mosquito control measures have failed to achieve their goals, mostly because of the mosquito's great reproductive capacity and genomic flexibility. Chemical control is increasingly restricted due to potential human toxicity, mortality in no target organisms, insecticide resistance, and other environmental impacts. Other strategies for mosquito control are desperately needed. The Sterile Insect Technique (SIT) is a species-specific and environmentally benign method for insect population suppression, it is based on mass rearing, radiation mediated sterilization, and release of a large number of male insects. Releasing of Insects carrying a dominant lethal gene (RIDL) offers a solution to many of the drawbacks of traditional SIT that have limited its application in mosquitoes while maintaining its environmentally friendly and species-specific utility. The self-limiting nature of sterile mosquitoes tends to make the issues related to field use of these somewhat less challenging than for self-spreading systems characteristic of population replacement strategies. They also are closer to field use, so might be appropriate to consider first. The prospect of genetic control methods against mosquito vectored human diseases is rapidly becoming a reality, many decisions will need to be made on a national, regional and international level regarding the biosafety, social, cultural and ethical aspects of the use and deployment of these vector control methods.

Regional change in the Algarve: A Geographic Information System approach

Thesis submitted to the Instituto Superior de Estatística e Gestão de Informação da Universidade Nova de Lisboa in partial fulfillment of the requirements for the Degree of Doctor of Philosophy in Information Management – Geographic Information Systems