Contractual Testing

Variants of must testing approach have been successfully applied in Service Oriented Computing for capturing compliance between (contracts exposed by) a client and a service and for characterising safe replacement, namely the fact that compliance is preserved when a service exposing a ’smaller’ contract is replaced by another one with a ’larger’ contract. Nevertheless, in multi-party interactions, partners often lack full coordination capabilities. Such a scenario calls for less discriminating notions of testing in which observers are, e.g., the description of uncoordinated multiparty contexts or contexts that are unable to observe the complete behaviour of the process under test. In this paper we propose an extended notion of must preorder, called contractual preorder, according to which contracts are compared according to their ability to pass only the tests belonging to a given set. We show the generality of our framework by proving that preorders induced by existing notions of compliance in a distributed setting are instances of the contractual preorder when restricting to suitable sets of observers

Smart City Ontologies and Their Applications: A Systematic Literature Review

The increasing interconnections of city services, the explosion of available urban data, and the need for multidisciplinary analysis and decision making for city sustainability require new technological solutions to cope with such complexity. Ontologies have become viable and effective tools to practitioners for developing applications requiring data and process interoperability, big data management, and automated reasoning on knowledge. We investigate how and to what extent ontologies have been used to support smart city services and we provide a comprehensive reference on what problems have been addressed and what has been achieved so far with ontology-based applications. To this purpose, we conducted a systematic literature review finalized to presenting the ontologies, and the methods and technological systems where ontologies play a relevant role in shaping current smart cities. Based on the result of the review process, we also propose a classification of the sub-domains of the city addressed by the ontologies we found, and the research issues that have been considered so far by the scientific community. We highlight those for which semantic technologies have been mostly demonstrated to be effective to enhance the smart city concept and, finally, discuss in more details about some open problems

Anticoagulation in cirrhosis: a new paradigm?

The liver plays a crucial role in coagulation cascade. Global hemostatic process is profoundly influenced by the presence of liver disease and its complications. Patients with cirrhosis have impaired synthesis of most of the factors involved in coagulation and fibrinolysis process due to a reduced liver function and altered platelet count secondary to portal hypertension. Altered routine tests and thrombocytopenia were considered in the past as associated with increased risk of bleeding. These concepts explain both the routine use of plasma and/or platelets transfusion in patients with liver cirrhosis, especially before invasive procedures, and why these patients were considered "auto-anticoagulated". New recent evidences show that patients with liver cirrhosis have a more complex hemostatic alteration. Despite the presence of altered levels of factors involved in primary hemostasis, coagulation and fibrinolysis, patients with stable cirrhosis have a rebalanced hemostatic, which however can easily be altered by decompensation or infection, both in hemorrhagic or thrombotic direction. Patients with cirrhosis have an increased risk of venous thrombotic events (namely portal vein thrombosis) while bleeding seems to be related to the grade of portal hypertension rather than to a hemostatic imbalance. The use of anticoagulants both as treatment or prophylaxis is safe, reduces the rate of portal vein thrombosis and decompensation, and improves survival. Standard laboratory coagulation tests are unable to predict bleeding and are inadequate for the assessment of hemostatic status in these patients, hence more comprehensive tests are required to guide the management of thrombotic and bleeding complications

Metabolic and functional consequences of cytosolic 5′-nucleotidase-IA overexpression in neonatal rat cardiomyocytes

Adenosine exerts a spectrum of energy-preserving actions on the heart negative chronotropic effects. The pathways leading to adenosine formation have remained controversial. In particular, although cytosolic 5′-nucleotidases can catalyze adenosine formation in cardiomyocytes, their contribution to the actions of adenosine has not been documented previously. We recently cloned two closely related AMP-preferring cytosolic 5′-nucleotidases (cN-IA and -IB); the A form predominates in the heart. In this study, we overexpressed pigeon cN-IA in neonatal rat cardiomyocytes using an adenovirus. cN-IA overexpression increased adenosine formation and release into the medium caused by simulated hypoxia and by isoproterenol in the absence and presence of inhibitors of adenosine metabolism. Adenosine release was not affected by an ecto-5′-nucleotidase inhibitor, α,β-methylene-ADP, but was affected by a nucleoside transporter, dipyridamole. The positive chronotropic effect of isoproterenol (130 ±3 vs. 100 ±4 beats/min) was inhibited (107 ±3 vs. 94 ±3 beats/min) in cells overexpressing cN-IA, and this was reversed by the addition of the adenosine receptor antagonist 8-(p-sulfophenyl)theophilline (120 ± 3 vs. 90 ± 4 beats/min). Our results demonstrate that overexpressed cN-IA can be sufficiently active in cardiomyocytes to generate physiologically effective concentrations of adenosine at its receptors.Fil: Sala-Newby, Graciela B.. University of Bristol; Reino UnidoFil: Freeman, Nicola V. E.. University of Bristol; Reino UnidoFil: Curto, Maria de Los Angeles. University of Bristol; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; ArgentinaFil: Newby, Andrew C.. University of Bristol; Reino Unid

Beyond the random phase approximation with a local exchange vertex

