bluuebunny/crossref_metadata_2025_split huggingface dataset:
Prediction differs at sentence and discourse level: An event-related potential study
Authors: Chang Ruohan , Yang Xiaohong , Yang Yufang 
Published: June 2020

AbstractThis study used event-related potentials (ERPs) to investigate how predicting upcoming words differ when contextual information used to generate the prediction is from the immediately preceding sentence context versus an earlier discourse context. Four-sentence discourses were presented to participants, with the critical words in the last sentences, either predictable or unpredictable based on sentence- or discourse-level contextual information. At the sentence level, the crucial contextual information for prediction was provided by the last sentence, where the critical word was embedded (e.g.,Xiaoyu came to the living room. She made a cup of lemon tea. Then she sat down in a chair. She opened abox/analbumto look at the pictures.), and at the discourse level by the first sentence (e.g.,Xiaoyu took out abox/analbum. She made a cup of lemon tea. Then she sat down in a chair. She leisurely looked at the pictures.). Results showed reduced N400 for predictable words compared to unpredictable counterparts at sentence and discourse levels and also a post-N400 positivity effect of predictability at sentence level. This suggests that both sentence- and discourse-level semantic information help readers predict upcoming words, but supportive sentence context more than discourse context.
Hepatitis E virus and blood transfusion safety
Authors: Bi Hao , Yang Ru , Wu Chunchen , Xia Jianbo 
Published: June 2020

Abstract
While the majority of worldwide hepatitis E viral (HEV) infections that occur in people are from contaminated water or food sources, there has also been a steadily rising number of reported cases of transfusion-transmitted HEV (TT-HEV) in blood donation recipients. For most, HEV infection is acute, self-limiting and asymptomatic. However, patients that are immunocompromised, especially transplant patients, are at much higher risk for developing chronic infections, which can progress to cirrhosis and liver failure, along with overall increased mortality. Because of the rising trend of HEV serological prevalence among the global population, and the fact that TT-HEV infection can cause serious clinical consequences among those patients most at need for blood donation, the need for screening for TT-HEV has been gaining in prominence as an important public health concern for both developing and developed countries. In the review, we summarise evidence for and notable cases of TT-HEV infections, the various aspects of HEV screening protocols and recent trends in the implementation of TT-HEV broad-based blood screening programmes.
The report of the joint WPA/CINP workgroup on the use and usefulness of antipsychotic medication in the treatment of schizophrenia
Authors: Fountoulakis Konstantinos N. , Moeller Hans-Jurgen , Kasper Siegfried , Tamminga Carol , Yamawaki Shigeto , Kahn Rene , Tandon Rajiv , Correll Christoph U. , Javed Afzal 
Published: June 2020

AbstractThis is a report of a joint World Psychiatric Association/International College of Neuropsychopharmacology (WPA/CINP) workgroup concerning the risk/benefit ratio of antipsychotics in the treatment of schizophrenia. It utilized a selective but, within topic, comprehensive review of the literature, taking into consideration all the recently discussed arguments on the matter and avoiding taking sides when the results in the literature were equivocal. The workgroup’s conclusions suggested that antipsychotics are efficacious both during the acute and the maintenance phase, and that the current data do not support the existence of a supersensitivity rebound psychosis. Long-term treated patients have better overall outcome and lower mortality than those not taking antipsychotics. Longer duration of untreated psychosis and relapses are modestly related to worse outcome. Loss of brain volume is evident already at first episode and concerns loss of neuropil volume rather than cell loss. Progression of volume loss probably happens in a subgroup of patients with worse prognosis. In humans, antipsychotic treatment neither causes nor worsens volume loss, while there are some data in favor for a protective effect. Schizophrenia manifests 2 to 3 times higher mortality vs the general population, and treatment with antipsychotics includes a number of dangers, including tardive dyskinesia and metabolic syndrome; however, antipsychotic treatment is related to lower mortality, including cardiovascular mortality. In conclusion, the literature strongly supports the use of antipsychotics both during the acute and the maintenance phase without suggesting that it is wise to discontinue antipsychotics after a certain period of time. Antipsychotic treatment improves long-term outcomes and lowers overall and specific-cause mortality.
Targeting intrusive imagery using a competing task technique: a case study
Authors: Iyadurai Lalitha , Hales Susie A. , Blackwell Simon E. , Young Kerry , Holmes Emily A. 
Published: June 2020

