Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Plataforma de suporte à decisão médica para transplante de órgãos baseada em Business Intelligence

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Automated network resilience optimization using computational intelligence methods

This paper presents an automated optimization framework able to provide network administrators with resilient routing configurations for link-state protocols, such as OSPF or IS-IS. In order to deal with the formulated NP-hard optimization problems, the devised framework is underpinned by the use of computational intelligence optimization engines, such as Multi-objective Evolutionary Algorithms (MOEAs). With the objective of demonstrating the framework capabilities, two illustrative Traffic Engineering methods are described, allowing to attain routing configurations robust to changes in the traffic demands and maintaining the network stable even in the presence of link failure events. The presented illustrative results clearly corroborate the usefulness of the proposed automated framework along with the devised optimization methods.

Plasma levels of immunoinflammatory markers in De Novo coronary atherosclerosis and coronary restenosis postangioplasty

OBJECTIVE: To compare circulating plasma levels of immunoinflammatory markers in patients with known de novo coronary artery disease and patients with postangioplasty restenosis. METHODS: Using enzymatic immunoabsorbent assay, we measured plasma levels of soluble interleukin-2 receptosr, tumor necrosis factor alpha, and soluble tumor necrosis alpha receptors I and II in 11 patients with restenosis postcoronary angioplasty (restenosis group), in 10 patients with primary atherosclerosis (de novo group) who were referred for coronary angiography because of stable or unstable angina, and in 9 healthy volunteers (control group). Levels of soluble interleukin-2 receptors were significantly higher in the de novo group compared with that in the restenosis and control groups. Levels were also higher in the restenosis group compared with that in the control group. Plasma levels of tumor necrosis alpha and receptor levels were significantly higher in the de novo group compared to with that in the restenosis and control groups, but levels in the restenosis group were not different from that in the controls. CONCLUSION: Coronary artery disease, either primary or secondary to restenosis, is associated with significant immunoinflammatory activity, which can be assessed by examining the extent of circulating plasma levels of inflammatory markers. Moreover, patients with de novo lesions appear to have increased inflammatory activity compared with patients with restenosis.

A clinical recommendation system to maternity care

Nowadays in healthcare, the Clinical Decision Support Systems are used in order to help health professionals to take an evidence-based decision. An example is the Clinical Recommendation Systems. In this sense, it was developed and implemented in Centro Hospitalar do Porto a pre-triage system in order to group the patients on two levels (urgent or outpatient). However, although this system is calibrated and specific to the urgency of obstetrics and gynaecology, it does not meet all clinical requirements by the general department of the Portuguese HealthCare (Direção Geral de Saúde). The main requirement is the need of having priority triage system characterized by five levels. Thus some studies have been conducted with the aim of presenting a methodology able to evolve the pre-triage system on a Clinical Recommendation System with five levels. After some tests (using data mining and simulation techniques), it has been validated the possibility of transformation the pre-triage system in a Clinical Recommendation System in the obstetric context. This paper presents an overview of the Clinical Recommendation System for obstetric triage, the model developed and the main results achieved.

Step towards to improve the voluntary interruption of pregnancy by means of business intelligence

With the implementation of Information and Communication Technologies in the health sector, it became possible the existence of an electronic record of information for patients, enabling the storage and the availability of their information in databases. However, without the implementation of a Business Intelligence (BI) system, this information has no value. Thus, the major motivation of this paper is to create a decision support system that allows the transformation of information into knowledge, giving usability to the stored data. The particular case addressed in this chapter is the Centro Materno Infantil do Norte, in particular the Voluntary Interruption of Pregnancy unit. With the creation of a BI system for this module, it is possible to design an interoperable, pervasive and real-time platform to support the decision-making process of health professionals, based on cases that occurred. Furthermore, this platform enables the automation of the process for obtaining key performance indicators that are presented annually by this health institution. In this chapter, the BI system implemented in the VIP unity in CMIN, some of the KPIs evaluated as well as the benefits of this implementation are presented.

Analysis of Plasma Homocysteine Levels in Patients with Unstable Angina

OBJECTIVE - To determine the prevalence of hyperhomocystinemia in patients with acute ischemic syndrome of the unstable angina type. METHODS - We prospectively studied 46 patients (24 females) with unstable angina and 46 control patients (19 males), paired by sex and age, blinded to the laboratory data. Details of diets, smoking habits, medication used, body mass index, and the presence of hypertension and diabetes were recorded, as were plasma lipid and glucose levels, C-reactive protein, and lipoperoxidation in all participants. Patients with renal disease were excluded. Plasma homocysteine was estimated using high-pressure liquid chromatography. RESULTS - Plasma homocysteine levels were significantly higher in the group of patients with unstable angina (12.7±6.7 µmol/L) than in the control group (8.7±4.4 µmol/L) (p<0.05). Among males, homocystinemia was higher in the group with unstable angina than in the control group, but this difference was not statistically significant (14.1±5.9 µmol/L versus 11.9±4.2 µmol/L). Among females, however, a statistically significant difference was observed between the 2 groups: 11.0±7.4 µmol/L versus 6.4±2.9 µmol/L (p<0.05) in the unstable angina and control groups, respectively. Approximately 24% of the patients had unstable angina at homocysteine levels above 15 µmol/L. CONCLUSION - High homocysteine levels seem to be a relevant prevalent factor in the population with unstable angina, particularly among females.

