bluuebunny/crossref_metadata_2025_split huggingface dataset:
Politeness and Stable Infiniteness: Stronger Together
Authors: Sheng Ying , Zohar Yoni , Ringeissen Christophe , Reynolds Andrew , Barrett Clark , Tinelli Cesare 
Published: July 2021

AbstractWe make two contributions to the study of polite combination in satisfiability modulo theories. The first is a separation between politeness and strong politeness, by presenting a polite theory that is not strongly polite. This result shows that proving strong politeness (which is often harder than proving politeness) is sometimes needed in order to use polite combination. The second contribution is an optimization to the polite combination method, obtained by borrowing from the Nelson-Oppen method. The Nelson-Oppen method is based on guessing arrangements over shared variables. In contrast, polite combination requires an arrangement overallvariables of the shared sorts. We show that when using polite combination, if the other theory is stably infinite with respect to a shared sort, only the shared variables of that sort need be considered in arrangements, as in the Nelson-Oppen method. The time required to reason about arrangements is exponential in the worst case, so reducing the number of variables considered has the potential to improve performance significantly. We show preliminary evidence for this by demonstrating a speed-up on a smart contract verification benchmark.
Selbstwahrgenommene Mundgesundheit und assoziierte Faktoren bei Erwachsenen in Deutschland. Ergebnisse aus GEDA 2019/2020-EHIS
Authors: Krause Laura , Seeling Stefanie , Starker Anne 
Published: July 2021

Zusammenfassung
Hintergrund und Ziel der Arbeit
Informationen zur Mundgesundheit der Bevölkerung sind wichtig für die Einschätzung von (vermeidbarer) Krankheitslast, für die Einschätzung und Planung von Gesundheitsressourcen und -kosten sowie für die Beurteilung gesundheitlicher Ungleichheiten. Ziel dieser Arbeit ist es, erstmals auf Datenbasis einer bundesweit repräsentativen Stichprobe für die erwachsene Bevölkerung in Deutschland die selbstwahrgenommene Mundgesundheit einschließlich assoziierter Faktoren zu untersuchen.

Material und Methoden
Datenbasis ist die Studie Gesundheit in Deutschland aktuell (GEDA 2019/2020-EHIS, n = 22.708 ab 18 Jahre). Im telefonischen Interview wurden die Teilnehmenden gefragt, wie sie den Zustand ihrer Zähne und ihres Zahnfleischs beschreiben würden – „sehr gut“, „gut“, „mittelmäßig“, „schlecht“, „sehr schlecht“. Soziodemografische, verhaltensbezogene und zahnmedizinische Merkmale werden als assoziierte Faktoren untersucht. Ausgewiesen werden Prävalenzen und Ergebnisse multivariater binär-logistischer Regressionen (Odds Ratios, OR).

Ergebnisse und Diskussion
71,4 % der Befragten schätzten ihre Mundgesundheit als sehr gut oder gut ein, 28,6 % als mittelmäßig bis sehr schlecht. Die wichtigsten assoziierten Faktoren waren Beeinträchtigungen beim Kauen und Beißen (OR 4,0), ein unerfüllter zahnmedizinischer Versorgungsbedarf (OR 2,3), männliches Geschlecht (OR 1,5) und ein nicht täglicher Obst- und Gemüsekonsum (OR 1,2), bei Männern zudem eine niedrige Bildung (OR 2,1), das tägliche Rauchen (OR 1,6) und eine nicht jährliche zahnmedizinische Inanspruchnahme (OR 1,4). Aus den Ergebnissen lassen sich Ansatzpunkte zur Förderung der Mundgesundheit ableiten.
Die Corona-Pandemie und Multiple Sklerose: Impfungen und deren Implikationen für Patienten – Teil 1: Empfehlungen
Authors: Monschein Tobias , Zrzavy Tobias , Löbermann Micha , Winkelmann Alexander , Berger Thomas , Rommer Paulus , Hartung Hans-Peter , Zettl Uwe K. 
Published: July 2021

