bluuebunny/crossref_metadata_2025_split huggingface dataset:
An efficient statistical model checker for nondeterminism and rare events
Authors: Budde Carlos E. , D’Argenio Pedro R. , Hartmanns Arnd , Sedwards Sean 
Published: May 2020

AbstractStatistical model checking avoids the state space explosion problem in verification and naturally supports complex non-Markovian formalisms. Yet as a simulation-based approach, its runtime becomes excessive in the presence of rare events, and it cannot soundly analyse nondeterministic models. In this article, we present : a statistical model checker that combines fully automated importance splitting to estimate the probabilities of rare events with smart lightweight scheduler sampling to approximate optimal schedulers in nondeterministic models. As part of the Modest Toolset, it supports a variety of input formalisms natively and via the Jani exchange format. A modular software architecture allows its various features to be flexibly combined. We highlight its capabilities using experiments across multi-core and distributed setups on three case studies and report on an extensive performance comparison with three current statistical model checkers.
Transdisciplinary Approaches for the Dissemination of the SWITCH School Wellness Initiative Through a Distributed 4-H/Extension Network
Authors: McLoughlin G. M. , Vazou S , Liechty L. , Torbert A. , Lanningham-Foster L. , Rosenkranz R. R. , Welk G. J. 
Published: May 2020

AbstractBackgroundSchools provide an ideal setting for promoting healthy lifestyles in youth, but it has proven difficult to promote the adoption and implementation of evidence-based programming by school leaders. The SWITCH® (School Wellness Integration Targeting Child Health) intervention is a capacity-building process designed to help school leaders learn how to plan, implement, and sustain school wellness programs on their own.ObjectiveThe present study evaluates the transdisciplinary approaches used in establishing an integrated research-practice partnership with the state-wide 4-H/Extension network to support broader dissemination.MethodThe study used a mixed methods approach to evaluate the degree of engagement and motivation of 4-H leaders (N = 30) for providing ancillary support for local school wellness programming. Engagement from 4-H Staff was logged over a year-long period through tracking completion of training and ongoing engagement with aspects of SWITCH. They completed checkpoint surveys and an interview to provide perceptions of supporting school implementation of SWITCH programming. Data were analysed through Pearson bivariate correlations and constant comparative analysis.ResultsCounty-level 4-H staff demonstrated high engagement in SWITCH by attending training sessions and hosting structured checkpoint sessions with schools. Interview data revealed that 4-H Staff valued connections with schools and emphasized that training on SWITCH was consistent with their existing roles related to youth programming.ConclusionsThe results demonstrate the value of the sequential capacity-building process used to train 4-H Staff to facilitate school wellness programming. The transdisciplinary approaches built transferable skills and fostered relationships that directly support the broader goals of 4-H.
An Efficient High-Throughput LZ77-Based Decompressor in Reconfigurable Logic
Authors: Fang Jian , Chen Jianyu , Lee Jinho , Al-Ars Zaid , Hofstee H. Peter 
Published: May 2020

AbstractTo best leverage high-bandwidth storage and network technologies requires an improvement in the speed at which we can decompress data. We present a “refine and recycle” method applicable to LZ77-type decompressors that enables efficient high-bandwidth designs and present an implementation in reconfigurable logic. The method refines the write commands (for literal tokens) and read commands (for copy tokens) to a set of commands that target a single bank of block ram, and rather than performing all the dependency calculations saves logic by recycling (read) commands that return with an invalid result. A single “Snappy” decompressor implemented in reconfigurable logic leveraging this method is capable of processing multiple literal or copy tokens per cycle and achieves up to 7.2GB/s, which can keep pace with an NVMe device. The proposed method is about an order of magnitude faster and an order of magnitude more power efficient than a state-of-the-art single-core software implementation. The logic and block ram resources required by the decompressor are sufficiently low so that a set of these decompressors can be implemented on a single FPGA of reasonable size to keep up with the bandwidth provided by the most recent interface technologies.
Pervasive promoter hypermethylation of silenced TERT alleles in human cancers
Authors: Esopi David , Graham Mindy Kim , Brosnan-Cashman Jacqueline A. , Meyers Jennifer , Vaghasia Ajay , Gupta Anuj , Kumar Balasubramanian , Haffner Michael C. , Heaphy Christopher M. , De Marzo Angelo M. , Meeker Alan K. , Nelson William G. , Wheelan Sarah J. , Yegnasubramanian Srinivasan 
Published: May 2020

