bluuebunny/crossref_metadata_2025_split huggingface dataset:
Calum Miller's attempted refutation of Michael Tooley's evidential argument from evil
Authors: Tooley Michael 
Published: August 2022

AbstractIn his article, ‘What's Wrong with Tooley's Argument from Evil?’, Calum Miller's goal was to show that the evidential argument from evil that I have advanced is unsound, and in support of that claim, Miller set out three main objections. First, he argued that I had failed to recognize that the actual occurrence of an event can by itself, at least in principle, constitute good evidence that it was not morally wrong for God to allow events of the kind in question.Miller's second objection was then that, in attempting to show that it is unlikely that God exists, I had failed to consider either positive arguments in support of the existence of God or possible theodicies, and thus that I was unjustified in drawing any conclusions concerning the probability that theism is true in the light of thetotalevidence available.Miller's third and final objection was that one of the approaches to logical probability that I employed – namely, that based upon a structure-description equiprobability principle, rather than a state-description equiprobability principle – was unsound since it has clearly unacceptable implications.In response, I argue that all three of Miller's objections are unsound. The third objection, however, is nevertheless important since it shows that my type of argument from evil cannot be based merely on the evils found in the world. One must also consider good states of affairs, and their relations to bad ones. I show, however, that that deficiency can be addressed in a completely satisfactory manner.
How social identity and social diversity affect judging
Authors: Epstein Lee , Knight Jack 
Published: August 2022

AbstractJudges like to claim that they are impartial decision-makers fully capable of suppressing their personal proclivities, as the rule of law requires. But a century’s worth of studies undermines that view. Going under the name ‘judicial behaviour’, this vast literature shows that many extraneous (non-legal) factors affect the choices judges make. This article focuses on one strand of that literature – the effect of personal characteristics on judging, with emphasis on social identity and social diversity. We show that the literature is bifurcated: studies focusing on the social identity of individual judges (such as their gender, race, and nationality) generate findings consistent with in-group bias, whereas research on the social diversity of judges sitting in panels suggests that benefits can accrue from socially diverse courts. What the two sets of studies have in common, though, is just as important: both could make profound academic and policy contributions but require far more development if they are to realize their potential. We offer proposals for forward movement.
Exploring the possibility of parents’ broad internalizing phenotype acting through passive gene–environment correlations on daughters’ disordered eating
Authors: O’Connor Shannon M. , Mikhail Megan , Anaya Carolina , Haller Leora L. , Burt S. Alexandra , McGue Matt , Iacono William G. , Klump Kelly L. 
Published: August 2022

AbstractTwin studies demonstrate significant environmental influences and a lack of genetic effects on disordered eating before puberty in girls. However, genetic factors could act indirectly through passive gene–environment correlations (rGE; correlations between parents’ genes and an environment shaped by those genes) that inflate environmental (but not genetic) estimates. The only study to explore passive rGE did not find significant effects, but the full range of parental phenotypes (e.g., internalizing symptoms) that could impact daughters’ disordered eating was not examined. We addressed this gap by exploring whether parents’ internalizing symptoms (e.g., anxiety, depressive symptoms) contribute to daughters’ eating pathology through passive rGE. Participants were female twin pairs (aged 8–14 years; M = 10.44) in pre-early puberty and their biological parents (n = 279 families) from the Michigan State University Twin Registry. Nuclear twin family models explored passive rGE for parents’ internalizing traits/symptoms and twins’ overall eating disorder symptoms. No evidence for passive rGE was found. Instead, environmental factors that create similarities between co-twins (but not with their parents) and unique environmental factors were important. In pre-early puberty, genetic factors do not influence daughters’ disordered eating, even indirectly through passive rGE. Future research should explore sibling-specific and unique environmental factors during this critical developmental period.
Extracting functional programs from Coq, in Coq
Authors: ANNENKOV DANIL , MILO MIKKEL , NIELSEN JAKOB BOTSCH , SPITTERS BAS 
Published: August 2022

