bluuebunny/crossref_metadata_2025_split huggingface dataset:
Learning about Proof with the Theorem Prover LEAN: the Abundant Numbers Task
Authors: Thoma Athina , Iannone Paola 
Published: July 2021

AbstractThis exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through qualitative analysis of 36 student produced proofs of an unfamiliar statement we highlight characteristics of proofs produced by students who did engaged and who did not engage with LEAN. The analysis shows two characteristics of proofs written by students who engaged with the programming language. The first concerns proof writing and includes the accurate and correct use of mathematics language and symbols, together with the use of complete sentences and punctuations in proofs. The second concerns proof structure and includes the overt break down of proofs in goals and sub-goals. We conclude by hypothesising a link between the characteristics observed and the experience of engaging with the theorem prover and we reflect on the potential that engagement with this theorem prover may have in mathematics instruction at university level.
Review of organic and inorganic pollutants removal by biochar and biochar-based composites
Authors: Liang Liping , Xi Fenfen , Tan Weishou , Meng Xu , Hu Baowei , Wang Xiangke 
Published: July 2021

AbstractBiochar (BC) has exhibited a great potential to remove water contaminants due to its wide availability of raw materials, high surface area, developed pore structure, and low cost. However, the application of BC for water remediation has many limitations. Driven by the intense desire of overcoming unfavorable factors, a growing number of researchers have carried out to produce BC-based composite materials, which not only improved the physicochemical properties of BC, but also obtained a new composite material which combined the advantages of BC and other materials. This article reviewed previous researches on BC and BC-based composite materials, and discussed in terms of the preparation methods, the physicochemical properties, the performance of contaminant removal, and underlying adsorption mechanisms. Then the recent research progress in the removal of inorganic and organic contaminants by BC and BC-based materials was also systematically reviewed. Although BC-based composite materials have shown high performance in inorganic or organic pollutants removal, the potential risks (such as stability and biological toxicity) still need to be noticed and further study. At the end of this review, future prospects for the synthesis and application of BC and BC-based materials were proposed. This review will help the new researchers systematically understand the research progress of BC and BC-based composite materials in environmental remediation.
Longitudinal predictors for incidence of internet gaming disorder among adolescents: The roles of time spent on gaming and depressive symptoms
Authors: Liu Yujie , Gong Ruijie , Yu Yuelin , Xu Chen , Yu Xiaoyue , Chang Ruijie , Wang Huwen , Wang Suping , Wang Qian , Cai Yong 
Published: July 2021

AbstractIntroductionInternet gaming disorder (IGD) was popular among adolescents worldwide, but whether some associated factors could contribute to the development of IGD was unclear. This longitudinal study explored the temporal stability of IGD over one year and determined the predictors for IGD incidence.MethodsParticipants were 1121 adolescents from six junior high schools in Shanghai, China (50.6% males; median age = 13.0 years). The baseline and follow‐up questionnaire survey measured IGD, time spent on gaming, depressive symptoms, insomnia condition, substance use and background variables from 7th to 8th grade. Multivariate logistic regression analysis was conducted to test the associations between other factors and IGD incidence.ResultsIGD incidence was 7.7% at one‐year follow‐up. Gender, family financial condition, parental educational level, time spent on gaming, insomnia condition and depressive symptoms were associated with IGD incidence in univariate analysis, whereas only gender, family financial condition, time spent on gaming and depressive symptoms were associated with IGD incidence in multivariate logistic regression.ConclusionsIGD might persist for years during adolescence. After controlling for sociodemographic factors, time spent on gaming and depressive symptoms were independent predictors for IGD incidence.
African Studies Keyword: Oil
Authors: Heilbrunn John R. 
Published: July 2021

AbstractOil is a metonym for terms in books and articles in diverse disciplines in African studies. Some portray oil as a causal agent that thrusts formerly low-income countries into the highly competitive neoliberal global economy. Others present it according to the oil curse/blessing binary. As a curse, petroleum causes dysfunctional and costly behavior. But increased revenues from oil just as certainly result in concrete improvements demonstrating a resource blessing. Heilbrunn uses case materials to explore environmental degradation, oil theft, community-company relations, post-conflict reconstruction, local content in contracts, and corruption. These key concepts form a basis for the keyword/concept essay on oil in Africa.
Perspectives of hospital leaders and staff on patient education for the prevention of healthcare-associated infections
Authors: MacEwan Sarah R. , Beal Eliza W. , Gaughan Alice A. , Sieck Cynthia , McAlearney Ann Scheck 
Published: July 2021

