bluuebunny/crossref_metadata_2025_split huggingface dataset:
A Probabilistic Logic for Verifying Continuous-time Markov Chains
Authors: Guan Ji , Yu Nengkun 
Published: March 2022

AbstractA continuous-time Markov chain (CTMC) execution is a continuous class of probability distributions over states. This paper proposes a probabilistic linear-time temporal logic, namely continuous-time linear logic (CLL), to reason about the probability distribution execution of CTMCs. We define the syntax of CLL on the space of probability distributions. The syntax of CLL includes multiphase timed until formulas, and the semantics of CLL allows time reset to study relatively temporal properties. We derive a corresponding model-checking algorithm for CLL formulas. The correctness of the model-checking algorithm depends on Schanuel’s conjecture, a central open problem in transcendental number theory. Furthermore, we provide a running example of CTMCs to illustrate our method.
Helicity evolution at small x: the single-logarithmic contribution
Authors: Kovchegov Yuri V. , Tarasov Andrey , Tawabutr Yossathorn 
Published: March 2022

Abstract
We calculate single-logarithmic corrections to the small-x flavor-singlet helicity evolution equations derived recently [1–3] in the double-logarithmic approximation. The new single-logarithmic part of the evolution kernel sums up powers of αs ln(1/x), which are an important correction to the dominant powers of αs ln2(1/x) summed up by the double-logarithmic kernel from [1–3] at small values of Bjorken x and with αs the strong coupling constant. The single-logarithmic terms arise separately from either the longitudinal or transverse momentum integrals. Consequently, the evolution equations we derive employing the light-cone perturbation theory simultaneously include the small-x evolution kernel and the leading-order polarized DGLAP splitting functions. We further enhance the equations by calculating the running coupling corrections to the kernel.
Exploiting complete linear descriptions for decentralized power market problems with integralities
Authors: Hümbs Lukas , Martin Alexander , Schewe Lars 
Published: March 2022

AbstractIt is well known that linear prices supporting a competitive equilibrium exist in the case of convex markets, however, in the presence of integralities this is open and hard to decide in general. We present necessary and sufficient conditions for the existence of such prices for decentralized market problems where market participants have integral decision variables and their feasible sets are given in complete linear description. We utilize total unimodularity and the aforementioned conditions to show that such linear prices exist and present some applications. Furthermore, we compute competitive equilibria for two classes of decentralized market problems arising in energy markets and show that competitive equilibria may exist regardless of integralities.
Paraproducts for bilinear multipliers associated with convex sets
Authors: Saari Olli , Thiele Christoph 
Published: March 2022

AbstractWe prove bounds in the local $$ L^2 $$

L
2

range for exotic paraproducts motivated by bilinear multipliers associated with convex sets. One result assumes an exponential boundary curve. Another one assumes a higher order lacunarity condition.
Association between previous negative biopsies and lower rates of progression during active surveillance for prostate cancer
Authors: Piccinelli Mattia Luca , Luzzago Stefano , Marvaso Giulia , Laukhtina Ekaterina , Miura Noriyoshi , Schuettfort Victor M. , Mori Keiichiro , Colombo Alberto , Ferro Matteo , Mistretta Francesco A. , Fusco Nicola , Petralia Giuseppe , Jereczek-Fossa Barbara A. , Shariat Shahrokh F. , Karakiewicz Pierre I. , de Cobelli Ottavio , Musi Gennaro 
Published: March 2022

Abstract
Purpose
To test any-cause discontinuation and ISUP GG upgrading rates during Active Surveillance (AS) in patients that underwent previous negative biopsies (PNBs) before prostate cancer (PCa) diagnosis vs. biopsy naive patients.

Methods
Retrospective analysis of 961 AS patients (2008–2020). Three definitions of PNBs were used: (1) PNBs status (biopsy naïve vs. PNBs); (2) number of PNBs (0 vs. 1 vs. ≥ 2); (3) histology at last PNB (no vs. negative vs. HGPIN/ASAP). Kaplan–Meier plots and multivariable Cox models tested any-cause and ISUP GG upgrading discontinuation rates.