AbstractWe implement extraction of Coq programs to functional languages based on MetaCoq’s certified erasure. We extend the MetaCoq erasure output language with typing information and use it as an intermediate representation, which we call${\lambda^T_\square}$. We complement the extraction functionality with a full pipeline that includes several standard transformations (e.g. eta-expansion and inlining) implemented in a proof-generating manner along with a verified optimisation pass removing unused arguments. We prove the pass correct wrt. a conventional call-by-value operational semantics of functional languages. From the optimised${\lambda^T_\square}$representation, we obtain code in two functional smart contract languages, Liquidity and CameLIGO, the functional language Elm, and a subset of the multi-paradigm language for systems programming Rust. Rust is currently gaining popularity as a language for smart contracts, and we demonstrate how our extraction can be used to extract smart contract code for the Concordium network. The development is done in the context of the ConCert framework that enables smart contract verification. We contribute with two verified real-world smart contracts (boardroom voting and escrow), which we use, among other examples, to exemplify the applicability of the pipeline. In addition, we develop a verified web application and extract it to fully functional Elm code. In total, this gives us a way to write dependently typed programs in Coq, verify, and then extract them to several target languages while retaining a small trusted computing base of only MetaCoq and the pretty-printers into these languages.
Exploring potential reasons for the increase in the East Asian Greylag GooseAnser anserpopulation by assessing habitat use and use of protected areas
Authors: Zhang Junjian , Li Xianghuang , Batbayar Nyambayar , Xu Zhenggang , Cao Lei , Fox Anthony David 
Published: August 2022

SummaryAmong the six sympatric swan and goose species wintering in the Yangtze River floodplain, only Greylag GooseAnser anserand Bean GooseA. fabalisshowed increasing population trends in the last 20 years. Until now, almost nothing was known about the Greylag Geese breeding on the eastern Mongolian Plateau, which we now know mostly winter in the Yangtze River floodplain. We applied GPS transmitters to 20 Greylag Geese in the Yangtze River floodplain and eastern Mongolia, providing complete tracks of their movements in summer, winter, spring and autumn (n= 6, 8, 8, 7). We overlaid these locations on GIS layers of habitat type and national-level protected areas, and modelled their habitat selection. Geese summered in Dauria Region, Huihe National Nature Reserve, and Wulagai Wetlands (from where 55% of GPS fixes were located in protected areas), wintered in Poyang Lake, Longgan Lake, and Anqing Lakes (43%), and staged around Bohai Bay, Xila Mulun River, and Wulagai Wetlands (spring, 48%; autumn, 45%). Geese mainly used natural ecosystems in summer (essentially grasslands and wetlands/water bodies), but in the other three seasons, used croplands between 17% (spring) and 46% (winter) of the time, with most of the rest of the time spent on wetlands/water bodies. Geese were frequently associated with wetlands and areas close to lakes/wetlands in all seasons, and cropland during winter and spring/autumn migration. These results suggest Greylag Geese in this biogeographical sub-population have increasingly shifted to feeding in croplands during the non-breeding season and enjoy the benefit of using protected areas throughout the year. We infer that these factors could have potentially contributed to elevated survival and reproductive success (relatively high among sampled flocks in recent years) which could explain the favourable conservation status of this population of Greylag Geese in recent years compared to other sympatric wintering goose and swan species.
Quantifying the impact of context on the quality of manual hate speech annotation
Authors: Ljubešić Nikola , Mozetič Igor , Kralj Novak Petra 
Published: August 2022

AbstractThe quality of annotations in manually annotated hate speech datasets is crucial for automatic hate speech detection. This contribution focuses on the positive effects of manually annotating online comments for hate speech within the context in which the comments occur. We quantify the impact of context availability by meticulously designing an experiment: Two annotation rounds are performed, one in-context and one out-of-context, on the same English YouTube data (more than 10,000 comments), by using the same annotation schema and platform, the same highly trained annotators, and quantifying annotation quality through inter-annotator agreement. Our results show that the presence of context has a significant positive impact on the quality of the manual annotations. This positive impact is more noticeable among replies than among comments, although the former is harder to consistently annotate overall. Previous research reporting that out-of-context annotations favour assigning non-hate-speech labels is also corroborated, showing further that this tendency is especially present among comments inciting violence, a highly relevant category for hate speech research and society overall. We believe that this work will improve future annotation campaigns even beyond hate speech and motivate further research on the highly relevant questions of data annotation methodology in natural language processing, especially in the light of the current expansion of its scope of application.
Differential response of winter- and summer-emerging accessions of rigid ryegrass (Lolium rigidum Gaudin) to postemergence herbicides in Australia
Authors: Chauhan Bhagirath S. , Walsh Michael 
Published: August 2022