AbstractBackground:Even in cases with complexity, simple techniques can be useful to target a specific symptom. Intrusive mental images are highly disruptive, drive emotion, and contribute to maintaining psychopathology. Cognitive science suggests that we might target intrusive images using competing tasks.Aims:We describe an imagery competing task technique within cognitive behavioural therapy (CBT) with a patient with bipolar disorder and post-traumatic stress disorder (PTSD) symptoms. The intervention – including Tetris computer game-play – was used (1) to target a specific image within one therapy session, and (2) to manage multiple images in daily life.Method:A single case (AB) design was used. (1) To target a specific image, the patient brought the image to mind and, after mental rotation instructions and game-play practice, played Tetris for 10 minutes. Outcomes, pre- and post-technique, were: vividness/distress ratings when the image was brought to mind; reported intrusion frequency over a week. (2) To manage multiple images, the patient used the intervention after an intrusive image occurred. Outcomes were weekly measures of: (a) imagery characteristics; (b) symptoms of PTSD, anxiety, depression and mania.Results:(1) For the target image, there were reductions in vividness (80% to 40%), distress (70% to 0%), and intrusion frequency (daily to twice/week). (2) For multiple images, there were reductions from baseline to follow-up in (a) imagery vividness (38%), realness (66%) and compellingness (23%), and (b) PTSD symptoms (Impact of Events Scale-Revised score 26.33 to 4.83).Conclusion:This low-intensity intervention aiming to directly target intrusive mental imagery may offer an additional, complementary tool in CBT.
PLANS AND PLANNING IN MATHEMATICAL PROOFS
Authors: HAMAMI YACIN , MORRIS REBECCA LEA 
Published: June 2020

AbstractIn practice, mathematical proofs are most often the result of careful planning by the agents who produced them. As a consequence, each mathematical proof inherits a plan in virtue of the way it is produced, a plan which underlies its “architecture” or “unity.” This paper provides an account ofplansandplanningin the context of mathematical proofs. The approach adopted here consists in looking for these notions not in mathematical proofs themselves, but in theagentswho produced them. The starting point is to recognize that to each mathematical proof corresponds aproof activitywhich consists of a sequence ofdeductive inferences—i.e., a sequence ofepistemic actions—and that any written mathematical proof is only a report of its corresponding proof activity. The main idea to be developed is that the plan of a mathematical proof is to be conceived and analyzed as the plan of the agent(s) who carried out the corresponding proof activity. The core of the paper is thus devoted to the development of an account of plans and planning in the context of proof activities. The account is based on the theory of planning agency developed by Michael Bratman in the philosophy of action. It is fleshed out by providing an analysis of the notions ofintention—the elementary components of plans—andpractical reasoning—the process by which plans are constructed—in the context of proof activities. These two notions are then used to offer a precise characterization of the desired notion of plan for proof activities. A fruitful connection can then be established between the resulting framework and the recent theme ofmodularityin mathematics introduced by Jeremy Avigad. This connection is exploited to yield the concept ofmodular presentationsof mathematical proofs which has direct implications for how to write and present mathematical proofs so as to deliver various epistemic benefits. The account is finally compared to the technique of proof planning developed by Alan Bundy and colleagues in the field of automated theorem proving. The paper concludes with some remarks on how the framework can be used to provide an analysis of understanding and explanation in the context of mathematical proofs.
AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS
Authors: CANTWELL JOHN 
Published: June 2020