ZusammenfassungDie aktuelle COVID-19-Pandemie stellt eine weltweite Gesundheitskrise dar. Nicht zuletzt mit dem Aufkommen diverser Virusmutationen entstehen insbesondere für das Gesundheitswesen laufend neue Herausforderungen. Angesichts der Vielfalt an immunmodulatorischen und immunsuppressiven Therapien für die Multiple Sklerose (MS) sowie der enormen Entwicklungen im Bereich der Vakzinenherstellung besteht ein hoher Informationsbedarf für Menschen mit MS. Ziel dieser Arbeit ist es daher, einen Überblick über MS und COVID-19 sowie die damit einhergehenden Implikationen für MS-Patienten, insbesondere das Impfwesen betreffend, aufzuarbeiten und entsprechende Empfehlungen auszusprechen.
Effusibacillus dendaii sp. nov. isolated from farm soil
Authors: Konishi Tomoyuki , Tamura Tomohiko , Tobita Toru , Sakai Saori , Matsuda Namio , Kawasaki Hisashi 
Published: July 2021

AbstractA Gram-positive, rod-shaped, spore-forming, thermophilic, and acidophilic bacterium, designated as strain skT53T, was isolated from farm soil in Tokyo, Japan. Under aerobic conditions, the strain grew at 35–55 °C (optimum temperature 44–55 °C) and pH 4.0–6.0 (optimum pH 5.0). Phylogenetic analysis of the 16S rRNA gene sequence showed that the isolate was moderately related to the type strain of Effusibacillus consociatus (94.3% similarity). The G + C content of the genomic DNA was 48.2 mol%, and MK-7 was the predominant respiratory quinone in the strain. The major fatty acids were anteiso-C15:0, iso-C15:0, and iso-C16:0. Based on the phenotypic and chemotaxonomic characteristics, as well as 16S rRNA gene sequence similarity and whole genome analyses, strain skT53T represents a novel species in the genus Effusibacillus, for which the name Effusibacillus dendaii sp. nov. has been proposed. The type strain is skT53T (= NBRC 114101 T = TBRC 11241 T).
Long-term effects of different starter yeasts on colour and natural antioxidant power of red wines
Authors: Caridi Andrea , Romeo Rosa , De Bruno Alessandra , Masaneo Cristian , Poiana Marco 
Published: July 2021

AbstractEighty-seven red wines produced from red grapes of the grape variety Gaglioppo from the Calabria region (vintage 2009) were analysed by standard methods after 4 and 120 months of ageing. So, a total of 29 selected starters of Saccharomyces cerevisiae—3 wild type, 12 monoclonal cultures, and 14 hybrids—inoculated in triplicate were studied for their effects on colour and natural antioxidant power keeping of red wine. Wine ageing decreased the red component, the colour intensity, and the DPPH values while the colour hue values increased. This research has shown that the evolution of wine ageing is affected in a very different way by the starter yeast used and has allowed choosing the best yeast strain useful to produce red wine able to endure very long-time ageing, until 10 years.
The influence of age and development temperature on the temperature-related foraging risk of Formica cinerea ants
Authors: Ślipiński Piotr , Trigos-Peral Gema , Maák István , Wojciechowska Iga , Witek Magdalena 
Published: July 2021

Abstract
Climate change and the subsequent increase of global temperature are the most current and important threats to biodiversity. Despite the importance of temperature, our knowledge about the level of behavioural and physiological adaptations of ant species from temperate regions to cope with high temperatures is limited compared to the broad knowledge of typical thermal specialists from warmer regions. In the current study, we investigated the temperature-related foraging risk of xerothermic ant species from the temperate climate in Europe, Formica cinerea. Our aims were to check how an increase in external soil temperature affects the foraging activity of workers and how the temperature during development and worker age affects foraging activity in high temperatures. Based on our results, we can draw the following conclusions: (1) the majority of workers utilize a risk-aversive strategy in relation to foraging in high surface temperatures; (2) pupal development temperature affects the risk taken by adult workers: workers that developed in a higher temperature forage more often but for shorter intervals compared to workers that developed in a lower temperature; (3) age is an important factor in temperature-related foraging activity, as with increasing age, workers forage significantly longer at the highest temperatures. Our study is one of the first to assess the potential factors that can affect the foraging risk of ants from a temperate climate in high ambient temperatures.

