bluuebunny/crossref_metadata_2025_split huggingface dataset:
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Authors: Haselwarter Philipp G. , Rivas Exequiel , Van Muylder Antoine , Winterhalter Théo , Abate Carmine , Sidorenco Nikolaj , Hriţcu Cătălin , Maillard Kenji , Spitters Bas 
Published: May 2023

State-separating proofs (SSP) is a recent methodology for structuring game-based cryptographic proofs in a modular way, by using algebraic laws to exploit the modular structure of composed protocols. While promising, this methodology was previously not fully formalized and came with little tool support. We address this by introducing SSProve, the first general verification framework for machine-checked state-separating proofs. SSProve combines high-level modular proofs about composed protocols, as proposed in SSP, with a probabilistic relational program logic for formalizing the lower-level details, which together enable constructing machine-checked cryptographic proofs in the Coq proof assistant. Moreover, SSProve is itself fully formalized in Coq, including the algebraic laws of SSP, the soundness of the program logic, and the connection between these two verification styles.
To illustrate SSProve, we use it to mechanize the simple security proofs of ElGamal and pseudo-random-function–based encryption. We also validate the SSProve approach by conducting two more substantial case studies: First, we mechanize an SSP security proof of the key encapsulation mechanism–data encryption mechanism (KEM-DEM) public key encryption scheme, which led to the discovery of an error in the original paper proof that has since been fixed. Second, we use SSProve to formally prove security of the sigma-protocol zero-knowledge construction, and we moreover construct a commitment scheme from a sigma-protocol to compare with a similar development in CryptHOL. We instantiate the security proof for sigma-protocols to give concrete security bounds for Schnorr’s sigma-protocol.
Super Enhancer-Associated Circular RNA-CircKrt4 Regulates Hypoxic Pulmonary Artery Endothelial Cell Dysfunction in Mice
Authors: Ma Cui , Wang Xiaoying , Zhang Lixin , Zhu Xiangrui , Bai June , He Siyu , Mei Jian , Jiang Jiaqi , Guan Xiaoyu , Zheng Xiaodong , Qu Lihui , Zhu Daling 
Published: May 2023

Background:
Circular RNAs (circRNAs) have been implicated in pulmonary hypertension progression through largely unknown mechanisms. Pulmonary artery endothelial cell (PAEC) dysfunction is a hallmark in the pathogenesis of pulmonary hypertension. However, the specific role of circular RNAs in PAEC injury caused by hypoxia remains unclear.

Methods:
In this study, using the Western blotting, RNA pull down, Dual-luciferase reporter assay, immunohistochemistry, and immunofluorescence, we identified a novel circular RNA derived from alternative splicing of the keratin 4 gene (circKrt4).

Results:

CircKrt4 was upregulated in lung tissues and plasma and specifically in PAECs under hypoxic conditions. In the nucleus, circKrt4 induces endothelial-to-mesenchymal transition by interacting with the Pura (transcriptional activator protein Pur-alpha) to promote N-cadherin gene activation. In the cytoplasm, increased circKrt4 leads to mitochondrial dysfunction by inhibiting cytoplasmic-mitochondrial shuttling of mitochondrial-bound Glpk (glycerol kinase). Intriguingly, circKrt4 was identified as a super enhancer-associated circular RNA that is transcriptionally activated by a transcription factor, CEBPA (CCAAT enhancer binding protein alpha). Furthermore, RBM25 (RNA-binding-motif protein 25) was found to regulate circKrt4 cyclization by increase the back-splicing of
Krt4
gene.

Conclusions:
These findings demonstrate that a super enhancer-associated circular RNA-circKrt4 modulates PAEC injury to promote pulmonary hypertension by targeting Pura and Glpk.
Nifʕal—A verbal class which is two
Authors: Faust Noam 
Published: May 2023

Abstract
Several peculiarities of Modern Hebrew verbs of the nifʕal type are surveyed, showing that the past/present and future paradigms of this type are more independent of each other than those of other verbal types. It is proposed that different formatives are used in constructing the different paradigms; in this sense, these verbs in fact appear in two defective verbal types: one for the past/present and one for the future. The peculiarities surveyed are shown to follow from this proposal.
t-Forms of the Akkadian Stative
Authors: Kamil Iris 
Published: May 2023

