The identity type weak factorisation system

We show that the classifying category C(T)of a dependent type theory T with axioms for identity types admits a nontrivial weak factorisation system. After characterising this weak factorisation system explicitly, we relate it to the homotopy theory of groupoids

Ice Detection and Mitigation Device

A method for deicing an aerostructure includes driving a sensing current through a heater element coated to an aerostructure, the heater element having a resistance that is temperature dependent. A resistance of the heater element is monitored. It is determined whether there is icing at the heater element using the monitored resistance of the heater element. A melting current is driven through the heater element when it is determined that there is icing at the heater element

Engineering Students in a Global World: Lehigh University\u27s Global Citizenship Program

As the world grows smaller and companies become increasingly international, engineering students with a global education will be in high demand. Given the constraints of the typical undergraduate engineering curriculum, it can be extremely challenging for engineering students to participate in activities designed to promote global awareness. Lehigh University’s answer to this challenge is the Global Citizenship Program (GCP), a “backpack” program designed to be accessible to any student on campus. The “backpack” metaphor means that all students should be able to assemble their own particular mix of additional courses and experiences in order to develop a global perspective that deepens their core disciplinary training. The GCP at Lehigh provides focus and structure to engineering students, providing opportunities for study abroad and organizing their humanities and social science electives into a coherent package of curricular and co-curricular experiences that maximizes the educational potential of these few non-engineering opportunities

Weak omega-categories from intensional type theory

We show that for any type in Martin-L\"of Intensional Type Theory, the terms of that type and its higher identity types form a weak omega-category in the sense of Leinster. Precisely, we construct a contractible globular operad of definable composition laws, and give an action of this operad on the terms of any type and its identity types

Annotated Bibliography of Research in the Teaching of English

Since 2003, RTE has published the annual “Annotated Bibliography of Research in the Teaching of English,” a list of curated and annotated works reviewed and selected by a large group of dedicated educator-scholars in our field. The goal of the annual bibliography is to offer a synthesis of the research published in the area of English language arts within the past year for RTE readers’ consideration. Abstracted citations and those featured in the “Other Related Research” sections were published, either in print or online, between June 2020 and June 2021. The bibliography is divided into nine sections, with some changes to the categories this year in response to the ever-evolving nature of research in the field. Small teams of scholars with diverse research interests and background experiences in preK–16 educational settings reviewed and selected the manuscripts for each section using library databases and leading scholarly journals. Each team abstracted significant contributions to the body of peer-reviewed studies that addressed the current research questions and concerns in their topic area

Resolving the A_{FB}^b puzzle in an extra dimensional model with an extended gauge structure

It is notorious that, contrary to all other precision electroweak data, the forward-backward asymmetry for b quarks $A_{FB}^b$ measured in Z decays at LEP1 is nearly three standard deviations away from the predicted value in the Standard Model; significant deviations also occur in measurements of the asymmetry off the Z pole. We show that these discrepancies can be resolved in a variant of the Randall-Sundrum extra-dimensional model in which the gauge structure is extended to $SU(2)_L \times SU(2)_R \times U(1)_X$ to allow for relatively light Kaluza-Klein excitations of the gauge bosons. In this scenario, the fermions are localized differently along the extra dimension, in order to generate the fermion mass hierarchies, so that the electroweak interactions for the heavy third generation fermions are naturally different from the light fermion ones. We show that the mixing between the Z boson with the Kaluza-Klein excitations allows to explain the $A_{FB}^b$ anomaly without affecting (and even improving) the agreement of the other precision observables, including the $Z \to bb$ partial decay width, with experimental data. Some implications of this scenario for the ILC are summarized.Comment: 23 pages, 5 figure

Sympathetic nervous activation, mitochondrial dysfunction and outcome in acutely decompensated cirrhosis: the metabolomic prognostic models (CLIF-C MET)

Background and aims Current prognostic scores of patients with acutely decompensated cirrhosis (AD), particularly those with acute-on-chronic liver failure (ACLF), underestimate the risk of mortality. This is probably because systemic inflammation (SI), the major driver of AD/ACLF, is not reflected in the scores. SI induces metabolic changes, which impair delivery of the necessary energy for the immune reaction. This investigation aimed to identify metabolites associated with short-term (28-day) death and to design metabolomic prognostic models. Methods Two prospective multicentre large cohorts from Europe for investigating ACLF and development of ACLF, CANONIC (discovery, n=831) and PREDICT (validation, n=851), were explored by untargeted serum metabolomics to identify and validate metabolites which could allow improved prognostic modelling. Results Three prognostic metabolites strongly associated with death were selected to build the models. 4-Hydroxy-3-methoxyphenylglycol sulfate is a norepinephrine derivative, which may be derived from the brainstem response to SI. Additionally, galacturonic acid and hexanoylcarnitine are associated with mitochondrial dysfunction. Model 1 included only these three prognostic metabolites and age. Model 2 was built around 4-hydroxy-3-methoxyphenylglycol sulfate, hexanoylcarnitine, bilirubin, international normalised ratio (INR) and age. In the discovery cohort, both models were more accurate in predicting death within 7, 14 and 28 days after admission compared with MELDNa score (C-index: 0.9267, 0.9002 and 0.8424, and 0.9369, 0.9206 and 0.8529, with model 1 and model 2, respectively). Similar results were found in the validation cohort (C-index: 0.940, 0.834 and 0.791, and 0.947, 0.857 and 0.810, with model 1 and model 2, respectively). Also, in ACLF, model 1 and model 2 outperformed MELDNa 7, 14 and 28 days after admission for prediction of mortality. Conclusions Models including metabolites (CLIF-C MET) reflecting SI, mitochondrial dysfunction and sympathetic system activation are better predictors of short-term mortality than scores based only on organ dysfunction (eg, MELDNa), especially in patients with ACLF