Abstract
Background
In cancers, maintenance of telomeres often occurs through activation of the catalytic subunit of telomerase, encoded by TERT. Yet, most cancers show only modest levels of TERT gene expression, even in the context of activating hotspot promoter mutations (C228T and C250T). The role of epigenetic mechanisms, including DNA methylation, in regulating TERT gene expression in cancer cells is as yet not fully understood.

Methods
Here, we have carried out the most comprehensive characterization to date of TERT promoter methylation using ultra-deep bisulfite sequencing spanning the CpG island surrounding the core TERT promoter in 96 different human cell lines, including primary, immortalized and cancer cell types, as well as in control and reference samples.

Results
In general, we observed that immortalized and cancer cell lines were hypermethylated in a region upstream of the recurrent C228T and C250T TERT promoter mutations, while non-malignant primary cells were comparatively hypomethylated in this region. However, at the allele-level, we generally found that hypermethylation of promoter sequences in cancer cells is associated with repressed expression, and the remaining unmethylated alleles marked with open chromatin are largely responsible for the observed TERT expression in cancer cells.

Conclusions
Our findings suggest that hypermethylation of the TERT promoter alleles signals transcriptional repression of those alleles, leading to attenuation of TERT activation in cancer cells. This type of fine tuning of TERT expression may account for the modest activation of TERT expression in most cancers.
The precision of radar-derived subglacial bed topography: a case study from Pine Island Glacier, Antarctica
Authors: King Edward C. 
Published: May 2020

AbstractRecent advances in the measurement of bedforms beneath active ice streams have been made using ground-based grid profiling using impulse radar systems operating with centre frequencies in the 3–5 MHz range. Surveys of Rutford Ice Stream and Pine Island Glacier have shown that features such as mega-scale glacial lineations with topographic relief of as little as 3 m can be traced for many kilometres downstream under more than 2 km of fast-moving ice. In the discussion of these data, it is often asked ‘How is it possible to map such fine-scale topography with such a low-frequency radar’. In answering that question, the key point is the distinction between the precision of a radar range measurement to a single, isolated reflective interface and the ability to resolve the presence of two closely-spaced interfaces of similar reflectivity (commonly referred to as the vertical resolution). This paper will discuss and illustrate this distinction and use the case study of data acquired over Pine Island Glacier to examine the limits of precision of the radar range measurement.
THE MONKEY'S OFF OUR BACK: AN ALTERNATIVE READING OF JUVENAL 5.153–5
Authors: Pasco Ryan M. 
Published: May 2020

Readers have struggled to interpret an image from the end of Juvenal's fifth satire, a poem which focusses upon the poor hospitality shown to a dinner guest, Trebius, at the hands of his host, Virro. After repeatedly juxtaposing the luxurious food served to Virro with the scant fare served to Trebius, Juvenal describes the final course of thecena. He again contrasts the host's hyper-abundance with his guest's mere scraps (5.149–55):Virro sibi et reliquis Virronibus illa iubebitpoma dari, quorum solo pascaris odore,qualia perpetuus Phaeacum autumnus habebat,credere quae possis subrepta sororibus Afris:tu scabie frueris mali, quod in aggere roditqui tegitur parma et galea, metuensque flagellidiscit ab hirsuta iaculum torquere capella.Virro will demand that he and the rest of his entourage receive these apples—though you'll dine on their smell alone—like those the endless autumn of the Phaeacians used to yield, which you could believe stolen away from the African sisters: you will enjoy the scab of an apple, which, on the Embankment, is gnawed by someone who is protected by a buckler and helm and who, fearing a whipping, learns to hurl a javelin from atop a shaggy goat.While the core contrast between the quality of each type of fare is clear, the concludingqui-clause is less intelligible. Who could this entity be? On line 153, the scholiast comments:quale simia manducat. Whilequalecould refer to the object being eaten (scabie mali quod) rather than to thequi-antecedent, it is clear in any case that the ancient reader felt that 5.153–5 evoked the image of an ape. Recent commentaries on Juvenal's fifth satire reflect a scholarly consensus: J.D. Duff, Edward Courtney, Susanna Braund and Biagio Santorelli all follow the scholiast's suggestion and believe that the passage describes a trained ape, as do recent readers of the poem.
Normativity, social change, and the epistemological framing of culture
Authors: Buskell Andrew 
Published: May 2020

