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.

Terapêutica Trombolítica no Enfarte Agudo do Miocárdio: Motivos de Inelegibilidade

STUDY OBJECTIVE: to establish the reasons of ineligibility for thrombolytic therapy (TL) in a group of patients with acute myocardial infarction (AMI). DESIGN: retrospective analysis of protocols and clinical records. SETTING: the medical intensive care unit (ICU) of a tertiary care hospital. PATIENTS AND METHODS: we studied the records from patients with AMI admitted to the ICU during a five-year period (1987-91) and excluded from TL, to determine the cause(s) of ineligibility. RESULTS: we found 1669 patients with AMI, 89 of which were excluded from the study. Of the remaining 1580 patients, 1274 (80.6%) did not receive TL. Mean age was 64.4 years; 66.4% were men. Mortality was 24.6%. Mean duration of chest pain was 19.4 hours. Chief reasons for exclusion from TL were advanced age (43.1% of patients) and delayed presentation (55.7%); one of these was present in 79.2%. CONCLUSIONS: this study confirmed the high mortality of patients with AMI who do not receive TL. Advanced age and delayed presentation were the main causes of ineligibility. As age is being abandoned as an exclusion criterion, efforts for expansion of TL should center on the earlier arrival of patients to centers where it is available.

Effects of Soil Compaction and Organic Carbon Content on Preferential Flow in Loamy Field Soils

Abstract: Preferential flow and transport through macropores affect plant water use efficiency and enhance leaching of agrochemicals and the transport of colloids, thereby increasing the risk for contamination of groundwater resources. The effects of soil compaction, expressed in terms of bulk density (BD), and organic carbon (OC) content on preferential flow and transport were investigated using 150 undisturbed soil cores sampled from 15 × 15–m grids on two field sites. Both fields had loamy textures, but one site had significantly higher OC content. Leaching experiments were conducted in each core by applying a constant irrigation rate of 10 mm h−1 with a pulse application of tritium tracer. Five percent tritium mass arrival times and apparent dispersivities were derived from each of the tracer breakthrough curves and correlated with texture, OC content, and BD to assess the spatial distribution of preferential flow and transport across the investigated fields. Soils from both fields showed strong positive correlations between BD and preferential flow. Interestingly, the relationships between BD and tracer transport characteristics were markedly different for the two fields, although the relationship between BD and macroporosity was nearly identical. The difference was likely caused by the higher contents of fines and OC at one of the fields leading to stronger aggregation, smaller matrix permeability, and a more pronounced pipe-like pore system with well-aligned macropores.

No Fate But What We Make: a Case of Full Recovery After Out-of-Hospital Cardiac Arrest

An 80 years old man suffered a cardiac arrest shortly after arrival to his local health department. Basic Life Support was started promptly and nine minutes later, on evaluation by an Advanced Life Support team, the victim was defibrillated with a 200J shock. When orotracheal intubation was attempted, masseter muscle contraction was noticed: on reevaluation, the victim had pulse and spontaneous breathing.Thirty minutes later, the patient had been transferred to an emergency department. As he complained of chest pain, the ECG showed a ST segment depression in leads V4 to V6 and laboratory tests showed cardiac troponine I slightly elevated. A coronary angiography was performed urgently: significant left main plus three vessel coronary artery disease was disclosed.Eighteen hours after the cardiac arrest, a quadruple coronary artery bypass grafting operation was undertaken. During surgery, a fresh thrombus was removed from the middle left anterior descendent artery. Post-operative course was uneventful and the patient was discharged seven days after the procedure. Twenty four months later, he remains asymptomatic.In this case, the immediate call for the Advanced Life Support team, prompt basic life support and the successful defibrillation, altogether, contributed for the full recovery. Furthermore, the swiftness in the detection and treatment of the acute reversible cause (myocardial ischemia in this case) was crucial for long-term prognosis.

Energy-efficient MAC protocols for WBANs: Opportunities and challenges