Abstract
This article re-evaluates the status of the Stative paradigm in Akkadian, the language’s only exclusively suffixing paradigm, and argues in favour of a verbal classification on the basis of the possible medialisation of its attested forms. The Stative denotes the state persisting following a perfective-associated event. Thereby, two kinds of Statives are known: a verbal Stative and a nominal Stative. While the root of verbal Statives is mapped onto a Verbal Adjectival base template, the nominal Stative uses either a noun or an adjective’s stem as its base. To the respective bases both forms add the same distinct set of suffixes. Re-evaluating the morphological make-up of the form as well as its semantic connotation, this article proposes a new paradigmatic split between root-derived (verbal) and stem-derived (nominal) Stative forms and adduces previously disregarded evidence for medialisation of both verbal and nominal Statives as the main argument in favour of a verbal interpretation.
Radical Resection of Locally Advanced Chest Wall cSCC With Muscle Flap Reconstruction
Authors: Dietz Matthew D. , Zelmanski Mark H. , Choueiri Mark A. 
Published: May 2023

Outcomes in those with advanced cutaneous squamous cell carcinoma (cSCC) are poor. Upon incidence of metastasis, the mortality rate has been shown to be >70% with median overall survival (OS) of less than 2 years. While there is no standardized combination and multimodal therapy recommendation for advanced cases, there is a significant necessity to include surgical intervention for improved locoregional control of disease and improved OS. Currently, Cisplatin as monotherapy or combination with Fluorouracil (5-FU), and radiotherapy followed by surgical intervention are the most likely regimens used in the treatment of advanced cSCC. Secondary chemotherapy options include carboplatin and paclitaxel. Here, we report the effectiveness of neoadjuvant chemoradiotherapy (CRT) using carboplatin and paclitaxel agents with intensity modulated radiation therapy (IMRT) followed by radical surgical resection, and later, muscle flap reconstruction with split-thickness skin grafting to treat a very high-risk Stage IV cSCC of the left chest wall.
Prolonged extracorporeal membrane oxygenation in pediatrics: How long did we wait?
Authors: Kahveci Fevzi , Gurbanov Anar , Uçmak Hacer , Ödemiş Aslı Samsa , Özen Hasan , Balaban Burak , Botan Edin , Gün Emrah , Havan Merve , Dikmen Nur , Ramoğlu Mehmet Gökhan , Uçar Tayfun , Eyileten Zeynep , Akar Ahmet Rüçhan , Kendirli Tanıl 
Published: May 2023

Background In this study, we aimed to evaluate the duration of extracorporeal membrane oxygenation (ECMO) and its effect on outcomes. Also, we sought to identify hospital mortality predictors and determine when ECMO support began to be ineffective. Methods This was a single-center, retrospective cohort study conducted between January 2014 and January 2022. The prolonged ECMO (pECMO) cut-off point was accepted as 14 days. Results Thirty-one (29.2%) of 106 patients followed up with ECMO had pECMO. The mean follow-up period of the patients who underwent pECMO was 22 (range, 15–72) days, and the mean age was 75 ± 72 months. According to the results of our heterogeneous study population, life expectancy decreased dramatically towards the 21st day. Hospital mortality predictors were determined in the logistic regression analysis in all ECMO groups in our study as high Pediatric Logistic Organ Dysfunction (PELOD) two score, continuous renal replacement therapy (CRRT) use, and sepsis. The pECMO mortality was 61.2% and the overall mortality was 53.0%, with the highest mortality rate in the bridge-to-transplant group (90.9%) because of lack of organ donation in our country. Conclusions In our study, the PELOD two score, presence of sepsis, and use of CRRT were found to be in the predictors of in-hospital ECMO mortality model. Considering the complications, in the COX regression model analysis, the factors affecting the probability of dying in patients followed under ECMO were found to be bleeding, thrombosis, and thrombocytopenia.
The impact of iodine contrast agent on radiation dose of heart and blood: a comparison between coronary CT angiography and cardiac calcium scoring CT
Authors: Mazloumi Mahta , Van Gompel Gert , Tanaka Kaoru , Argacha Jean-François , de Mey Johan , Buls Nico 
Published: May 2023

