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

Skin permeation studies of chromium species - Evaluation of a reconstructed human epidermis model.

A reconstructed human epidermis (RHE) model, the EpiDerm, was investigated and compared to human skin ex vivo regarding tissue penetration and distribution of two chromium species, relevant in both occupational and general exposure in the population. Imaging mass spectrometry was used in analysis of the sectioned tissue. The RHE model gave similar results compared to human skin ex vivo for skin penetration of C

Extension and approximation of mm-subharmonic functions

Let $\Omega\subset \mathbb C^n$ be a bounded domain, and let $f$ be a real-valued function defined on the whole topological boundary $\partial \Omega$. The aim of this paper is to find a characterization of the functions $f$ which can be extended to the inside to a $m$-subharmonic function under suitable assumptions on $\Omega$. We shall do so by using a function algebraic approach with focus on $m$-subharmonic functions defined on compact sets. We end this note with some remarks on approximation of $m$-subharmonic functions

Electrochemical Estimations of the Gold Nanoparticle Size Effect on Cysteine-Gold Oxidation,

Gold nanoparticles are interesting for nanobiomedical applications, such as for drug delivery and as diagnostic imaging contrast agents. However, their stability and reactivity in-vivo are influenced by their surface properties and size. Here, we investigate the electrochemical oxidation of differently sized citrate-coated gold nanoparticles in the presence and absence of L-cysteine, a thiol-containing amino acid with high binding affinity to gold. We found that smaller sized (5, 10 nm) gold nanoparticles were significantly more susceptible to electrochemical L-cysteine interactions and/or L-cysteine-facilitated gold oxidation than larger (20, 50 nm) sized gold nanoparticles, both for the same mass and nominal surface area, under the conditions investigated (pH 7.4, room temperature, stagnant solutions, and scan rates of 0.5 to 450 mV s−1). The electrochemical measurements of drop-casted gold nanoparticle suspensions on paraffin-impregnated graphite electrodes were susceptible to the quality of the electrode. Increased cycling resulted in irreversible oxidation and detachment/oxidation of gold into solution. Our results suggest that L-cysteine-gold interactions are stronger for smaller nanoparticles

Shared picture book reading interventions for child language development: a systematic review and meta-analysis

Interventions that train parents to share picture books with children are seen as a strategy for supporting child language development. We conducted meta‐analyses using robust variance estimation modeling on results from 19 RCTs (Ntotal = 2,594; Mchildage = 1–6 years). Overall, book‐sharing interventions had a small sized effect on both expressive language (d = 0.41) and receptive language (d = 0.26). They had a large effect on caregiver book‐sharing competence (d = 1.01). The impact of the intervention on child language was moderated by intervention dosage, with lower dosage associated with a minimal impact. Child age and caregiver education level were unrelated to child outcome. This review and meta‐analysis confirms the promise of book‐sharing interventions for enhancing and accelerating child language development

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

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

Hadron beam test of a scintillating fibre tracker system for elastic scattering and luminosity measurement in ATLAS

A scintillating fibre tracker is proposed to measure elastic proton scattering at very small angles in the ATLAS experiment at CERN. The tracker will be located in so-called Roman Pot units at a distance of 240 m on each side of the ATLAS interaction point. An initial validation of the design choices was achieved in a beam test at DESY in a relatively low energy electron beam and using slow off-the-shelf electronics. Here we report on the results from a second beam test experiment carried out at CERN, where new detector prototypes were tested in a high energy hadron beam, using the first version of the custom designed front-end electronics. The results show an adequate tracking performance under conditions which are similar to the situation at the LHC. In addition, the alignment method using so-called overlap detectors was studied and shown to have the expected precision.Comment: 12 pages, 8 figures. Submitted to Journal of Instrumentation (JINST

Enhancement and suppression effects resulting from information structuring in sentences

Information structuring through the use of cleft sentences increases the processing efficiency of references to elements within the scope of focus. Furthermore, there is evidence that putting certain types of emphasis on individual words not only enhances their subsequent processing, but also protects these words from becoming suppressed in the wake of subsequent information, suggesting mechanisms of enhancement and suppression. In Experiment 1, we showed that clefted constructions facilitate the integration of subsequent sentences that make reference to elements within the scope of focus, and that they decrease the efficiency with reference to elements outside of the scope of focus. In Experiment 2, using an auditory text-change-detection paradigm, we showed that focus has similar effects on the strength of memory representations. These results add to the evidence for enhancement and suppression as mechanisms of sentence processing and clarify that the effects occur within sentences having a marked focus structure