Results
Overall, 760 (79.1%) vs. 201 (20.9%) patients were biopsy naïve vs. PNBs. Specifically, 760 (79.1%) vs. 138 (14.4%) vs. 63 (6.5%) patients had 0 vs. 1 vs. ≥ 2 PNBs. Last, 760 (79.1%) vs. 134 (13.9%) vs. 67 (7%) patients had no vs. negative PNB vs. HGPIN/ASAP. PNBs were not associated with any-cause discontinuation rates. Conversely, PNBs were associated with lower rates of ISUP GG upgrading: (1) PNBs vs. biopsy naïve (HR:0.6, p = 0.04); (2) 1 vs. 0 PNBs (HR:0.6, p = 0.1) and 2 vs. 0 PNBs, (HR:0.5, p = 0.1); (3) negative PNB vs. biopsy naïve (HR:0.7, p = 0.3) and HGPIN/ASAP vs. biopsy naïve (HR:0.4, p = 0.04). However, last PNB ≤ 18 months (HR:0.4, p = 0.02), but not last PNB > 18 months (HR:0.8, p = 0.5) were associated with lower rates of ISUP GG upgrading.

Conclusion
PNBs status is associated with lower rates of ISUP GG upgrading during AS for PCa. The number of PNBs and time from last PNB to PCa diagnosis (≤ 18 months) appear also to be critical for patient selection.
Key process diagnostics for monsoon intraseasonal oscillation over the Indian Ocean in coupled CMIP6 models
Authors: Li Baosheng , Zhou Lei , Qin Jianhuang , Meng Ze 
Published: March 2022

AbstractThe simulations of the monsoon intraseasonal oscillation (MISO) during the Indian summer monsoon (ISM) are evaluated with 19 atmosphere–ocean coupled general circulation models (CGCMs) from phase 6 of the Coupled Model Inter-comparison Project (CMIP6). The focus is on the northward propagation of MISO. The CMIP6 models have great improvement in simulating the mean rainfall, as 17 out of 19 models can reasonably simulate the mean rainfall. However, many models fail to reproduce the realistic patterns of the mean rainfall and the MISO amplitude, particularly over land in the monsoon region. The underestimation of the MISO amplitude is still a notable model bias in CMIP6. Moreover, 9 out of 19 models cannot generate realistic northward propagation features, and some even reproduce a stationary MISO pattern. Process diagnostics based on the seasonal mean vertical zonal wind shear, low-level mean moisture, and vortex tilting are also examined. It is found that the accuracy of model simulations of vortex tilting is strongly associated with the northward propagation of MISO. In contrast, the model fidelity in MISO is not dependent on the simulation skill for the seasonal mean state. In addition, decomposition analysis of vortex tilting illustrates that the meridional shear of the intraseasonal vertical velocity is crucial to the tilting simulation. The poor model fidelity in vortex tiling is caused by the weak convection, particularly the absence of downdraft to the north of the convection center. The coupling between the moisture in the boundary layer and the tilting in the free troposphere may be responsible for capturing the vertical motions. In summary, vortex tilting can be a useful metric for evaluating the northward propagation of MISO.
Long-term effect of a dietary intervention with two-healthy dietary approaches on food intake and nutrient density in coronary patients: results from the CORDIOPREV trial
Authors: Cano-Ibáñez Naomi , Quintana-Navarro Gracia M. , Alcala-Diaz Juan F. , Rangel-Zuñiga Oriol A. , Camargo Antonio , Yubero-Serrano Elena M. , Perez-Corral Isabel , Arenas-de Larriva Antonio P. , Garcia-Rios Antonio , Perez-Martinez Pablo , Delgado-Lista Javier , Lopez-Miranda Jose 
Published: March 2022

Abstract
Background
Cardiovascular disease (CVD) is the leading cause of disease burden in the world by non-communicable diseases. Nutritional interventions promoting high-quality dietary patterns with low caloric intake value and high nutrient density (ND) could be linked to a better control of CVD risk and recurrence of coronary disease. This study aims to assess the effects of a dietary intervention based on MedDiet or Low-Fat dietary intervention over changes in ND and food intake after 1 and 7 years of follow-up of the CORDIOPREV study.

Methods
We prospectively analyzed the results of the 802 coronary patients randomized to two healthy dietary patterns (MedDiet = 425, Low-Fat Diet = 377) who completed the 7 years of follow-up and had all the dietary data need. Dietary intake information obtained from a validated 137-item Food Frequency Questionnaire was used to calculate 1- and 7-year changes in dietary intake and ND (measured as nutrient intake per 1000 kcal). T test was used to ascertain differences in food intake and ND between groups across follow-up time. Within-subject (dietary allocation group) differences were analyzed with ANOVA repeated measures.

