Cakes That Bake Cakes: Dynamic Computation in CakeML

We have extended the verified CakeML compiler with a new language primitive, Eval, which permits evaluation of new CakeML syntax at runtime. This new implementation supports an ambitious form of compilation at runtime and dynamic execution, where the original and dynamically added code can share (higher-order) values and recursively call each other. This is, to our knowledge, the first verified run-Time environment capable of supporting a standard LCF-style theorem prover design. Modifying the modern CakeML compiler pipeline and proofs to support a dynamic computation semantics was an extensive project. We review the design decisions, proof techniques, and proof engineering lessons from the project, and highlight some unexpected complications

Distinctive Left-Sided Distribution of Adrenergic-Derived Cells in the Adult Mouse Heart

Adrenaline and noradrenaline are produced within the heart from neuronal and non-neuronal sources. These adrenergic hormones have profound effects on cardiovascular development and function, yet relatively little information is available about the specific tissue distribution of adrenergic cells within the adult heart. The purpose of the present study was to define the anatomical localization of cells derived from an adrenergic lineage within the adult heart. To accomplish this, we performed genetic fate-mapping experiments where mice with the cre-recombinase (Cre) gene inserted into the phenylethanolamine-n-methyltransferase (Pnmt) locus were cross-mated with homozygous Rosa26 reporter (R26R) mice. Because Pnmt serves as a marker gene for adrenergic cells, offspring from these matings express the β-galactosidase (βGAL) reporter gene in cells of an adrenergic lineage. βGAL expression was found throughout the adult mouse heart, but was predominantly (89%) located in the left atrium (LA) and ventricle (LV) (p<0.001 compared to RA and RV), where many of these cells appeared to have cardiomyocyte-like morphological and structural characteristics. The staining pattern in the LA was diffuse, but the LV free wall displayed intermittent non-random staining that extended from the apex to the base of the heart, including heavy staining of the anterior papillary muscle along its perimeter. Three-dimensional computer-aided reconstruction of XGAL+ staining revealed distribution throughout the LA and LV, with specific finger-like projections apparent near the mid and apical regions of the LV free wall. These data indicate that adrenergic-derived cells display distinctive left-sided distribution patterns in the adult mouse heart

NOTCH1 Signaling Promotes Human T-Cell Acute Lymphoblastic Leukemia Initiating Cell Regeneration in Supportive Niches

Leukemia initiating cells (LIC) contribute to therapeutic resistance through acquisition of mutations in signaling pathways, such as NOTCH1, that promote self-renewal and survival within supportive niches. Activating mutations in NOTCH1 occur commonly in T cell acute lymphoblastic leukemia (T-ALL) and have been implicated in therapeutic resistance. However, the cell type and context specific consequences of NOTCH1 activation, its role in human LIC regeneration, and sensitivity to NOTCH1 inhibition in hematopoietic microenvironments had not been elucidated.We established humanized bioluminescent T-ALL LIC mouse models transplanted with pediatric T-ALL samples that were sequenced for NOTCH1 and other common T-ALL mutations. In this study, CD34(+) cells from NOTCH1(Mutated) T-ALL samples had higher leukemic engraftment and serial transplantation capacity than NOTCH1(Wild-type) CD34(+) cells in hematopoietic niches, suggesting that self-renewing LIC were enriched within the NOTCH1(Mutated) CD34(+) fraction. Humanized NOTCH1 monoclonal antibody treatment reduced LIC survival and self-renewal in NOTCH1(Mutated) T-ALL LIC-engrafted mice and resulted in depletion of CD34(+)CD2(+)CD7(+) cells that harbor serial transplantation capacity.These results reveal a functional hierarchy within the LIC population based on NOTCH1 activation, which renders LIC susceptible to targeted NOTCH1 inhibition and highlights the utility of NOTCH1 antibody targeting as a key component of malignant stem cell eradication strategies

Mortality from gastrointestinal congenital anomalies at 264 hospitals in 74 low-income, middle-income, and high-income countries: a multicentre, international, prospective cohort study

