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.

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.

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.

A New Electronic Approach for the Surgical Safety Checklist

To improve surgical safety, and to reduce the mortality and surgical complications incidence, the World Health Organization (WHO) developed the Surgical Safety Checklist (SSC). The SSC is a support of information that aids health professionals to reduce the number of complications, induction of anaesthesia, period before skin incision and period before leaving the operating room (OR). The SSC was tested in several countries of the world and their results shown that after introduction of the SSC the incidence of patient complication lowered from 11.0% to 7.0% (P<0.001), the rate of death declined from 1.5% to 0.8% (P = 0.003) and the nurses recognized that patients identity was more often con rmed (81.6% to 94.2%, P<0.01) in many institutions. Recently the SSC was also implemented in Portuguese hospitals, which led us to its study in the real clinical environment. An observational study was performed: several health professionals were observed and interviewed, to understand the functioning of the SSC in an OR, during the clinical routine. The objective of this study was to understand the current use of the SSC, and how it may be improved in terms of usability, taking advantage of the technological advancements such as mobile applications. During two days were observed 14 surgeries, only 2 surgeries met the requirements for the three phases of the SSC, as de ned by the WHO. Of the remaining 12 observed surgeries, 9 surgeries completed the last phase at the correct time. It was also observed that only in 2 surgeries all the phases of the SSC were read aloud to the team and that, in 7 surgeries, several items were read aloud and answered but no one was checking the SSC, only after the end of the phase. The observational study results disclose that several health professionals do not meet with rules of the WHO manual. This study demonstrates that it is urgent to change the mindset of health professionals, and that di erent features in the SSC may be useful to make it more easy to use. With the results of the observational study, a SSC application proposal was developed with new functionalities to improve and aid the health professional in its use. In this application the user can chose between a SSC already created to a speci c surgery or to create a new SSC, adding and adapting some questions from the WHO standard. To create a new SSC, the application is connected to an online questionnaire builder (JotForm). The choice for this online questionnaire builder went through three essential characteristics: number of types of questions, mainly checkbox, radio button and text; the possibility of to create sections inside sections and the API. In addition, in this proposal the improvements are focused in forcing the user to focus in the work ow of the SSC and to save the input timestamps and any actions made by them. Therefore, the following features was implemented to achieve that goal: display one item of the SSC at a time; display the stage where the SSC is; do not allow going back to the previous step; do not allow going forward to the next item if the current is not lled; do not allow going forward to the next item if the time it took to ll the item was too short and log any action made by the user.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Melhoria do Sistema de Gestão de Stocks da FUTE - Fábrica de Utilidades de Tubo, SA

Face à atual crise económica, cada vez mais as empresas procuram ganhar vantagens competitivas através da implementação da sua melhoria contínua. Uma das vertentes deste processo consiste na melhoria da gestão de stocks. O presente trabalho tem como objetivo o desenvolvimento de um projeto que visa a melhoria do sistema de gestão de stocks da FUTE – Fábrica de Utilidades de Tubo, SA. A principal motivação para o desenvolvimento deste trabalho teve como base as lacunas e falhas constatadas num departamento que é crítico para o desenvolvimento de todo o processo produtivo. O trabalho envolveu a utilização de modelos de gestão de stocks o que fez com que, através de cálculos efetuados, diminuísse o risco de rutura de materiais. Além disso, envolveu as várias etapas da técnica dos 5S’s, bem como a Gestão Visual garantindo, assim, os locais arrumados, limpos, seguros e devidamente identificados. Estas técnicas foram aplicadas em diferentes locais da empresa e, após essa implementação, verificou-se, por parte dos trabalhadores, uma redução de tempos no que toca à procura e identificação de materiais necessários para a linha de montagem. Essa redução de tempos foi também sentida por parte do responsável pelos stocks pois, com estas alterações, os materiais ficam mais acessíveis e mais fáceis de identificar aquando da sua verificação. Os resultados alcançados traduziram-se num aumento dos níveis de produtividade e qualidade, bem como um aumento da satisfação dos trabalhadores, que se traduz numa alteração de mentalidades e comportamentos.

Sistema de recomendação à prevenção odontológica, ortodontia e higiene oral

