bluuebunny/crossref_metadata_2025_split huggingface dataset:
Combined signature of rumen microbiome and metabolome in dairy cows with different feed intake levels
Authors: Li Yeqing Q , Xi Yumeng M , Wang Zedong D , Zeng Hanfang F , Han Zhaoyu 
Published: March 2020

Abstract
Feed intake is a major factor in maintaining the balance between ruminal fermentation and the microbial community of dairy cows. To explore the relationship among feed intake, microbial metabolism, and ruminal fermentation, we examined the combined signatures of the microbiome and metabolome in dairy cows with different feed intake levels. Eighteen dairy cows were allocated to high feed intake (HFI), medium feed intake (MFI), and low feed intake (LFI) groups according to their average daily feed intake. 16S rDNA sequencing results revealed that the relative abundance of Firmicutes in the HFI group was significantly higher than that in the MFI and LFI groups (P &lt; 0.05). The ratio of Bacteroidetes to Firmicutes was significantly lower in the HFI group than in the MFI and LFI groups (P &lt; 0.05). The relative abundance of Lachnospiraceae_unclassified, Veillonellaceae_unclassified, and Saccharofermentants was significantly higher in the HFI group than in the LFI and MFI groups (P &lt; 0.05). The relative abundance of Erysipelotrichaceae_unclassified and Butyrivibrio was significantly higher in the HFI group than in the MFI and LFI groups (P &lt; 0.05). Ultra high performance liquid chromatography-mass spectrometry revealed five key pathways, including the linoleic acid metabolism pathway, alpha-linolenic acid metabolism, arginine and proline metabolism, glutathione metabolism, and valine, leucine, and isoleucine biosynthesis, which are closely related to energy and amino acid metabolism. Linoleic acid, glutamate, alpha-linolenic acid, l-methionine, and l-valine levels were significantly lower in the HFI group than in the MFI and LFI groups (q &lt; 0.05), while the relative content of glutamate was significantly lower in the MFI group than in the LFI group (q &lt; 0.05). Stearic acid content was significantly higher in the HFI group than in the LFI group (q &lt; 0.05). Our findings provide insight into the rumen microbiome of dairy cows with different feed intake and the metabolic pathways closely associated with feed intake in early-lactating cows. The candidates involved in these metabolic pathways may be useful for identifying variations in feed intake. The signatures of the rumen microbiome and metabolome in dairy cows may help make decisions regarding feeding.
Systematic analysis of needs and requirements for the design of smart manufacturing systems in SMEs☆
Authors: Rauch Erwin , Vickery Andrew R 
Published: March 2020

AbstractWith the increasing trend of the Fourth Industrial Revolution, also known as Industry 4.0 or smart manufacturing, many companies are now facing the challenge of implementing Industry 4.0 methods and technologies. This is a challenge especially for small and medium-sized enterprises, as they have neither sufficient human nor financial resources to deal with the topic sufficiently. However, since small and medium-sized enterprises form the backbone of the economy, it is particularly important to support these companies in the introduction of Industry 4.0 and to develop appropriate tools. This work is intended to fill this gap and to enhance research on Industry 4.0 for small and medium-sized enterprises by presenting an exploratory study that has been used to systematically analyze and evaluate the needs and translate them into a final list of (functional) requirements and constraints using axiomatic design as scientific approach.
Plant Preferences of Z-Pheromone Race Ostrinia nubilalis (Lepidoptera: Crambidae) Based on Leaf Tissue Consumption Rates
Authors: Fisher Kelsey E , Flexner J Lindsey , Mason Charles E 
Published: March 2020

AbstractEuropean corn borer, Ostrinia nubilalis Hübner (Lepidoptera: Crambidae), has been present in the United States for over 100 yr and documented on &gt;200 plant species, including economically valuable crops. The reported preferred host of O. nubilalis is corn, Zea mays L. (Cyperales: Poaceae), although it is considered to be a generalist agricultural pest. Life cycles of the two pheromone races, E and Z, align with the seasonality of different agricultural plants. Since the introduction of Bt corn in 1996, overall O. nubilalis presence has declined and suggests that alternative crop plants might not be suitable hosts. We investigated plant vegetation preference of third-instar Z-race O. nubilalis for leaf disks of corn and a variety of other crops using 48 h no-choice and choice tests. Z-race larvae gained more mass on V6 non-Bt field corn leaf disks in comparison to other plant species options. Additionally, a preference for non-Bt field corn leaf disks was observed in most comparisons. Higher consumption of cucumber, Cucumis sativus L. (Cucurbitales: Cucurbitaceae), leaf disks as compared to non-Bt field corn leaf disks suggested an ability to feed on excised leaf tissues of a plant species that does not induce defenses to herbivory.
Interactive proof-search for equational reasoning
Authors: Miranda-Perea Favio E , González Huesca Lourdes del Carmen , Linares-Arévalo P Selene 
Published: March 2020