AbstractObjective:Device-related healthcare-associated infections (HAIs), such as catheter-associated urinary tract infections (CAUTIs) and central-line–associated bloodstream infections (CLABSIs), are largely preventable. However, there is little evidence of standardized approaches to educate patients about how they can help prevent these infections. We examined the perspectives of hospital leaders and staff about patient education for CAUTI and CLABSI prevention to understand the challenges to patient education and the opportunities for improvement.Methods:In total, 471 interviews were conducted with key informants across 18 hospitals. Interviews were analyzed deductively and inductively to identify themes around the topic of patient education for infection prevention.Results:Participants identified patient education topics specific to CAUTI and CLABSI prevention, including the risks of indwelling urinary catheters and central lines, the necessity of hand hygiene, the importance of maintenance care, and the support to speak up. Challenges, such as lack of standardized education, and opportunities, such as involvement of patient and family advisory groups, were also identified regarding patient education for CAUTI and CLABSI prevention.Conclusions:Hospital leaders and staff identified patient education topics, and ways to deliver this information, that were important in the prevention of CAUTIs and CLABSIs. By identifying both challenges and opportunities related to patient education, our results provide guidance on how patient education for infection prevention can be further improved. Future work should evaluate the implementation of standardized approaches to patient education to better understand the potential impact of these strategies on the reduction of HAIs.
Effect of host plant on the life history of the carnation tortrix moth Cacoecimorpha pronubana (Lepidoptera: Tortricidae)
Authors: Zielonka Marcin W. , Pope Tom W. , Leather Simon R. 
Published: July 2021

AbstractThe carnation tortrix moth, Cacoecimorpha pronubana (Hübner, [1799]) (Lepidoptera: Tortricidae), is one of the most economically important insect species affecting the horticultural industry in the UK. The larvae consume foliage, flowers or fruits, and/or rolls leaves together with silken threads, negatively affecting the growth and/or aesthetics of the crop. In order to understand the polyphagous behaviour of this species within an ornamental crop habitat, we hypothesized that different host plant species affect its life history traits differently. This study investigated the effects of the host plant species on larval and pupal durations and sizes, and fecundity (the number of eggs and the number and size of egg clutches). At 20°C, 60% RH and a 16L:8D photoperiod larvae developed 10, 14, 20 and 36 days faster when reared on Christmas berry, Photinia (Rosaceae), than on cherry laurel, Prunus laurocerasus (Rosaceae), New Zealand broadleaf, Griselinia littoralis (Griseliniaceae), Mexican orange, Choisya ternata (Rutaceae), and firethorn, Pyracantha angustifolia (Rosaceae), respectively. Female pupae were 23.8 mg heavier than male pupae, and pupal weight was significantly correlated with the duration of larval development. The lowest and the highest mean numbers of eggs were produced by females reared on Pyracantha (41) and Photinia (202), respectively. Clutch size differed significantly among moths reared on different host plants, although the total number of eggs did not differ. This study showed that different ornamental host plants affect the development of C. pronubana differently. Improved understanding of the influence of host plant on the moth's life history parameters measured here will help in determining the economic impact that this species may have within the ornamental plant production environment, and may be used in developing more accurate crop protection methodologies within integrated pest management of this insect.
Characterization of the pyrethroid resistance mechanisms in a Blattella germanica (Dictyoptera: Blattellidae) strain from Buenos Aires (Argentina)
Authors: Boné Emiliano , Roca Acevedo Gonzalo , Sterkel Marcos , Ons Sheila , González-Audino Paola , Sfara Valeria 
Published: July 2021

AbstractThe use of chemical insecticides is the main control method for Blattella germanica worldwide. The prolonged and frequent use of insecticides produced the selection of insecticide-resistant individuals. The German cockroach is one of the most widespread urban pests in Argentina. In the last decades, resistance monitoring studies in this country demonstrated that there is a high prevalence of pyrethroid-resistant populations of B. germanica in the field. In this work, we studied the resistance mechanisms of a field-collected strain of B. germanica at toxicological, enzymatic, and molecular levels. A resistance ratio of 100 was obtained for the resistant strain when it was exposed to β-cypermethrin. The pretreatment with specific synergists (piperonyl butoxide and triphenyl phosphate) led to a significant increase in the toxicity of the pyrethroid, suggesting an involvement of oxidases and esterases in the detoxification of this insecticide. Moreover, esterase and oxidase activities in the resistant strain were 1.5-fold and 2-fold higher respectively, compared to the susceptible individuals. On the other hand, the voltage-gated sodium channel gene of the resistant cockroaches did not show nucleotidic substitutions in the domain II which are associated to knockdown resistance in this species. These results suggest that the main mechanism of resistance of the studied cockroaches' strain is metabolic, mainly due to an increase in the activity of oxidase and esterase enzymes. The results of this work in addition to other reports found in literature show that the extended use of a single active principle for cockroach control promotes the development of resistance leading to control failure in the field. In contrast, integrated pest management strategies include the use of different control tools in addition to chemical insecticides, which delay the appearance of resistance increasing the efficacy of pest control.
Poetry for the Storms to Come
Authors: STEVEN MARK 
Published: July 2021

