bluuebunny/crossref_metadata_2025_split huggingface dataset:
Genome sequence of a symbiotic cyanobacterium from the flowering plant
Gunnera tinctoria
Authors: Ang Warren Shou Leong , Burleigh Olivia , Frail Sarah , Santos Yago V. S. , Tyagi Bhavyaa , Li Fay-Wei 
Published: October 2023

ABSTRACT

Metagenomic analysis of the symbiotic cyanobacteria colonies within
Gunnera tinctoria
stems revealed a new strain of
Nostoc
. Here, we report its genome sequence.
Innovative Environmentally Safe Processes for the Extraction of Rare and Rare-Earth Elements from Complex Ores of Perplexed Material Composition
Authors: Chanturia V. A. , Nikolaev A. I. , Aleksandrova T. N. 
Published: October 2023

AbstractDomestic and world tendencies of involvement in the processing of ores of rare metals (RMs) and rare-earth metals (REMs) are shown. It is shown that the main direction of innovative activity is the development and application of modern breakthrough technologies for complex processing of mineral raw materials with the production of high-quality products while minimizing environmental damage. The main deposits of rare and rare-earth metals are systematized from the standpoint of the content of the main components, concentrator minerals and the main enrichment methods. The main principal technological schemes of processing of some deposits of RMs and REMs in Russia (Lovozer, Tomtor, and Afrikand deposits) are given. Options for involving technogenic and off-balance raw materials in the processing in order to extract strategic metals are considered. It is substantiated that innovative environmentally friendly processes for the extraction of rare and rare-earth metals from complex ores of complex material composition are being actively developed in Russia at present.
Accuracy of using the axial length of the fellow eye for IOL calculation in retinal detachment eyes undergoing silicone oil removal
Authors: Lwowski Christoph , Kaiser Klemens Paul , Bucur Julian , Schicho Philipp , Kohnen Thomas 
Published: October 2023

Purpose
Evaluate whether the axial length of the fellow eye can be used to calculate the intraocular lens (IOL) in eyes with retinal detachment.

Design
Retrospective, consecutive case series.

Methods
Our study was conducted at the Goethe University and included patients who underwent silicone oil (SO) removal combined with phacoemulsification and IOL implantation. Preoperative examinations included biometry (IOLMaster 700, Carl Zeiss). We measured axial length (AL) of operated eye (OE) or fellow eye (FE) and compared mean prediction error and mean and median absolute prediction error (MedAE) using four formulas and AL of the OE (Barrett Universal II (BUII)-OE). Additionally, we compared the number of eyes within ±0.50, ±1.00 and ±2.00 dioptre (D) from target refraction.

Results
In total, 77 eyes of 77 patients met our inclusion criteria. MedAE was lowest for the BUII-OE (0.42 D) compared with Kane-FE (1.08 D), BUII-FE (1.02 D) and Radial Basis Function 3.0 (RBF3.0)-FE (1.03 D). This was highly significant (p<.001). The same accounts for the number of eyes within ±0.50 D of the target refraction with the BUII-OE (44 eyes, 57%) outperforming the RBF3.0-FE (20 eyes, 25.9%), Kane-FE and BUII-FE formula (21 eyes, 27.2%) each.

Conclusion
Our results show a statistically and clinically highly relevant reduction of IOL power predictability when using the AL of the FE for IOL calculation. Using the AL of the SO filled eye after initial vitrectomy results in significantly better postoperative refractive results. A two-step procedure using the AL of the OE after reattachment of the retina is highly recommended.
Characteristics of clinician input in Canadian funding decisions for cancer drugs: a cross-sectional study based on CADTH reimbursement recommendations
Authors: Jenei Kristina , Meyers Daniel E 
Published: October 2023