Abstract
The authors deploy an epistemic framework to represent culture and model the acquisition of cultural behavior. Yet, the framing inherits familiar problems with explaining the acquisition of norms. Such problems are conspicuous with regard to human societies where norms are ubiquitous. This creates a new difficulty for the authors in explaining change to mutually exclusive organizational structures of human life.
Thinking through prior bodies: autonomic uncertainty and interoceptive self-inference
Authors: Allen Micah , Legrand Nicolas , Costa Correa Camile Maria , Fardo Francesca 
Published: May 2020

Abstract
The Bayesian brain hypothesis, as formalized by the free-energy principle, is ascendant in cognitive science. But, how does the Bayesian brain obtain prior beliefs? Veissière and colleagues argue that sociocultural interaction is one important source. We offer a complementary model in which “interoceptive self-inference” guides the estimation of expected uncertainty both in ourselves and in our social conspecifics.
The option value of life
Authors: Burri Susanne 
Published: May 2020

AbstractThis paper argues that under conditions of uncertainty, there is frequently a positive option value to staying alive when compared to the alternative of dying right away. This value can make it prudentially rational for you to stay alive even if it appears highly unlikely that you have a bright future ahead of you. Drawing on the real options approach to investment analysis, the paper explores the conditions under which there is a positive option value to staying alive, and it draws out important implications for the problems of suicide and euthanasia.
Cross-linguistic variation in word-initial cluster production in adult and child language: evidence from English and Norwegian
Authors: GARMANN Nina Gram , SIMONSEN Hanne Gram , HANSEN Pernille , HOLM Elisabeth , POST Brechtje , PAYNE Elinor 
Published: May 2020

AbstractYoung children simplify word initial consonant clusters by omitting or substituting one (or both) of the elements. Vocalic insertion, coalescence and metathesis are said to be used more seldom (McLeod, van Doorn & Reed, 2001). Data from Norwegian children, however, have shown vocalic insertion to be more frequently used (Simonsen, 1990; Simonsen, Garmann & Kristoffersen, 2019). To investigate the extent to which children use this strategy to differing degrees depending on the ambient language, we analysed word initial cluster production acoustically in nine Norwegian and nine English speaking children aged 2;6–6 years, and eight adults, four from each language. The results showed that Norwegian-speaking children produce significantly more instances of vocalic insertions than English-speaking children do. The same pattern is found in Norwegian- versus English-speaking adults. We argue that this cross-linguistic difference is an example of the influence of prosodic-phonetic biases in language-specific developmental paths in the acquisition of speech.
Use of a head camera to examine maternal input and its relation to 10- to 26-month-olds’ acquisition of mental and non-mental state vocabulary
Authors: RUFFMAN Ted , LORIMER Ben , VANIER Sarah , SCARF Damian , DU Kangning , TAUMOEPEAU Mele 
Published: May 2020

AbstractWe examined the relation between maternal responsiveness and children's acquisition of mental and non-mental state vocabulary in 59 pairs of mothers and children aged 10 to 26 months as they engaged in a free-play episode. Children wore a head camera and responsiveness was defined as maternal talk that commented on the child's actions (e.g., when the child reached for or manipulated an object visible in the head camera). As hypothesized, maternal responsiveness correlated with both mental and non-mental state vocabulary acquisition in younger children (approximately 18 months and younger) but not older children. We posit a diminishing role for maternal responsiveness in language acquisition as children grow older.
Sugar-sweetened beverage consumption and association with weight status in Irish children: a cross-sectional study prior to the introduction of a government tax on sugar-sweetened beverages
Authors: Harrington Janas M , Perry Catherine , Keane Eimear , Perry Ivan J 
Published: May 2020