Abstract
Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic.
Nelson’s logic 𝒮
Authors: Nascimento Thiago , Rivieccio Umberto , Marcos João , Spinks Matthew 
Published: March 2020

AbstractBesides the better-known Nelson logic ($\mathcal{N}3$) and paraconsistent Nelson logic ($\mathcal{N}4$), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus (crucially lacking the contraction rule) with infinitely many rule schemata and no semantics (other than the intended interpretation into Arithmetic). We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable (in fact, implicative), in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$.
A nationwide survey of fatigue in cancer patients in Taiwan: an unmet need
Authors: Rau Kun-Ming , Shun Shiow-Ching , Chiou Tzeon-Jye , Lu Chang-Hsien , Ko Wei-Hsu , Lee Ming-Yang , Huang Wen-Tsung , Yeh Kun-Huei , Chang Cheng-Shyong , Hsieh Ruey-Kuen 
Published: March 2020

Abstract

Background
Cancer-related fatigue (CRF) is an emerging clinical issue, although its prevalence and impact on quality of life (QOL) in cancer patients in Taiwan remain unclear. The present nationwide cross-sectional study was conducted to provide a thorough overview of the prevalence, related factors and impact of CRF in Taiwan.

Methods
In this multi-center survey, data were collected using the International Classification of Diseases 10th Revision (ICD-10) Fatigue evaluation, Brief Fatigue Inventory–Taiwan (BFI-T), the Chinese version of the Symptom Distressed Scale and a fatigue experience survey. Logistic regression was used to determine the correlations between fatigue characteristics and the factors studied.

Results
A total of 1207 cancer patients were recruited from 23 hospitals in Taiwan. Fatigue was the most distressing symptom in Taiwanese cancer patients. The distress score was higher if CRF was diagnosed using ICD-10 compared with BFI-T. Rest and nutritional supplementation were the most common non-pharmacological treatments; blood transfusion was the most common pharmacological treatment. There were 45% of patients reported not receiving a timely intervention for fatigue.

Conclusions
Fatigue is the most bothersome symptom reported by Taiwanese cancer patients. Caregivers should be aware of the impact of CRF on QOL in cancer patients, constantly measure the severity of fatigue and provide appropriate interventions.
DISPENSING WITH INDISPENSABILITY
Authors: Dunne Niamh 
Published: March 2020

Abstract
‘Indispensability’ is the central concept underpinning the treatment of refusal to deal claims under Article 102 TFEU. Since its adoption in Magill and Bronner, however, the conventional wisdom that instances of refusal to deal constitute an abuse only in the presence of indispensability has been challenged from multiple directions. This article surveys the departures from the orthodoxy that can be found in the jurisprudence. In doing so, it measures the purported explanations for such derogations against the justifications for restraint encapsulated in the indispensability concept. Finally, it asks whether the weight of exceptions may reach the point of overwhelming, or ‘dispensing with,’ the original rule.
AtHSPR is involved in GA- and light intensity-mediated control of flowering time and seed set in Arabidopsis
Authors: Yang Tao , Sun Yan , Wang Yongli , Zhou Lina , Chen Mengya , Bian Zhiyuan , Lian Yuke , Xuan Lijuan , Yuan Guoqiang , Wang Xinyu , Wang Chongying 
Published: March 2020