November 2017. New Brunswick, Canada. Having spent five hours banding lobster claws, Karissa Lindstrand detects an anomaly on one of the crustaceans. Inscribed on its left pincer is a familiar yet resolutely inorganic swirl of red, blue, and white. A corporate sigil branded onto the exoskeletal form of aquatic life: the Pepsi globe. While marine biologists disagree about the conditions under which the lobster acquired its tattoo – one suggestion is that the creature grew into a discarded can, another is that a cardboard box adhered to its propodite limb – the specific cause is less significant than what the marking represents on a world-historical scale. From this position, the lobster's deformation can be seen as an embodiment of the metabolic rift between global capitalism and nonhuman nature, presenting itself here as a grotesque reminder that human society exists within an earthly metabolism and that our hegemonic social arrangement – engineering profit through the mass production of commodities – is disrupting an equilibrium required for the sustenance of life on this planet. We encounter that rift in more ways than one: in the lobster's biological fusion with the refuse of one commodity, a melding together of two radically dissimilar sets of armor, but also in the fact that the moment the lobster is dredged from the ocean it is transformed, by the human labor of fishing, from a natural resource into a sellable form. “It is probably in Boston,” Lindstrand speculated on the lobster's passage through the market to its ultimate destiny as luxury comestible. The idea that capitalism is averse to the ecological matrix within which all life adheres, opening up a rift between a humanly engineered economy and its nonhuman biosphere, is not new. It originated in the nineteenth century, when Karl Marx theorized that capitalist production inaugurates “an irreparable rift in the interdependent process of social metabolism, a metabolism prescribed by the natural laws of life itself.” And yet that rift has widened and deepened through the ecohistorical period beginning around 1945, during what is often described as the Great Acceleration, an economically conditioned phase of planetary time when anthropogenic activity presaged environmental transformation on an unprecedented scale. Toxic sludge, oil spills, nuclear winter, extinction events wrought in flood and fire: such are the forms of our metabolic rift, in the context of whose proliferation “climate change” reads as the most inadequate of all euphemisms. That is what we are given to behold, as a kind of biomorphic prosopopoeia, in the lobster's claw.
Iron Mineralogy and Sediment Color in a 100 m Drill Core From Lake Towuti, Indonesia Reflect Catchment and Diagenetic Conditions
Authors: Sheppard Rachel Y. , Milliken Ralph E. , Russell James M. , Sklute Elizabeth C. , Dyar M. Darby , Vogel Hendrik , Melles Martin , Bijaksana Satria , Hasberg Ascelina K. M. , Morlock Marina A. 
Published: July 2021

AbstractIron is the most abundant redox‐sensitive element on the Earth's surface, and the oxidation state, mineral host, and crystallinity of Fe‐rich phases in sedimentary systems can record details of water‐rock interactions and environmental conditions. However, we lack a complete understanding of how these Fe‐rich materials are created, maintained, and oxidized or reduced in sedimentary environments, particularly those with mafic sources. The catchment of Lake Towuti, Indonesia, is known to contain a wide range of abundant crystalline Fe oxide, and the lake has a long sedimentary history. Here, we study a ∼100 m long drill core from the lake to understand patterns of sedimentation and how young iron‐rich sediments are affected by diagenesis through geologic time. We use visible/near infrared and Mössbauer spectroscopy, X‐ray diffraction, bulk chemistry measurements, and statistical cluster analysis to characterize the core sediment. We find that the core sediment can be divided into three statistically different zones dominated by Mg serpentine, Al clay minerals, and Fe2+ carbonate, respectively. The entire core is rich in nanophase Fe, and elemental correlations and Fe mineralogy vary between these zones. The nanophase Fe is highly complex with both ferrous and ferric components, and contributes to, but does not dictate, variations in sediment color. We propose that the distinctive zones are the result of structural basin changes (notably river capture and shifting drainage patterns), and diagenetic overprinting caused by deep burial of reactive Fe. This complex record has implications for disentangling depositional and diagenetic trends in other mafic lacustrine systems.
Modeling Reactive Solute Transport in Permafrost‐Affected Groundwater Systems
Authors: Mohammed Aaron A. , Bense Victor F. , Kurylyk Barret L. , Jamieson Rob C. , Johnston Lindsay H. , Jackson Amy J. 
Published: July 2021