Background: Congenital anomalies are the fifth leading cause of mortality in children younger than 5 years globally. Many gastrointestinal congenital anomalies are fatal without timely access to neonatal surgical care, but few studies have been done on these conditions in low-income and middle-income countries (LMICs). We compared outcomes of the seven most common gastrointestinal congenital anomalies in low-income, middle-income, and high-income countries globally, and identified factors associated with mortality. // Methods: We did a multicentre, international prospective cohort study of patients younger than 16 years, presenting to hospital for the first time with oesophageal atresia, congenital diaphragmatic hernia, intestinal atresia, gastroschisis, exomphalos, anorectal malformation, and Hirschsprung's disease. Recruitment was of consecutive patients for a minimum of 1 month between October, 2018, and April, 2019. We collected data on patient demographics, clinical status, interventions, and outcomes using the REDCap platform. Patients were followed up for 30 days after primary intervention, or 30 days after admission if they did not receive an intervention. The primary outcome was all-cause, in-hospital mortality for all conditions combined and each condition individually, stratified by country income status. We did a complete case analysis. // Findings: We included 3849 patients with 3975 study conditions (560 with oesophageal atresia, 448 with congenital diaphragmatic hernia, 681 with intestinal atresia, 453 with gastroschisis, 325 with exomphalos, 991 with anorectal malformation, and 517 with Hirschsprung's disease) from 264 hospitals (89 in high-income countries, 166 in middle-income countries, and nine in low-income countries) in 74 countries. Of the 3849 patients, 2231 (58·0%) were male. Median gestational age at birth was 38 weeks (IQR 36–39) and median bodyweight at presentation was 2·8 kg (2·3–3·3). Mortality among all patients was 37 (39·8%) of 93 in low-income countries, 583 (20·4%) of 2860 in middle-income countries, and 50 (5·6%) of 896 in high-income countries (p<0·0001 between all country income groups). Gastroschisis had the greatest difference in mortality between country income strata (nine [90·0%] of ten in low-income countries, 97 [31·9%] of 304 in middle-income countries, and two [1·4%] of 139 in high-income countries; p≤0·0001 between all country income groups). Factors significantly associated with higher mortality for all patients combined included country income status (low-income vs high-income countries, risk ratio 2·78 [95% CI 1·88–4·11], p<0·0001; middle-income vs high-income countries, 2·11 [1·59–2·79], p<0·0001), sepsis at presentation (1·20 [1·04–1·40], p=0·016), higher American Society of Anesthesiologists (ASA) score at primary intervention (ASA 4–5 vs ASA 1–2, 1·82 [1·40–2·35], p<0·0001; ASA 3 vs ASA 1–2, 1·58, [1·30–1·92], p<0·0001]), surgical safety checklist not used (1·39 [1·02–1·90], p=0·035), and ventilation or parenteral nutrition unavailable when needed (ventilation 1·96, [1·41–2·71], p=0·0001; parenteral nutrition 1·35, [1·05–1·74], p=0·018). Administration of parenteral nutrition (0·61, [0·47–0·79], p=0·0002) and use of a peripherally inserted central catheter (0·65 [0·50–0·86], p=0·0024) or percutaneous central line (0·69 [0·48–1·00], p=0·049) were associated with lower mortality. // Interpretation: Unacceptable differences in mortality exist for gastrointestinal congenital anomalies between low-income, middle-income, and high-income countries. Improving access to quality neonatal surgical care in LMICs will be vital to achieve Sustainable Development Goal 3.2 of ending preventable deaths in neonates and children younger than 5 years by 2030

Cuerpos y prácticas: una década de estudios ctg

Resumen En este trabajo presentamos algunas investigaciones realizadas en el área de estudios sociales de la ciencia bajo el enfoque denominado Ciencia, Tecnología y Género (CTG). La intersección de los estudios sociales de la ciencia con la teoría feminista y los estudios de género ha dado lugar a este campo de estudio interdisciplinar. En el Estado español, se han llevado a cabo múltiples trabajos en esta línea, de los que exponemos algunos de los realizados por nuestro grupo de investigación al menos en los últimos diez años. Se centran en estudios de caso, que implican diferentes tecnologías biomédicas, y en los que los cuerpos juegan un papel fundamental estableciendo alianzas, resistencias o cuestionando los marcos normativos en los que cuerpos y tecnologías se hayan inmersos

Mortality from gastrointestinal congenital anomalies at 264 hospitals in 74 low-income, middle-income, and high-income countries: a multicentre, international, prospective cohort study