With the aim of constructing an electronic structure approach that systematically goes beyond the GW and random phase approximation (RPA) we introduce a vertex correction based on the exact-exchange (EXX) potential of time-dependent density functional theory. The EXX vertex function is constrained to be local but is expected to capture similar physics as the Hartree-Fock vertex. With the EXX vertex, we then unify different beyond-RPA approaches such as the various resummations of RPA with exchange and the second-order screened exchange approximation. The theoretical analysis is supported by numerical studies on the hydrogen dimer and the electron gas, and we discuss the role of including the vertex correction in both the screened interaction and the self-energy. Finally, we give details on our implementation within the plane-wave pseudo potential framework and demonstrate the excellent performance of the different RPA with exchange methods in describing the energetics of hydrogen and van der Waals bonds

Temporal changes in the expression of the translocator protein TSPO and the steroidogenic enzyme 5a-reductase in the dorsal spinal cord of animals with neuropathic pain: effects of progesterone administration

Neuropathic pain is a frequent complication of spinal cord injury (SCI), still refractory to conventional treatment. The presence and biological activity of steroidogenic regulatory proteins and enzymes in the spinal cord suggests that neurosteroids locally generated could modulate pain messages. In this study we explored temporal changes in the spinal expression of the 18kDa translocator protein TSPO, the steroidogenic acute regulatory protein (StAr) and the steroidogenic enzyme 5-reductase (5α-RI/II) in an experimental model of central chronic pain. Male Sprague-Dawley rats were subjected to a SCI and sacrificed at different time points (1, 14 or 28 days). The development of mechanical and cold allodynia was assessed. Injured animals showed an early increase in the mRNA levels of TSPO and 5α-RII, whereas in the chronic phase a significant decrease in the expression of 5α-RI and 5α-RII was observed, coinciding with the presence of allodynic behaviors. Furthermore, since we have shown that progesterone (PG) administration may offer a promising perspective in pain modulation, we also evaluated the expression of steroidogenic proteins and enzymes in injured animals receiving daily injections of the steroid. PG-treated did not develop allodynia and showed a marked increase in the mRNA levels of TSPO, StAR, 5α-RI and 5α-RII 28 days after injury. Our results suggest that in the acute phase after SCI, the increased expression of TSPO and 5α-RII may represent a protective endogenous response against tissue injury, which is not maintained in the chronic allodynic phase. PG may favor local steroidogenesis and the production of its reduced metabolites, which could contribute to the antiallodynic effects observed after PG treatment. Fil: Coronel, Maria Florencia. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; ArgentinaFil: Sánchez Granel, María Luz. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; ArgentinaFil: Raggio, María Celeste. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; ArgentinaFil: Adler, Natalia Sol. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; ArgentinaFil: de Nicola, Alejandro Federico. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; ArgentinaFil: Labombarda, Maria Florencia. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; Argentina. Universidad de Buenos Aires. Facultad de Medicina. Departamento de Bioquímica Humana; ArgentinaFil: Gonzalez, Susana Laura. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; Argentina. Universidad de Buenos Aires. Facultad de Medicina. Departamento de Bioquímica Humana; Argentin

Cardiovascular abnormalities and impaired exercise performance in adolescents with congenital adrenal hyperplasia

Context: Patients with classic Congenital Adrenal Hyperplasia (CAH) are treated with lifelong glucocorticoids (GCS). Cardiovascular (CV) and metabolic effects of such therapy in adolescents have never been quantified. Objective: To investigate left ventricular (LV) morphology, function and exercise performance in adolescents with CAH. Design and Setting: cross-sectional and controlled study conducted at a tertiary referral centre. Patients: Twenty patients with classic CAH (10 females) aged 13.6±2.5 years and 20 healthy controls comparable for sex and pubertal status were enrolled in the study and compared to a group of 18 patients without CAH receiving a similar dose of GCS for Juvenile Idiopathic Arthritis (JIA). Main Outcomes Measures: Echocardiographic assessment and symptom-limited exercise testing were performed. Anthropometric, hormonal and biochemical parameters were also measured. Results: Compared to healthy controls, patients with CAH exhibited an increased BMI (p<0.001), waist-to-height ratio (p<0.001), percentage of body fat (p<0.001) as well as higher insulin concentrations and HOMA index even after adjustment for BMI (p=0.03 and p=0.05, respectively). Moreover, CAH patients exhibited an impaired exercise capacity as shown by reduced peak workload (99±27 vs 126±27 W, p<0.01) and higher systolic blood pressure response at peak (156±18 vs 132±11 mmHg, p<0.01; Δ=45±24 vs 22±10 mmHg, p=0.05) with respect to healthy controls. CAH males displayed mild LV diastolic dysfunction as documented by significant prolongation of both isovolumic relaxation time (IRT) (118±18 vs 98±11ms, p<0.05) and mitral deceleration time (MDT) (138±25 vs 111±15 ms, p<0.01). No significant differences in CV function were found between CAH and JIA patients. Conclusion: Adolescents with CAH exhibit impaired exercise performance and enhanced systolic blood pressure response during exercise. In our population, such abnormalities appear related to GCS therapy rather than CAH per se. CAH males, but no females, present mild LV diastolic dysfunction that correlates with testosterone concentrations suggesting a sex hormone related difference