Bringing Context Awareness to IoT-Based Wireless Sensor Networks

IEEE International Conference on Pervasive Computing and Communications (PerCom). 23 to 26, Mar, 2015, PhD Forum. Saint Louis, U.S.A..

A system model and stack for the parallelization of time-critical applications on many-core architectures

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Tornar-se adulto na Casa 5: promover a autonomia individual em Apartamento de Autonomização

Na ausência de uma retaguarda familiar capaz de se constituir como uma rede de segurança e apoio ao desenvolvimento integral de adolescentes com medida de promoção e proteção, o Apartamento de Autonomização oferece um espaço no qual os jovens podem treinar competências que lhes assegurem um futuro autónomo e minimizem os riscos de exclusão social. Esta resposta social propõe-se preparar adolescentes, em transição para a adultez juvenil, para a conquista da responsabilidade de se autoprotegerem, de cuidarem de si próprios e de assumirem a sua identidade perante os outros. Todavia, um projeto de Autonomização de Vida revela-se um desafio, não apenas para os jovens, como também para as famílias e para os profissionais que com eles trabalham. Foram, precisamente, as dificuldades inerentes à Autonomização de Vida em contexto institucional que motivaram o desenvolvimento de um projeto em educação e intervenção social promotor da eficiência dessa resposta social em termos de promoção da autonomia e da transição bem-sucedida para a vida adulta. O presente relatório constitui, assim, um olhar retrospetivo sobre o Projeto “Tornar-se Adulto na Casa 5”, o qual, através da metodologia de Investigação-Ação Participativa, visou alcançar a finalidade proposta pelos participantes: “Promover uma autonomia plena dos jovens da Casa 5, com vista à transição bem-sucedida para a vida adulta após o término da medida de promoção e proteção”. Ainda que os resultados obtidos tenham sido moderadamente satisfatórios, o Projeto terá contribuído para o desenvolvimento de uma consciencialização mais crítica acerca das oportunidades e dos constrangimentos ao desenvolvimento da Autonomia, favorecendo, desejavelmente, a transição para vida adulta após a desinstitucionalização.

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

Article in Press, Corrected Proof

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.

Simulação de Robôs Quadrúpedes Utilizando o SimMechanics

Desde sempre o Homem procurou automatizar tarefas repetitivas. Tanto na indústria como no sector doméstico ou de comércio estão constantemente a surgir novos equipamentos procurando aumentar o nível de automação de diversas tarefas. A necessidade de empresas criadoras de produtos inovadores se manterem concorrenciais obrigou à adopção de métodos de projecto e planeamento mais estruturados e eficientes que eliminem os desperdícios tanto de material como de tempo. Diversas construções em termos orçamentais e o aumento da procura de produtos de alta qualidade a baixo custo deu origem a um novo tipo de programas, os programas de simulação virtual. Tal como na indústria, também na investigação nas Instituições de Ensino Superior se procuram adoptar os métodos de trabalho mais eficientes possíveis. Uma parte dos programas de simulação robótica utilizados hoje em dia na investigação no Instituto Superior de Engenharia do Porto estão concebidos em linguagem C. Embora esta linguagem seja extremamente capaz, existem métodos mais adequados de simulação que aceleram o processo de modelação permitindo a visualização do movimento e simulação de diversas situações potencialmente criticas sem existir a necessidade de construção de um protótipo funcional do robô. Durante o último ano, este projecto permitiu construir um modelo de um robô quadrúpede num programa de simulação virtual chamado Simmechanics™. Embora haja já algum trabalho desenvolvido nesta área, constatou-se que a informação existente possuía algumas lacunas. Com o trabalho desenvolvido preparou-se esta dissertação que pretende clarificar algumas questões que surgem na modelação de um robô. Neste documento explica-se como modelar um robô de corpo flexível, modelar as pernas e as respectivas juntas da anca e do joelho assim como também se apresenta a modelação de um contacto com o solo recorrendo a um modelo descrito na literatura. Este documento foi escrito a pensar no leitor, procurando-se explicar de forma simples mas concisa os diversos passos necessários para construir um modelo virtual de um robô. O autor espera, desta forma, ajudar futuros colegas que pretendam trabalhar com o Simmechanics™ a mais facilmente se integrarem com o programa aumentando desta forma o declive da curva de aprendizagem e permitindo um maior aproveitamento desta ferramenta.

Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs

Presented at Embed with Linux Workshop (EWiLi 2015). 4 to 9, Oct, 2015. Amsterdam, Netherlands.

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.