Abstract
Flowering is a dynamic and synchronized process, the timing of which is finely tuned by various environmental signals. A T-DNA insertion mutant in Arabidopsis HEAT SHOCK PROTEIN-RELATED (AtHSPR) exhibited late-flowering phenotypes under both long-day (LD) and short-day (SD) conditions compared to the wild-type, while over-expression of AtHSPR promoted flowering. Exogenous application of gibberellin (GA) partially rescued the late-flowering mutant phenotype under both LD and SD conditions, suggesting that AtHSPR is involved in GA biosynthesis and/or the GA signaling that promotes flowering. Under SD or low-light conditions, the Athspr mutant exhibited late flowering together with reduced pollen viability and seed set, defective phenotypes that were partially rescued by GA treatment. qRT-PCR assays confirmed that GA biosynthetic genes were down-regulated, that GA catabolic genes were up-regulated, and that the levels of bioactive GA and its intermediates were decreased in Athspr under both SD and low-light/LD, further suggesting that AtHSPR could be involved in the GA pathway under SD and low-light conditions. Furthermore, AtHSPR interacted in vitro with OFP1 and KNAT5, which are transcriptional repressors of GA20ox1 in GA biosynthesis. Taken together, our findings demonstrate that AtHSPR plays a positive role in GA- and light intensity-mediated regulation of flowering and seed set.
Spinoza and Judaism in the French Context: The Case of Milner’s Le Sage Trompeur*
Authors: Stetter Jack 
Published: March 2020

Abstract
Jean-Claude Milner’s Le sage trompeur (2013), a controversial recent piece of French Spinoza literature, remains regrettably understudied in the English-speaking world. Adopting Leo Strauss’ esoteric reading method, Milner alleges that Spinoza dissimulates his genuine analysis of the causes of the persecution and survival of the Jewish people within a brief “manifesto” found at the end of the Tractatus Theologico-Politicus (TTP), Chapter 3. According to Milner, Spinoza holds that the Jewish people themselves are responsible for the hatred of the Jewish people, and that the engine of their longevity is the hatred they engender. Additionally, claims Milner, Spinoza covertly insinuates that the solution to this persistent state of hatred consists in the mass apostasy of the Jewish people under the leadership of a Sabbatai Zevi-like figure. This article presents the Milner–Spinoza controversy to the English-speaking public along with the larger context of French-language scholarship on Spinoza’s relation to Judaism. While refuting Milner’s reading of Spinoza, I simultaneously clarify relevant elements of Spinoza’s discussions of Judaism in the TTP, such as Spinoza’s examination of Jewish identity and the nature of divine election, Spinoza’s understanding of the causes of national hatred, and Spinoza’s appeals to Portuguese, Spanish, Chinese, and Turkish political history.
Reasons for voriconazole prophylaxis discontinuation in allogeneic hematopoietic cell transplant recipients: A real-life paradigm
Authors: Chan Shuk Ying , Hughes Rachel M , Woo Kimberly , Perales Miguel-Angel , Neofytos Dionysios , Papanicolaou Genovefa 
Published: March 2020

Abstract
We sought to describe the clinical experience of voriconazole as primary antifungal prophylaxis (AFP) in allogeneic hematopoietic cell transplant recipients (allo-HCTr). This was a single-center retrospective study of adult allo-HCTr (1 January 2014 to 31 December 2016) who received ≥two doses of voriconazole-AFP. Voriconazole-AFP was started on day +7 post-HCT and continued at least through day +60 post-HCT, or longer as clinically indicated. We reviewed the rate, reasons, and risk factors of voriconazole-AFP discontinuation until day-100 post-HCT. A total of 327 patients were included. Voriconazole-AFP was continued for a median of 69 days (mean: 57.9; range 1, 100): for a median of 90 days (mean :84; range 2, 100) in 180/327 (55%) in the standard-of-care (SOC) group and 20 days (mean :25.6 ; range 1, 89; P-value &lt; .001) in 147/327 (45%) patients in the early-discontinuation-group. Early-voriconazole-AFP discontinuation was due to adverse events, drug interactions, insurance coverage, and other reasons in 101/147 (68.7%), 27 (18.4%), 13 (8.8%), and 6 (4.1%) patients, respectively. Early-voriconazole-AFP discontinuation occurred in 73/327 (22.3%) patients due to hepatotoxicity. Important predictors for early-voriconazole-AFP discontinuation included: graft-versus-host disease grade ≥2 (odds ratio [OR]: 1.9, P-value: .02), alanine-aminotransferase ≥75 IU/ml on voriconazole-administration day-14 (OR: 5.6, P-value: .02) and total bilirubin ≥1.3 mg/dl on voriconazole-administration day-7 (OR: 3.0, P-value: .03). There were 13 proven/probable invasive fungal infections by day-180 post-HCT (8/147, 5.4%, and 5/180, 2.8% in the early-discontinuation and SOC-groups, respectively; log-rank:0.13). By day-180 post HCT, 23/147 (15.6%) and 14/180 (7.8%) patients in the early-discontinuation and SOC-groups had died, respectively (log-rank:0.03). Voriconazole-AFP was discontinued in up to 45% of allo-HCTr. Hepatotoxicity during the first 2 weeks post-HCT is a significant predictor of early-voriconazole-AFP discontinuation.
precision: a fast python pipeline for high-contrast imaging – application to SPHERE observations of the red supergiant VX Sagitariae
Authors: Scicluna P , Kemper F , Siebenmorgen R , Wesson R , Blommaert J A D L , Wolf S 
Published: March 2020

