Models of Martin-Löf Type Theory from Algebraic Weak Factorisation Systems

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-Löf type theory. This is done by showing that the comprehension category associated to a type-theoretic algebraic weak factorisation system satisfies the assumptions necessary to apply a right adjoint method for splitting comprehension categories. We then provide methods for constructing several examples of type-theoretic algebraic weak factorisation systems, encompassing the existing groupoid and cubical sets models, as well as new models based on normal fibrations

Study of Cocoa Pod Husks Thermal Decomposition

Thermal decomposition of cocoa pod husks under inert and oxidizing atmospheres was studied. Samples from Cotopaxi, Ecuador were used as raw material. Thermogravimetry based experiments were used to obtain decomposition data vs. temperature. A novel strategy to fit the TG and DTG curves was used giving good fit by considering, in the kinetic model, four biomass fractions following independent reactions. Analytical pyrolysis was used to determine the composition of volatile compounds obtained in slow (150–350, 350–500 °C) and flash pyrolysis (400 °C). The results indicate that in the slow pyrolysis experiments at low temperatures (150–350 °C), the highest area percentages correspond to ketones (7.5%), organic acids (12.5%) and phenolic derivatives (10%), while at increased temperatures (350–500 °C) the higher percentages are clearly focused on phenolic derivatives (12%) and aromatic compounds (10%). Comparing the results of flash pyrolysis at 400 °C (i.e., higher heating rate but lower final temperature), an increase in the yield of ketones and organic acids is observed compared to slow pyrolysis, but the percentage of phenols and aromatics decreases. The results obtained allow deducing the operating conditions to maximize the mass fraction of the different functional groups identified.This research was funded by “Conselleria d’Educació, Investigació, Cultura i Esport” (IDIFEDER 2018/009), “Universidad Central del Ecuador” (International Collaboration Agreement No 061-P-05) and “Universidad de Alicante” (UA grant ‘Development Cooperation’ BOUA 5/05/2021)

Virtual and Augmented Reality Therapy Framework for Phobia Treatment