AbstractObjective:To provide baseline evidence of sugar-sweetened beverage (SSB) consumption in a sample of Irish children prior to the introduction of the SSB tax; to identify the energy contribution of SSB to daily energy intake; and to explore the association between SSB consumption and overweight/obesity.Design:Cross-sectional study.Setting:Primary schools in Cork, Ireland in 2012.Participants:1075 boys and girls aged 8–11 years. SSB consumption was assessed from 3-d food diaries. BMI was used to define obesity (International Obesity Taskforce definitions). Plausible energy reporters (n 724, 68 % of total sample) were classified using Schofield equation.Results:Eighty-two per cent of children with plausible energy intake consumed SSB. Mean energy intake from SSB was 485 kJ (6 % of total kJ). Mean kilojoules from SSB increased with weight status from 443 kJ for normal-weight children to 648 kJ for children with overweight/obesity (5·8 and 7·6 % of total kJ, respectively). Mean SSB intake was significantly higher in children with overweight/obesity than normal-weight children (383 and 315 ml/d). In adjusted analyses, children consuming >200 ml/d had an 80 % increased odds of overweight/obesity compared to those consuming <200 ml/d (OR 1·8, 95 % CI 1·0, 3·5). Family socioeconomic status and lifestyle determinants, including frequency of takeaway consumption and TV viewing, were also significantly associated with SSB consumption.Conclusions:SSB account for a substantial proportion of daily energy intake and are significantly associated with child overweight/obesity. This study provides baseline data from a sample of children from which the impact of the SSB tax can be benchmarked.
The overall and sex- and age-group specific incidence rates of cancer in people with schizophrenia: a population-based cohort study
Authors: Pettersson D. , Gissler M. , Hällgren J. , Ösby U. , Westman J. , Bobo W. V. 
Published: May 2020

Abstract

Aims
Decades of research show that people with schizophrenia have an increased risk of death from cancer; however, the relationship between schizophrenia and cancer incidence remains less clear. This population-based study investigates the incidence of seven common types of cancer among people with a hospital diagnosis of schizophrenia and accounting for the effects of age, sex and calendar time.

Methods
This population-based study used 1990–2013 data from three nationwide Swedish registries to calculate the incidence (in total, by age group and by sex) of any cancer and of lung, oesophageal, pancreatic, stomach, colon, (in men) prostate and (in women) breast cancer in 111 306 people with a hospital diagnosis of schizophrenia. The incidence in people with diagnosed schizophrenia was compared with the incidence in the general population. Risk estimates accounted for the effects of calendar time.

Results
In 1 424 829 person-years of follow-up, schizophrenia did not confer an overall higher cancer risk (IRR 1.02, 95% CI 0.91–1.13) but was associated with a higher risk for female breast (IRR 1.19, 95% CI 1.12–1.26), lung (IRR 1.42, 95% CI 1.28–1.58), oesophageal (IRR 1.25, 95% CI 1.07–1.46) and pancreatic (IRR 1.10, 95% CI 1.01–1.21) and a lower risk of prostate (IRR 0.66, 95% CI 0.55–0.79) cancer. Some age- and sex-specific differences in risk were observed.

Conclusions
People with schizophrenia do not have a higher overall incidence of cancer than people in the general population. However, there are significant differences in the risk of specific cancer types overall and by sex calling for efforts to develop disease-specific prevention programmes. In people with schizophrenia, higher risk generally occurs in those <75 years.
Spatial and Temporal Variability of the 365‐nm Albedo of Venus Observed by the Camera on Board Venus Express
Authors: Lee Y. J. , Kopparla P. , Peralta J. , Schröder S. E. , Imamura T. , Kouyama T. , Watanabe S. 
Published: May 2020