AbstractA globally expressivist analysis of the indicative conditional based on the Ramsey Test is presented. The analysis is a form of ‘global’ expressivism in that it supplies acceptance and rejection conditions for all the sentence forming connectives of propositional logic (negation, disjunction, etc.) and so allows the conditional to embed in arbitrarily complex sentences (thus avoiding the Frege–Geach problem). The expressivist framework is semantically characterized in a restrictor semantics due to Vann McGee, and is completely axiomatized in a logic dubbed ICL (‘Indicative Conditional Logic’). The expressivist framework extends the AGM (after Alchourron, Gärdenfors, Makinson) framework for belief revision and so provides a categorical (‘yes’–‘no’) epistemology for conditionals that complements McGee’s probabilistic framework while drawing on the same semantics. The result is an account of the semantics and acceptability conditions of the indicative conditional that fits well with the linguistic data (as pooled by linguists and from psychological experiments) while integrating both expressivist and semanticist perspectives.
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
Authors: ZACH RICHARD 
Published: June 2020

AbstractAny set of truth-functional connectives has sequent calculus rules that can be generated systematically from the truth tables of the connectives. Such a sequent calculus gives rise to a multi-conclusion natural deduction system and to a version of Parigot’s free deduction. The elimination rules are “general,” but can be systematically simplified. Cut-elimination and normalization hold. Restriction to a single formula in the succedent yields intuitionistic versions of these systems. The rules also yield generalized lambda calculi providing proof terms for natural deduction proofs as in the Curry–Howard isomorphism. Addition of an indirect proof rule yields classical single-conclusion versions of these systems. Gentzen’s standard systems arise as special cases.
CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC
Authors: CORDES MORITZ 
Published: June 2020

AbstractThis paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all$X, Q$:XevokesQiff there is an FOE-proof for the evocation ofQbyX. These results suggest a critique of the represented approaches to calculizing IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up “rules of asking.”
Post-weaning exposure to high-sucrose diet induces early non-alcoholic fatty liver disease onset and progression in male mice: role of dysfunctional white adipose tissue
Authors: França Lucas Martins , dos Santos Pâmela Costa , Barroso Wermerson Assunção , Gondim Roberta Sabrine Duarte , Coêlho Caio Fernando Ferreira , Flister Karla Frida Torres , Paes Antonio Marcus de Andrade 
Published: June 2020

AbstractNon-alcoholic fatty liver disease (NAFLD) is the hepatic manifestation of metabolic syndrome, ranging from simple steatosis to non-alcoholic steatohepatitis (NASH) particularly among chronic consumers of added sugar-rich diets. However, the impact of early consumption of such diets on NAFLD onset and progression is unclear. Thus, this study sought to characterise metabolic factors involved in NAFLD progression in young mice fed with a high-sucrose diet (HSD). Male Swiss mice were fed HSD or regular chow (CTR) from weaning for up to 60 or 90 days. Obesity development, glucose homeostasis and serum biochemical parameters were determined at each time-point. At day 90, mice were euthanised and white adipose tissue (WAT) collected for lipolytic function assessment and liver for histology, gene expression and cytokines quantification. At day 60, HSD mice presented increased body mass, hypertriglyceridemia, peripheral insulin resistance (IR) and simple steatosis. Upon 90 days on diet, WAT from HSD mice displayed impaired insulin sensitivity, which coincided with increased fasting levels of glucose and free fatty acids (FFA), as well as NAFLD progression to NASH. Transcriptional levels of lipogenic genes, particularly stearoyl-CoA desaturase-1, were consistently increased, leading to hepatic leukocyte infiltration and pro-inflammatory cytokines spillover. Therefore, our dataset supports IR triggering in the WAT as a major factor for dysfunctional release of FFA towards portal circulation and consequent upregulation of lipogenic genes and hepatic inflammatory onset, which decisively concurred for NAFLD-to-NASH progression in young HSD-fed mice. Notwithstanding, this study forewarns against the early introduction of dietary sugars in infant diet, particularly following breastfeeding cessation.
Herbicide resistance in the nursery crop production and landscape maintenance industries
Authors: Derr Jeffrey F. , Neal Joseph C. , Bhowmik Prasanta C. 
Published: June 2020

