Miracle-dz/UniFAR-FTUs huggingface dataset:
Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors

It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of $\lambda$-terms that this operation commutes with normalization: the expansion of a $\lambda$-term is always normalizable and its normal form is the expansion of the Bohm tree of the term. We generalize this result to the non-uniform setting of the algebraic $\lambda$-calculus, i.e. $\lambda$-calculus extended with linear combinations of terms. This requires us to tackle two difficulties: foremost is the fact that Ehrhard and Regnier's techniques rely heavily on the uniform, deterministic nature of the ordinary $\lambda$-calculus, and thus cannot be adapted; second is the absence of any satisfactory generic extension of the notion of Bohm tree in presence of quantitative non-determinism, which is reflected by the fact that the Taylor expansion of an algebraic $\lambda$-term is not always normalizable. Our solution is to provide a fine grained study of the dynamics of $\beta$-reduction under Taylor expansion, by introducing a notion of reduction on resource vectors, i.e. infinite linear combinations of resource $\lambda$-terms. The latter form the multilinear fragment of the differential $\lambda$-calculus, and resource vectors are the target of the Taylor expansion of $\lambda$-terms. We show the reduction of resource vectors contains the image of any $\beta$-reduction step, from which we deduce that Taylor expansion and normalization commute on the nose. We moreover identify a class of algebraic $\lambda$-terms, encompassing both normalizable algebraic $\lambda$-terms and arbitrary ordinary $\lambda$-terms: the expansion of these is always normalizable, which guides the definition of a generalization of Bohm trees to this setting.
Using the Ecological Model to understand influences on college student vaping

ABSTRACT Objective The Ecological Model was used to examine the social and environmental influences of the college environment on e-cigarette use (vaping) among college students. Participants: Undergraduate college student e-cigarette users (vapers) across three large college campuses in the southwest US from Jan 2015- Aug 2016. Methods: Thirty-three interviews were conducted. Transcribed interviews were coded then analyzed for themes. Results: College student vapers report multiple levels of influence on their vaping beyond personal beliefs and peer influences, including parents, explicit campus and community messaging, community member requests, and respect for others. College student vapers also describe constant associations with smokers in allowable public places to vape. Conclusions: Parents, community members, campus policy, and the physical environment all influence where and when college students vape. Health communication messages to prevent college student vaping should incorporate alternative messages that are important to college students, such as respect for others and social image.
European Randomised Study of Screening for Prostate Cancer (ERSPC) risk calculators significantly outperform the Prostate Cancer Prevention Trial (PCPT) 2.0 in the prediction of prostate cancer: a multi‐institutional study

To analyse the performance of the Prostate Cancer Prevention Trial Risk Calculator (PCPT‐RC) and two iterations of the European Randomised Study of Screening for Prostate Cancer (ERSPC) Risk Calculator, one of which incorporates prostate volume (ERSPC‐RC) and the other of which incorporates prostate volume and the prostate health index (PHI) in a referral population (ERSPC‐PHI).
Optimization of simultaneously enzymatic fructo- and inulo-oligosaccharide production using co-substrates of sucrose and inulin from Jerusalem artichoke

ABSTRACT Prebiotic substances are extracted from various plant materials or enzymatic hydrolysis of different substrates. The production of fructo-oligosaccharide (FOS) and inulo-oligosaccharide (IOS) was performed by applying two substrates, sucrose and inulin; oligosaccharide yields were maximized using central composite design to evaluate the parameters influencing oligosaccharide production. Inulin from Jerusalem artichoke (5–15% w/v), sucrose (50–70% w/v), and inulinase from Aspergillus niger (2–7 U/g) were used as variable parameters for optimization. Based on our results, the application of sucrose and inulin as co-substrates for oligosaccharide production through inulinase hydrolysis and synthesis is viable in comparative to a method using a single substrate. Maximum yields (674.82 mg/g substrate) were obtained with 5.95% of inulin, 59.87% of sucrose, and 5.68 U/g of inulinase, with an incubation period of 9 hr. The use of sucrose and inulin as co-substrates in the reaction simultaneously produced FOS and IOS from sucrose and inulin. Total conversion yield was approximately 67%. Our results support the high value-added production of oligosaccharides using Jerusalem artichoke, which is generally used as a substrate in prebiotics and/or bioethanol production.
Recent advances in biochemical and molecular diagnostics for the rapid detection of antibiotic-resistant Enterobacteriaceae: a focus on ß-lactam resistance