ObjectiveTo examine characteristics of clinician input to the pan-Canadian Oncology Drug Review (pCODR) for cancer drug funding recommendations from 2016 to 2020.Design, setting and participantsDescriptive, cross-sectional study including 62 reimbursement decisions from pCODR from 2016 to 2020.InterventionspCODR recommendations were analysed for the number of clinicians consulted on each submission, affiliation, number of submissions per clinician, declared financial conflicts of interest (FCOIs), randomisation, type of blinding, primary endpoint, study phase, and whether the study demonstrated improvement in overall survival (OS) and progression-free survival (PFS).Main outcome measuresThe main outcome was clinician support for the initial funding recommendation. Secondary outcome measures were the association between clinician FCOIs and clinical benefit in positive recommendations.ResultsThe study consisted of 62 submissions, in which 48 included clinician input. A total of 129 unique clinicians provided 342 consultations. The majority (59%) provided input on less than 5 submissions; however, a small proportion (4%) consulted on over 10. Nearly all clinicians were physicians (125; 96%). From the 342 consultations, 228 declared financial conflicts (67%). The most common conflicts were payments for advisory roles (51%) and honorariums (23%). Of the 48 cancer drugs under review, clinicians recommended funding 46 (96%). Only 12 (25%) demonstrated substantial benefit, according to the European Society for Medical Oncology Magnitude of Clinical Benefit Scale score. Drugs recommended for funding were more likely to have improved PFS and OS data. However, most cancer drugs supported by clinicians demonstrated no change in health-related quality of life (HRQoL), including one that demonstrated worsened HRQoL. There was no statistically significant difference between FCOI status and recommending drugs with health gains.ConclusionClinicians offer crucial information on funding decisions. However, we found clinicians strongly supported funding nearly all cancer drugs under review, despite most not offering substantial benefit to patients nor gains in quality of life. While these drugs might be helpful options in clinical practice, funding numerous cancer drugs may be unsustainable for public health systems.
Effect of oxycodone combined with ultrasound-guided thoracic paravertebral nerve block on postoperative analgesia in patients with lung cancer undergoing thoracoscopic surgery: protocol for a randomised controlled study
Authors: Wang Yujie , Wu Guanghan , Liu Zheng , Wei Xiumin , Feng Hai , Su Jian , Shi Pengcai 
Published: October 2023

IntroductionPostoperative pain is a main component influencing the recovery of patients with lung cancer. The combination of patient-controlled intravenous analgesia (PCIA) and paravertebral nerve block for postoperative analgesia in patients undergoing thoracoscopic lobectomy for lung cancer can achieve a satisfactory analgesic effect and promote early rehabilitation of patients. The objective is to investigate the optimal dose of oxycodone for PCIA combined with paravertebral nerve block, to achieve effective multimodal analgesia management in patients undergoing thoracoscopic lung cancer lobectomy.Methods and analysisThis prospective, double-blind, single-centre, parallel-group, superiority study from 7 April 2023 to 31 December 2024 will include 160 participants scheduled for thoracoscopic lobectomy for lung cancer. Participants will be randomly assigned to four groups in a 1:1:1:1 ratio: OCA group (oxycodone: 0.5 mg/kg), OCB group (oxycodone: 1.0 mg/kg), OCC group (oxycodone: 1.5 mg/kg) and one sufentanil group (sufentanil: 2 µg/kg). Flurbiprofen 50 mg and ondansetron 16 mg are added to each group. All the drugs are diluted with 0.9% saline in a 100 mL volume, with a background infusion rate of 2 mL/hour, a bolus dose of 0.5 mL and a lockout interval of 15 min. The primary outcome is pain scores at rest and dynamic at 24 hours after surgery using a Numeric Rating Scale (NRS). Dynamic NRS scores are defined as NRS when coughing. NRS scores will be assessed at 2, 4, 12, 24 and 48 hours postoperatively. The secondary outcomes include the following variables: (1) NRS score at rest and dynamic at 2, 4, 12 and 48 hours postoperatively; (2) total dose of sufentanil or oxycodone consumption in PCIA; (3) the times of patient-controlled analgesia; (4) Ramsay Sedation Score (RSS) at 2, 4, 12, 24 and 48 hours after the surgery; (5) extubation time; (6) serum C-reactive protein and interleukin six levels; (7) incidence of postoperative nausea and vomiting; (8) incidence of itching; (9) incidence of respiratory depression and (10) gastrointestinal recovery (exhaust time).Ethics and disseminationThe First Affiliated Hospital of Shandong First Medical University’s Ethics Committee granted consent for this study (approval number: YXLL-KY-2022(116)). To enable widespread use of the data gathered, we plan to publish the trial’s findings in an appropriate scientific journal after it is complete.Trial registration numberNCT05742256.
Association of proton pump inhibitor use with risk of kidney stones: an analysis of cross-sectional data from the US National Health and Nutrition Examination Survey (2007–2018)
Authors: Liu Wen , Wang Jia , Wang Miao , Wang Miaomiao , Liu Ming 
Published: October 2023