Wireless body area networks (WBANs) are expected to play a significant role in smart healthcare systems. One of the most important attributes of WBANs is to increase network lifetime by introducing novel and low-power techniques on the energy-constrained sensor nodes. Medium access control (MAC) protocols play a significant role in determining the energy consumption in WBANs. Existing MAC protocols are unable to accommodate communication requirements in WBANs. There is a need to develop novel, scalable and reliable MAC protocols that must be able to address all these requirements in a reliable manner. In this special issue, we attracted high quality research and review papers on the recent advances in MAC protocols for WBANs.

Dimensionar a logística interna da fábrica Toyota Ovar para a produção de nova viatura

O projeto foi realizado na Toyota (divisão fabril de Ovar), no ano letivo 2014/2015, teve por base um estágio extracurricular que foi realizado para que desta forma tomasse contacto com uma realidade concreta e absoluta no contexto empresarial. O estágio serviu, principalmente, como uma experiência na compreensão do funcionamento de uma indústria de automóveis. Este projeto desenvolve-se no âmbito do 2ºano do Mestrado de Logística e apresenta os contributos desenvolvidos no departamento de logística para a reorganização da mesma para a produção de um novo modelo automóvel. Atualmente, a Toyota, para os modelos de automóveis que produz, recebe os componentes em CKD (Completed Knocked Down) provenientes do Japão em lotes de cinco unidades. Estes lotes são armazenados no armazém, de onde só saem quando for dada ordem para serem produzidos. Cada lote tem várias caixas, que são colocadas à vez numa zona comum de abertura. São retidos os componentes das caixas CKD e colocados nos transportadores próprios dos postos correspondentes (supermercado de linha). Isto significa que sempre que é solicitado uma viatura de um determinado lote, são obrigados a produzir as cinco unidades. Isto significa que as restantes unidades do lote terão que ficar em parque aberto a aguardar venda futura, para além de ter um stock desnecessário, estas unidades ficam vulneráveis e sofrem desgaste, pois estão expostas à intempérie, causando graves problemas de qualidade e respetivos custos associados. Recentemente, foi decidida a produção do modelo Land Cruiser 70 na unidade industrial de Ovar, Portugal, o que obrigou a uma reorganização da produção e processos logísticos para a sua produção. Os objetivos que a empresa pretende com a entrada de um novo projeto Land Cruiser 70, são os seguintes: Alterar o sistema de abastecimento, implementando o abastecimento unitário em toda a fábrica para o novo modelo, garantindo o “one by one production”; Definir o funcionamento do processo logístico desde a chegada dos componentes até ficarem disponíveis no supermercado de linha. Para isso será necessário dimensionar armazém e zona de abertura, definir layouts e quantidade de stocks, bem como definir sistemas de comunicação entre abertura e supermercado; Verificar as peças que vão fazer parte do chassi por posto e contabilizar os dolly´s1 necessários; Fazer o layout de abastecimento da linha do chassi; Calcular o tempo de abertura, de abastecimento e de picking do chassi e de triming. Este projeto tem em conta a política de melhoria contínua de forma a conseguir satisfazer o cliente (ser eficaz) utilizando cada vez menos recursos quer físicos quer humanos (ser eficiente, detetar e eliminar os desperdícios). O presente projeto foi inserido na equipa de melhoria contínua da logística, maioritariamente no chassi. Em termos globais, os objetivos propostos neste estágio foram atingidos com êxito.

Gastric Outlet Obstruction in a Patient with Bouveret's Syndrome: a Case Report

BACKGROUND: Gallstone ileus accounts for 1% to 4% of cases of mechanical bowel obstruction, but may be responsible for up to 25% of cases in older age groups. In non-iatrogenic cases, gallstone migration occurs after formation of a biliary-enteric fistula. In fewer than 10% of patients with gallstone ileus, the impacted gallstones are located in the pylorus or duodenum, resulting in gastric outlet obstruction, known as Bouveret's syndrome. CASE PRESENTATION: We report an 86-year-old female who was admitted to hospital with a 10-day history of persistent vomiting and prostration. She was in hypovolemic shock at the time of arrival in the emergency department. Investigations revealed a gallstone in the duodenal bulb and a cholecystoduodenal fistula. She underwent surgical gastrolithotomy. Unfortunately, she died of aspiration pneumonia on the fourth postoperative day. CONCLUSION: This case shows the importance of considering Bouveret's syndrome in the differential diagnosis of gastric outlet obstruction, especially in the elderly, even in patients with no previous history of gallbladder disease.

