HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications. HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius.Comment: In Proceedings LAFM 2013, arXiv:1401.056

A New Type of Supramolecular Fluid Based on H₂O-Alkylammonium/Phosphonium Solutions

Here we show that by adjusting the concentration of tetrabutyl ammonium and phosphonium salts in water (approximate to 1.5-2.0 m), hydrophobic solvation triggers the formation of a unique, highly incompressible supramolecular liquid, with a dynamic structure similar to clathrates, involving essentially all H2O molecules of the solvent. Despite the increasing local order, the thermal diffusivity, and compressibility of these supramolecular liquids is strongly decreased with respect to bulk water due to slower relaxation dynamics. The results presented in this paper open an avenue to design a new family of supramolecular fluids, stable under atmospheric conditions, which can find important technological applications in energy storage and conversion

Comparing the utility of clinical risk scores and integrated clinical judgement in patients with suspected acute coronary syndrome

Aims The utility of clinical risk scores regarding the prediction of major adverse cardiac events (MACE) is uncertain. We aimed to directly compare the prognostic performance of five established clinical risk scores as well as an unstructured integrated clinical judgement (ICJ) of the treating emergency department (ED) physician. Methods and results Thirty-day MACE including all-cause death, life-threatening arrhythmia, cardiogenic shock, acute myocardial infarction (including the index event), and unstable angina requiring urgent coronary revascularization were centrally adjudicated by two independent cardiologists in patients presenting to the ED with acute chest discomfort in an international multicentre study. We compared the prognostic performance of the HEART score, GRACE score, T-MACS, TIMI score, and EDACS, as well as the unstructured ICJ of the treating ED physician (visual analogue scale to estimate the probability of acute coronary syndrome, ranging from 0 to 100). Among 4551 eligible patients, 1110/4551 patients (24.4%) had at least one MACE within 30 days. Prognostic accuracy was high and comparable for the HEART score, GRACE score, T-MACS, and ICJ [area under the receiver operating characteristic curve (AUC) 0.85–0.87] but significantly lower and only moderate for the TIMI score (AUC 0.79, P < 0.001) and EDACS (AUC 0.74, P < 0.001), resulting in sensitivities for the rule-out of 30-day MACE of 93–96, 87 (P < 0.001), and 72% (P < 0.001), respectively. Conclusion The HEART score, GRACE score, T-MACS, and unstructured ICJ of the treating physician, not the TIMI score or EDACS, performed well for the prediction of 30-day MACE and may be considered for routine clinical use. Trial registration ClinicalTrials.gov number NCT0047058

Dopaminergic control of ADAMTS2 expression through cAMP/CREB and ERK: molecular effects of antipsychotics

© The Author(s) 2019.A better understanding of the molecular mechanisms that participate in the development and clinical manifestations of schizophrenia can lead to improve our ability to diagnose and treat this disease. Previous data strongly associated the levels of deregulated ADAMTS2 expression in peripheral blood mononuclear cells (PBMCs) from patients at first episode of psychosis (up) as well as in clinical responders to treatment with antipsychotic drugs (down). In this current work, we performed an independent validation of such data and studied the mechanisms implicated in the control of ADAMTS2 gene expression. Using a new cohort of drug-naïve schizophrenia patients with clinical follow-up, we confirmed that the expression of ADAMTS2 was highly upregulated in PBMCs at the onset (drug-naïve patients) and downregulated, in clinical responders, after treatment with antipsychotics. Mechanistically, ADAMTS2 expression was activated by dopaminergic signalling (D1-class receptors) and downstream by cAMP/CREB and mitogen-activated protein kinase (MAPK)/ERK signalling. Incubation with antipsychotic drugs and selective PKA and MEK inhibitors abrogated D1-mediated activation of ADAMTS2 in neuronal-like cells. Thus, D1 receptors signalling towards CREB activation might participate in the onset and clinical responses to therapy in schizophrenia patients, by controlling ADAMTS2 expression and activity. The unbiased investigation of molecular mechanisms triggered by antipsychotic drugs may provide a new landscape of novel targets potentially associated with clinical efficacy.This work was supported by: SAF2016-76046-R and SAF2013-46292-R (MINECO and FEDER) to B.C.F., PI16/00156 (isciii and FEDER) to J.P.V., LUCHAMOS POR LA VIDA project to F.R.J. and J.P.V., SAF2017-83702-R (MINECO and FEDER), Red TERCEL RD12/0019/0024 (ISCIII) and GVA-PROMETEO 2018/041 (Generalitat Valenciana) to S.M. J.P.V. is supported by the RyC research programme (RYC-2013-14097) and F.R.J. by the predoctoral research programme (BES-2014-070615), from MINECO and FEDER

The Mars Environmental Dynamics Analyzer, MEDA. A Suite of Environmental Sensors for the Mars 2020 Mission

