Analysis and verification of ECA rules in intelligent environments

Intelligent Environments (IEs) are physical spaces where Information Technology (IT) and other pervasive computing technologies are combined in order to achieve specific goals for the users and the environment. IEs have the goal of enriching user experience, increasing awareness of the environment. A number of applications are currently being deployed in domains ranging from smart homes to e-health and autonomous vehicles. Quite often IE support human activities, thus essential requirements to be ensured are correctness, reliability, safety and security. In this paper we present how a set of techniques and tools that have been developed for the verification of software can be employed in the verification of IE described by means of event-condition-action rules. More precisely, we reduce the problem of verifying key properties of these rules to satisfiability and termination problems that can be addressed using state-of-the-art Satisfiability Modulo Theory (SMT) solvers and program analysers. Our approach has been implemented in a tool called vIRONy. Our approach has been validated on a number of case studies from the literature

Symbolic verification of event–condition–action rules in intelligent environments

In this paper we show how state-of-the art SMT-based techniques for software verification can be employed in the verification of event–condition–action rules in intelligent environments. Moreover, we exploit the specific features of intelligent environments to optimise the verification process. We compare our approach with previous work in a detailed evaluation section, showing how it improves both performance and expressivity of the language for event–condition–action rules

Cholinergic stimulation by pyridostigmine bromide before myocardial infarction prevent cardiac and autonomic dysfunction

Inflammatory processes and cardiovascular autonomic imbalance are very relevant characteristic of the enormous dynamic process that is a myocardial infarction (MI). In this sense, some studies are investigating pharmacological therapies using acetylcholinesterase inhibitors, such as pyridostigmine bromide (PYR), aiming to increase parasympathetic tone after MI. Here we hypothesized that the use of PYR before the MI might bring an additional positive effect to the autonomic function, and consequently, in the inflammatory response and cardiac function. The present study aimed to evaluate left ventricular function, baroreflex sensitivity, autonomic modulation, and inflammatory profile in PYR- treated rats previously to MI. Methods: Male Wistar rats (250-300 g) were treated for 60 days with PYR. After treatment, they were submitted to the MI. After the MI, the autonomic and ventricular function were evaluated, as well as the systemic, left ventricle, and adipose tissue inflammatory profile. Results: PYR, performed before MI, prevented HR increase, systolic function impairment, baroreflex sensitivity drop, as well as pulse interval variance, RMSSD, blood pressure and parasympathetic modulation reduction in treated rats compared to untreated rats. Also, this positive functional changes may have been a result of the reduced inflammatory parameters in the left ventricle (IFN-alpha, IL-6, and IL-1 beta), as well as increased IL-10 expression and IL-10/TNF-alpha ratio in treated animals before MI. Conclusion: Prior treatment with PYR prevents impairment of the autonomic nervous system after MI, which may be associated with the attenuated expression of inflammatory factors and heart dysfunction9CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO - CNPQFUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULO - FAPESPsem informação2013/14788-9; 2014/06669-

Cardiac Impairment Evaluated by Transesophageal Echocardiography and Invasive Measurements in Rats Undergoing Sinoaortic Denervation

Background: Sympathetic hyperactivity may be related to left ventricular (LV) dysfunction and baro- and chemoreflex impairment in hypertension. However, cardiac function, regarding the association of hypertension and baroreflex dysfunction, has not been previously evaluated by transesophageal echocardiography (TEE) using intracardiac echocardiographic catheter.Methods and Results: We evaluated exercise tests, baroreflex sensitivity and cardiovascular autonomic control, cardiac function, and biventricular invasive pressures in rats 10 weeks after sinoaortic denervation (SAD). the rats (n = 32) were divided into 4 groups: 16 Wistar (W) with (n = 8) or without SAD (n = 8) and 16 spontaneously hypertensive rats (SHR) with (n = 8) or without SAD (SHRSAD) (n = 8). Blood pressure (BP) and heart rate (HR) did not change between the groups with or without SAD; however, compared to W, SHR groups had higher BP levels and BP variability was increased. Exercise testing showed that SHR had better functional capacity compared to SAD and SHRSAD. Echocardiography showed left ventricular (LV) concentric hypertrophy; segmental systolic and diastolic biventricular dysfunction; indirect signals of pulmonary arterial hypertension, mostly evident in SHRSAD. the end-diastolic right ventricular (RV) pressure increased in all groups compared to W, and the end-diastolic LV pressure increased in SHR and SHRSAD groups compared to W, and in SHRSAD compared to SAD.Conclusions: Our results suggest that baroreflex dysfunction impairs cardiac function, and increases pulmonary artery pressure, supporting a role for baroreflex dysfunction in the pathogenesis of hypertensive cardiac disease. Moreover, TEE is a useful and feasible noninvasive technique that allows the assessment of cardiac function, particularly RV indices in this model of cardiac disease.Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Univ São Paulo, Fac Med, Cardiomyopathy Unit, Heart Inst InCor,Hosp Clin, São Paulo, BrazilUniv São Paulo, Fac Med, Hypertens Unit, Heart Inst InCor,Hosp Clin, São Paulo, BrazilUniversidade Federal de São Paulo, Dept Biosci, São Paulo, BrazilUniversidade Federal de São Paulo, Dept Biosci, São Paulo, BrazilWeb of Scienc

The impact of metabolic syndrome on metabolic, pro-inflammatory and prothrombotic markers according to the presence of high blood pressure criterion