ABSTRACT
The search for extrasolar planets has driven rapid advances in instrumentation, resulting in cameras such as SPHERE at the VLT, GPI at Gemini South and SCExAO at Subaru, capable of achieving very high contrast (∼106) around bright stars with small inner working angles (${\sim}0.1\,{\rm arcsec}$). The optimal exploitation of data from these instruments depends on the availability of easy-to-use software to process and analyse their data products. We present a pure-python pipeline, precision, which provides fast, memory-efficient reduction of data from the SPHERE/IRDIS near-infrared imager, and can be readily extended to other instruments. We apply precision to observations of the extreme red supergiant VX Sgr, the inner outflow of which is revealed to host complex, asymmetric structure in the near-IR. In addition, optical polarimetric imaging reveals clear extended polarized emission on ∼0.5 arcsec scales that varies significantly with azimuth, confirming the asymmetry. While not conclusive, this could suggest that the ejecta are confined to a disc or torus, which we are viewing nearly face on, although other non-spherical or clumpy configurations remain possible. VX Sgr has no known companions, making such a geometry difficult to explain, as there is no obvious source of angular momentum in the system.
Dark Energy Survey Year 1 Results: Wide-field mass maps via forward fitting in harmonic space
Authors: Mawdsley B , Bacon D , Chang C , Melchior P , Rozo E , Seitz S , Jeffrey N , Gatti M , Gaztanaga E , Gruen D , Hartley W G , Hoyle B , Samuroff S , Sheldon E , Troxel M A , Zuntz J , Abbott T M C , Annis J , Bertin E , Bridle S L , Brooks D , Buckley-Geer E , Burke D L , Carnero Rosell A , Carrasco Kind M , Carretero J , da Costa L N , De Vicente J , Desai S , Diehl H T , Doel P , Evrard A E , Flaugher B , Fosalba P , Frieman J , García-Bellido J , Gerdes D W , Gruendl R A , Gschwend J , Gutierrez G , Hollowood D L , Honscheid K , James D J , Jarvis M , Jeltema T , Kuehn K , Kuropatkin N , Lima M , Maia M A G , Marshall J L , Miquel R , Plazas A A , Roodman A , Sanchez E , Scarpine V , Serrano S , Sevilla-Noarbe I , Smith M , Smith R C , Sobreira F , Suchyta E , Swanson M E C , Tarle G , Tucker D L , Vikram V , Walker A R ,   (DES Collaboration)
Published: March 2020

ABSTRACT
We present new wide-field weak lensing mass maps for the Year 1 Dark Energy Survey (DES) data, generated via a forward fitting approach. This method of producing maps does not impose any prior constraints on the mass distribution to be reconstructed. The technique is found to improve the map reconstruction on the edges of the field compared to the conventional Kaiser–Squires method, which applies a direct inversion on the data; our approach is in good agreement with the previous direct approach in the central regions of the footprint. The mapping technique is assessed and verified with tests on simulations; together with the Kaiser–Squires method, the technique is then applied to data from the DES Year 1 data and the differences between the two methods are compared. We also produce the first DES measurements of the convergence Minkowski functionals and compare them to those measured in simulations.
Defying the laws of gravity I: model-independent reconstruction of the Universe expansion from growth data
Authors: L’Huillier Benjamin , Shafieloo Arman , Polarski David , Starobinsky Alexei A 
Published: March 2020