86 pags., 49 figs., 24 tabs.NASA’s Mars 2020 (M2020) rover mission includes a suite of sensors to monitor current environmental conditions near the surface of Mars and to constrain bulk aerosol properties from changes in atmospheric radiation at the surface. The Mars Environmental Dynamics Analyzer (MEDA) consists of a set of meteorological sensors including wind sensor, a barometer, a relative humidity sensor, a set of 5 thermocouples to measure atmospheric temperature at ∼1.5 m and ∼0.5 m above the surface, a set of thermopiles to characterize the thermal IR brightness temperatures of the surface and the lower atmosphere. MEDA adds a radiation and dust sensor to monitor the optical atmospheric properties that can be used to infer bulk aerosol physical properties such as particle size distribution, non-sphericity, and concentration. The MEDA package and its scientific purpose are described in this document as well as how it responded to the calibration tests and how it helps prepare for the human exploration of Mars. A comparison is also presented to previous environmental monitoring payloads landed on Mars on the Viking, Pathfinder, Phoenix, MSL, and InSight spacecraft.This work has been funded by the Spanish Ministry of Economy and Competitiveness, through the projects No. ESP2014-54256-C4-1-R (also -2-R, -3-R and -4-R) and AYA2015-65041-P; Ministry of Science, Innovation and Universities, projects No. ESP2016-79612-C3-1-R (also -2-R and -3-R), ESP2016-80320-C2-1-R, RTI2018-098728-B-C31 (also -C32 and -C33) and RTI2018-099825-B-C31; Instituto Nacional de Técnica Aeroespacial; Ministry of Science and Innovation’s Centre for the Development of Industrial Technology; Grupos Gobierno Vasco IT1366-19; and European Research Council Consolidator Grant no 818602. The US co-authors performed their work under sponsorship from NASA’s Mars 2020 project, from the Game Changing Development program within the Space Technology Mission Directorate and from the Human Exploration and Operations Directorate

Distribution of GABAergic Interneurons and Dopaminergic Cells in the Functional Territories of the Human Striatum

BACKGROUND: The afferent projections of the striatum (caudate nucleus and putamen) are segregated in three territories: associative, sensorimotor and limbic. Striatal interneurons are in part responsible for the integration of these different types of information. Among them, GABAergic interneurons are the most abundant, and can be sorted in three populations according to their content in the calcium binding proteins calretinin (CR), parvalbumin (PV) and calbindin (CB). Conversely, striatal dopaminergic cells (whose role as interneurons is still unclear) are scarce. This study aims to analyze the interneuron distribution in the striatal functional territories, as well as their organization regarding to the striosomal compartment. METHODOLOGY/PRINCIPAL FINDINGS: We used immunohistochemical methods to visualize CR, PV, CB and tyrosine hydroxylase (TH) positive striatal neurons. The interneuronal distribution was assessed by stereological methods applied to every striatal functional territory. Considering the four cell groups altogether, their density was higher in the associative (2120±91 cells/mm(3)) than in the sensorimotor (959±47 cells/mm(3)) or limbic (633±119 cells/mm(3)) territories. CB- and TH-immunoreactive(-ir) cells were distributed rather homogeneously in the three striatal territories. However, the density of CR and PV interneurons were more abundant in the associative and sensorimotor striatum, respectively. Regarding to their compartmental organization, CR-ir interneurons were frequently found in the border between compartments in the associative and sensorimotor territories, and CB-ir interneurons abounded at the striosome/matrix border in the sensorimotor domain. CONCLUSIONS/SIGNIFICANCE: The present study demonstrates that the architecture of the human striatum in terms of its interneuron composition varies in its three functional territories. Furthermore, our data highlight the importance of CR-ir striatal interneurons in the integration of associative information, and the selective role of PV-ir interneurons in the motor territory. On the other hand, the low density of dopaminergic cells casts doubts about their role in the normal human striatum

CIBERER : Spanish national network for research on rare diseases: A highly productive collaborative initiative

Altres ajuts: Instituto de Salud Carlos III (ISCIII); Ministerio de Ciencia e Innovación.CIBER (Center for Biomedical Network Research; Centro de Investigación Biomédica En Red) is a public national consortium created in 2006 under the umbrella of the Spanish National Institute of Health Carlos III (ISCIII). This innovative research structure comprises 11 different specific areas dedicated to the main public health priorities in the National Health System. CIBERER, the thematic area of CIBER focused on rare diseases (RDs) currently consists of 75 research groups belonging to universities, research centers, and hospitals of the entire country. CIBERER's mission is to be a center prioritizing and favoring collaboration and cooperation between biomedical and clinical research groups, with special emphasis on the aspects of genetic, molecular, biochemical, and cellular research of RDs. This research is the basis for providing new tools for the diagnosis and therapy of low-prevalence diseases, in line with the International Rare Diseases Research Consortium (IRDiRC) objectives, thus favoring translational research between the scientific environment of the laboratory and the clinical setting of health centers. In this article, we intend to review CIBERER's 15-year journey and summarize the main results obtained in terms of internationalization, scientific production, contributions toward the discovery of new therapies and novel genes associated to diseases, cooperation with patients' associations and many other topics related to RD research

Outcomes from elective colorectal cancer surgery during the SARS-CoV-2 pandemic

This study aimed to describe the change in surgical practice and the impact of SARS-CoV-2 on mortality after surgical resection of colorectal cancer during the initial phases of the SARS-CoV-2 pandemic