Criação de um negócio de comércio electrónico com base em marketing de rede

Projeto de Mestrado apresentado ao Instituto Superior de Contabilidade e Administração do Porto, para obtenção do Grau de Mestre em Empreendedorismo e Internacionalização, sob orientação da Professora Doutora Ana Azevedo

Desenvolvimento de um Protótipo de Dispensador Automático de Medicamentos

O número de pessoas com idade superior a 65 anos aumentou consideravelmente nos últimos 40 anos. Este incremento de longevidade tem levado ao aparecimento de varias patologias relacionadas com a idade e ao aumento da prevalência das patologias cronicas. Uma grande maioria desta população e poli-medicada e assim sendo a gestão de medicamentos e uma área que pode proporcionar grandes benefícios aos idosos. A grande quantidade de medicamentos assim como as diferentes dosagens e os diferentes horários de toma fazem com que os idosos se confundam no cumprimento do esquema terapêutico aconselhado pelo medico, nomeadamente devido ao declínio cognitivo a que estão sujeitos devido ao envelhecimento humano. Torna-se, portanto, fundamental o desenvolvimento de sistemas inteligentes que auxiliem os idosos na gestão da sua medicação. A presente dissertação de mestrado foi materializada num dispositivo, designado ElderlySafety, que visa responder aos problemas da poli-medicação, através de uma solução tecnológica que incorpora as vertentes de controlo e comunicação. O objectivo do ElderlySafety e relembrar, de forma automática, o idoso da toma atempada dos seus medicamentos e consiste num prototipo de um dispositivo com varias compartições para organização dos vários medicamentos. Este aparelho apresenta 24 compartimentos, um deles referente a uma posição estática, considerada a posição `home' e os restantes dizem respeito a 23 tomas de medicação durante uma semana. Os compartimentos em questão devem ser preenchidos com a devida medicação, pelo cuidador do idoso, no inicio de cada semana. O aparelho esta conectado via Bluetooth a uma aplicação denominada ElderlySafety Online que permite monitorizar todo o sistema. E aqui que e feito o registo, com data, hora e nome do medicamento, de toda a medicação prescrita ao paciente. Também e possível a verificação de possíveis interações medicamentosas, bem como o acesso a informações acerca do que fazer em caso de esquecimento de uma ou mais tomas. Aquando a chegada da data e hora da toma de cada medicação, o aparelho desenvolvido emite um lembrete ao idoso e esse lembrete e feito através de um alerta luminoso. Se o sistema ElderlySafety verificar que o idoso se esquece da toma dos medicamentos tem a capacidade de interagir via e-mail com o cuidador, que poder a ser um familiar próximo, alertando-o para o esquecimento da toma de medicação do paciente a seu cuidado. Os testes de validação realizados ao ElderlySafety revelaram que o prototipo se mostra funcional e apto para integrar um ambiente de vida assistido de qualquer idoso.

Paracoccidioides brasiliensis AND Paracoccidioides lutzii, A SECRET LOVE AFFAIR

SUMMARYTo commemorate Prof. Carlos da Silva Lacaz's centennial anniversary, the authors have written a brief account of a few, out of hundreds, biological, ecological, molecular and phylogenetic studies that led to the arrival of Paracoccidioides lutzii, hidden for more than a century within Paracoccidioides brasiliensis. Lacaz's permanent interest in this fungus, and particularly his conviction on the benefits that research on paracoccidioidomycosis would bring to patients, were pivotal in the development of the field.

O erro na fase pré-analítica : amostras não conformes versus procedimentos

RESUMO: As Análises Clínicas são um precioso elemento entre os meios complementares de diagnóstico e terapêutica permitindo uma enorme panóplia de informações sobre o estado de saúde de determinado utente. O objetivo do laboratório é fornecer informação analítica sobre as amostras biológicas, sendo esta caracterizada pela sua fiabilidade, relevância e facultada em tempo útil. Assim, tratando-se de saúde, e mediante o propósito do laboratório, é notória a sua importância, bem como, a dos fatores associados para o cumprimento do mesmo. O bom desenrolar do ciclo laboratorial, compreendido pelas fases pré-analítica, analítica e pós-analítica é crucial para que o objetivo do laboratório seja cumprido com rigor e rapidez. O presente trabalho “O Erro na Fase Pré-Analítica: Amostras Não Conformes versus Procedimentos”, enquadrado no mestrado de Qualidade e Organização no Laboratório de Análises Clínicas, pretendeu enfatizar a importância da fase pré- analítica, sendo ela apontada como a primordial em erros que acabam por atrasar a saída de resultados ou por permitir que os mesmos não sejam fidedignos como se deseja, podendo acarretar falsos diagnósticos e decisões clínicas erradas. Esta fase, iniciada no pedido médico e finalizada com a chegada das amostras biológicas ao laboratório está entregue a uma diversidade de procedimentos que acarretam, por si só, uma grande diversidade de intervenientes, para além de uma variabilidade de factores que influenciam a amostra e seus resultados. Estes fatores, que podem alterar de algum modo a “veracidade” dos resultados analíticos, devem ser identificados e tidos em consideração para que estejamos convitos que os resultados auxiliam diagnósticos precisos e uma avaliação correta do estado do utente. As colheitas que por quaisquer divergências não originam amostras que cumpram o objectivo da sua recolha, não estando por isso em conformidade com o pretendido, constituem uma importante fonte de erro para esta fase pré-analítica. Neste estudo foram consultados os dados relativos a amostras de sangue e urina não conformes detetadas no laboratório, em estudo, durante o 1º trimestre de 2012, para permitir conhecer o tipo de falhas que acontecem e a sua frequência. Aos Técnicos de Análises Clínicas, colaboradores do laboratório, foi-lhes pedido que respondessem a um questionário sobre os seus procedimentos quotidianos e constituíssem, assim, a população desta 2ª parte do projeto. Preenchido e devolvido de forma anónima, este questionário pretendeu conhecer os procedimentos na tarefa de executar colheitas e, hipoteticamente, confrontá-los com as amostras não conformes verificadas. No 1ºsemestre de 2012 e num total de 25319 utentes registaram-se 146 colheitas que necessitaram de repetição por se verificarem não conformes. A “amostra não colhida” foi a não conformidade mais frequente (50%) versus a “má identificação” que registou somente 1 acontecimento. Houve ainda não conformidades que não se registaram como “preparação inadequada” e “amostra mal acondicionada”. Os técnicos revelaram-se profissionais competentes, conhecedores das tarefas a desempenhar e preocupados em executá-las com qualidade. Eliminar o erro não estará, seguramente, ao nosso alcance porém admitir a sua presença, detetá-lo e avaliar a sua frequência fará com que possamos diminuir a sua existência e melhorar a qualidade na fase pré-analítica, atribuindo-lhe a relevância que desempenha no processo laboratorial.-----------ABSTRACT:Clinical analyses are a precious element among diagnostic and therapeutic tests as they allow an enormous variety of information on the state of health of a user. The aim of the laboratory is to supply reliable, relevant and timely analytical information on biological samples. In health-related matters, in accordance with the objective of the laboratory, their importance is vital, as is the assurance that all the tools are in place for the fulfillment of its purpose. A good laboratory cycle, which includes the pre-analytical, analytical and post-analytical phases, is crucial in fulfilling the laboratory’s mission rapidly and efficiently. The present work - "Error in the pre-analytical phase: non-compliant samples versus procedures”, as part of the Master’s in Quality and Organization in the Clinical Analyses Laboratory, wishes to emphasize the importance of the pre-analytical phase, as the phase containing most errors which eventually lead to delays in the issue of results, or the one which enables those results not to be as reliable as desired, which can lead to false diagnosis and wrong clinical decisions. This phase, which starts with the medical request and ends with the arrival of the biological samples to the laboratory, entails a variety of procedures, which require the intervention of different players, not to mention a great number of factors, which influence the sample and the results. These factors, capable of somehow altering the “truth” of the analytical results, must be identified and taken into consideration so that we may ensure that the results help to make precise diagnoses and a correct evaluation of the user’s condition. Those collections which, due to any type of differences, do not originate samples capable of fulfilling their purpose, and are therefore not compliant with the objective, constitute an important source of error in this pre-analytical phase. In the present study, we consulted data from non-compliant blood and urine samples, detected at the laboratory during the 1st quarter of 2012, to find out the type of faults that happen and their frequency. The clinical analysis technicians working at the laboratory were asked to fill out a questionnaire regarding their daily procedures, forming in this way the population for this second part of the project. Completed and returned anonymously, this questionnaire intended to investigate the procedures for collections and, hypothetically, confront them with the verified non-compliant samples. In the first semester of 2012, and out of a total of 25319 users, 146 collections had to be repeated due to non-compliance. The “uncollected sample” was the most frequent non-compliance (>50%) versus “incorrect identification” which had only one occurrence. There were also unregistered non-compliance issues such as “inadequate preparation” and “inappropriately packaged sample”. The technicians proved to be competent professionals, with knowledge of the tasks they have to perform and eager to carry them out efficiently. We will certainly not be able to eliminate error, but recognizing its presence, detecting it and evaluating its frequency will help to decrease its occurrence and improve quality in the pre-analytical phase, giving it the relevance it has within the laboratory process.

Low cost carriers: The case of Oporto Airport and its touristic impact in the region

Both Oporto and the North Region of Portugal definitions of tourism have evolved significantly during the past decade. In this journey it is relevant to highlight the contribution of the arrival of Low Cost Carriers (LCCs) at Francisco Sá Carneiro Airport, thus contributing to a rapid expansion of this region as a tourism destination. Hence, this work project aims to understand the touristic and economic impact motivated by the entry of LCCs in Oporto and in the North Region of Portugal and tries to understand if this event was in fact an asset in the development of the aforementioned tourism destinations.

Essays in entrepreneurship among foreign individuals

We study how countries of origin affect foreign individuals’ choice between salaried work and entrepreneurship upon arrival to the host country. Using a change in the Portuguese immigration law we evaluate the impact of reducing regulations on entrepreneurship upon the probability of foreign individuals choose entrepreneurship upon arrival. We find that foreigners from countries more dissimilar to the host country and those from wealthier countries are more likely engage in entrepreneurship upon arrival than those from similar countries. Foreigners from countries outside the European Economic Area, who have to fulfil requirements that are not required to those from countries within this area, are less likely to enter the labor market as entrepreneurs than those from countries within this area. According to our findings reducing legal requirements to foreign entrepreneurship may encourage foreigners to engage in entrepreneurship upon arrival, although such impact is not considerable.

Twenty-eight years of Aedes albopictus in Brazil: a rationale to maintain active entomological and epidemiological surveillance

INTRODUCTION: Aedes albopictus was first detected in Brazil in 1986. This mosquito species presents a major threat to public health because Brazilian populations have shown substantial vector competence for arboviruses such as dengue and chikungunya. METHODS: We updated the records of Ae. albopictus in several States of Brazil, focusing on areas in which its presence had been reported after 2002. RESULTS: Twenty-eight years after its arrival in Brazil, Ae. albopictus has been detected in 24 of 27 States. CONCLUSIONS: The rapid spread of this species and its high vector competence demonstrate the danger of Ae. albopictus in Brazil.

Entre a plasticidade do corpo e da imagem : contributos para uma viagem interactiva pelos territórios incertos da arte contemporânea

Este trabalho de investigação começou por ser estruturado em torno de quatro grandes capítulos (quatro grandes linhas de orientação temática), todos eles amplamente desenvolvidos no sentido de podermos cartografar alguns dos principais territórios e sintomas da arte contemporânea, sendo certo também, que cada um deles assenta precisamente nos princípios de uma estrutura maleável que, para todos os efeitos, se encontra em processo de construção (work in progress), neste caso, graças à plasticidade do corpo, do espaço, da imagem e do uso criativo das tecnologias digitais, no âmbito das quais, aliás, tudo se parece produzir, transformar e disseminar hoje em dia à nossa volta (quase como se de uma autêntica viagem interactiva se tratasse). Por isso, a partir daqui, todo o esforço que se segue procurará ensaiar uma hipótese de trabalho (desenvolver uma investigação) que, porventura, nos permita desbravar alguns caminhos em direcção aos intermináveis túneis do futuro, sempre na expectativa de podermos dar forma, função e sentido a um desejo irreprimível de liberdade criativa, pois, a arte contemporânea tem essa extraordinária capacidade de nos transportar para muitos outros lugares do mundo, tão reais e imaginários como a nossa própria vida. Assim sendo, há que sumariar algumas das principais etapas a desenvolver ao longo desta investigação. Ora, num primeiro momento, começaremos por reflectir sobre o conceito alargado de «crise» (a crise da modernidade), para logo de seguida podermos abordar a questão da crise das antigas categorias estéticas, questionando assim, para todos os efeitos, quer o conceito de «belo» (Platão) e de «gosto» (Kant), quer ainda o conceito de «forma» (Foccilon), não só no sentido de tentarmos compreender algumas das principais razões que terão estado na origem do chamado «fim da arte» (Hegel), mas também algumas daquelas que terão conduzido à estetização generalizada da experiência contemporânea e à sua respectiva disseminação pelas mais variadas plataformas digitais. Num segundo momento, procuraremos reflectir sobre alguns dos principais problemas da inquietante história das imagens, nomeadamente para tentarmos perceber como é que todas estas transformações técnicas (ligadas ao aparecimento da fotografia, do cinema, do vídeo, do computador e da internet) terão contribuído para o processo de instauração e respectivo alargamento daquilo que todos nós ficaríamos a conhecer como a nova «era da imagem», ou a imagem na «era da sua própria reprodutibilidade técnica» (Benjamin), pois, só assim é que conseguiremos interrogar este imparável processo de movimentação, fragmentação, disseminação, simulação e interacção das mais variadas «formas de vida» (Nietzsche, Agamben). Entretanto, chegados ao terceiro grande momento, interessa-nos percepcionar a arte contemporânea como uma espécie de plataforma interactiva que, por sua vez, nos levará a interpelar alguns dos principais dispositivos metafóricos e experimentais da viagem, neste caso, da viagem enquanto linha facilitadora de acesso à arte, à cultura e à vida contemporânea em geral, ou seja, todo um processo de reflexão que nos incitará a cartografar alguns dos mais atractivos sintomas provenientes da estética do flâneur (na perspectiva de Rimbaud, Baudelaire, Long e Benjamin) e, consequentemente, a convocar algumas das principais sensações decorrentes da experiência altamente sedutora daqueles que vivem mergulhados na órbita interactiva do ciberespaço (na condição de ciberflâneurs), quase como se o mundo inteiro, agora, fosse tão somente um espaço poético «inteiramente navegável» (Manovich). Por fim, no quarto e último momento, procuraremos fazer uma profunda reflexão sobre a inquietante história do corpo, principalmente com o objectivo de reforçar a ideia de que apesar das suas inúmeras fragilidades biológicas (um ser que adoece e morre), o corpo continua a ser uma das «categorias mais persistentes de toda a cultura ocidental» (Ieda Tucherman), não só porque ele resistiu a todas as transformações que lhe foram impostas historicamente, mas também porque ele se soube reinventar e readaptar pacientemente face a todas essas transformações históricas. Sinal evidente de que a sua plasticidade lhe iria conferir, principalmente a partir do século XX («o século do corpo») um estatuto teórico e performativo verdadeiramente especial. Tão especial, aliás, que basta termos uma noção, mesmo que breve, da sua inquietante história para percebermos imediatamente a extraordinária importância dalgumas das suas mais variadas transformações, atracções, ligações e exibições ao longo das últimas décadas, nomeadamente sob o efeito criativo das tecnologias digitais (no âmbito das quais se processam algumas das mais interessantes operações de dinamização cultural e artística do nosso tempo). Em suma, esperamos sinceramente que este trabalho de investigação possa vir a contribuir para o processo de alargamento das fronteiras cada vez mais incertas, dinâmicas e interactivas do conhecimento daquilo que parece constituir, hoje em dia, o jogo fundamental da nossa contemporaneidade.