AbstractWeed management is an important issue for nursery crop and Christmas tree producers, as well as for those maintaining turfgrass or ornamental species in landscape plantings. PRE and POST herbicides are important weed management tools for these industries. Reports of herbicide-resistant weeds increased from fewer than 100 cases in 1985 to nearly 500 cases globally in 2019, including ones found in turfgrass or ornamental systems. The evolution, persistence, and management of herbicide-resistant weeds are an ongoing educational process. We must keep our stakeholders aware of improved weed control technology and provide them information on resistant weeds. A symposium at the 2019 Weed Science Society of America meeting was conducted with presentations and discussions by invited speakers in relation to current research and potential management strategies for resistant weeds in turfgrass, landscape ornamental, and nursery crops. To prepare for the symposium, a survey was prepared for nursery producers and landscapers on the issues of herbicide-resistant weeds and offsite movement of herbicides used to control herbicide-resistant weeds. Overall, most respondents felt herbicide-resistant weeds are a serious problem and most had personally observed herbicide resistance on properties they maintain. Resistance to glyphosate was the herbicide cited by most respondents, followed by resistance to triazine herbicides. Most felt their weed-control costs had increased because of resistant weeds. Approximately 20% of respondents had their operation affected by drift of herbicides from nearby farm fields, with most reporting no damage from spray or vapor drift, but a few reported greater than 50% of the crop damaged.
A Census of the Warm‐Core Rings of the Gulf Stream: 1980–2017
Authors: Gangopadhyay Avijit , Gawarkiewicz Glen , Silva E. Nishchitha S. , Silver Adrienne M. , Monim M. , Clark Jenifer 
Published: June 2020