ABSTRACT
Using redshift space distortion data, we perform model-independent reconstructions of the growth history of matter inhomogeneity in the expanding Universe using two methods: crossing statistics and Gaussian processes. We then reconstruct the corresponding history of the Universe background expansion and fit it to Type Ia supernovae data, putting constraints on (Ωm, 0, σ8, 0). The results obtained are consistent with the concordance flat-ΛCDM model and General Relativity as the gravity theory given the current quality of the inhomogeneity growth data.
Understanding nebular spectra of Type Ia supernovae
Authors: Wilk Kevin D , Hillier D John , Dessart Luc 
Published: March 2020

ABSTRACT
In this study, we present one-dimensional, non-local-thermodynamic-equilibrium, radiative transfer simulations (using cmfgen) in which we introduce micro-clumping at nebular times into two Type Ia supernova ejecta models. We use one sub-Chandrasekhar (sub-MCh) ejecta model with 1.04 M⊙ and one Chandrasekhar (MCh) ejecta model with 1.40 M⊙. We introduce clumping factors f = 0.33, 0.25, and 0.10, which are constant throughout the ejecta, and compare results to the unclumped f = 1.0 case. We find that clumping is a natural mechanism to reduce the ionization of the ejecta, reducing emission from [Fe iii], [Ar iii], and [S iii] by a factor of a few. For decreasing values of the clumping factor f, the [Ca ii] λλ7291,7324 doublet became a dominant cooling line for our MCh model but remained weak in our sub-MCh model. Strong [Ca ii] λλ7291,7324 indicates non-thermal heating in that region and may constrain explosion modelling. Due to the low abundance of stable nickel, our sub-MCh model never showed the [Ni ii] 1.939-μm diagnostic feature for all clumping values.
A high-resolution spectroscopic study of two new Na- and Al-rich field giants–likely globular cluster escapees in the Galactic halo
Authors: Bandyopadhyay Avrajit , Thirupathi Sivarani , Beers Timothy C , Susmitha A 
Published: March 2020

ABSTRACT
The stars SDSS J0646+4116 and SDSS J1937+5024 are relatively bright stars that were initially observed as a part of the SDSS/MARVELS pre-survey. They were selected, on the basis of their weak CH G bands, along with a total of 60 others, in the range of halo globular cluster (GC) metallicities for high-resolution spectroscopic follow-up as a part of the HESP-GOMPA survey (Hanle Echelle SPectrograph – Galactic survey Of Metal Poor stArs). The stars exhibit typical nucleosynthesis signatures expected from the so-called second-generation stars of GCs. The light-element anticorrelation of Mg–Al is detected, along with elevated abundances of Na. Carbon is found to be depleted, which is compatible with expectation. Lithium is also detected in SDSS J0646+4116 and SDSS J1937+5024; the measured abundances are similar to those of normal halo giant stars. These bright escapees provide a unique opportunity to study the nucleosynthesis events of GC in great detail, and shed light on their chemical-enrichment histories.
Early neutron star evolution in high-mass X-ray binaries
Authors: Ho Wynn C G , Wijngaarden M J P , Andersson Nils , Tauris Thomas M , Haberl F 
Published: March 2020

ABSTRACT
The application of standard accretion theory to observations of X-ray binaries provides valuable insights into neutron star (NS) properties, such as their spin period and magnetic field. However, most studies concentrate on relatively old systems, where the NS is in its late propeller, accretor, or nearly spin equilibrium phase. Here, we use an analytic model from standard accretion theory to illustrate the evolution of high-mass X-ray binaries (HMXBs) early in their life. We show that a young NS is unlikely to be an accretor because of the long duration of ejector and propeller phases. We apply the model to the recently discovered ∼4000 yr old HMXB XMMU J051342.6−672412 and find that the system’s NS, with a tentative spin period of 4.4 s, cannot be in the accretor phase and has a magnetic field B &gt; a few × 1013 G, which is comparable to the magnetic field of many older HMXBs and is much higher than the spin equilibrium inferred value of a few × 1011 G. The observed X-ray luminosity could be the result of thermal emission from a young cooling magnetic NS or a small amount of accretion that can occur in the propeller phase.