AbstractUnderstanding the interactions between ground freeze‐thaw, groundwater flow, and solute transport is imperative for evaluating the fate of contaminants in permafrost regions. However, predicting solute migration in permafrost‐affected groundwater systems is challenging due to the inherent interactions and coupling between subsurface mass and energy transport processes. To this end, we developed a numerical model that considers coupled groundwater flow, subsurface heat transfer, and solute transport, including water‐ice phase change, solute‐dependent porewater freezing, and temperature‐dependent solute reaction rates. As an illustrative example, we present simulations to investigate the potential for contamination from a municipal wastewater lagoon in the Canadian sub‐arctic. Two‐dimensional groundwater models assuming varying permafrost conditions were developed to evaluate possible contaminant migration scenarios associated with groundwater flow from the lagoon to a river, including the transport of conservative, degradable, and sorbing solutes. Model results reveal important transport mechanisms controlling the behavior of aqueous contaminants in permafrost landscapes as well as the hydrogeologic factors affecting reactive transport in cold regions. Seasonal freeze‐thaw episodically restricts connectivity of transport pathways, which attenuates both transport and reaction rates. However, elevated solute concentrations can depress the freezing temperature of porewater and produce thaw‐induced solute transport. Both thermally driven and solute‐enhanced thaw can decrease ice content in permafrost, which can have significant implications for solute migration. Therefore, thermo‐hydrogeologic process controlling reactive transport in cold‐region groundwater systems must be considered when quantitatively assessing the impact of changing environmental conditions on contaminant hydrogeology.
S‐Wave Velocity Structure of the Sichuan‐Yunnan Region, China: Implications for Extrusion of Tibet Plateau and Seismic Activities
Authors: Tian Haoyu , He Chuansong , Santosh M. 
Published: July 2021

AbstractThe Sichuan‐Yunnan region is located at the intersection between the South China Block, the Indian plate, and the Tibet Plateau and is crisscrossed with deep and large faults and is characterized by strong seismic activities and the extrusion of the Tibetan Plateau. Here we employ 1‐year continuous waveforms of the vertical component of 89 broadband seismic stations using noise tomography in this region to evaluate the velocity structure and its implications. Through single station data preprocessing, cross‐correlation calculation, stacking, group velocity dispersion measurement, and quality evaluation, the group velocity dispersion curves of Rayleigh waves for the different periods were extracted in this area. We then use the surface wave tomography method to obtain the Rayleigh wave group velocity distribution of 9–40s. Finally, the S‐wave velocity structure in the depth range of 0–60 km is calculated by pure path dispersion inversion. The results show that a large‐scale low‐velocity anomaly in the lower crust runs through the Sichuan‐Yunnan rhombus block (SYRB) to Yangtze Block from west to east, which might correspond to the extrusion of the Tibetan Plateau or channel flow. On the other hand, the seismic activities are mainly concentrated at the western part of the region, with the earthquakes distributed at the boundary between the low‐ and high‐velocity structures, as well as the adjacent region, which we correlate with the extrusion of the Tibet Plateau.
A Warming Climate Adds Complexity to Post‐Fire Hydrologic Hazard Planning
Authors: Oakley Nina S. 
Published: July 2021

AbstractClimate change will likely increase the frequency of damaging post‐wildfire floods and debris flows, amplifying the threat to life, property, and infrastructure situated in susceptible areas. Decision‐makers are in need of resources to support planning for the changing characteristics of these hazards. A novel framework for evaluating post‐fire debris flow recurrence intervals (Kean & Staley, 2021, https://doi.org/10.1029/2020ef001735) supports this need and allows for the integration of emerging information. While this is a valuable step forward, simulations of past and future climate at relevant spatial and temporal scales as well as additional monitoring efforts are needed to effectively address post‐fire hydrologic hazards in a warming climate.
Ependymal cells-CSF flow regulates stress-induced depression
Authors: Seo Ji-Seon , Mantas Ioannis , Svenningsson Per , Greengard Paul 
Published: July 2021

AbstractMajor depressive disorder (MDD) is a severe, common mood disorder. While reduced cerebrospinal fluid (CSF) flow adversely affects brain metabolism and fluid balance in the aging population and during development, only indirect evidence links aberrant CSF circulation with many diseases including neurological, neurodegenerative, and psychiatric disorders, such as anxiety and depression. Here we show a very high concentration of p11 as a key molecular determinant for depression in ependymal cells, which is significantly decreased in patients with MDD, and in two mouse models of depression induced by chronic stress, such as restraint and social isolation. The loss of p11 in ependymal cells causes disoriented ependymal planar cell polarity (PCP), reduced CSF flow, and depression-like and anxiety-like behaviors. p11 intrinsically controls PCP core genes, which mediates CSF flow. Viral expression of p11 in ependymal cells specifically rescues the pathophysiological and behavioral deficits caused by loss of p11. Taken together, our results identify a new role and a key molecular determinant for ependymal cell-driven CSF flow in mood disorders and suggest a novel strategy for development of treatments for stress-associated neurological, neurodegenerative, and psychiatric disorders.