AbstractRigid ryegrass is a problematic weed species in winter crops and winter fallow; however, recently, this weed species has been observed in summer crops and fallow. These observations warrant the evaluation of different postemergence herbicides for its control. Outdoor pot studies were conducted during the spring and summer of 2021 to 2022 to determine the performance of POST herbicides on two summer-emerging (S3 and S6) and two winter-emerging (W3 and W8) accessions of rigid ryegrass. Across all accessions, butroxydim, clethodim, paraquat, and paraquat + amitrole at the field rate provided complete control of rigid ryegrass. Both summer-emerging accessions were found to be resistant to the field rates of glufosinate (750 g ai ha−1), glyphosate (454 g ae ha−1), haloxyfop (52 g ai ha−1), and pinoxaden (30 g ai ha−1). The S6 accession had the highest dose required for a 50% reduction in biomass for these herbicides (glufosinate 1,120 g ai ha−1, glyphosate 1,210 g ae ha−1, haloxyfop 140 g ai ha−1, and pinoxaden 55 g ai ha−1). This summer-emerging accession (S6) was also resistant to iodosulfuron. All four accessions were found susceptible to imazamox + imazapyr (a commercial mixture) and mesosulfuron. The study provides the first evidence of poor control of summer-emerging accessions of rigid ryegrass with different herbicides. Multiple-herbicide-resistant summer-emerging rigid ryegrass accessions would be a challenge to the production of summer crops (e.g., cotton and sorghum) as well as winter crops that rely on weed-free summer fallows for soil moisture retention; therefore these accessions warrant diversified management strategies.
A Comparative Study of the Argo‐Era Ocean Heat Content Among Four Different Types of Data Sets
Authors: Liao Fanglou , Hoteit Ibrahim 
Published: August 2022

AbstractWe conducted a comparative study of ocean heat content (OHC) in the top 2,000 m during the Argo‐era using 12 latest and representative global ocean data sets. The differences in the global and basins‐wide OHC trends were minor among the observation‐based data sets, and remarkable among the ocean reanalyzes (RAs). Some RAs might exhibit much higher or lower basins‐wide warming rates than the observation‐based data sets. In the top 700 m, RAs suggested similar large‐scale warming and cooling patterns, in agreement with the observation‐based data sets. Below 700 m, the major warming and cooling features were significantly different between RAs and the observation‐based data sets. All data sets suffered from relatively larger uncertainties in the highly dynamic regions. Special caution is suggested when estimating the OHC using only a single data set, especially a RA. Differences of RAs' OHC from observation‐based data sets were significantly reduced when considering their ensemble mean, to be further confirmed with a larger sample of data sets.
Isotopically Heavy Micrometeorites—Fragments of CY Chondrite or a New Hydrous Parent Body?
Authors: Suttle M. D. , Folco L. , Dionnet Z. , Van Ginneken M. , Di Rocco T. , Pack A. , Scheel M. , Rotundi A. 
Published: August 2022

AbstractCosmic dust grains sample a diverse range of solar system small bodies. This includes asteroids that are not otherwise represented in our meteorite collections. In this work we obtained 3D images of micrometeorite interiors using tomography before collecting destructive high‐precision oxygen isotope measurements. These data allow us to link textures in unmelted micrometeorites to known chondrite groups. In addition to identifying particles from ordinary chondrites, CR and CM chondrites we report two micrometeorites derived from an anomalous 16O‐poor source (δ17O: +16.4‰, δ18O: +28.4‰, and Δ17O: +1.4‰). Their compositions overlap with a previously reported micrometeorite (TAM50‐25) from Suttle et al. (2020), https://doi.org/10.1016/j.epsl.2020.116444 (EPSL: 546:116444). These particles represent hydrated carbonaceous chondrite material derived either from a new group or from the CY chondrites (thereby extending the isotopic range of this group). In either scenario they demonstrate close petrographic and isotopic connections to the CO‐CM chondrite clan. Furthermore, their position in O‐isotope space makes them the most likely candidate for the parent body of the anomalous “group 4” cosmic spherules previously reported by Suavet et al. (2010), https://doi.org/10.1016/j.epsl.2010.02.046 (EPSL: 293:313‐320) and several subsequent isotopic studies. We conclude that the “group 4” cosmic spherules originate from hydrated C‐type asteroid parents.
Tropical Cyclone Intensification and Fullness: The Role of Storm Size Configuration
Authors: Guo Xi , Tan Zhe‐Min 
Published: August 2022