Sympathetic nervous activation, mitochondrial dysfunction and outcome in acutely decompensated cirrhosis: the metabolomic prognostic models (CLIF-C MET)

Background and aims: Current prognostic scores of patients with acutely decompensated cirrhosis (AD), particularly those with acute-on-chronic liver failure (ACLF), underestimate the risk of mortality. This is probably because systemic inflammation (SI), the major driver of AD/ACLF, is not reflected in the scores. SI induces metabolic changes, which impair delivery of the necessary energy for the immune reaction. This investigation aimed to identify metabolites associated with short-term (28-day) death and to design metabolomic prognostic models. Methods: Two prospective multicentre large cohorts from Europe for investigating ACLF and development of ACLF, CANONIC (discovery, n=831) and PREDICT (validation, n=851), were explored by untargeted serum metabolomics to identify and validate metabolites which could allow improved prognostic modelling. Results: Three prognostic metabolites strongly associated with death were selected to build the models. 4-Hydroxy-3-methoxyphenylglycol sulfate is a norepinephrine derivative, which may be derived from the brainstem response to SI. Additionally, galacturonic acid and hexanoylcarnitine are associated with mitochondrial dysfunction. Model 1 included only these three prognostic metabolites and age. Model 2 was built around 4-hydroxy-3-methoxyphenylglycol sulfate, hexanoylcarnitine, bilirubin, international normalised ratio (INR) and age. In the discovery cohort, both models were more accurate in predicting death within 7, 14 and 28 days after admission compared with MELDNa score (C-index: 0.9267, 0.9002 and 0.8424, and 0.9369, 0.9206 and 0.8529, with model 1 and model 2, respectively). Similar results were found in the validation cohort (C-index: 0.940, 0.834 and 0.791, and 0.947, 0.857 and 0.810, with model 1 and model 2, respectively). Also, in ACLF, model 1 and model 2 outperformed MELDNa 7, 14 and 28 days after admission for prediction of mortality. Conclusions: Models including metabolites (CLIF-C MET) reflecting SI, mitochondrial dysfunction and sympathetic system activation are better predictors of short-term mortality than scores based only on organ dysfunction (eg, MELDNa), especially in patients with ACLF

PREDICT identifies precipitating events associated with the clinical course of acutely decompensated cirrhosis

Background & Aims: Acute decompensation (AD) of cirrhosis may present without acute-on-chronic liver failure (ACLF) (ADNo ACLF), or with ACLF (AD-ACLF), defined by organ failure(s). Herein, we aimed to analyze and characterize the precipitants leading to both of these AD phenotypes. Methods: The multicenter, prospective, observational PREDICT study (NCT03056612) included 1,273 non-electively hospitalized patients with AD (No ACLF = 1,071; ACLF = 202). Medical history, clinical data and laboratory data were collected at enrolment and during 90-day follow-up, with particular attention given to the following characteristics of precipitants: induction of organ dysfunction or failure, systemic inflammation, chronology, intensity, and relationship to outcome. Results: Among various clinical events, 4 distinct events were precipitants consistently related to AD: proven bacterial infections, severe alcoholic hepatitis, gastrointestinal bleeding with shock and toxic encephalopathy. Among patients with precipitants in the AD-No ACLF cohort and the AD-ACLF cohort (38% and 71%, respectively), almost all (96% and 97%, respectively) showed proven bacterial infection and severe alcoholic hepatitis, either alone or in combination with other events. Survival was similar in patients with proven bacterial infections or severe alcoholic hepatitis in both AD phenotypes. The number of precipitants was associated with significantly increased 90day mortality and was paralleled by increasing levels of surrogates for systemic inflammation. Importantly, adequate first-line antibiotic treatment of proven bacterial infections was associated with a lower ACLF development rate and lower 90-day mortality. Conclusions: This study identified precipitants that are significantly associated with a distinct clinical course and prognosis in patients with AD. Specific preventive and therapeutic strategies targeting these events may improve outcomes in patients with decompensated cirrhosis. Lay summary: Acute decompensation (AD) of cirrhosis is characterized by a rapid deterioration in patient health. Herein, we aimed to analyze the precipitating events that cause AD in patients with cirrhosis. Proven bacterial infections and severe alcoholic hepatitis, either alone or in combination, accounted for almost all (96-97%) cases of AD and acute-on-chronic liver failure. Whilst the type of precipitant was not associated with mortality, the number of precipitant(s) was. This study identified precipitants that are significantly associated with a distinct clinical course and prognosis of patients with AD. Specific preventive and therapeutic strategies targeting these events may improve patient outcomes. (c) 2020 European Association for the Study of the Liver. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)