ABSTRACT Introduction: The rapid detection of resistance is a challenge for clinical microbiologists who wish to prevent deleterious individual and collective consequences such as (i) delaying efficient antibiotic therapy, which worsens the survival rate of the most severely ill patients, or (ii) delaying the isolation of the carriers of multidrug-resistant bacteria and promoting outbreaks; this last consequence is of special concern, and there are an increasing number of approaches and market-based solutions in response. Areas covered: From simple, cheap biochemical tests to whole-genome sequencing, clinical microbiologists must select the most adequate phenotypic and genotypic tools to promptly detect and confirm β-lactam resistance from cultivated bacteria or from clinical specimens. Here, the authors review the published literature from the last 5 years about the primary technical approaches and commercial laboratory reagents for these purposes, including molecular, biochemical and immune assays. Furthermore, the authors discuss their intrinsic and relative performance, and we challenge their putative clinical impact. Expert commentary: Until the availability of fully automated wet and dry whole genome sequencing solutions, microbiologists should focus on inexpensive biochemical tests for cultured isolates or monomicrobial clinical specimen and on using the expensive molecular PCR-based strategies for the targeted screening of complex biological environments.
Second primary acute lymphoblastic leukemia in adults: a SEER analysis of incidence and outcomes

We conducted a surveillance epidemiology and end results (SEER)‐based analysis to describe the incidence and characteristics of second primary acute lymphoblastic leukemia (sALL) among adults (≥18 years) with a history of primary malignancies (1M). Standardized incidence ratios (SIRs) of sALL cases were calculated by site and 1M stage. We also evaluated the differences in 5‐year sALL survival by age, site, and extent of 1M, latency of sALL after 1M, and evidence of underlying racial/ethnic disparity. We identified 10,956 patients with de‐novo/primary acute lymphoblastic leukemia (1ALL) and 772 with sALL. Women (49.1% vs. 42.9%), white patients (72.0% vs. 59.5%), older patients (58.8% vs. 25.2%; age ≥65 years), and patients diagnosed between 2003 and 2012 (66.8% vs. 53.9%) had a higher proportion of sALL compared with 1ALL. There was a significantly inferior median 5‐year survival for sALL patients compared to 1ALL (6 vs. 15 months; HR 1.20, 95% CI 1.10–1.31, P < 0.001). The median latency period was 60.0 months; the most common 1M among sALL patients were breast (17.9%) and prostate (17.4%). Patients with any 1M were at increased risk of developing sALL (SIR 1.76, 95% CI 1.58–1.95, P < 0.001). Hematological‐1M sites had significantly higher SIRs (hematological‐SIR 7.35; solid‐SIR 1.33; P < 0.001). We observed a significant increase in sALL incidence after a 1M and a significantly worse 5‐year survival with different demographic characteristics from 1ALL. There is a need to define appropriate screening methods for patients surviving their primary cancer.
Unfolded annealing molecular dynamics conformers for wild-type and disease-associated variants of alpha-synuclein show no propensity for beta-sheetformation

Aggregation of alpha-synuclein leads to the formation of Lewy bodies in the brains of patients affected by Parkinson's disease (PD). Native human alpha-synuclein is unfolded in solution but assumes a partial alpha-helical conformation upon transient binding to lipid membranes. Annealing Molecular Dynamics (AMD) was used to generate a diverse set of unfolded conformers of free monomeric wild-type alpha-synuclein and PD-associated mutants A30P and A53T. The AMD conformers were compared in terms of secondary structure, hydrogen bond network, solvent-accessible surface per residue, and molecular volume. The objective of these simulations was to identify structural properties near mutation sites and the non-amyloid component (NAC) region that differ between wild- type and disease-associated variants and may be associated to aggregation of alpha- synuclein. Based on experimental evidence, a hypothesis exists that aggregation involves the formation of intermolecular beta sheets. According to our results, disease-associated mutants of alpha-synuclein are no more propense to contain extended beta regions than wild-type alpha-synuclein. Moreover, extended beta structures (necessary for beta sheet formation) were not found at or around positions 30 and 53, or the NAC region in any unfolded conformer of wild-type, A30P or A53T alpha-synuclein, under the conditions of the simulations. These results do not support the hypothesis that the mutant's higher propensity to aggregation results solely from changes in amino acid sequence leading to changes in secondary structure folding propensity.
Differential Privacy: A Primer for a Non-Technical Audience

