P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Autonomous guided vehicles applied to industrial engineering and management studies

This article presents a framework to an Industrial Engineering and Management Science course from School of Management and Industrial Studies using Autonomous Ground Vehicles (AGV) to supply materials to a production line as an experimental setup for the students to acquire knowledge in the production robotics area. The students must be capable to understand and put into good use several concepts that will be of utmost importance in their professional life such as critical decisions regarding the study, development and implementation of a production line. The main focus is a production line using AGVs, where the students are required to address several topics such as: sensors actuators, controllers and an high level management and optimization software. The presented framework brings to the robotics teaching community methodologies that allow students from different backgrounds, that normally don’t experiment with the robotics concepts in practice due to the big gap between theory and practice, to go straight to ”making” robotics. Our aim was to suppress the minimum start point level thus allowing any student to fully experience robotics with little background knowledge.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

On the unknown ecological niche of Paracoccidioides brasiliensis: our hypothesis of 1989: present status and perspectives

In 1989, CONTI DÍAZ & RILLA published a hypothesis concerning the as yet unknown ecological niche of Paracoccidioides brasiliensis. The hypothesis proposed a highly efficient paracoccidioidal ecological strategy based on an important natural reservoir of the parasite, probably in heterothermic animals from fresh water environments. Further, the hypothesis proposed, a transient and variable residence in the soil with a wide aleuriospore dispersion throughout the environment together with an elevated capability of infecting humans, and domestic and wild animals. This paper analyzes scientific publications from the IX International Meeting on Paracoccidioidomycosis held in Águas de Lindoia, São Paulo, Brazil from 2-5 October 2005, providing a comparative study among this articles and with other recently published papers and the hypothesis' postulates. Since various findings and observations appear to agree with the postulates, the pursuit of novel, specific research projects in the supposed reservoirs is recommended partially or fully to confirm the hypothesis using classical laboratorial methods and modern molecular biology techniques.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Comprehensive treatments for social cognitive deficits in schizophrenia: A critical review and effect-size analysis of controlled studies

Recent advances in psychosocial treatments for schizophrenia have targeted social cognitive deficits. A critical literature review and effect-size (ES) analysis was conducted to investigate the efficacy of comprehensive programs of social cognitive training in schizophrenia. Results revealed 16 controlled studies consisting of seven models of comprehensive treatment with only three of these treatment models investigated in more than one study. The effects of social cognitive training were reported in 11/15 studies that included facial affect recognition skills (ES=.84) and 10/13 studies that included theory-of-mind (ES=.70) as outcomes. Less than half (4/9) of studies that measured attributional style as an outcome reported effects of treatment, but effect sizes across studies were significant (ESs=.30-.52). The effect sizes for symptoms were modest, but, with the exception of positive symptoms, significant (ESs=.32-.40). The majority of trials were randomized (13/16), selected active control conditions (11/16) and included at least 30 participants (12/16). Concerns for this area of research include the absence of blinded outcome raters in more than 50% of trials and low rates of utilization of procedures for maintaining treatment fidelity. These findings provide preliminary support for the broader use of comprehensive social cognitive training procedures as a psychosocial intervention for schizophrenia.

A Publicidade no Ensino do Inglês no 1.º Ciclo: uma abordagem didática

Numa era de globalização, de desenvolvimento tecnológico exponencial e de consumismo exacerbado, a publicidade conquistou o quotidiano das sociedades modernas e seduziu, também, as nossas crianças. Subjacente ao paradigma de que o comportamento humano dá respostas favoráveis a estímulos adequados e apresentados com oportunidade e habilidade (Caetano et al., 2011), colocamos a hipótese de utilização didática de anúncios publicitários na aula de Inglês para o desenvolvimento de competências comunicativas. Este projeto assentou no aproveitamento do potencial que a publicidade oferece, tendo em conta, por um lado, a envolvência sedutora que a torna um meio privilegiado para captar a atenção e veicular informação e, por outro, a prevalência de palavras em Inglês que nela se observa. O estudo, de natureza qualitativa, é o resultado de uma investigação-ação, na qual adotamos uma metodologia baseada num modelo descritivo e interpretativo, através de métodos qualitativos de recolha de dados e análise de informação, que teve como participantes crianças do 4.º ano de escolaridade. Desenvolvemos questionários, como instrumentos de recolha de dados, aplicados a professores e alunos. Construímos, igualmente, guiões de atividades com sugestões de exploração da publicidade no ensino da língua. Comprovamos que a publicidade, aliada ao Inglês, pode ser um valioso recurso no desenvolvimento e aprendizagem das crianças, pois é um material autêntico, motivador, atrai a atenção, possibilita o contacto com situações reais, envolve linguagem verbal e não-verbal e permite a exploração de diferentes temas, o que contribui, certamente, para a compreensão intercultural, a mobilização de saberes e o desenvolvimento do espírito crítico.