Background Iodine contrast agent (CA) is widely used in cardiac computed tomography (CT). The CA can increase the organ radiation doses due to the photoelectric effect. Purpose To investigate the impact of CA on radiation dose in cardiac CT by comparing the radiation dose between contrast coronary CT angiography (CCTA) and non-contrast calcium scoring CT (CSCT). Material and Methods Radiation doses were computationally calculated for 30 individual patients who received CSCT and CCTA in the same exam session. The geometry and acquisition parameters were modeled in the simulations based on individual patient CT images and acquisitions. Doses in the presence and absence of CA were obtained in the aorta, left ventricle (LV), right ventricle (RV), and myocardial tissue (MT). The dose values were normalized by size-specific dose estimate (SSDE). The dose enhancement factors (DEFSSDE) were calculated as the ratio of doses in CCTA over doses in CSCT. Results Compared to the CSCT scans, doses increase in the CCTA scans in the aorta (DEFSSDE = 2.14 ± 0.20), LV (DEFSSDE = 1.78 ± 0.26), and RV (DEFSSDE = 1.31 ± 0.22). A linear relation is observed between the local CA concentrations and the dose increase in the heart; DEFSSDE = 0.07*I(mg/mL) + 0.80 (R2 = 0.8; p < 0.01). The DEFSSDE in the MT (DEFSSDE = 0.96 ± 0.08) showed no noticeable impact of CA on the dose in this tissue. In addition, patient variability in the dose distributions was observed. Conclusion A linear causal relation exists between local CA concentration and increase in radiation dose in cardiac CT. For the same CT exposure, dose to the heart is on average 55% higher in contrast cardiac CT.
Structural and Inter-individual Differentiation in Personality Traits Across the Adult Lifespan
Authors: Olaru Gabriel , Jankowsky Kristin , Allemand Mathias 
Published: May 2023

The concept of differentiation describes increasing or decreasing similarities between inter-individual differences on psychological constructs, reflecting processes of specialization or adaptation. In this study, we studied age-differentiation in personality traits in (1) the trait domain and facet loadings, (2) the correlations between trait domains, and (3) trait domain, facet, and item (residual) variances. We used three large cross-sectional samples (Ns > 3000) covering 16–90 years of age with broad measures of the Big Five, Five-Factor, and HEXACO models. We examined age effects on the model parameters using local structural equation modeling. We found a high stability of the trait domain loadings, suggesting relatively stable trait domain compositions across age. Extraversion-Openness correlations increased across age for all three measures, whereas an increase in the Extraversion-Agreeableness and decrease in the absolute Neuroticism-Extraversion correlations only replicated across the five-dimensional models. Inter-individual differences in personality were similar across age in the trait domains and facets but differed substantially for item residuals. In summary, the structure and individual differences in broad personality traits is relatively stable across the adult lifespan, with most age-differences only affecting the item level.
Surface modification of kevlar fabric with a novel sulfonyl aryl containing monomer and its influence on inter yarn friction
Authors: Agarwal Gaurav , Sharma Indu , Prakash Jyoti , Kumar Pal Dinesh , Verma Sanjeev K 
Published: May 2023

The ballistic impact response of Kevlar textiles is significantly influenced by the friction between the yarns. It increases the dissipation of energy when yarns begin to displace relative to one another and it also results in to transfer of load to a larger area during ballistic impacts. In the present work, a novel sulfonyl aryl group containing monomer acrylic acid-2-(toluene sulphonyl amine)-ethyl ester (AATSAEE) was synthesized by a three-step process with ethanol amine and p-toluene sulfonic acid as starting material. The monomer was homopolymerized and grafted on Kevlar fabric by UV-induced free radical polymerization technique. Benzoyl peroxide (BPO) was used as initiator. Utilizing spectroscopic and thermal gravimetric methods, the monomer, precursor, and the homopolymer were characterized. The yarn pull-out tests on unmodified and AATSAEE grafted Kevlar fabrics were performed on Universal Tensile Tester at a steady speed of the upper jaw of 50 cm min−1. Increases in yarn pull out force have been noted with grafting of AATSAEE on Kevlar fabric. The peak force increases around 284% with grafting which indicates an increase in friction forces. When these yarns start to move apart from one another due to friction factors, the fabric’s energy dissipation increases and it may results in to increase in energy absorption at the time of ballistic impacts.
Composite Biomarkers, Behavioral Symptoms, and Comorbidities in Axial Low Back Pain: A Systematic Review
Authors: Saravanan Anitha , Bai Jinbing , Bajaj Prempreet , Sterner Elizabeth , Rajagopal Mahalakshmi , Sanders Sameera , Luckose Anne , Kushnick Michael , Starkweather Angela 
Published: May 2023