ObjectiveSeveral studies have suggested a potential link between use of proton pump inhibitors (PPIs) and the risk of kidney stones, attributed to alterations in urine mineral levels. Our study aimed to investigate the association between PPI use and kidney stones in US adults.DesignCross-sectional study.SettingNational Health and Nutrition Examination Survey (2007–2018).Participants27 075 individuals with complete information on PPI use and history of kidney stones were included in this study.Outcomes and analysesNon-linear analysis, logistic regression analysis and subgroup analysis were conducted to estimate the relationship between PPI use and the occurrence and recurrence of kidney stones, after adjusting for potential confounding factors.ResultsMultivariable logistic regression analysis revealed a significant association between PPI use and kidney stones (OR 1.31, 95% CI 1.07 to 1.60), with a 4% increase in the prevalence of kidney stones for each additional year of PPI use (p<0.001). Similarly, PPI use was significantly associated with recurrent kidney stones (OR 1.49, 95% CI 1.04 to 2.13), with a 7% increase in the recurrence of kidney stones for each additional year of PPI use (p<0.001). Furthermore, these associations remained significant even after conducting propensity score matching analysis on a subset of PPI users and non-users (all p≤0.001). Subgroup analyses showed that the effects of PPI use on kidney stones differed by age, sex, race and body mass index.ConclusionsThis study indicated that long-term use of PPI was associated with a higher risk of both the presence and recurrence of kidney stones.
Environmental persistence, bioaccumulation, and hazards of chemicals in e-cigarette e-liquids: short-listing chemicals for risk assessments
Authors: Venugopal P Dilip , Addo Ntim Susana , Goel Reema , Reilly Samantha M , Brenner William , Hanna Shannon K 
Published: October 2023

Background/Methods
Increased use and sales of e-cigarettes raises concerns about the potential environmental impacts throughout their life-cycle. However, few available research studies focus on the environmental impacts and ecotoxicity of e-cigarettes. In this study, we short-list e-liquid chemicals from published literature that should be considered in future environmental impact and risk assessments. We used a combination of available laboratory bioassays-based data and predictive methods (eg, Structure-Activity Relationships) to characterise the hazards of the e-liquid chemicals (environmental persistence, bioaccumulation, and aquatic toxicity including hazardous concentration values (concentration affecting specific proportion of species)) for short-listing.