Impacto da infiltração e afluência de águas pluviais na rede de saneamento

A existência de contribuições significativas de águas de infiltração e de águas pluviais nas redes de drenagem de águas residuais urbanas, motivaram a realização deste trabalho. Este estudo foi realizado no sistema de saneamento de Gondomar, utilizando os registos de caudais e qualidade das águas residuais em quatro estações de tratamento de águas residuais, durante quatro anos. O principal objectivo deste trabalho foi estimar as afluências de infiltração e precipitação ao sistema de saneamento e a identificação dos subsistemas críticos. Concluiu-se que a percentagem de volume excedente é cerca de 30% nos anos com maior ocorrência de precipitação. O propósito deste estudo foi também apresentar soluções para este problema, incluindo técnicas de inspecção e reparação dos elementos de drenagem, as quais foram definidas para os subsistemas identificados como críticos, Freixo e Rio Tinto. No Freixo mostrou-se importante a inspecção dos colectores, ramais e câmaras de visita, uma vez que o caudal afluente a este subsistema é muito superior ao esperado e a água residual apresenta-se diluída. Em Rio Tinto evidenciou-se como prioritária a detecção e eliminação de ligações abusivas, dado que são frequentes as ocorrências de exfiltração, com danos significativos. Para além das técnicas de detecção apresentadas considera-se que é necessário manter a monitorização de caudais e recipitação nos subsistemas, e se possível com registo contínuo ao longo do dia. Para a quantificação de precipitação é sugerida a utilização de três udómetros, de forma a permitir estabelecer com maior exactidão, a relação entre as contribuições pluviais e o caudal afluente. São apresentadas propostas, que incluem além de inspecções, ensaios e reparações, como um ponto de partida para a recolha de informação para actualização do adastro, com vista a uma futura aplicação da modelação matemática de previsão do comportamento destes subsistemas.

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.

Spatial point pattern analysis of gorilla nest sites in the Kagwene Sanctuary, Cameroon: Towards understanding the nesting behavior of a critically endangered subspecies

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

DIFFERENTIATION BETWEEN Nocardia spp. AND Mycobacterium spp.: CRITICAL ASPECTS FOR BACTERIOLOGICAL DIAGNOSIS

New methodologies were developed for the identification of Nocardia but the initial diagnosis still requires a fast and accurate method, mainly due to the similarity to Mycobacterium, both clinical and bacteriologically. Growth on Löwenstein-Jensen (LJ) medium, presence of acid-fast bacilli through Ziehl-Neelsen staining, and colony morphology can be confusing aspects between Nocardia and Mycobacterium. This study describes the occurrence of Nocardia spp. in a mycobacterial-reference laboratory, observing the main difficulties in differentiating Nocardia spp. from Mycobacterium spp., and correlating isolates with nocardiosis cases. Laboratory records for the period between 2008 and 2012 were analyzed, and the isolates identified as Nocardia sp. or as non-acid-fast filamentous bacilli were selected. Epidemiological and bacteriological data were analyzed as well. Thirty-three isolates identified as Nocardia sp. and 22 as non-acid-fast bacilli were selected for this study, and represented 0.12% of isolates during the study period. The presumptive identification was based on macroscopic and microscopic morphology, resistance to lysozyme and restriction profiles using the PRA-hsp65 method. Nocardia spp. can grow on media for mycobacteria isolation (LJ and BBL MGIT™) and microscopy and colony morphology are very similar to some mycobacteria species. Seventeen patients (54.8%) were reported and treated for tuberculosis, but presented signs and symptoms of nocardiosis. It was concluded that the occurrence of Nocardia sp. during the study period was 0.12%. Isolates with characteristics of filamentous bacilli, forming aerial hyphae, with colonies that may be pigmented, rough and without the BstEII digestion pattern in PRA-hsp65 method are suggestive of Nocardia spp. For a mycobacterial routine laboratory, a flow for the presumptive identification of Nocardia is essential, allowing the use of more accurate techniques for the correct identification, proper treatment and better quality of life for patients.