OBJECTIVES: We explored whether high blood pressure is associated with metabolic, inflammatory and prothrombotic dysregulation in patients with metabolic syndrome. METHODS: We evaluated 135 consecutive overweight/obese patients. From this group, we selected 75 patients who were not under the regular use of medications for metabolic syndrome as defined by the current Expert Panel on Detection, Evaluation and Treatment of High Blood Cholesterol in Adults criteria. The patients were divided into metabolic syndrome with and without high blood pressure criteria (≥130/≥85 mmHg). RESULTS: Compared to the 45 metabolic syndrome patients without high blood pressure, the 30 patients with metabolic syndrome and high blood pressure had significantly higher glucose, insulin, homeostasis model assessment insulin resistance index, total cholesterol, low-density lipoprotein-cholesterol, triglycerides, uric acid and creatinine values; in contrast, these patients had significantly lower high-density lipoprotein-cholesterol values. Metabolic syndrome patients with high blood pressure also had significantly higher levels of retinol-binding protein 4, plasminogen activator inhibitor 1, interleukin 6 and monocyte chemoattractant protein 1 and lower levels of adiponectin. Moreover, patients with metabolic syndrome and high blood pressure had increased surrogate markers of sympathetic activity and decreased baroreflex sensitivity. Logistic regression analysis showed that high-density lipoprotein, retinol-binding protein 4 and plasminogen activator inhibitor-1 levels were independently associated with metabolic syndrome patients with high blood pressure. There is a strong trend for an independent association between metabolic syndrome patients with high blood pressure and glucose levels. CONCLUSIONS: High blood pressure, which may be related to the autonomic dysfunction, is associated with metabolic, inflammatory and prothrombotic dysregulation in patients with metabolic syndrome

Dynamic Resistance Training Improves Cardiac Autonomic Modulation and Oxidative Stress Parameters in Chronic Stroke Survivors: A Randomized Controlled Trial

Stroke survivors are at substantial risk of recurrent cerebrovascular event or cardiovascular disease. Exercise training offers nonpharmacological treatment for these subjects; however, the execution of the traditional exercise protocols and adherence is constantly pointed out as obstacles. Based on these premises, the present study investigated the impact of an 8-week dynamic resistance training protocol with elastic bands on functional, hemodynamic, and cardiac autonomic modulation, oxidative stress markers, and plasma nitrite concentration in stroke survivors. Twenty-two patients with stroke were randomized into control group (CG, n=11) or training group (TG, n=11). Cardiac autonomic modulation, oxidative stress markers, plasma nitrite concentration, physical function and hemodynamic parameters were evaluated before and after 8 weeks. Results indicated that functional parameters (standing up from the sitting position (P=0.011) and timed up and go (P=0.042)) were significantly improved in TG. Although not statistically different, both systolic blood pressure (Δ=-10.41 mmHg) and diastolic blood pressure (Δ=-8.16 mmHg) were reduced in TG when compared to CG. Additionally, cardiac autonomic modulation (sympathovagal balance-LF/HF ratio) and superoxide dismutase were improved, while thiobarbituric acid reactive substances and carbonyl levels were reduced in TG when compared to the CG subjects. In conclusion, our findings support the hypothesis that dynamic resistance training with elastic bands may improve physical function, hemodynamic parameters, autonomic modulation, and oxidative stress markers in stroke survivors. These positive changes would be associated with a reduced risk of a recurrent stroke or cardiac event in these subjects

The future of Cybersecurity in Italy: Strategic focus area

This volume has been created as a continuation of the previous one, with the aim of outlining a set of focus areas and actions that the Italian Nation research community considers essential. The book touches many aspects of cyber security, ranging from the definition of the infrastructure and controls needed to organize cyberdefence to the actions and technologies to be developed to be better protected, from the identification of the main technologies to be defended to the proposal of a set of horizontal actions for training, awareness raising, and risk management

Effect of simvastatin in the autonomic system is dependent on the increased gain/sensitivity of the baroreceptors

A number of mechanisms have been proposed to explain the pleiotropic effect of statin therapy to reduce sympathetic outflow in cardiovascular disease. We tested the hypothesis that statin treatment could improve baroreflex gain-sensitivity triggered by morphological adaptations in the mechanoreceptor site, thus reducing sympathetic activity, regardless of arterial pressure (AP) level reduction. Male spontaneously hypertensive rats (SHR) were divided into control (SHR, n = 8) and SHR-simvastatin (5 mg/kg/day, for 7 days) (SHR-S, n = 8). After treatment, AP, baroreflex sensitivity (BRS) in response to AP-induced changes, aortic depressor nerve activity, and spectral analyses of pulse interval (PI) and AP variabilities were performed. Internal and external carotids were prepared for morphoquantitative evaluation. Although AP was similar between groups, sympathetic modulation, represented by the low frequency band of PI (SHR: 6.84 ± 3.19 vs. SHR-S: 2.41 ± 0.96 msec2) and from systolic AP variability (SHR: 3.95 ± 0.36 vs. SHR-S: 2.86 ± 0.18 mmHg2), were reduced in treated animals. In parallel, simvastatin induced an increase of 26% and 21% in the number of elastic lamellae as well as a decrease of 9% and 25% in the carotid thickness in both, external and internal carotid, respectively. Moreover, improved baroreceptor function (SHR: 0.78 ± 0.03 vs. SHR-S: 1.06 ± 0.04% mv/mmHg) was observed in addition to a 115% increase in aortic depressor nerve activity in SHR-S rats. Therefore, our data suggest that the reduction of sympathetic outflow in hypertension by simvastatin treatment may be triggered by structural changes in the carotid arteries and increased BRS in response to an improvement of the baroreceptors discharge and consequently of the afferent pathway of the baroreflex arch.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP- 01/00,009-0; 2012/20,141-5)Fundação E.J. ZerbiniConselho Nacional de Pesquisa e Desenvolvimento (CNPq