Purpose Proinflammatory cytokines play a critical role in chronic inflammation and pain and contribute to behavioral symptoms (depressive symptoms, anxiety, fatigue, sleep disturbance) and comorbidities (diabetes, cardiac diseases, cancer). Evidence is lacking on the specific proinflammatory cytokines associated with these behavioral symptoms/comorbidities co-occurring with axial low back pain (aLBP). This review aimed to systematically analyze the following: (1) specific proinflammatory cytokines associated with aLBP in adults, (2) associations among proinflammatory cytokines and behavioral symptoms in aLBP, and (3) relationships among proinflammatory cytokines and comorbidities in aLBP, to develop a new clinical framework for future diagnostic and intervention targets for patients with aLBP. Methods Electronic databases, including PubMed/MEDLINE, ProQuest Nursing & Allied Health Source, and CINAHL Complete (EBSCO) were searched for the period January 2012 to February 2023. Eligible studies included cross-sectional, case-control, longitudinal, and cohort studies in which proinflammatory cytokines were reported in adults above 18 years with aLBP. Intervention studies and randomized controlled trails were excluded. The Joanna Briggs Institute (JBI) criteria were used for quality evaluation. Results Findings from 11 studies showed 3 proinflammatory cytokines associated with pain intensity in adult patients with aLBP: C-Reactive Protein (CRP), Tumor Necrosis Factor (TNF-α), and Interleukin (IL-6). Some studies assessed associations between proinflammatory cytokines and depressive symptoms; none explored the association of proinflammatory cytokines with fatigue, anxiety, sleep disturbance, or comorbidities (diabetes, cardiac diseases, and cancer) in aLBP. Conclusions Proinflammatory cytokines in aLBP can serve as composite biomarkers for pain, associated symptoms, and comorbidities and may serve as a target for future interventions. There is need for well-designed studies assessing associations among chronic inflammation, behavioral symptoms, and comorbidities.
Influencing Factors and Nomogram for the Development of Epilepsy in Advanced Lung Cancer Patients With Brain Metastases
Authors: Yuan Niu , Lv Zhang-Hong , Tao Ting-Yu , Qian Dan 
Published: May 2023

Background Epilepsy is a prevalent comorbidity in patients with brain metastases (BM) and could result in sudden and accidental damage, as well as increased disease burden due to its rapid onset. Foreseeing the potential for the development of epilepsy may permit timely and efficient measures. This study aimed to analyze the influencing factors of epilepsy in advanced lung cancer (ALC) patients with BM and construct a nomogram model to predict the likelihood of developing epilepsy. Methods Socio-demographic and clinical data of ALC patients with BM were retrospectively collected from the First Affiliated Hospital of Zhejiang University School of Medicine between September 2019 and June 2021. Univariate and multivariate logistic regression analyses were applied to determine the influencing factors for epilepsy in ALC patients with BM. Based on the results of the logistic regression analysis, a nomogram was built to represent the contribution of each influencing factor in predicting the probability of epilepsy development in ALC patients with BM. The Hosmer-Lemeshow test and receiver operating characteristic (ROC) curve were utilized to evaluate the goodness of fit and prediction performance of the model. Results The incidence of epilepsy among 138 ALC patients with BM was 29.7%. On the multivariate analysis, having a higher number of supratentorial lesions (odds ratio [OR] = 1.727; p = 0.022), hemorrhagic foci (OR = 4.922; p = .021), and a high-grade of peritumoral edema (OR = 2.524; p < .001) were independent risk factors for developing epilepsy, while undergoing gamma knife radiosurgery (OR = .327; p = .019) was an independent protective factor. The p-value of the Hosmer-Lemeshow test was .535 and the area under the ROC curve (AUC) was .852 (95% CI: .807–.897), suggesting the model had a good fit and exhibited strong predictive accuracy. Conclusion The nomogram was constructed that can predict the probability of epilepsy development for ALC patients with BM, which is helpful for healthcare professionals to identify high-risk groups early and allows for individualized interventions.
A Randomized, Controlled, Parallel-Group, Trial on the Long-term Effects of Melatonin on Fatigue Associated With Breast Cancer and Its Adjuvant Treatments
Authors: Sedighi Pashaki Abdolazim , Sheida Fateme , Moaddab Shoar Leila , Hashem Tahereh , Fazilat-Panah Danial , Nemati Motehaver Alireza , Ghanbari Motlagh Ali , Nikzad Safoora , Bakhtiari Mojtaba , Tapak Leili , Keshtpour Amlashi Zahir , Javadinia Seyed Alireza , Keshtpour Amlashi Zahra 
Published: May 2023