Differential privacy is a formal mathematical framework for quantifying and managing privacy risks. It provides provable privacy protection against a wide range of potential attacks, including those currently unforeseen. Differential privacy is primarily studied in the context of the collection, analysis, and release of aggregate statistics. These range from simple statistical estimations, such as averages, to machine learning. Tools for differentially private analysis are now in early stages of implementation and use across a variety of academic, industry, and government settings. Interest in the concept is growing among potential users of the tools, as well as within legal and policy communities, as it holds promise as a potential approach to satisfying legal requirements for privacy protection when handling personal information. In particular, differential privacy may be seen as a technical solution for analyzing and sharing data while protecting the privacy of individuals in accordance with existing legal or policy requirements for de-identification or disclosure limitation. This primer seeks to introduce the concept of differential privacy and its privacy implications to non-technical audiences. It provides a simplified and informal, but mathematically accurate, description of differential privacy. Using intuitive illustrations and limited mathematical formalism, it discusses the definition of differential privacy, how differential privacy addresses privacy risks, how differentially private analyses are constructed, and how such analyses can be used in practice. A series of illustrations is used to show how practitioners and policymakers can conceptualize the guarantees provided by differential privacy. These illustrations are also used to explain related concepts, such as composition (the accumulation of risk across multiple analyses), privacy loss parameters, and privacy budgets. This primer aims to provide a foundation that can guide future decisions when analyzing and sharing statistical data about individuals, informing individuals about the privacy protection they will be afforded, and designing policies and regulations for robust privacy protection.
Comparison of centre and home-based health assessments: early experience from the Irish Longitudinal Study on Ageing (TILDA).

BACKGROUND some cohort studies of ageing and health supplement questionnaire-based surveys with in-home measurements of biological parameters and others have required respondents to attend assessment centres. Centre-based assessments facilitate detailed measurements and novel technologies, but may differentially influence participation. The aim of this paper is to compare the characteristics of participants who attended a centre with those who chose a home assessment and those who did not have a health assessment. METHODS trained field workers administered a computer-assisted personal interview (CAPI) to a random sample of community-dwelling people aged 50 and over in the participants' homes. All questionnaire respondents were invited to attend an assessment centre for a comprehensive physical assessment. Participants who refused or were unable to attend a centre were offered a home assessment. RESULTS of the 291 participants who completed the CAPI, 176 had a health assessment: 138 in an assessment centre and 38 in their own home. The centre, home and no visit respondents differed in demographic characteristics, behavioural factors, physical functioning and health. Lower socio-economic status, physical inactivity and current smoking were the most robust predictors of non-participation in the health assessment. Home respondents had the highest levels of physical disability and were much weaker (grip strength) and slower (walking speed) than centre respondents. CONCLUSION home and centre physical assessments are required to avoid systematically over-representing healthier and wealthier respondents.
Climate mitigation by dairy intensification depends on intensive use of spared grassland

Milk and beef production cause 9% of global greenhouse gas (GHG) emissions. Previous life cycle assessment (LCA) studies have shown that dairy intensification reduces the carbon footprint of milk by increasing animal productivity and feed conversion efficiency. None of these studies simultaneously evaluated indirect GHG effects incurred via teleconnections with expansion of feed crop production and replacement suckler‐beef production. We applied consequential LCA to incorporate these effects into GHG mitigation calculations for intensification scenarios among grazing‐based dairy farms in an industrialized country (UK), in which milk production shifts from average to intensive farm typologies, involving higher milk yields per cow and more maize and concentrate feed in cattle diets. Attributional LCA indicated a reduction of up to 0.10 kg CO2e kg−1 milk following intensification, reflecting improved feed conversion efficiency. However, consequential LCA indicated that land use change associated with increased demand for maize and concentrate feed, plus additional suckler‐beef production to replace reduced dairy‐beef output, significantly increased GHG emissions following intensification. International displacement of replacement suckler‐beef production to the “global beef frontier” in Brazil resulted in small GHG savings for the UK GHG inventory, but contributed to a net increase in international GHG emissions equivalent to 0.63 kg CO2e kg−1 milk. Use of spared dairy grassland for intensive beef production can lead to net GHG mitigation by replacing extensive beef production, enabling afforestation on larger areas of lower quality grassland, or by avoiding expansion of international (Brazilian) beef production. We recommend that LCA boundaries are expanded when evaluating livestock intensification pathways, to avoid potentially misleading conclusions being drawn from “snapshot” carbon footprints. We conclude that dairy intensification in industrialized countries can lead to significant international carbon leakage, and only achieves GHG mitigation when spared dairy grassland is used to intensify beef production, freeing up larger areas for afforestation.
Molecular diagnostics in the management of rhabdomyosarcoma

ABSTRACT Introduction: A classification of rhabdomyosarcoma (RMS) with prognostic relevance has primarily relied on clinical features and histologic classification as either embryonal or alveolar RMS. The PAX3-FOXO1 and PAX7-FOXO1 gene fusions occur in 80% of cases with the alveolar subtype and are more predictive of outcome than histologic classification. Identifying additional molecular hallmarks that further subclassify RMS is an active area of research. Areas Covered: The authors review the current state of the PAX3-FOXO1 and PAX7-FOXO1 fusions as prognostic biomarkers. Emerging biomarkers, including mRNA expression profiling, MYOD1 mutations, RAS pathway mutations and gene fusions involving NCOA2 or VGLL2 are also reviewed. Expert commentary: Strategies for modifying RMS risk stratification based on molecular biomarkers are emerging with the potential to transform the clinical management of RMS, ultimately improving patient outcomes by tailoring therapy to predicted patient risk and identifying targets for novel therapies.
Wide-field LOFAR imaging of the field around the double-double radio galaxy B1834+620 A fresh view on a restarted AGN and doubeltjes