Results
From baseline to 7 years of follow-up, significant increases of vegetables, fruits, and whole cereals within groups (p < 0.001) was found. We found a higher increase in dietary intake of certain food groups with MedDiet in comparison with Low-Fat Diet for vegetables (46.1 g/day vs. 18.1 g/day, p < 00.1), fruits (121.3 g/day vs. 72.9 g/day), legumes (4.3 g/day vs. 0.16 g/day) and nuts (7.3 g/day vs. − 3.7 g/day). There was a decrease in energy intake over time in both groups, slightly higher in Low-Fat Diet compared to MedDiet group (− 427.6 kcal/day vs. − 279.8 kcal/day at 1st year, and − 544.6 kcal/day vs. − 215.3 kcal/day after 7 years of follow-up). ND of all the nutrients increased within group across follow-up time, except for Saturated Fatty Acids (SFA), cholesterol and sodium (p < 0.001).

Conclusions
A comprehensive dietary intervention improved quality of diet, reducing total energy intake and increasing the intake of healthy food groups and overall ND after 1 year and maintaining this trend after 7 years of follow-up. Our results reinforce the idea of the participation in trials, enhance nutrition literacy and produces better nutritional outcomes in adult patients with established CVD.

Clinical trial registry
The trial was registered in 2009 at ClinicalTrials.gov (number NCT00924937).
Intra-cavitary fluid resulted from caesarean section but not isthmocele compromised clinical pregnancy after IVF/ICSI treatment
Authors: Cai Meihong , Pan Xinyi , Xia Wei , Liang Xiaoyan , Yang Xing 
Published: March 2022

AbstractThe aim of this study was to explore whether the presence of intra-cavitary fluid (ICF) influences the pregnancy outcomes of patients with caesarean section (CS) in embryo transfer cycles. A total of 8494 transferred cycles of 4924 women were enrolled in this retrospective study and separated into three subgroups by previous delivery method and the presence of intra-cavity fluid, a caesarean group with ICF (CS-ICF, n = 649), a caesarean group without ICF (CS-noICF, n = 3207), and the remaining 4638 cycles without ICF were included in the vaginal delivered group (VD, n = 4638). Baseline characteristics and clinical outcome were compared. Propensity score matching (PSM) was conducted to adjust confounding factors between groups. Patients in the CS-ICF group were of younger age (36.49 ± 4.19 vs 37.34 ± 4.25, 37.32 ± 4.86, P < 0.001), had better ovary reserve, and had more blastocyst transferred compared with the CS-noICF and VD groups. However, cycles in the CS-ICF group achieved unsatisfactory clinical pregnancy outcomes. PSM analysis for comparability and differences in clinical outcomes still existed. The clinical pregnancy rate was significantly lower in the CS-ICF group than in the CS-noICF group (35.1% vs 41.7% for CS-noICF group, 48.1% for VD group, P < 0.001). Subgroup analysis of fresh embryo transferred cycles, the differences in clinical outcomes disappeared after PSM analysis, while the clinical pregnancy rate was still lowest among the three matched groups of FET cycles (36.4% vs 50.3% for VD group, P < 0.001). The presence of intra-cavitary fluid (ICF), but not necessarily the isthmocele, significantly compromises the clinical pregnancy rate in patients with previous CS undergoing IVF/ICSI treatment.
Perinatal outcome in monoamniotic twin pregnancies during a 10-year period: a single center, descriptive study
Authors: Söderhult Ingrid , Tiblad Eleonor , Herling Lotta 
Published: March 2022

Abstract
Purpose
To retrospectively investigate perinatal outcome of monoamniotic twin pregnancies in a tertiary center during a 10 year period.

Methods
A retrospective analysis of all monoamniotic pregnancies managed at Karolinska University Hospital, Stockholm, Sweden 2010–2019 was performed. The primary outcomes were live birth rate, neonatal death and perinatal survival. The secondary outcomes were late miscarriage, gestational age at delivery and frequency of fetal complications.

Results
Twenty-two monoamniotic pregnancies, with 44 fetuses, were identified. Thirty-five of 44 fetuses (80%) were liveborn. Of 36 fetuses reaching 24 weeks gestation, 35 (97%) were liveborn. There were no neonatal deaths, thus the perinatal survival was 97%. The mean gestational age at birth was 32.5 weeks (SD ± 1.5).