Objective: Cancer related fatigue is a distressing condition and correlated with decrease in quality of life of patients with malignant conditions. In continuation of our previous research, we assessed long term anti-fatigue effects of melatonin in patients with the breast cancer. Material and methods: In this clinical trial, 92 breast cancer patients were randomly assigned to receive either melatonin (18 mg/day) or placebo from 1 week before the adjuvant treatments until 2 years after their completion. The levels of fatigue were assessed before and after intervention using Brief Fatigue Inventory (BFI) and were compared at a significance level of P ≤ .05. Results: The BFI scores were similar between the 2 groups at the baseline (placebo group: 5.56 ± 1.59 and melatonin group: 5.72 ± 1.68, P = .67). After the intervention, not only the mean fatigue score was significantly lower in melatonin group (2.93 ± 1.04 vs 1.99 ± 1.02, P < .001, P ≤ .05), but also a greater reduction in fatigue score in intervention group was evident over time ( P ≤ .001). Conclusion: Long-term usage of melatonin even after completion of adjuvant therapies in women with breast cancer decreased the levels of fatigue associated with the malignant condition and its treatments. The trial registry name and URL, and registration number: Iranian Registry of Clinical Trials, https://en.irct.ir/trial/62267 , IRCT20180426039421N3
Return to Preinjury-Level Sports After Arthroscopic Latarjet for Recurrent Anterior Shoulder Instability in Professional Athletes
Authors: Brzoska Roman , Laprus Hubert , Malik Shahbaz S. , Solecki Wojciech , Juszczak Barlomiej , Blasiak Adrian 
Published: May 2023

Background: The Latarjet procedure is recommended to treat recurrent anterior shoulder instability with glenoid bone loss. Longer return-to-sport (RTS) times have been reported after the open Latarjet when compared with the arthroscopic Latarjet. Purpose: To assess the clinical outcomes and RTS in athletes who underwent an arthroscopic Latarjet. Study Design: Case series; Level of evidence, 4. Methods: This study included 46 professional athletes with recurrent anterior shoulder instability who underwent an arthroscopic Latarjet between 2010 and 2016. Patients were divided by type of sport: noncollision and nonoverhead (n = 22), collision and martial arts (n = 13), and overhead (n = 11). Sport activity was evaluated with the Kerlan-Jobe Orthopaedic Clinic (KJOC) score, Subjective Patient Outcome for Return to Sports score, and RTS time. Clinical results were evaluated by Constant-Murley score, Walch-Duplay score, and range of external and internal rotation. Complication rates, recurrence of shoulder instability, and number of revision procedures were recorded. Correlation tests were used to assess the relationship between measured parameters. Results: The mean ± SD patient age was 27.1 ± 7.3 years, and the mean follow-up was 50.7 ± 18 months. Overall, 44 patients (95.7%) returned to their previously practiced sports, and 40 (87%) returned to their preinjury levels. The RTS time was 5 ± 1.4 months, with no significant difference among sport types. KJOC and Subjective Patient Outcome for Return to Sports scores were 95.2 ± 5.6 and 9.5 ± 1, respectively. Significant pre- to postoperative improvement was seen on the Constant-Murley score (from 54.3 ± 9.4 to 87.9 ± 8.2; P = .001) and Walch-Duplay score (from 53.7 ± 7.3 to 88.1 ± 10.7; P = .001). Mean postoperative external and internal rotation was 72.8° ± 18.6° and 81.3° ± 11.3°. Procedure-related complications occurred in 10 patients (21.7%); recurrence of shoulder instability was observed in 4 (8.7%); and 4 (8.7%) underwent revision surgery. A worse Walch-Duplay score was significantly associated with longer RTS time ( r = –0.39; P = .019) and lower KJOC score ( r = 0.29; P = .03). Conclusion: There was a 95.7% RTS rate after the arthroscopic Latarjet procedure, although the procedure was not free from complications.