Context. The existence of double-double radio galaxies (DDRGs) is evidence for recurrent jet activity in AGN, as expected from standard accretion models. A detailed study of these rare sources provides new perspectives for investigating the AGN duty cycle, AGN-galaxy feedback, and accretion mechanisms. Large catalogues of radio sources, on the other hand, provide statistical information about the evolution of the radio-loud AGN population out to high redshifts. Aims. Using wide-field imaging with the LOFAR telescope, we study both a well-known DDRG as well as a large number of radio sources in the field of view. Methods. We present a high resolution image of the DDRG B1834+620 obtained at 144 MHz using LOFAR commissioning data. Our image covers about 100 square degrees and contains over 1000 sources. Results. The four components of the DDRG B1834+620 have been resolved for the first time at 144 MHz. Inner lobes were found to point towards the direction of the outer lobes, unlike standard FR II sources. Polarized emission was detected at +60 rad m −2 in the northern outer lobe. The high spatial resolution allows the identification of a large number of small double-lobed radio sources; roughly 10% of all sources in the field are doubles with a separation smaller than 1. Conclusions. The spectral fit of the four components is consistent with a scenario in which the outer lobes are still active or the jets recently switched off, while emission of the inner lobes is the result of a mix-up of new and old jet activity. From the presence of the newly extended features in the inner lobes of the DDRG, we can infer that the mechanism responsible for their formation is the bow shock that is driven by the newly launched jet. We find that the density of the small doubles exceeds the density of FR II sources with similar properties at 1.4 GHz, but this difference becomes smaller for low flux densities. Finally, we show that the significant challenges of wide-field imaging (e.g., time and frequency variation of the beam, directional dependent calibration errors) can be solved using LOFAR commissioning data, thus demonstrating the potential of the full LOFAR telescope to discover millions of powerful AGN at redshift z ∼ 1.
The effects of rutin on cisplatin induced oxidative retinal and optic nerve injury: an experimental study

Abstract Aim: To determine the role of rutin in prevention of cisplatin induced retinal and optic nerve injury in an experimental study. Materials and methods: Totally 18 albino Wistar male rats were assigned into three groups, as follows: healthy controls (HC group), only cisplatin administered group for 14 days (CIS group), and rutin + cisplatin administered group for 14 days (RC group). Blood samples were obtained from animals just before the scarification. Serum malondialdehyde (MDA), myeloperoxidase (MPO), total glutathione (tGSH), superoxide dismutase (SOD), interleukin 1 beta (IL-1β) and tumour necrosis factor alpha (TNF-α) levels were investigated. The eyes were enucleated for histopathological evaluations of retina and optic nerve. Results: MDA, MPO, IL-1β and TNF-α levels were statistically significantly higher (p < 0.001) in CIS group compared with other two groups while tGSH and SOD levels were statistically significantly lower (p < 0.001). Regarding these parameters, in CIS group MDA, MPO, IL1β and TNF-α levels were statistically significantly increased with cisplatin administration and giving rutin concomitantly with cisplatin prevented this increase. On the other hand, tGSH and SOD levels were statistically significantly decreased with cisplatin administration and giving rutin concomitantly with cisplatin prevented this decrease. In qualitative analyses of histopathological findings of retina and optic nerve; the results of RC group were similar with the results of healthy controls; but there was statistically significant differences between CIS group and other two groups (p < 0.001). Conclusions: Concomitant rutin administration may prevent the detrimental effects of cisplatin on lipid peroxidation, oxidative stress and inflammation markers and may also avert the histopathological damage on retina and optic nerve. Further studies are warranted to determine the effects of cisplatin and rutin on eye.
Image Transformer

Image generation has been successfully cast as an autoregressive sequence generation or transformation problem. Recent work has shown that self-attention is an effective way of modeling textual sequences. In this work, we generalize a recently proposed model architecture based on self-attention, the Transformer, to a sequence modeling formulation of image generation with a tractable likelihood. By restricting the self-attention mechanism to attend to local neighborhoods we significantly increase the size of images the model can process in practice, despite maintaining significantly larger receptive fields per layer than typical convolutional neural networks. We propose another extension of self-attention allowing it to efficiently take advantage of the two-dimensional nature of images. While conceptually simple, our generative models trained on two image data sets are competitive with or significantly outperform the current state of the art in autoregressive image generation on two different data sets, CIFAR-10 and ImageNet. We also present results on image super-resolution with a large magnification ratio, applying an encoder-decoder configuration of our architecture. In a human evaluation study, we show that our super-resolution models improve significantly over previously published autoregressive super-resolution models. Images they generate fool human observers three times more often than the previous state of the art.