Comparação dos métodos ENF e 4-ENF para determinação da tenacidade ao corte de juntas adesivas

Ao longo destes últimos anos as ligações adesivas têm vindo a verificar um aumento progressivo em aplicações estruturais em detrimento das ligações mecânicas convencionais. Esta alteração de paradigma deve-se às vantagens que as juntas adesivas possuem relativamente aos outros métodos de ligação. A mecânica da fratura e os Modelos de Dano Coesivo (MDC) são critérios comuns para prever a resistência em juntas adesivas e usam como parâmetros fundamentais as taxas de libertação de energia. Pelo facto do ensaio 4-Point End Notched Flexure (4-ENF), aplicado em juntas adesivas, ainda estar pouco estudado é de grande relevância um estudo acerca da sua viabilidade para a determinação da taxa crítica de libertação de energia de deformação ao corte (GIIc). Esta dissertação tem como objetivo principal efetuar uma comparação entre os métodos End- Notched Flexure (ENF) e 4-ENF na determinação de GIIc em juntas adesivas. Para tal foram utilizados 3 adesivos: Araldite® AV138, Araldite® 2015 e SikaForce® 7752. O trabalho experimental passou pela conceção e fabrico de uma ferramenta para realização do ensaio 4-ENF, seguindo-se o fabrico e a preparação dos provetes para os ensaios. Pelo facto do ensaio 4-ENF ainda se encontrar pouco divulgado em juntas adesivas, e não se encontrar normalizado, uma parte importante do trabalho passou pela pesquisa e análise em trabalhos de investigação e artigos científicos. A análise dos resultados foi realizada por comparação direta dos valores de GIIc com os resultados obtidos no ensaio ENF, sendo realizada por série de adesivo, através da comparação das curvas P-δ e curvas-R. Como resultado verificou-se que o ensaio 4-ENF em ligações adesivas não é o mais versátil para a determinação do valor de GIIc, e que apenas um método de obtenção de GIIc é viável. Este método é baseado na medição do comprimento de fenda (a). Ficou evidenciado que o ensaio ENF, devido a ser um ensaio normalizado, por apresentar um setup mais simples e por apresentar uma maior disponibilidade de métodos para a determinação do valor de GIIc, é o mais recomendado. Conclui-se assim que o ensaio 4-ENF, embora sendo uma alternativa ao ensaio ENF, tem aplicação mais limitada.

Analysis of mental health service financial models with a particular emphasis of Ireland

ABSTRACT: Financing is a critical factor in ensuring the optimal development and delivery of a mental health system. The primary method of financing worldwide is tax-based. However many low income countries depend on out-of-pocket payments. There is a report on Irish Health Care funding but none that deals exclusively with mental health care. This paper analyses the various financial models that exist globally with respect to financing the mental health sector, examines the impact of various models on service users, especially in terms of relative ‘financial burden’ and provides a more detailed examination of the current mental health funding situation in Ireland After extensive internet and hardcopy research on the above topics, the findings were analysed and a number of recommendations were reached. Mental health service should be free at the point of delivery to achieve universal coverage. Government tax-based funding or mandatory social insurance with government top-ups, as required, appears the optimal option, although there is no one funding system applicable everywhere. Out-of-pocket funding can create a crippling financial burden for service users. It is important to employ improved revenue collection systems, eliminate waste, provide equitable resource distribution, ring fence mental health funding and cap the number of visits, where necessary. Political, economic, social and cultural factors play a role in funding decisions and this can be clearly seen in the context of the current economic recession in Ireland. Only 33% of the Irish population has access to free public health care and the number health insurance policy holders has dramatically declined, resulting in increased out-of-pocket payments. This approach risks negatively impacting on the social determinants of health, increasing health inequalities and negatively affecting economic productivity. It is therefore important the Irish government examines other options to provide funding for mental health services.

A utilização de actos complementares de diagnóstico: uma análise económica

Dissertação submetida para obtenção do grau de Doutor em Saúde Pública Especialidade de Economia da Saúde

O contributo de Julián Marías para uma teoria da filosofia aplicada à questão da felicidade

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de doutor em filosofia