AbstractThe relationships between the intensification rate (IR) and the size configuration of tropical cyclones (TCs) are investigated. Theoretically, the intensity, size configuration, and relative vorticity of TCs are intrinsically linked. TC fullness (TCF) is used to quantify the size configuration of TCs and can be expressed as the product of the critical fullness (TCF0) and the ratio of fullness (Rf). TCF0 represents the fundamental constraint on size configuration shared by TCs at a given intensity and is the lower limit of fullness, whereas Rf reveals a TC's unique wind structural feature. Intermediate TCF0 (∼0.55), moderate Rf (∼1.4), and thus high TCF (∼0.8) collectively facilitate the occurrence of a large IR of TC. Obtaining a stable and moderate Rf at low TCF0 favors the subsequent intensification of a TC. The TCF‐TCF0 diagram is proposed to illustrate the co‐evolution of TC size configuration and intensity, and to reveal how they modulate intensification.
First Simultaneous Lidar Observations of Thermosphere‐Ionosphere Sporadic Ni and Na (TISNi and TISNa) Layers (∼105–120 km) Over Beijing (40.42°N, 116.02°E)
Authors: Wu Fuju , Chu Xinzhao , Du Lifang , Jiao Jing , Zheng Haoran , Xun Yuchang , Feng Wuhu , Plane John M. C. , Yang Guotao 
Published: August 2022

AbstractWe report the first simultaneous lidar observations of thermosphere‐ionosphere sporadic nickel and Na (TISNi and TISNa) layers in altitudes ∼105–120 km over Yanqing (40.42°N, 116.02°E), Beijing. From two years of data spanning April 2019 to April 2020 and July 2020 to June 2021, TISNi layers in May and June possess high densities with a maximum of 818 cm−3 on 17 May 2021, exceeding the density of main layer peak (∼85 km) by ∼4 times. They correlate with strong sporadic E layers observed nearby. TISNa layers occur at similar altitudes as TISNi with spatial‐temporal correlation coefficients of ∼1. The enrichment of Ni in TISNi is evident as the [TISNi]/[TISNa] column abundance ratios are ∼1, about 10 times the main layer [Ni]/[Na] ratios. These results are largely explained by neutralization of converged Ni+ and Na+ ions via recombination with electrons. Calculations show direct recombination dominating over dissociative recombination above ∼105 km.
Lunar Heat Flow: Global Predictions and Reduced Heat Flux
Authors: Siegler Matthew , Warren Paul , Franco Katelyn Lehman , Paige David , Feng Jianqing , White Mackenzie 
Published: August 2022

AbstractGeothermal heat flux of a body provides a unique look into its internal composition. The geothermal heat flux of the Moon is believed to vary primarily due to the distribution of radiogenic materials both spatially and vertically through the lunar crust. Here, we combine available global orbital, landed mission, returned sample, and meteorite data to produce a forward model of lunar heat flux consistent with present data. This provides a framework for future geothermal and geochemical measurements over the lunar surface, which can be tied back to global radiogenic and refractory element composition. We develop a model of the Moon as a single heat flux province represented by ∼60% of the Lunar Prospector Gamma‐Ray Spectrometer surface Th value or equivalently a 21.5 km thick layer with surface Th values. The zero‐thorium intercept, or “reduced heat flux,” of these models is approximately 5 m Wm−2, implying the net heat flux from the mantle is at or below this value. With an estimated Urey ratio between 0.65 and 0.73, this equates to a mantle thorium concentration of ∼19–∼25 ppb. This model suggests a bulk thorium concentration of approximately 50.5 ± 5.5 ppb. This value is based on the heat flux that would be obtained from a CTh/CU = 3.7, CK/CU = 2,000 = or equivalently 13.7 ± 1.5 ppb of uranium and 27.2 ± 3.0 ppm potassium.
Rapid homeostatic plasticity and neuropsychiatric therapeutics
Authors: Kavalali Ege T. , Monteggia Lisa M. 
Published: August 2022