Significance statement
Our study is the first direct test of workers' age and the development temperature of pupae on the thermal-related foraging strategy of adult F. cinerea workers. It shows that worker age and the development temperature of pupae interact to promote tolerance of thermal stress. We found that with increasing age, workers are prone to forage significantly longer at the highest and riskiest temperatures. Workers that developed in the high temperature (28°C) foraged more often but for shorter intervals compared to workers that developed in the lower temperature (20°C). Interestingly, the factor of age is more significant for ants that developed in the higher temperature of 28°C; the foraging time of these ants significantly increased with their age.
24-Month Efficacy and Safety Results from Japanese Patients in the IMPERIAL Randomized Study of the Eluvia Drug-Eluting Stent and the Zilver PTX Drug-Coated Stent
Authors: Iida Osamu , Fujihara Masahiko , Kawasaki Daizo , Mori Shinsuke , Yokoi Hiroyoshi , Miyamoto Akira , Kichikawa Kimihiko , Nakamura Masato , Ohki Takao , Diaz-Cartelle Juan , Müller-Hülsbeck Stefan , Gray William A. , Soga Yoshimitsu 
Published: July 2021

Abstract
Purpose
The purpose of the study is to report 24-month efficacy and safety results for the Japanese patient cohort in a prospective randomized controlled trial (RCT) of drug-eluting stent (DES) use for peripheral artery disease.

Materials and methods
Patients in the global IMPERIAL RCT had femoropopliteal lesions treated with either the Eluvia DES (Boston Scientific, Marlborough, MA, USA) or the Zilver PTX drug-coated stent (Cook Medical, Bloomington, IN, USA). At 24 months, assessments included duplex ultrasound imaging for core laboratory vessel patency measurement, target lesion revascularization (TLR) rates, and clinical outcome measures.

Results
The Japanese cohort included 84 patients (56 treated with Eluvia and 28 with Zilver PTX). The clinically driven TLR rates were 5.6% (3/54) and 18.5% (5/27) for patients treated with Eluvia and Zilver PTX, respectively (difference -13.0%, 95%CI -28.8, 2.9%; p = 0.11). The Kaplan–Meier estimates for freedom from clinically driven TLR at 24 months were 94.3% for patients who received Eluvia and 80.4% for those who received Zilver PTX (log rank p = 0.05), and for primary patency they were 88.5% and 80.4%, respectively (log rank p = 0.28). Mortality rates were 5.6% (3/54) and 11.1% (3/27); p = 0.39. Rutherford classification improved by at least one category without TLR for 91.8% (45/49) and 68.2% (15/22) of patients (p = 0.03). Walking impairment score improvements were sustained over time.

Conclusion
The results at 24 months support the efficacy and safety of DES in Japanese patients, with sustained clinical improvements and numerically fewer reinterventions for those treated with Eluvia.

Clinical trial Registration
Clinicaltrials.gov identifier NCT02574481.https://clinicaltrials.gov/ct2/show/NCT02574481

Level of Evidence
EBM Level III; cohort analysis of randomized trial.
Citrus rootstocks modify scion antioxidant system under drought and heat stress combination
Authors: Balfagón Damián , Terán Fátima , de Oliveira Tadeu dos Reis , Santa-Catarina Claudete , Gómez-Cadenas Aurelio 
Published: July 2021

Abstract
Key message
The activation of the antioxidant system under stress combination is a transmissible trait from the rootstock to the scion. Therefore, rootstock selection is key to improve crop performance and a sustainable production under changing climate conditions.

Abstract
Climate change is altering weather conditions such as mean temperatures and precipitation patterns. Rising temperatures, especially in certain regions, accelerates soil water depletion and increases drought risk, which affects agriculture yield. Previously, our research demonstrated that the citrus rootstock Carrizo citrange (Citrus sinensis × Poncirus trifoliata) is more tolerant than Cleopatra mandarin (C. reshni) to drought and heat stress combination, in part, due to a higher activation of the antioxidant system that alleviated damage produced by oxidative stress. Here, by using reciprocal grafts of both genotypes, we studied the importance of the rootstock on scion performance and antioxidant response under this stress combination. Carrizo rootstock, under stress combination, positively influenced Cleopatra scion by reducing H2O2 accumulation, increasing superoxide dismutase (SOD) and ascorbate peroxidase (APX) enzymatic activities and inducing SOD1, APX2 and catalase (CAT) protein accumulations. On the contrary, Cleopatra rootstock induced decreases in APX2 expression, CAT activity and SOD1, APX2 and CAT contents on Carrizo scion. Taken together, our findings indicate that the activation of the antioxidant system under stress combination is a transmissible trait from the rootstock to the scion and highlight the importance of the rootstock selection to improve crop performance and maintain citrus yield under the current scenario of climate change.
Longitudinal associations between prepubertal childhood total energy and macronutrient intakes and subsequent puberty timing in UK boys and girls
Authors: Cheng Tuck Seng , Sharp Stephen J. , Brage Soren , Emmett Pauline M. , Forouhi Nita G. , Ong Ken K. 
Published: July 2021