Thiamin, selenium, and copper levels in patients with idiopathic dilated cardiomyopathy taking diuretics

OBJECTIVE: To analyze the association of thiamin, selenium, and copper serum levels with cardiac function in patients with idiopathic dilated cardiomyopathy using diuretics, and also to compare them with levels in control patients with no evidence of disease. METHODS: The study comprised 30 patients with heart disease and 30 healthy control individuals. Thiamin was analyzed by measuring the activity of erythrocytic transketolase and the effect of thiamin pyrophosphate. Selenium and copper serum levels were measured by hydride generation and flame atomic absorption spectrophotometry, respectively. RESULTS: Thiamin deficiency was observed in 10% of the control individuals and in 33% of the patients with heart disease (p=0.02). The mean selenium and copper serum levels in control individuals and patients with heart disease were, respectively, 73.2±9.9 µg/L (56.5 to 94.5 µg/L) and 72.3±14.3 µg/L (35.5 to 94 µg/L) (p=0.77); 1.1±0.4mg/L (0.6 to 1.8mg/L) and 1.2± 0.4mg/L (0.6 to 2.2mg/L) (p=0.27). No association between the levels of these nutrients and cardiac function was observed. CONCLUSION: Thiamin deficiency was significantly more frequent in patients with heart disease. No significant difference was observed between the mean selenium and copper serum levels in control individuals and in patients with heart disease. The results suggest possible benefits with thiamin replacement in patients taking diuretics.

National alert campaign about increased cholesterol: determination of cholesterol levels in 81,262 Brazilians

OBJECTIVE: To determine the levels of total cholesterol in a significant sample of the Brazilian population. METHODS: Blood cholesterol was determined in 81.262 individuals > 18 years old (51% male, 44.7 ± 15.7 years), using Accutrend equipment, in the cities São Paulo, Campinas, Campos do Jordão, São José dos Campos, Santos, Santo André, Ribeirão Preto, Porto Alegre, Rio de Janeiro, Belo Horizonte, Curitiba, Brasília, Salvador and documented in the presence of other risk factors (RF) for coronary artery disease (CAD) (systemic hypertension, CAD in the family, smoking, and diabetes). Participants were classified according to sex, age, and the presence or absence of RF, respectively, as 0 RF, 1 RF and > 2 RF. The percentage of individuals with cholesterol > 200 mg/dL and > 240 mg/dL was evaluated. RESULTS: The prevalence of individuals with 0, 1, and > 2 risk factors was 30% (n = 24,589), 36% (n =29,324), and 34% (n = 27,349) respectively, (P=0.657), and the mean total cholesterol of the population was 199.0 ± 35.0 mg/dL. Cholesterol levels above 200 and 240 mg/dL were found, respectively, in 40% (n = 32,515) and 13% (10.942) of individuals. The greater the number of risk factors the higher the levels of cholesterol (P<0.0001) and the greater the proportion of individuals with cholesterol > 200 mg/dL (P=0.032). No difference existed in the proportion of individuals with cholesterol > 240 mg/dL (P=0.11). CONCLUSION: A great percentage of individuals with cholesterol levels above those recommended to prevent coronary artery disease was found.

Cellular cholesterol efflux mediated by HDL isolated from subjects with low HDL levels and coronary artery disease

OBJECTIVE: The aim of this study was to verify whether HDL particles isolated from patients with coronary artery disease (CAD) and low HDL-C had diminished ability to promote cholesterol efflux from cultured cells compared with HDL isolated from subjects without CAD and with normal HDL-C. METHODS: Smooth muscle cells isolated from human aortas cultured and radiolabeled with ³H-cholesterol were loaded with cholesterol and incubated with increasing concentrations of HDL isolated from 13 CAD patients with low HDL-C (CAD group) or from 5 controls without CAD (C group). Efflux of cellular cholesterol was measured by cellular depletion of radiolabeled cholesterol and by the appearance of ³H-cholesterol into experimental medium expressed as a percentage of total labeled cholesterol. RESULTS: Cholesterol efflux increased with the amount of HDL present in the medium, and no difference was found between groups at various HDL protein concentrations: efflux was 28 ± 6.3% (C) and 25.5 ± 8.9% (CAD) with 25 mg/mL; 34 ± 4.3% (C) and 31.9 ± 6.6% (CD) with 50 mg/mL and 39.5 ± 3.5% (C) and 37.1 ± 4.4% (CAD) with 100 mg/mL, HDL. CONCLUSION: Because the HDL fraction of CAD patients with low HDL-C have normal ability to extract cholesterol from cells of the vessel wall, it is suggested that low HDL-C atherogenicity should be ascribed to diminished concentrations of HDL particles rather than to the qualitative properties of the HDL fraction.