Phobias are a common type of anxiety disorder that affects a great number of people. Treating phobias is not always straightforward and require a significant effort from both the patient and the therapist. In recent years, Virtual Reality Exposure Therapy and Augmented Reality Exposure Therapy have emerged to help in phobia treatments by using virtual content. However, most available systems are not free and require expensive hardware. In this paper, we present a free and open-source framework for phobia treatment, designed for both the therapist and the patient. A Virtual Reality scenario for acrophobia (fear of heights) and an Augmented Reality scenario for arachnophobia were developed for validation.XVI Workshop Computación Gráfica, Imágenes y Visualización (WCGIV)Red de Universidades con Carreras en Informática (RedUNCI

Virtual and Augmented Reality Therapy Framework for Phobia Treatment

Phobias are a common type of anxiety disorder that affects a great number of people. Treating phobias is not always straightforward and require a significant effort from both the patient and the therapist. In recent years, Virtual Reality Exposure Therapy and Augmented Reality Exposure Therapy have emerged to help in phobia treatments by using virtual content. However, most available systems are not free and require expensive hardware. In this paper, we present a free and open-source framework for phobia treatment, designed for both the therapist and the patient. A Virtual Reality scenario for acrophobia (fear of heights) and an Augmented Reality scenario for arachnophobia were developed for validation.XVI Workshop Computación Gráfica, Imágenes y Visualización (WCGIV)Red de Universidades con Carreras en Informática (RedUNCI

Implementing the weakest failure detector for solving consensus

The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to solve several agreement problems, such as the consensus problem. In this paper, algorithms that implement failure detectors in partially synchronous systems are presented. First two simple algorithms of the weakest class to solve the consensus problem, namely the Eventually Strong class (⋄S), are presented. While the first algorithm is wait-free, the second algorithm is f-resilient, where f is a known upper bound on the number of faulty processes. Both algorithms guarantee that, eventually, all the correct processes agree permanently on a common correct process, i.e. they also implement a failure detector of the class Omega (Ω). They are also shown to be optimal in terms of the number of communication links used forever. Additionally, a wait-free algorithm that implements a failure detector of the Eventually Perfect class (⋄P) is presented. This algorithm is shown to be optimal in terms of the number of bidirectional links used forever

Tumor necrosis factor alpha gene expression and the response to interferon in chronic hepatitis C

Tumor necrosis factor alpha (TNF-alpha) is a cytokine with pleiotropic properties that is induced in a variety of pathological situations including viral infections. In this work, we analyzed the expression of TNF-alpha gene in patients with chronic hepatitis C. Serum TNF-alpha levels were found to be elevated in all chronic hepatitis C patients including those cases presenting sustained biochemical remission of the disease after interferon therapy. Untreated patients with chronic hepatitis C showed increased TNF-alpha messenger RNA (mRNA) levels in the liver and mononuclear cells as compared with healthy controls. After completion of treatment with interferon, patients experiencing sustained complete response showed values of TNF-alpha mRNA, both in the liver and in peripheral mononuclear cells, within the normal range, significantly lower than patients who did not respond to interferon and than those with complete response who relapsed after interferon withdrawal. Pretreatment values of TNF-alpha mRNA were lower in long-term responders to interferon than in cases who failed to respond to the treatment. Values of TNF-alpha mRNA in the liver or in mononuclear cells were higher in specimens with positive hepatitis C virus (HCV) RNA than in those samples where the virus was undetectable. Neither the intensity of the liver damage nor the amount of HCV RNA in serum or in cells showed correlation with the levels of TNF-alpha transcripts in peripheral mononuclear cells but it was found that high TNF-alpha values were associated with genotype 1b. In conclusion, there is an enhanced expression of TNF-alpha in HCV infection. High levels of this cytokine may play a role in the resistance to interferon therapy

Peru-China international trade and its effect on inclusive economic growth in Peru 2000-2019

From 2000 to 2019, trade between the People's Republic of China and the Republic of Peru grew at an average annual rate of 22%, however, income and wealth inequality in Peru remained the same. The aim of this study is to understand the effect of trade between Peru and China on the inclusive economic growth of Peru from 2000 to 2019. The method used was the correlation of variables, and a linear regression between Peru and China trade and several indicators of inclusive economic growth in the Peruvian economy was performed using the Ordinary Least Squares model. The results suggest that there is sufficient statistical evidence to support that inclusive economic growth may depend on increased trade between Peru and China; the study show that if trade growth between Peru and China fluctuates by $1 million per year, labor income will increase by$10.3 per capita in the Economically Active Population (EAP). Moreover, for every 1% increase in trade between Peru and China, GDP per capita increases by 0.1057% and labor productivity increases by 0.0681740%. The variables poverty, vulnerable employment, GINI index and life expectancy at birth were not significant factors

Five-year follow-up mortality prognostic index for colorectal patients

Purpose: To identify 5-year survival prognostic variables in patients with colorectal cancer (CRC) and to propose a survival prognostic score that also takes into account changes over time in the patient's health-related quality of life (HRQoL) status. Methods: Prospective observational cohort study of CRC patients. We collected data from their diagnosis, intervention, and at 1, 2, 3, and 5 years following the index intervention, also collecting HRQoL data using the EuroQol-5D-5L (EQ-5D-5L), European Organization for Research and Treatment of Cancer's Quality of Life Questionnaire-Core 30 (EORTC-QLQ-C30), and Hospital Anxiety and Depression Scale (HADS) questionnaires. Multivariate Cox proportional models were used. Results: We found predictors of mortality over the 5-year follow-up to be being older; being male; having a higher TNM stage; having a higher lymph node ratio; having a result of CRC surgery classified as R1 or R2; invasion of neighboring organs; having a higher score on the Charlson comorbidity index; having an ASA IV; and having worse scores, worse quality of life, on the EORTC and EQ-5D questionnaires, as compared to those with higher scores in each of those questionnaires respectively. Conclusions: These results allow preventive and controlling measures to be established on long-term follow-up of these patients, based on a few easily measurable variables. Implications for cancer survivors: Patients with colorectal cancer should be monitored more closely depending on the severity of their disease and comorbidities as well as the perceived health-related quality of life, and preventive measures should be established to prevent adverse outcomes and therefore to ensure that better treatment is received. Trial registration: ClinicalTrials.gov identifier: NCT02488161Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. This work was supported in part by grants from the Instituto de Salud Carlos III and the European Regional Development Fund (PS09/00314, PS09/00910, PS09/00746, PS09/00805, PI09/90460, PI09/90490, PI09/90453, PI09/90441, PI09/90397); the Spanish Ministry of the Economy (PID2020-115738 GB-I00); the Departments of Health (2010111098) and Education, Language Policy and Culture (IT1456-22; IT1598-22; IT-1187–19) of the Basque Government; the Research Committee of Galdakao Hospital; the REDISSEC (Red de Investigación en Servicios de Salud en Enfermedades Crónicas) thematic network of the Instituto de Salud Carlos III; and the Department of Education of the Basque Government through the Consolidated Research Group MATHMODE (IT1456-22) and the Basque Government through BMTF “Mathematical Modeling Applied to Health” Project

Clinical prediction rules for adverse evolution in patients with COVID-19 by the Omicron variant

Objective: We identify factors related to SARS-CoV-2 infection linked to hospitalization, ICU admission, and mortality and develop clinical prediction rules. Methods: Retrospective cohort study of 380,081 patients with SARS-CoV-2 infection from March 1, 2020 to January 9, 2022, including a subsample of 46,402 patients who attended Emergency Departments (EDs) having data on vital signs. For derivation and external validation of the prediction rule, two different periods were considered: before and after emergence of the Omicron variant, respectively. Data collected included sociodemographic data, COVID-19 vaccination status, baseline comorbidities and treatments, other background data and vital signs at triage at EDs. The predictive models for the EDs and the whole samples were developed using multivariate logistic regression models using Lasso penalization. Results: In the multivariable models, common predictive factors of death among EDs patients were greater age; being male; having no vaccination, dementia; heart failure; liver and kidney disease; hemiplegia or paraplegia; coagulopathy; interstitial pulmonary disease; malignant tumors; use chronic systemic use of steroids, higher temperature, low O2 saturation and altered blood pressure-heart rate. The predictors of an adverse evolution were the same, with the exception of liver disease and the inclusion of cystic fibrosis. Similar predictors were found to be related to hospital admission, including liver disease, arterial hypertension, and basal prescription of immunosuppressants. Similarly, models for the whole sample, without vital signs, are presented. Conclusions: We propose risk scales, based on basic information, easily-calculable, high-predictive that also function with the current Omicron variant and may help manage such patients in primary, emergency, and hospital care. Keywords: COVID-19; Clinical decision rules; Health care; Outcome assessment; SARS-CoV-2