Abstract
Purpose
Early puberty is associated with adverse health outcomes. To identify potential modifiable factors for puberty timing, we examined the associations of prepubertal childhood macronutrient intakes with puberty timing in boys and girls.

Methods
In the Avon Longitudinal Study of Parents and Children, macronutrient intakes at age 6 years were predicted using random intercepts linear regression models of dietary data at 3, 4, 7 (assessed by food frequency questionnaires) and 7.5 years (by 3-day food diaries). Timings of puberty onset (Tanner stage 2 genital or breast (B2) development) and puberty completion (voice breaking (VB) or menarche) were calculated from annual parental and child reports at 8–17 years. Age at peak height velocity (PHV) was derived from repeated height measurements at 5–20 years. Linear regression models were fit to estimate the associations of total energy (TEI) and macronutrient intakes (carbohydrate, fat, protein) with puberty timing traits, adjusting for maternal and infant characteristics.

Results
Among 3811 boys, higher TEI, but no macronutrient, was associated with earlier VB. Among 3919 girls, higher TEI was associated with earlier ages at B2, PHV, and menarche. Higher protein intake but not carbohydrate or fat intake (in energy partition models) and substitution of dietary protein for carbohydrate (in nutrient density and residual models) was associated with earlier B2, PHV, and menarche in girls. Findings were not attenuated on additional adjustment for body fat percentage during adolescence.

Conclusions
These findings suggest habitual total energy intakes in children, and protein intakes in girls, as potential modifiable determinants of puberty timing.
Late Palaeozoic extensional volcanism along the northern margin of Gondwana in southern Turkey: implications for Palaeotethyan development
Authors: Robertson Alastair H. F. , Parlak Osman , Ustaömer Timur 
Published: July 2021

AbstractThe Late Palaeozoic–Early Mesozoic Tethyan development of the Eastern Mediterranean region remains debatable, especially in Turkey, where alternative northward and southward subduction hypotheses are proposed. Relevant to this debate, new whole-rock geochemical data are provided here for early Carboniferous (Late Tournaisian-Late Visean; c. 340–350 Ma) tuffaceous sedimentary rocks within the Çataloturan thrust sheet (Aladağ nappe), eastern Taurides. The tuffs accumulated from evolved alkaline volcanism, variably mixed with terrigenous and radiolarian-rich sediments. In addition, Late Palaeozoic meta-volcanic rocks, c. 150 km farther NE, within the Binboğa (= Malatya) metamorphics (a low-grade high-pressure unit), are indicative of a within-plate setting. An impersistent geochemical subduction signature in these volcanics may represent an inherited, rather than contemporaneous, subduction influence, mainly because of the absence of a continental margin arc or of arc-derived tuff. Both the Binboğa metamorphics and the Çataloturan thrust sheet (Aladağ nappe) restore generally to the north of the relatively autochthonous Tauride carbonate platform (Geyik Dağ), within the carbonate platform bordering north-Gondwana. The Çataloturan thrust sheet is interpreted, specifically, as a c. E–W, deep-water, volcanically active rift that progressively infilled. Regional geological evidence suggests that melange units (Konya Complex, Afyon zone), Teke Dere unit, Lycian nappes), and Chios–Karaburun melange, E Aegean) accreted to the north-Gondwana continental margin during the late Carboniferous; this was coupled with localised calc-alkaline granitic magmatism (Afyon zone of Anatolide crustal block). We propose an interpretation in which Late Devonian–Carboniferous alkaline intra-plate volcanism relates to extension/rifting along the north-Gondwana margin. In contrast, the melange accretion and granitic magmatism could relate to short-lived late Carboniferous southward subduction that accompanied the diachronous closure of Palaeotethys.
The molecular identity of the characean OH− transporter: a candidate related to the SLC4 family of animal pH regulators
Authors: Quade Bianca N. , Parker Mark D. , Hoepflinger Marion C. , Phipps Shaunna , Bisson Mary A. , Foissner Ilse , Beilby Mary J. 
Published: July 2021