AbstractNeuronal and synaptic plasticity are widely used terms in the field of psychiatry. However, cellular neurophysiologists have identified two broad classes of plasticity. Hebbian forms of plasticity alter synaptic strength in a synapse specific manner in the same direction of the initial conditioning stimulation. In contrast, homeostatic plasticities act globally over longer time frames in a negative feedback manner to counter network level changes in activity or synaptic strength. Recent evidence suggests that homeostatic plasticity mechanisms can be rapidly engaged, particularly by fast-acting antidepressants such as ketamine to trigger behavioral effects. There is increasing evidence that several neuropsychoactive compounds either directly elicit changes in synaptic activity or indirectly tap into downstream signaling pathways to trigger homeostatic plasticity and subsequent behavioral effects. In this review, we discuss this recent work in the context of a wider paradigm where homeostatic synaptic plasticity mechanisms may provide novel targets for neuropsychiatric treatment advance.
Chronic adolescent exposure to cannabis in mice leads to sex-biased changes in gene expression networks across brain regions
Authors: Zuo Yanning , Iemolo Attilio , Montilla-Perez Patricia , Li Hai-Ri , Yang Xia , Telese Francesca 
Published: August 2022

AbstractDuring adolescence, frequent and heavy cannabis use can lead to serious adverse health effects and cannabis use disorder (CUD). Rodent models of adolescent exposure to the main psychoactive component of cannabis, delta-9-tetrahydrocannabinol (THC), mimic the behavioral alterations observed in adolescent users. However, the underlying molecular mechanisms remain largely unknown. Here, we treated female and male C57BL6/N mice with high doses of THC during early adolescence and assessed their memory and social behaviors in late adolescence. We then profiled the transcriptome of five brain regions involved in cognitive and addiction-related processes. We applied gene coexpression network analysis and identified gene coexpression modules, termed cognitive modules, that simultaneously correlated with THC treatment and memory traits reduced by THC. The cognitive modules were related to endocannabinoid signaling in the female dorsal medial striatum, inflammation in the female ventral tegmental area, and synaptic transmission in the male nucleus accumbens. Moreover, cross-brain region module-module interaction networks uncovered intra- and inter-region molecular circuitries influenced by THC. Lastly, we identified key driver genes of gene networks associated with THC in mice and genetic susceptibility to CUD in humans. This analysis revealed a common regulatory mechanism linked to CUD vulnerability in the nucleus accumbens of females and males, which shared four key drivers (Hapln4, Kcnc1, Elavl2, Zcchc12). These genes regulate transcriptional subnetworks implicated in addiction processes, synaptic transmission, brain development, and lipid metabolism. Our study provides novel insights into disease mechanisms regulated by adolescent exposure to THC in a sex- and brain region-specific manner.
Multi-omics analysis reveals RNA splicing alterations and their biological and clinical implications in lung adenocarcinoma
Authors: Wu Quanyou , Feng Lin , Wang Yaru , Mao Yousheng , Di Xuebing , Zhang Kaitai , Cheng Shujun , Xiao Ting 
Published: August 2022

AbstractAlternative RNA splicing is one of the most important mechanisms of posttranscriptional gene regulation, which contributes to protein diversity in eukaryotes. It is well known that RNA splicing dysregulation is a critical mechanism in tumor pathogenesis and the rationale for the promising splice-switching therapeutics for cancer treatment. Although we have a comprehensive understanding of DNA mutations, abnormal gene expression profiles, epigenomics, and proteomics in lung adenocarcinoma (LUAD), little is known about its aberrant alternative splicing profiles. Here, based on the multi-omics data generated from over 1000 samples, we systematically studied the RNA splicing alterations in LUAD and revealed their biological and clinical implications. We identified 3688 aberrant alternative splicing events (AASEs) in LUAD, most of which were alternative promoter and exon skip. The specific regulatory roles of RNA binding proteins, somatic mutations, and DNA methylations on AASEs were comprehensively interrogated. We dissected the functional implications of AASEs and concluded that AASEs mainly affected biological processes related to tumor proliferation and metastasis. We also found that one subtype of LUAD with a particular AASEs pattern was immunogenic and had a better prognosis and response rate to immunotherapy. These findings revealed novel events related to tumorigenesis and tumor immune microenvironment and laid the foundation for the development of splice-switching therapies for LUAD.