Results
Of the 421 unique e-liquid chemicals compiled from literature, 35 are US Environmental Protection Agency’s hazardous constituents, 42 are US Food and Drug Administration’s harmful or potentially harmful constituents in tobacco products and smoke, and 20 are listed as both. Per hazard characteristics, we short-listed 81 chemicals that should be considered for future environmental impact and risk assessments, including tobacco-specific compounds (eg, nicotine, N'-nitrosonornicotine), polycyclic aromatic hydrocarbons (eg, chrysene), flavours (eg, (-)caryophyllene oxide), metals (eg, lead), phthalates (eg, di(2-ethylhexyl)phthalate) and flame retardants (eg, tris(4-methylphenyl)phosphate).

Implications
Our findings documenting various hazardous chemicals in the e-liquids underscore the importance of awareness and education when handling or disposing of e-liquids/e-cigarettes and aim to inform strategies to prevent and reduce hazards from e-cigarettes. This includes any scenario where e-liquids can come into contact with people or the environment during e-liquid storage, manufacturing, use, and disposal practices. Overall, our study characterises the environmental hazards of e-liquid chemicals and provides regulators and researchers a readily available list for future ecological and health risk assessments.
Copper crosslinked silicone elastomers in RGB colors: degradable on demand
Authors: Hrabowyj Daniel , Wittenberg Liam A. , Donahue-Boyle Erin M. , Chen Yang , Brook Michael A. 
Published: October 2023

Increasing demand for fully recyclable polymers has prompted an interest in materials crosslinked via non-covalent interactions. Aggressive depolymerization can cleave backbone SiO bonds to generate linear oils or cyclic monomers from silicone rubbers, but one would rather recover the starting material oils simply by selectively breaking crosslinks. We demonstrate that ligand binding to metals can be used to reversibly crosslink silicone chains. Aminopropylsilicones were crosslinked via complexation with copper (II) acetate to form blue silicone oils. These oils slowly cured in air at room temperature to form soft, green elastomers over a month, or overnight at 50–55 °C in air to give robust, hard red elastomers. Potential explanations for the observed color changes are discussed. Elastomers prepared by either pathway underwent ready degradation by removal of the copper ions via competitive ligand binding using ethylenediamine, allowing for recovery of the unmodified silicone oil; the recovered amine could be reused with more copper to form a (softer) elastomer. This process provides a method for the synthesis of stable elastomeric silicones that are degradable on demand.
Non-conserved modified gravity theory
Authors: Fazlollahi H. R. 
Published: October 2023

AbstractIn the curved spacetime the conservation of stress-energy tensor $${\mathcal {T}}_{\,\,\,\,\, \mu ;\nu }^{\nu }=0$$

T

μ
;
ν

ν

=
0

has been questioned by Rastall. However, this idea in which $${\mathcal {T}}_{\,\,\,\,\, \mu ;\nu }^{\nu }=\lambda R_{,\mu }$$

T

μ
;
ν

ν

=
λ

R

,
μ

is own questionable. In this study and in follows the covariant form of thermodynamics law proposed by Israel and his colleagues, the new non-conserved modified gravity is introduced. As its application, we have explored spherically symmetric solutions and evolution of the Universe for very early and late time Universe in the presence of the cosmological constant. As shown, the model gives no new result with respect to Einstein gravity for vacuum solutions, while during inflation only scalar spectra index deviates from standard model. Also, we have considered late-time and constraint model with observations through using MCMC algorithm.
Mutually Iso-Recursive Subtyping
Authors: Rossberg Andreas 
Published: October 2023

Iso-recursive types are often taken as a type-theoretic model for type recursion as present in many programming languages, e.g., classes in object-oriented languages or algebraic datatypes in functional languages. Their main advantage over an equi-recursive semantics is that they are simpler and algorithmically less expensive, which is an important consideration when the cost of type checking matters, such as for intermediate or low-level code representations, virtual machines, or runtime casts. However, a closer look reveals that iso-recursion cannot, in its standard form, efficiently express essential type system features like mutual recursion or non-uniform recursion. While it has been folklore that mutual recursion and non-uniform type parameterisation can nicely be handled by generalising to higher kinds, this encoding breaks down when combined with subtyping: the classic “Amber” rule for subtyping iso-recursive types is too weak to express mutual recursion without falling back to encodings of quadratic size.We present a foundational core calculus of iso-recursive types withdeclaredsubtyping that can express both inter- and intra-recursion subtyping without such blowup, including subtyping between constructors of higher or mixed kind. In a second step, we identify a syntactic fragment of this general calculus that allows for more efficient type checking without “deep” substitutions, by observing that higher-kinded iso-recursive types can be inserted to “guard” against unwanted β-reductions. This fragment closely resembles the structure of typical nominal subtype systems, but without requiring nominal semantics. It has been used as the basis for a proposed extension of WebAssembly with recursive types.
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Authors: Ye Fangke , Zhao Jisheng , Shirako Jun , Sarkar Vivek 
Published: October 2023

Despite the widespread popularity of dynamically typed languages such as Python, it is well known that they pose significant challenges to code optimization due to the lack of concrete type information. To overcome this limitation, many ahead-of-time optimizing compiler approaches for Python rely on programmers to provide optional type information as a prerequisite for extensive code optimization. Since few programmers provide this information, a large majority of Python applications are executed without the benefit of code optimization, thereby contributing collectively to a significant worldwide wastage of compute and energy resources.
In this paper, we introduce a new approach to concrete type inference that is shown to be effective in enabling code optimization for dynamically typed languages, without requiring the programmer to provide any type information. We explore three kinds of type inference algorithms in our approach based on: 1) machine learning models including GPT-4, 2) constraint-based inference based on SMT solving, and 3) a combination of 1) and 2). Our approach then uses the output from type inference to generate multi-version code for a bounded number of concrete type options, while also including a catch-all untyped version for the case when no match is found. The typed versions are then amenable to code optimization. Experimental results show that the combined algorithm in 3) delivers far superior precision and performance than the separate algorithms for 1) and 2). The performance improvement due to type inference, in terms of geometric mean speedup across all benchmarks compared to standard Python, when using 3) is 26.4× with Numba as an AOT optimizing back-end and 62.2× with the Intrepydd optimizing compiler as a back-end. These vast performance improvements can have a significant impact on programmers’ productivity, while also reducing their applications’ use of compute and energy resources.
Formal Abstractions for Packet Scheduling
Authors: Mohan Anshuman , Liu Yunhe , Foster Nate , Kappé Tobias , Kozen Dexter 
Published: October 2023

