Homotopy Type Theory in Lean

We discuss the homotopy type theory library in the Lean proof assistant. The library is especially geared toward synthetic homotopy theory. Of particular interest is the use of just a few primitive notions of higher inductive types, namely quotients and truncations, and the use of cubical methods.Comment: 17 pages, accepted for ITP 201

The origin of Dendrosenecio within the Senecioneae (Asteraceae) based on chloroplastDNA EVIDENCE

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/141916/1/ajb213859.pd

From classroom reality to virtual classroom: the role of teacher-created scripts in the development of classroom simulation technology

This paper describes a specific kind of teacher narrative (the teacher created script) to support the design of a classroom simulation to be used in pre-service teacher education. We intend to share our experiences in exploring and developing the kind of narrative text which can be developed from a large reservoir of ethnographically generated data collected from the teachers and classrooms we have closely observed and documented over the last two decades. In particular, we explore the role which these narratives play within the development of the kind of classroom simulation we have produced. Reflection has long been acknowledged as a useful process for teachers to engage with. Also, the notion of formalising such reflections through writing has been acknowledged as a way to share, refine and articulate teaching practice. As stated by Barth (2001:66) “…with written words come the innermost secrets of schools”. This prototype simulation allows the user to adopt the role of a Kindergarten teacher using a daily literacy teaching episode we refer to as “days of the week” and encourages the user to reflect upon the decisions they make about the organisation and implementation of this recurring teaching experience. The range of options that occur in this simulation stem from the teacher-created script we developed drawing from our own teaching experiences and classroom-based research to shape this virtual classroom

Creative and Stylistic Devices Employed by Children During a Storybook Narrative Task: A Cross-Cultural Study

Purpose: The purpose of this study was to analyze the effects of culture on the creative and stylistic features children employ when producing narratives based on wordless picture books. Method: Participants included 60 first- and second-grade African American, Latino American, and Caucasian children. A subset of narratives based on wordless picture books collected as part of a larger study was coded and analyzed for the following creative and stylistic conventions: organizational style (topic centered, linear, cyclical), dialogue (direct, indirect), reference to character relationships (nature, naming, conduct), embellishment (fantasy, suspense, conflict), and paralinguistic devices (expressive sounds, exclamatory utterances). Results: Many similarities and differences between ethnic groups were found. No significant differences were found between ethnic groups in organizational style or use of paralinguistic devices. African American children included more fantasy in their stories, Latino children named their characters more often, and Caucasian children made more references to the nature of character relationships. Conclusion: Even within the context of a highly structured narrative task based on wordless picture books, culture influences children’s production of narratives. Enhanced understanding of narrative structure, creativity, and style is necessary to provide ecologically valid narrative assessment and intervention for children from diverse cultural backgrounds

A review of clinical decision-making: Models and current research

Aims and objectives: The aim of this paper was to review the current literature with respect to clinical decision-making models and the educational application of models to clinical practice. This was achieved by exploring the function and related research of the three available models of clinical decision making: information processing model, the intuitive-humanist model and the clinical decision making model. Background: Clinical decision-making is a unique process that involves the interplay between knowledge of pre-existing pathological conditions, explicit patient information, nursing care and experiential learning. Historically, two models of clinical decision making are recognised from the literature; the information processing model and the intuitive-humanist model. The usefulness and application of both models has been examined in relation the provision of nursing care and care related outcomes. More recently a third model of clinical decision making has been proposed. This new multidimensional model contains elements of the information processing model but also examines patient specific elements that are necessary for cue and pattern recognition. Design: Literature review Methods: Evaluation of the literature generated from MEDLINE, CINAHL, OVID, PUBMED and EBESCO systems and the Internet from 1980 – November 2005

Step-Wise Computational Synthesis of Fullerene C60 derivatives. 1.Fluorinated Fullerenes C60F2k

The reactions of fullerene C60 with atomic fluorine have been studied by unrestricted broken spin-symmetry Hartree-Fock (UBS HF) approach implemented in semiempirical codes based on AM1 technique. The calculations were focused on a sequential addition of fluorine atom to the fullerene cage following indication of the cage atom highest chemical susceptibility that is calculated at each step. The effectively-non-paired-electron concept of the fullerene atoms chemical susceptibility lays the foundation of the suggested computational synthesis. The obtained results are analyzed from energetic, symmetry, and the composition abundance viewpoints. A good fitting of the data to experimental findings proves a creative role of the suggested synthesis methodology.Comment: 33 pages, 11 figures, 2 tables, 2 chart

A metabolomics based molecular pathway analysis for how the SGLT2-inhibitor dapagliflozin may slow kidney function decline in patients with diabetes

Aim: To investigate which metabolic pathways are targeted by the sodium-glucose co-transporter-2 inhibitor dapagliflozin to explore the molecular processes involved in its renal protective effects. Methods: An unbiased mass spectrometry plasma metabolomics assay was performed on baseline and follow-up (week 12) samples from the EFFECT II trial in patients with type 2 diabetes with non-alcoholic fatty liver disease receiving dapagliflozin 10 mg/day (n = 19) or placebo (n = 6). Transcriptomic signatures from tubular compartments were identified from kidney biopsies collected from patients with diabetic kidney disease (DKD) (n = 17) and healthy controls (n = 30) from the European Renal cDNA Biobank. Serum metabolites that significantly changed after 12 weeks of dapagliflozin were mapped to a metabolite-protein interaction network. These proteins were then linked with intra-renal transcripts that were associated with DKD or estimated glomerular filtration rate (eGFR). The impacted metabolites and their protein-coding transcripts were analysed for enriched pathways. Results: Of all measured (n = 812) metabolites, 108 changed (P &lt; 0.05) during dapagliflozin treatment and 74 could be linked to 367 unique proteins/genes. Intra-renal mRNA expression analysis of the genes encoding the metabolite-associated proteins using kidney biopsies resulted in 105 genes that were significantly associated with eGFR in patients with DKD, and 135 genes that were differentially expressed between patients with DKD and controls. The combination of metabolites and transcripts identified four enriched pathways that were affected by dapagliflozin and associated with eGFR: glycine degradation (mitochondrial function), TCA cycle II (energy metabolism), L-carnitine biosynthesis (energy metabolism) and superpathway of citrulline metabolism (nitric oxide synthase and endothelial function). Conclusion: The observed molecular pathways targeted by dapagliflozin and associated with DKD suggest that modifying molecular processes related to energy metabolism, mitochondrial function and endothelial function may contribute to its renal protective effect.</p