Conclusions
The live birth rate and perinatal survival of monoamniotic pregnancies managed at Karolinska University Hospital was high and comparable to previously published data.
Second systolic peak in fetal middle cerebral artery Doppler after intrauterine transfusion
Authors: Vonzun Ladina , Ochsenbein-Kölble Nicole , Balsyte Dalia , Zimmermann Roland , Gonser Markus 
Published: March 2022

Abstract
Objective
To evaluate functional relationship between fetal circulatory response to intrauterine transfusion (IUT) as a circulatory challenge and appearance of second systolic peak (P2) in middle cerebral artery (MCA) based on hemodynamic principles.

Methods
According to the concept of pulse wave (PW) propagation and reflection in adults, PWs arrive twice at cerebral circulation, as primary wave caused by left ventricle ejection and secondary after reflection in peripheral arteries. Thus adults show a biphasic contour of systolic blood flow in cerebral arteries. Similar waveforms may appear in fetal MCA-Doppler, as a response to IUT as a circulatory challenge. This is a proof-of-principle study, applying classical hemodynamic principles to fetal circulation. Accordingly, appearance of MCA-P2 may indicate vasoconstriction with increased PW reflection and timing of P2(Δt) should agree with the additional PW travel time down to reflection and return (Tr). To test this agreement, we searched our database for IUTs performed for severe fetal anemia, and compared Δt, obtained by Doppler, with Tr, obtained by hemodynamic calculation using human fetal data. Level of agreement was assessed using Bland–Altman-Plots.

Results
We identified 21 fetuses with adequate Doppler quality for Δt evaluation. In four cases (19%) MCA-P2 was observed before the intervention, and in 17 interventions (81%) thereafter; a highly significant association between IUT and P2 appearance (p < 0.001). In these 17 interventions good agreement of P2 timing was found between Doppler assessment: Δt = 80 ± 8 ms, and hemodynamic calculation: Tr = 76 ± 4 ms.

Conclusion
P2 appearance in fetal MCA-Doppler seems to indicate PW reflection due to increased vasoconstriction after IUT. Thus hemodynamic considerations might enable Doppler monitoring of fetal vasoconstriction.
Pregnancy outcomes among women affected with thalassemia traits
Authors: Ruangvutilert Pornpimol , Phatihattakorn Chayawat , Yaiyiam Chutima , Panchalee Tachjaree 
Published: March 2022

Abstract
Objective
To compare the maternal and perinatal outcomes between a group of pregnant women diagnosed with thalassemia traits and normal controls.

Study design
A retrospective cohort study was conducted on singleton pregnant women affected and unaffected by thalassemia traits who attended an antenatal care clinic and delivered in Siriraj Hospital. Thalassemia status for all subjects was diagnosed by hemoglobin typing and/or DNA analysis. Patient charts were reviewed from January 2007 to December 2018. The control participants were randomly selected from the same period, with a control–case ratio of around 1:1.

Results
Overall, 1288 women with thalassemia traits (348 with α thal-1 trait, 424 with β thal trait and 516 with HbE trait) and 1305 women in the control group were recruited. Baseline characteristics of both groups were similar, with the exception that the hematocrit level in the first trimester in the thalassemia trait group was significantly lower than that in the control group (34.8 ± 3.4% VS 36.9 ± 3.0%; p < 0.001). The prevalence of pregnancy-induced hypertension (PIH) was higher in the thalassemia trait group, at 6.9% VS 4.7% in the control group; p = 0.018. When subgroups were analyzed between each thalassemia trait, the number of maternal anemias in the first and third trimester was higher for all thalassemia traits compared to the normal group. The β thal and HbE traits increased the risk of PIH, with a relative risk (RR) = 1.67 and 1.66, respectively.

Conclusions
Thalassemia traits minimally but significantly increase the risk of hypertensive disorders and maternal anemia. In addition, physiological changes during pregnancy may worsen the severity of anemia in the pregnant women with thalassemia traits.
Neural kernels for recursive support vector regression as a model for episodic memory
Authors: Leibold Christian 
Published: March 2022

