GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

We present the main concepts, components, and usage of GASOL, a Gas AnalysiS and Optimization tooL for Ethereum smart contracts. GASOL offers a wide variety of cost models that allow inferring the gas consumption associated to selected types of EVM instructions and/or inferring the number of times that such types of bytecode instructions are executed. Among others, we have cost models to measure only storage opcodes, to measure a selected family of gas-consumption opcodes following the Ethereum's classification, to estimate the cost of a selected program line, etc. After choosing the desired cost model and the function of interest, GASOL returns to the user an upper bound of the cost for this function. As the gas consumption is often dominated by the instructions that access the storage, GASOL uses the gas analysis to detect under-optimized storage patterns, and includes an (optional) automatic optimization of the selected function. Our tool can be used within an Eclipse plugin for Solidity which displays the gas and instructions bounds and, when applicable, the gas-optimized Solidity function

Diseño de una metodología para la implantación de herramientas automáticas de corrección de estilo y buenas prácticas en asignaturas de programación

Depto. de Sistemas Informáticos y ComputaciónFac. de InformáticaFALSEsubmitte

Different HCV Exposure Drives Specific miRNA Profile in PBMCs of HIV Patients

Micro RNAs (miRNAs) are essential players in HIV and HCV infections, as both viruses modulate cellular miRNAs and interact with the miRNA-mediated host response. We aim to analyze the miRNA profile of HIV patients with different exposure to HCV to explore specific signatures in the miRNA profile of PBMCs for each type of infection. We massively sequenced small RNAs of PBMCs from 117 HIV+ infected patients: 45 HIV+ patients chronically infected with HCV (HIV/HCV+), 36 HIV+ that spontaneously clarified HCV after acute infection (HIV/HCV-) and 36 HIV+ patients without previous HCV infection (HIV). Thirty-two healthy patients were used as healthy controls (HC). Differential expression analysis showed significantly differentially expressed (SDE) miRNAs in HIV/HCV+ (n = 153), HIV/HCV- (n = 169) and HIV (n = 153) patients. We found putative dysregulated pathways, such as infectious-related and PI3K signaling pathways, common in all contrasts. Specifically, putatively targeted genes involved in antifolate resistance (HIV/HV+), cancer-related pathways (HIV/HCV-) and HIF-signaling (HIV) were identified, among others. Our findings revealed that HCV strongly influences the expression profile of PBMCs from HIV patients through the disruption of its miRNome. Thus, different HCV exposure can be identified by specific miRNA signatures in PBMCs.This work has been supported by grants from Institute of Health Carlos III, [PI15CIII/00031 and PI18CIII/00020/ to AFR and VB] and the Foundation Universidad Alfonso X el Sabio-Santander [grant number 1.010.932 to AFR] and the Spanish AIDS Research Network (RD16CIII/0002/0002), and Centro de Investigación Biomédica en Red (CIBER) en Enfermedades Infecciosas (CB21/13/00044). AFR is supported by the Miguel Servet programme from Fondo de Investigación Sanitaria (ISCIII) [CP14/CIII/00010 and CPII20CIII/0001].info:eu-repo/semantics/publishedVersio

Usos del e-learning en las Universidades Andaluzas: Estado de la situación y análisis de buenas prácticas. (Versión completa)

Secretaría General de Universidades, Investigación y Tecnología P07-SE-J.0267

Treatment with tocilizumab or corticosteroids for COVID-19 patients with hyperinflammatory state: a multicentre cohort study (SAM-COVID-19)

Objectives: The objective of this study was to estimate the association between tocilizumab or corticosteroids and the risk of intubation or death in patients with coronavirus disease 19 (COVID-19) with a hyperinflammatory state according to clinical and laboratory parameters. Methods: A cohort study was performed in 60 Spanish hospitals including 778 patients with COVID-19 and clinical and laboratory data indicative of a hyperinflammatory state. Treatment was mainly with tocilizumab, an intermediate-high dose of corticosteroids (IHDC), a pulse dose of corticosteroids (PDC), combination therapy, or no treatment. Primary outcome was intubation or death; follow-up was 21 days. Propensity score-adjusted estimations using Cox regression (logistic regression if needed) were calculated. Propensity scores were used as confounders, matching variables and for the inverse probability of treatment weights (IPTWs). Results: In all, 88, 117, 78 and 151 patients treated with tocilizumab, IHDC, PDC, and combination therapy, respectively, were compared with 344 untreated patients. The primary endpoint occurred in 10 (11.4%), 27 (23.1%), 12 (15.4%), 40 (25.6%) and 69 (21.1%), respectively. The IPTW-based hazard ratios (odds ratio for combination therapy) for the primary endpoint were 0.32 (95%CI 0.22-0.47; p < 0.001) for tocilizumab, 0.82 (0.71-1.30; p 0.82) for IHDC, 0.61 (0.43-0.86; p 0.006) for PDC, and 1.17 (0.86-1.58; p 0.30) for combination therapy. Other applications of the propensity score provided similar results, but were not significant for PDC. Tocilizumab was also associated with lower hazard of death alone in IPTW analysis (0.07; 0.02-0.17; p < 0.001). Conclusions: Tocilizumab might be useful in COVID-19 patients with a hyperinflammatory state and should be prioritized for randomized trials in this situatio

Role of age and comorbidities in mortality of patients with infective endocarditis

[Purpose]: The aim of this study was to analyse the characteristics of patients with IE in three groups of age and to assess the ability of age and the Charlson Comorbidity Index (CCI) to predict mortality. [Methods]: Prospective cohort study of all patients with IE included in the GAMES Spanish database between 2008 and 2015.Patients were stratified into three age groups:<65 years,65 to 80 years,and ≥ 80 years.The area under the receiver-operating characteristic (AUROC) curve was calculated to quantify the diagnostic accuracy of the CCI to predict mortality risk. [Results]: A total of 3120 patients with IE (1327 < 65 years;1291 65-80 years;502 ≥ 80 years) were enrolled.Fever and heart failure were the most common presentations of IE, with no differences among age groups.Patients ≥80 years who underwent surgery were significantly lower compared with other age groups (14.3%,65 years; 20.5%,65-79 years; 31.3%,≥80 years). In-hospital mortality was lower in the <65-year group (20.3%,<65 years;30.1%,65-79 years;34.7%,≥80 years;p < 0.001) as well as 1-year mortality (3.2%, <65 years; 5.5%, 65-80 years;7.6%,≥80 years; p = 0.003).Independent predictors of mortality were age ≥ 80 years (hazard ratio [HR]:2.78;95% confidence interval [CI]:2.32–3.34), CCI ≥ 3 (HR:1.62; 95% CI:1.39–1.88),and non-performed surgery (HR:1.64;95% CI:11.16–1.58).When the three age groups were compared,the AUROC curve for CCI was significantly larger for patients aged <65 years(p < 0.001) for both in-hospital and 1-year mortality. [Conclusion]: There were no differences in the clinical presentation of IE between the groups. Age ≥ 80 years, high comorbidity (measured by CCI),and non-performance of surgery were independent predictors of mortality in patients with IE.CCI could help to identify those patients with IE and surgical indication who present a lower risk of in-hospital and 1-year mortality after surgery, especially in the <65-year group