A tecnologia está em constante evolução e os benefícios, em diversas áreas, que ela nos traz são imensos. Uma das áreas que tem vindo a usufruir desta evolução é a medicina. Os avanços na tecnologia médica têm permitido aos médicos diagnosticar e tratar melhor os seus pacientes. O seu objetivo não é substituir o médico mas sim aconselhá-los e ajudá-los a tomar a melhor decisão face ao caso clínico que possam ter em mãos. Os sistemas de informação estão já tão “entrelaçados” com as práticas médicas que a ideia de uma instituição de prestação de cuidados médicos não os possuir é impensável. Isto porque a informação que estes sistemas processam diariamente é imensa e variadíssima (indo desde relatórios clínicos, a exames efetuados entre outros) para cada utente. As doenças orais fazem parte do grupo de patologias que afetam o maior número de pessoas no mundo. As ações preventivas para estes sintomas devem fazer parte da higiene diária dos indivíduos logo desde os primeiros anos de vida. Assim a aplicação apresentada nesta tese teve como objetivo a sensibilização para uma prática de higiene oral cuidada e constante. Teve também como objetivo a implementação de funcionalidades para gestão de dados dos pacientes da clínica, nomeadamente para o histórico clínico, ficando este armazenado numa anamnese. Para a implementação do presente projeto procedeu-se a um estudo prévio do estado da arte e ao levantamento de requisitos. Estes foram definidos através de reuniões de trabalho onde se analisou as necessidades da clínica com o objetivo de encontrar as soluções que melhor se enquadravam a cada caso. Para garantir que as metas propostas foram alcançadas, foram realizados inquéritos verificando assim o sucesso da aplicação.

Qualidade em obstetrícia : complicações pós-parto e readmissões

RESUMO - A qualidade no sistema de saúde é alvo de grande preocupação por parte dos gestores, necessitando encontrar estratégias que conduzam a uma melhoria dos resultados das unidades hospitalares, em simultâneo com a contenção dos custos. O objectivo geral deste trabalho consistiu na avaliação da qualidade na área de obstetrícia nos hospitais públicos de Portugal Continental, através da análise das taxas de complicações pósparto e de readmissões verificando se existem diferenças por instituição hospitalar, volume, acreditação e região nos anos 2008 a 2010. Os dados foram cedidos pela Administração Central do Sistema de Saúde à Escola Nacional de Saúde Pública, sendo seleccionados os episódios nos GDH 370 a 375 e 650 a 652. Foram analisados 243 686 episódios, verificando-se que a taxa de incidência de complicações é superior nos partos por cesariana, comparativamente com os partos vaginais (1,66% e 1,03%, respectivamente). Os hospitais com maior volume de procedimentos e não acreditados evidenciam maiores taxas de complicação. A taxa de readmissão a 30 dias foi também superior na cesariana comparativamente ao parto vaginal (0,42% e 0,73%, respectivamente). Os hospitais com menor volume de procedimentos e acreditados, regra geral, são os que evidenciam as maiores taxas de readmissão. De salientar que as reduzidas taxas de complicações pós-parto verificadas poderão ser explicadas por diferenças na codificação dos diagnósticos secundários entre hospitais. Podem ainda existir diferenças aqui não consideradas entre os doentes tratados em cada instituição. Os dados apresentados permitem ter um melhor conhecimento acerca da qualidade no tratamento dos casos de obstetrícia nos hospitais públicos em Portugal Continental, dando indicações para a tomada de decisão em gestão em saúde.

Facebook brand fan pages and their impact on online branding and marketing strategy

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Methodology for enterprise interoperability assessment

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

Um Bongo and sport: How can a brand communicate through its mascots

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Repairs of databases with null values

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

Avatars and the «Imitation Game» – can machines smile?

Considering Alan Turing’s challenge in «Computing Machinery and Intelligence» (1950) – can machines play the «imitation game»? – it is proposed that the requirements of the Turing test are already implicitly being used for checking the credibility of virtual characters and avatars. Like characters, Avatars aim to visually express emotions (the exterior signs of the existence of feeling) and its creators have to resort to emotion codes. Traditional arts have profusely contributed for this field and, together with the science of anatomy, shaped the grounds for current Facial Action Coding System (FACS) and their databases. However, FACS researchers have to improve their «instruction tables» so that the machines will be able, in a near future, to be programmed to carry out the operation of recognizing human expressions (face and body) and classify them adequately. For the moment, the reproductions have to resort to the copy of real life expressions, and the presente smile of avatars comes from mirroring their human users.

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

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