Summary Background Congenital anomalies are the fifth leading cause of mortality in children younger than 5 years globally. Many gastrointestinal congenital anomalies are fatal without timely access to neonatal surgical care, but few studies have been done on these conditions in low-income and middle-income countries (LMICs). We compared outcomes of the seven most common gastrointestinal congenital anomalies in low-income, middle-income, and high-income countries globally, and identified factors associated with mortality. Methods We did a multicentre, international prospective cohort study of patients younger than 16 years, presenting to hospital for the first time with oesophageal atresia, congenital diaphragmatic hernia, intestinal atresia, gastroschisis, exomphalos, anorectal malformation, and Hirschsprung’s disease. Recruitment was of consecutive patients for a minimum of 1 month between October, 2018, and April, 2019. We collected data on patient demographics, clinical status, interventions, and outcomes using the REDCap platform. Patients were followed up for 30 days after primary intervention, or 30 days after admission if they did not receive an intervention. The primary outcome was all-cause, in-hospital mortality for all conditions combined and each condition individually, stratified by country income status. We did a complete case analysis. Findings We included 3849 patients with 3975 study conditions (560 with oesophageal atresia, 448 with congenital diaphragmatic hernia, 681 with intestinal atresia, 453 with gastroschisis, 325 with exomphalos, 991 with anorectal malformation, and 517 with Hirschsprung’s disease) from 264 hospitals (89 in high-income countries, 166 in middleincome countries, and nine in low-income countries) in 74 countries. Of the 3849 patients, 2231 (58·0%) were male. Median gestational age at birth was 38 weeks (IQR 36–39) and median bodyweight at presentation was 2·8 kg (2·3–3·3). Mortality among all patients was 37 (39·8%) of 93 in low-income countries, 583 (20·4%) of 2860 in middle-income countries, and 50 (5·6%) of 896 in high-income countries (p<0·0001 between all country income groups). Gastroschisis had the greatest difference in mortality between country income strata (nine [90·0%] of ten in lowincome countries, 97 [31·9%] of 304 in middle-income countries, and two [1·4%] of 139 in high-income countries; p≤0·0001 between all country income groups). Factors significantly associated with higher mortality for all patients combined included country income status (low-income vs high-income countries, risk ratio 2·78 [95% CI 1·88–4·11], p<0·0001; middle-income vs high-income countries, 2·11 [1·59–2·79], p<0·0001), sepsis at presentation (1·20 [1·04–1·40], p=0·016), higher American Society of Anesthesiologists (ASA) score at primary intervention (ASA 4–5 vs ASA 1–2, 1·82 [1·40–2·35], p<0·0001; ASA 3 vs ASA 1–2, 1·58, [1·30–1·92], p<0·0001]), surgical safety checklist not used (1·39 [1·02–1·90], p=0·035), and ventilation or parenteral nutrition unavailable when needed (ventilation 1·96, [1·41–2·71], p=0·0001; parenteral nutrition 1·35, [1·05–1·74], p=0·018). Administration of parenteral nutrition (0·61, [0·47–0·79], p=0·0002) and use of a peripherally inserted central catheter (0·65 [0·50–0·86], p=0·0024) or percutaneous central line (0·69 [0·48–1·00], p=0·049) were associated with lower mortality. Interpretation Unacceptable differences in mortality exist for gastrointestinal congenital anomalies between lowincome, middle-income, and high-income countries. Improving access to quality neonatal surgical care in LMICs will be vital to achieve Sustainable Development Goal 3.2 of ending preventable deaths in neonates and children younger than 5 years by 2030

What Is Normal About Normal Modes?

A normal mode of a vibrating system is a mode that is orthogonal to all other normal modes of that system. The orthogonality is in a weighted sense. For an undamped discretized linear mechanical system, the orthogonality is defined with respect to stiffness and mass such that normal modes are mutually stiffness and mass orthogonal. Another commonly used definition of an oscillating normal mode is that it is a pattern of motion in which all parts of the system vibrate harmonically with the same frequency and therefore with fixed relative phase relations between parts. The normality of a mode is thus not in a statistical sense. For lightly damped linear systems, a normal observation, i.e. one very common observation in the statistical sense, is that the phase relation between the motion of different parts of the system deviates very little from zero or pi. However, this normally occurring behavior should not lead us to think that that always has to be the case. Here it is shown by example that the normal modes of an undamped system may have arbitrary phase relations. One such mode of vibrationmay then possess the property of moving nodal lines, which is often attributed to non-proportionally damped or nonself-adjoint systems. The proper normalization of such modes is discussed and their relation to the well-known modal mass and MAC concepts and also to state-space based normalizations that are usually being used for complex-valued eigenmodes

Feature-based design analysis for automatic classification of simulated non-linear responses using Machine Learning

A practical concept design analysis approach for automatic processing and classification of simulated responsesis presented. Deterministic and nonlinear dynamics are studied under ideal loading and low noiseconditions to determine fundamental system properties, how they vary and possibly interact. Responsesshould be classified into characteristic types, such as periodic or nonperiodic, resonant or nonresonant, linearor nonlinear, and further into subcategories such as single or dual frequency responses, hardening orsoftening. For this, time-signals are evaluated using methods and metrics commonly used within structuraldynamics and then possibly associated with qualitative features according to measures based on a set of rulesof-thumb criteria. A support vector machine is trained to determine whether a single feature, or combinationsof features, applies or not. This paper describes elements of the analysis, report practical considerations anddiscuss the effectiveness of evaluated features using known few-degree-of-freedom examples