AbstractA census of Gulf Stream (GS) warm‐core rings (WCRs) is presented based on 38 years (1980–2017) of data. The census documents formation and demise times and locations, and formation size for all 961 WCRs formed in the study period that live for a week or more. A clear regime shift was observed around the Year 2000 and was reported by a subset of authors (Gangopadhyay et al., 2019,https://doi.org/10.1038/s41598-019-48661-9). The WCR formation over the whole region (75–55°W) increased from an average of 18 per year during Regime 1 (1980–1999) to 33 per year during Regime 2 (2000–2017). For geographic analysis formation locations were grouped in four 5° zones between 75°W and 55°W. Seasonally, WCR formations show a significant summer maxima and winter minima, a pattern that is consistent through all zones and both temporal regimes. The lifespan and size distribution show progressively more rings with higher longevity and greater size when formed to the east of 70°W. The average lifespan of the WCRs in all four zones decreased by 20–40% depending on zones and/or seasons from Regime 1 to Regime 2, while the size distribution remained unchanged across regimes. The ring footprint index, a first‐order signature of impact of the WCRs on the slope, increased significantly (26–90%) for all zones from Regime 1 to Regime 2, with the highest percent increase in Zone 2 (70–65°W). This observational study establishes critical statistical and dynamical benchmarks for validating numerical models and highlights the need for further dynamical understanding of the GS‐ring formation processes.
Seasonal Turbidity Linked to Physical Dynamics in a Deep Lake Following the Catastrophic 2014 Mount Polley Mine Tailings Spill
Authors: Hamilton Andrew K. , Laval Bernard E. , Petticrew Ellen L. , Albers Sam J. , Allchin Michael , Baldwin Susan A. , Carmack Eddy C. , Déry Stephen J. , French Todd D. , Granger Brody , Graves Kelly E. , Owens Philip N. , Selbie Daniel T. , Vagle Svein 
Published: June 2020

AbstractThe catastrophic August 2014 Mount Polley tailings spill, the second largest ever documented, sent ~18 Mm3 of waste plunging to the bottom of the >100 m deep West Basin of Quesnel Lake, British Columbia, a critical West Coast salmon habitat. To understand the impact of the spill on the lake, including the fate of suspended solids, we examine changes in physical water properties over 11 years (2006–2017) using water column profiles, moored timeseries, and satellite imagery. Contaminated waters were initially largely confined to the hypolimnion; however, during autumn 2014 turnover, turbid waters were mixed to the surface, resulting in the clear blue lake turning bright green. Twelve months after the spill, the lake's temperature, conductivity, and turbidity temporarily returned to pre‐spill conditions; however, initiation of mine effluent discharge in late 2015 was associated with a subsequent 15 μS cm−1 conductivity increase above historic values. Importantly, a post‐spill 1–2.5 formazin turbidity unit hypolimnetic turbidity increase was observed during spring and fall turnovers of 2015–2017, which appeared to be due to resuspension of a thin layer of unconsolidated spill‐related material from the lake bed driven by large internal seiche motions. This process implies spill contaminants may be seasonally mobilized into the water column, with potentially detrimental impacts on aquatic ecology. Our findings underscore that basin‐scale physical processes, including seasonal turnover and internal seiches, must be accounted for, even in deep lakes, to understand the long‐term impact of the ever increasing number of tailings spills into aquatic ecosystems.
Global Trends of Axial Relief and Faulting at Plate Spreading Centers Imply Discrete Magmatic Events
Authors: Liu Zhonglan , Buck W. Roger 
Published: June 2020

AbstractObserved variations in across‐axis topographic relief and faulting style at spreading centers have been challenging to explain. Axial highs are seen at fast‐spreading centers, while valleys occur for slow‐spreading centers. Fault offsets range from tens of meters at fast‐spreading ridges to tens of kilometers at some slow‐spreading ridges. Models that fit the axial relief fail to produce observed fault patterns, while models that fit the fault patterns fail to produce observed variations in axial relief. A recent mechanical analysis (Liu & Buck, 2018, https://doi.org/10.1016/j.epsl.2018.03.045) suggests that including the effect of many discrete diking events can result in a gradual change in axial relief with crustal thicknesses. To compare this mechanical model directly with observations requires us to couple it with a two‐dimensional thermal model. This allows us to estimate the axial lithospheric thickness consistently as a function of the spreading rate and crustal thickness. For thinner axial lithosphere the model predicts an axial high with relief supported by low‐density material beneath the axial lithosphere. For axial lithospheric thickness between approximately one half and approximately three fourths of the crustal thickness, the axial depth decreases with magma supply increase. For thicker axial lithosphere the axial valley relief is controlled by axial brittle lithospheric thickness and near‐axis lithospheric geometry. We compared model predictions to data by compiling observations on axial relief and faulting mode for all spreading centers where seismic crustal thickness has been measured. Good fit to the data is obtained for model parameters giving dike widths in the axial lithosphere close to a meter.
Climatology of Fine and Coarse Mode Aerosol Optical Thickness Over East and South Asia Derived From POLDER/PARASOL Satellite
Authors: Li Lei , Che Huizheng , Derimian Yevgeny , Dubovik Oleg , Luan Qingzu , Li Qiuyue , Huang Xueying , Zhao Hujia , Gui Ke , Zheng Yu , An Linchang , Sun Tianze , Liang Yuanxin 
Published: June 2020

AbstractThe climatological characteristics of total aerosol optical thickness (AOT) together with fine and coarse mode AOT (fAOT and cAOT) and fine mode fraction (FMF = fAOT/AOT) over East and South Asia are presented here for the period March 2005 to October 2013. The characteristics are retrieved from POLDER/PARASOL measurements using recently developed aerosol component module of GRASP algorithm. The satellite retrievals were validated and presented a good agreement with the AERONET products (e.g., R of ~0.8–0.9 for AOT, fAOT, Ångström exponent, and FMF). The results show a seasonal cycle and strong relation to the emission sources. For example, FMF has a peak of nearly 1.0 in March in the Indo‐China Peninsula region, reaching a minimum of about 0.4 in April in Northwestern China region. These patterns can be explained by dominance of anthropogenic pollution or desert dust emissions. Maps of fine, coarse, and total AOT, as well as of FMF for the East and South Asia region, are presented and analyzed in scope of seasonal and interannual variabilities.