Early programming models for software-defined networking (SDN) focused on basic features for controlling network-wide forwarding paths, but more recent work has considered richer features, such as packet scheduling and queueing, that affect performance. In particular,PIFO trees, proposed by Sivaraman et al., offer a flexible and efficient primitive forprogrammablepacket scheduling. Prior work has shown that PIFO trees can express a wide range of practical algorithms including strict priority, weighted fair queueing, and hierarchical schemes. However, the semantic properties of PIFO trees are not well understood.This paper studies PIFO trees from a programming language perspective. We formalize the syntax and semantics of PIFO trees in an operational model that decouples the scheduling policy running on a tree from the topology of the tree. Building on this formalization, we develop compilation algorithms that allow the behavior of a PIFO tree written against one topology to be realized using a tree with a different topology. Such a compiler could be used to optimize an implementation of PIFO trees, or realize a logical PIFO tree on a target with a fixed topology baked into the hardware. To support experimentation, we develop a software simulator for PIFO trees, and we present case studies illustrating its behavior on standard and custom algorithms.
Synthesizing Precise Static Analyzers for Automatic Differentiation
Authors: Laurel Jacob , Qian Siyuan Brant , Singh Gagandeep , Misailovic Sasa 
Published: October 2023

We present Pasado, a technique for synthesizing precise static analyzers for Automatic Differentiation. Our technique allows one to automatically construct a static analyzer specialized for the Chain Rule, Product Rule, and Quotient Rule computations for Automatic Differentiation in a way that abstracts all of the nonlinear operations of each respective rule simultaneously. By directly synthesizing an abstract transformer for the composite expressions of these 3 most common rules of AD, we are able to obtain significant precision improvement compared to prior works which compose standard abstract transformers together suboptimally. We prove our synthesized static analyzers sound and additionally demonstrate the generality of our approach by instantiating these AD static analyzers with different nonlinear functions, different abstract domains (both intervals and zonotopes) and both forward-mode and reverse-mode AD.
We evaluate Pasado on multiple case studies, namely soundly computing bounds on a neural network’s
local Lipschitz constant, soundly bounding the sensitivities of financial models, certifying monotonicity, and lastly, bounding sensitivities of the solutions of differential equations from climate science and chemistry for verified ranges of initial conditions and parameters. The local Lipschitz constants computed by Pasado on our largest CNN are up to 2750× more precise compared to the existing state-of-the-art zonotope analysis. The bounds obtained on the sensitivities of the climate, chemical, and financial differential equation solutions are between 1.31 − 2.81× more precise (on average) compared to a state-of-the-art zonotope analysis.