AbstractRetrieval of episodic memories requires intrinsic reactivation of neuronal activity patterns. The content of the memories is thereby assumed to be stored in synaptic connections. This paper proposes a theory in which these are the synaptic connections that specifically convey the temporal order information contained in the sequences of a neuronal reservoir to the sensory-motor cortical areas that give rise to the subjective impression of retrieval of sensory motor events. The theory is based on a novel recursive version of support vector regression that allows for efficient continuous learning that is only limited by the representational capacity of the reservoir. The paper argues that hippocampal theta sequences are a potential neural substrate underlying this reservoir. The theory is consistent with confabulations and post hoc alterations of existing memories.
Context-specific effects of NOX4 inactivation in acute myeloid leukemia (AML)
Authors: Demircan Muhammed Burak , Schnoeder Tina M. , Mgbecheta Peter C. , Schröder Katrin , Böhmer Frank-D. , Heidel Florian H. 
Published: March 2022

Abstract
Purpose
Oxidative stress has been linked to initiation and progression of cancer and recent studies have indicated a potential translational role regarding modulation of ROS in various cancers, including acute myeloid leukemia (AML). Detailed understanding of the complex machinery regulating ROS including its producer elements in cancer is required to define potential translational therapeutic use. Based on previous studies in acute myeloid leukemia (AML) models, we considered NADPH oxidase (NOX) family members, specifically NOX4 as a potential target in AML.

Methods
Pharmacologic inhibition and genetic inactivation of NOX4 in murine and human models of AML were used to understand its functional role. For genetic inactivation, CRISPR-Cas9 technology was used in human AML cell lines in vitro and genetically engineered knockout mice for Nox4 were used for deletion of Nox4 in hematopoietic cells via Mx1-Cre recombinase activation.

Results
Pharmacologic NOX inhibitors and CRISPR-Cas9-mediated inactivation of NOX4 and p22-phox (an essential NOX component) decreased proliferative capacity and cell competition in FLT3-ITD-positive human AML cells. In contrast, conditional deletion of Nox4 enhanced the myeloproliferative phenotype of an FLT3-ITD induced knock-in mouse model. Finally, Nox4 inactivation in normal hematopoietic stem and progenitor cells (HSPCs) caused a minor reduction in HSC numbers and reconstitution capacity.

Conclusion
The role of NOX4 in myeloid malignancies appears highly context-dependent and its inactivation results in either enhancing or inhibitory effects. Therefore, targeting NOX4 in FLT3-ITD positive myeloid malignancies requires additional pre-clinical assessment.
Rickets guidance: part II—management
Authors: Haffner Dieter , Leifheit-Nestler Maren , Grund Andrea , Schnabel Dirk 
Published: March 2022

AbstractHere, we discuss the management of different forms of rickets, including new therapeutic approaches based on recent guidelines. Management includes close monitoring of growth, the degree of leg bowing, bone pain, serum phosphate, calcium, alkaline phosphatase as a surrogate marker of osteoblast activity and thus degree of rickets, parathyroid hormone, 25-hydroxyvitamin D3, and calciuria. An adequate calcium intake and normal 25-hydroxyvitamin D3 levels should be assured in all patients. Children with calcipenic rickets require the supplementation or pharmacological treatment with native or active vitamin D depending on the underlying pathophysiology. Treatment of phosphopenic rickets depends on the underlying pathophysiology. Fibroblast-growth factor 23 (FGF23)-associated hypophosphatemic rickets was historically treated with frequent doses of oral phosphate salts in combination with active vitamin D, whereas tumor-induced osteomalacia (TIO) should primarily undergo tumor resection, if possible. Burosumab, a fully humanized FGF23-antibody, was recently approved for treatment of X-linked hypophosphatemia (XLH) and TIO and shown to be superior for treatment of XLH compared to conventional treatment. Forms of hypophosphatemic rickets independent of FGF23 due to genetic defects of renal tubular phosphate reabsorption are treated with oral phosphate only, since they are associated with excessive 1,25-dihydroxyvitamin D production. Finally, forms of hypophosphatemic rickets caused by Fanconi syndrome, such as nephropathic cystinosis and Dent disease require disease-specific treatment in addition to phosphate supplements and active vitamin D. Adjustment of medication should be done with consideration of treatment-associated side effects, including diarrhea, gastrointestinal discomfort, hypercalciuria, secondary hyperparathyroidism, and development of nephrocalcinosis or nephrolithiasis.