A Methodology for Creating an Adapted Command Language for Driving an Intelligent Wheelchair

Intelligent wheelchairs (IW) are technologies that can increase the autonomy and independence of elderly people and patients suffering from some kind of disability. Nowadays the intelligent wheelchairs and the human-machine studies are very active research areas. This paper presents a methodology and a Data Analysis System (DAS) that provides an adapted command language to an user of the IW. This command language is a set of input sequences that can be created using inputs from an input device or a combination of the inputs available in a multimodal interface. The results show that there are statistical evidences to affirm that the mean of the evaluation of the DAS generated command language is higher than the mean of the evaluation of the command language recommended by the health specialist (p value = 0.002) with a sample of 11 cerebral palsy users. This work demonstrates that it is possible to adapt an intelligent wheelchair interface to the user even when the users present heterogeneous and severe physical constraints.

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.

Negotiation context analysis in electricity markets

Contextualization is critical in every decision making process. Adequate responses to problems depend not only on the variables with direct influence on the outcomes, but also on a correct contextualization of the problem regarding the surrounding environment. Electricity markets are dynamic environments with increasing complexity, potentiated by the last decades' restructuring process. Dealing with the growing complexity and competitiveness in this sector brought the need for using decision support tools. A solid example is MASCEM (Multi-Agent Simulator of Competitive Electricity Markets), whose players' decisions are supported by another multiagent system – ALBidS (Adaptive Learning strategic Bidding System). ALBidS uses artificial intelligence techniques to endow market players with adaptive learning capabilities that allow them to achieve the best possible results in market negotiations. This paper studies the influence of context awareness in the decision making process of agents acting in electricity markets. A context analysis mechanism is proposed, considering important characteristics of each negotiation period, so that negotiating agents can adapt their acting strategies to different contexts. The main conclusion is that context-dependant responses improve the decision making process. Suiting actions to different contexts allows adapting the behaviour of negotiating entities to different circumstances, resulting in profitable outcomes.

Effects of treatment, awareness and condom use in a coinfection model for HIV and HCV in MSM

We develop a new a coinfection model for hepatitis C virus (HCV) and the human immunodeficiency virus (HIV). We consider treatment for both diseases, screening, unawareness and awareness of HIV infection, and the use of condoms. We study the local stability of the disease-free equilibria for the full model and for the two submodels (HCV only and HIV only submodels). We sketch bifurcation diagrams for different parameters, such as the probabilities that a contact will result in a HIV or an HCV infection. We present numerical simulations of the full model where the HIV, HCV and double endemic equilibria can be observed. We also show numerically the qualitative changes of the dynamical behavior of the full model for variation of relevant parameters. We extrapolate the results from the model for actual measures that could be implemented in order to reduce the number of infected individuals.

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.

Perspetivas interdisciplinares na planificação didática de Línguas e Culturas Estrangeiras

O presente Relatório Final de Estágio concretiza-se num trabalho de reflexão crítica sobre as práticas realizadas como professora estagiária de Inglês e de Espanhol no âmbito das Unidades Curriculares de Prática Educativa I, II e III, do Curso de Mestrado em Ensino de Inglês e Francês ou Espanhol, da Escola Superior de Educação, do Instituto Politécnico do Porto. A problemática que se apresenta decorre da perspetiva de que o ensino e aprendizagem de uma língua estrangeira baseados na articulação entre disciplinas do currículo contribui para uma aprendizagem holística, desenvolvendo competências que permitem um entendimento geral e global dos fenómenos humanos proporcionando aos alunos a compreensão do saber escolar como um todo articulável, contribuindo para uma leitura lógica e completa da realidade. A sua concretização na sala de aula impõe que o professor planifique atividades e opte por estratégias de ensino e de aprendizagem diversificadas, onde convergem finalidades, conceitos e metodologias de diversas disciplinas do currículo. Assim, este trabalho descreve a planificação de práticas de ensino e aprendizagem de Inglês e Espanhol em articulação com os conteúdos e os objetivos da disciplina de Estudo do Meio no Primeiro Ciclo. A planificação de práticas de Inglês no Segundo Ciclo foi realizada em articulação com a disciplina de História e Geografia de Portugal, com base na metodologia de projeto. As opções adotadas na planificação didática são consideradas estratégicas para uma aprendizagem significativa. Palavras-chave: perspetiva interdisciplinar do ensino; planificação didática de línguas estrangeiras; compreensão integrada do saber escolar; aprendizagem por projeto