Comprensión en resolución de problemas en Física: niveles de representación e inferencias basadas en el conocimiento. Comprehension in Physics Problem-Solving: levels of representation and knowledge-based inferences.

Se propone desarrollar e integrar estudios sobre Modelado y Resolución de Problemas en Física que asumen como factores explicativos: características de la situación planteada, conocimiento de la persona que resuelve y proceso puesto en juego durante la resolución. Interesa comprender cómo los estudiantes acceden al conocimiento previo, qué procedimientos usan para recuperar algunos conocimientos y desechar otros, cuáles son los criterios que dan coherencia a sus decisiones, cómo se relacionan estas decisiones con algunas características de la tarea, entre otras. Todo ello con miras a estudiar relaciones causales entre las dificultades encontradas y el retraso o abandono en las carreras.Se propone organizar el trabajo en tres ejes, los dos primeros de construcción teórica y un tercero de implementación y transferencia. Se pretende.1.-Estudiar los procesos de construcción de las representaciones mentales en resolución de problemas de física, tanto en expertos como en estudiantes de diferentes niveles académicos.2.-Analizar y clasificar las inferencias que se producen durante las tareas de comprensión en resolución de problemas de física. Asociar dichas inferencias con procesos de transición entre representaciones mentales de diferente naturaleza.3.-Desarrollar materiales y diseños instruccionales en la enseñanza de la Física, fundamentado en un conocimiento de los requerimientos psicológicos de los estudiantes en diversas tareas de aprendizaje.En términos generales se plantea un enfoque interpretativo a la luz de marcos de la psicología cognitiva y de los desarrollos propios del grupo. Se trabajará con muestras intencionales de alumnos y profesores de física. Se utilizarán protocolos verbales y registros escritos producidos durante la ejecución de las tareas con el fin de identificar indicadores de comprensión, inferencias, y diferentes niveles de representación. Se prevé analizar material escrito de circulación corriente sea comercial o preparado por los docentes de las carreras involucradas.Las características del objeto de estudio y el distinto nivel de desarrollo en que se encuentran los diferentes ojetivos específicos llevan a que el abordaje contemple -según consideracion de Juni y Urbano (2006)- tanto la lógica cualitativa como la cuantitativa.

Effects of Ischemic Postconditioning on the Hemodynamic Parameters and Heart Nitric Oxide Levels of Hypothyroid Rats

Background: Ischemic postconditioning (IPost) is a method of protecting the heart against ischemia-reperfusion (IR) injury. However, the effectiveness of IPost in cases of ischemic heart disease accompanied by co-morbidities such as hypothyroidism remains unclear. Objective: The aim of this study was to determine the effect of IPost on myocardial IR injury in hypothyroid male rats. Methods: Propylthiouracil in drinking water (500 mg/L) was administered to male rats for 21 days to induce hypothyroidism. The hearts from control and hypothyroid rats were perfused in a Langendorff apparatus and exposed to 30 min of global ischemia, followed by 120 min of reperfusion. IPost was induced immediately following ischemia. Results: Hypothyroidism and IPost significantly improved the left ventricular developed pressure (LVDP) and peak rates of positive and negative changes in left ventricular pressure (±dp/dt) during reperfusion in control rats (p < 0.05). However, IPost had no add-on effect on the recovery of LVDP and ±dp/dt in hypothyroid rats. Furthermore, hypothyroidism significantly decreased the basal NO metabolite (NOx) levels of the serum (72.5 ± 4.2 vs. 102.8 ± 3.7 μmol/L; p < 0.05) and heart (7.9 ± 1.6 vs. 18.8 ± 3.2 μmol/L; p < 0.05). Heart NOx concentration in the hypothyroid groups did not change after IR and IPost, whereas these were significantly (p < 0.05) higher and lower after IR and IPost, respectively, in the control groups. Conclusion: Hypothyroidism protects the heart from IR injury, which may be due to a decrease in basal nitric oxide (NO) levels in the serum and heart and a decrease in NO after IR. IPost did not decrease the NO level and did not provide further cardioprotection in the hypothyroid group.