AbstractCharaceae are closely related to the ancient algal ancestors of all land plants. The long characean cells display a pH banding pattern to facilitate inorganic carbon import in the acid zones for photosynthetic efficiency. The excess OH−, generated in the cytoplasm after CO2 is taken into the chloroplasts, is disposed of in the alkaline band. To identify the transporter responsible, we searched the Chara australis transcriptome for homologues of mouse Slc4a11, which functions as OH−/H+ transporter. We found a single Slc4-like sequence CL5060.2 (named CaSLOT). When CaSLOT was expressed in Xenopus oocytes, an increase in membrane conductance and hyperpolarization of resting potential difference (PD) was observed with external pH increase to 9.5. These features recall the behavior of Slc4a11 in oocytes and are consistent with the action of a pH-dependent OH−/H+ conductance. The large scatter in the data might reflect intrinsic variability of CaSLOT transporter activation, inefficient expression in the oocyte due to evolutionary distance between ancient algae and frogs, or absence of putative activating factor present in Chara cytoplasm. CaSLOT homologues were found in chlorophyte and charophyte algae, but surprisingly not in related charophytes Zygnematophyceae or Coleochaetophyceae.
A logic-based incremental approach to graph repair featuring delta preservation
Authors: Schneider Sven , Lambers Leen , Orejas Fernando 
Published: July 2021

AbstractWe introduce a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing graph repairs from which a user may select a graph repair based on non-formalized further requirements. This incremental approach features delta preservation as it allows to restrict the generation of graph repairs to delta-preserving graph repairs, which do not revert the additions and deletions of the most recent consistency-violating graph update. We specify consistency of graphs using the logic of nested graph conditions, which is equivalent to first-order logic on graphs. Technically, the incremental approach encodes if and how the graph under repair satisfies a graph condition using the novel data structure of satisfaction trees, which are adapted incrementally according to the graph updates applied. In addition to the incremental approach, we also present two state-based graph repair algorithms, which restore consistency of a graph independent of the most recent graph update and which generate additional graph repairs using a global perspective on the graph under repair. We evaluate the developed algorithms using our prototypical implementation in the tool AutoGraph and illustrate our incremental approach using a case study from the graph database domain.
The complexity of barriers to biogas digester dissemination in Indonesia: challenges for agriculture waste management
Authors: Budiman Ibnu 
Published: July 2021

AbstractIn the global south, the use of firewood and LPG as dominant energy sources for cooking contributes to socio-ecological issues. Alternatively, biogas is considered a clean energy source generated from organic waste. However, in Indonesia, until 2018, only less than 2% of households utilized biogas for cooking fuel. This research aims to explore the landscape of biogas governance in Indonesia, its fragmentation, and its relation with biodigester dissemination. This study found that there is fragmentation within small-medium scale national biogas programs in Indonesia. Seven national government biogas programs have similar governance arrangements and characteristics; scattered in different departments within the ministry, using the grant approach with two main vendors, often overlapping with local government programs, and not providing proper monitoring and evaluation mechanism, as well as proper training for users. Meanwhile, the biogas program by a non-government organization utilizes a semi-commercial approach; collaborating with multiple stakeholders (governments, local construction partner organizations, cooperatives, and private sectors-companies and banks); and has standardized training and after-sale services. Within those biogas programs, there are multiple barriers along the supply chain process of biodigester dissemination. These barriers relate to the governance aspect of biogas programs. Fragmented governance affected the capability of each program to tackle barriers in biogas digester dissemination. Besides, heavy subsidy on LPG by the government reduced attraction to biogas. This study shows technology adoption barriers beyond the user/individual aspects. It shows interaction among different factors such as policy, the governance of technology transfer, technical production issues, and socio-cultural problems.