AbstractWe mapped the distribution of the 365‐nm albedo of the Venus atmosphere over the years 2006–2014, using images acquired by the Venus Monitoring Camera (VMC) on board Venus Express. We selected all images with a global view of Venus to investigate how the albedo depends on longitude. Bertaux et al. (2016, https://doi.org/10.1002/2015JE004958) reported a peak in albedo around 100° longitude and speculated on an association with the Aphrodite Terra mountains. We show that this peak is most likely an artifact, resulting from long‐term albedo variations coupled with considerable temporal gaps in data sampling over longitude. We also used a subset of images to investigate how the albedo depends on local time, selecting only south pole viewing images of the dayside (local times 7–17 hr). Akatsuki observed mountain‐induced waves in the late afternoon at 283 nm and 10 μm (Fukuhara et al., 2017, https://doi.org/10.1038/ngeo2873). We expect that the presence of such waves may introduce 365‐nm albedo variations with a periodicity of one solar day (116.75 Earth days). We searched for such a periodicity peak at 15:30–16:00 local time and low latitudes but did not find it. In conclusion, we find that temporal albedo variations, both short and long term, dominate any systematic variations with longitude and local time. The nature of VMC dayside observations limits regular data sampling along longitudes, so longitudinal variations, if they exist, are difficult to extract. We conclude that any influence by the Venus surface on 365‐nm albedo is negligible within this data set.
Lunar Irregular Mare Patches: Classification, Characteristics, Geologic Settings, Updated Catalog, Origin, and Outstanding Questions
Authors: Qiao Le , Head James W. , Ling Zongcheng , Wilson Lionel 
Published: May 2020

AbstractOne of the most mysterious lunar features discovered during the Apollo era was Ina, a ~2 × 3‐km depression composed of bleb‐like mounds surrounded by hummocky and blocky terrains. Subsequent studies identified dozens of similar features in lunar maria, describing them as Irregular Mare Patches (IMPs). Due to the unusual and complex characteristics of IMPs, their specific formation mechanism is debated. To improve our understanding of the nature and origin of IMPs, we undertook an updated search and geological characterization of all IMPs and established a classification approach encompassing the full spectrum of IMPs. We present an updated catalog of 91 IMPs and survey the detailed characteristics of each IMP. We find that the majority of IMPs occur in maria emplaced over three billion years ago, contemporaneous with the peak period of global lunar volcanism. We utilized geologic context information and characteristics to establish two classification schemes for lunar IMPs: (1) geologic context: IMPs are categorized into (a) small shield volcano summit pit floor and flank, (b) linear/sinuous rille interior and adjacent exterior, and (c) typical maria; (2) characteristics: IMPs are classified into (a) “mound + floor” and (b) “pit only” types. We showed the range of characteristics of lunar IMPs was consistent with the waning‐stage magmatic foam formation and extrusion scenario in different environments. Our updated catalog and classification raise several outstanding questions concerning the nature and origin of lunar IMPs. Assessing these questions will improve our knowledge of lunar thermal and geologic evolution.
Moored Observations of the Savu Strait Currents in the Indonesian Seas
Authors: Wang Jing , Yuan Dongliang , Li Xiang , Li Yao , Wang Zheng , Hu Xiaoyue , Zhao Xia , Corvianawatie Corry , Surinati Dewi 
Published: May 2020

AbstractThe currents in the Savu Strait are observed using a subsurface mooring from November 2016 to September 2017. The mean volume transport of the Savu Strait into the Indian Ocean is estimated to be 3.0 Sv (1 Sv = 106 m3/s), with a standard deviation of 14.3 Sv. The vertical profile of the mean currents features a sandwich structure, with southwestward currents into the Indian Ocean in the upper 280 m and lower 700 m and weak northeastward currents in between. The analyses suggest that the currents flow into the Savu Sea from the west (through the Sumba and Savu Straits) and northeast (through the Ombai Strait) between 280 and 700 m, which suggests southward transport toward the Indian Ocean only in the unmeasured Dao Strait based on the conservation of mass inside the Savu Sea. These results underline the importance of circulation in the Savu Sea in the exchange between the Indonesian seas and the Indian Ocean. A linear continuously stratified model and high‐resolution regional INDESO model are used to investigate the variability and dynamics of the Savu Strait current. The existence of the northeastward current in the middle layer suggests the important role of baroclinic mode processes. Simulations also suggests that current in the Savu Strait is forced remotely by the zonal winds over the equatorial Indian Ocean, which propagate eastward along the coasts of the Nusa Tenggara island chain as coastal Kelvin waves.
Compositional Measurements of Saturn's Upper Atmosphere and Rings from Cassini INMS
Authors: Serigano J. , Hörst S. M. , He C. , Gautier T. , Yelle R. V. , Koskinen T. T. , Trainer M. G. 
Published: May 2020

AbstractThe Cassini spacecraft's last orbits directly sampled Saturn's thermosphere and revealed a much more chemically complex environment than previously believed. Observations from the Ion and Neutral Mass Spectrometer (INMS) aboard Cassini provided compositional measurements of this region and found an influx of material raining into Saturn's upper atmosphere from the rings. We present here an in‐depth analysis of the CH4, H2O, and NH3 signal from INMS and provide further evidence of external material entering Saturn's atmosphere from the rings. We use a new mass spectral deconvolution algorithm to determine the amount of each species observed in the spectrum and use these values to determine the influx and mass deposition rate for these species.