Miracle-dz/UniFAR-FTUs huggingface dataset:
Generic Σ31 absoluteness

In this article we study the strength of absoluteness (with real parameters) in various types of generic extensions, correcting and improving some results from [3]. (In particular, see Theorem 3 below.) We shall also make some comments relating this work to the bounded forcing axioms BMM, BPFA and BSPFA. The statement “ absoluteness holds for ccc forcing” means that if a formula with real parameters has a solution in a ccc set-forcing extension of the universe V, then it already has a solution in V. The analogous definition applies when ccc is replaced by other set-forcing notions, or by class-forcing. Theorem 1. [1] absoluteness for ccc has no strength; i.e., if ZFC is consistent then so is ZFC + absoluteness for ccc. The following results concerning (arbitrary) set-forcing and class-forcing can be found in [3]. Theorem 2 (Feng-Magidor-Woodin). (a) absoluteness for arbitrary set-forcing is equiconsistent with the existence of a reflecting cardinal, i.e., a regular cardinal κ such that H(κ) is ∑2-elementary in V. (b) absoluteness for class-forcing is inconsistent. We consider next the following set-forcing notions, which lie strictly between ccc and arbitrary set-forcing: proper, semiproper, stationary-preserving and ω1-preserving. We refer the reader to [8] for the definitions of these forcing notions. Using a variant of an argument due to Goldstern-Shelah (see [6]), we show the following. This result corrects Theorem 2 of [3] (whose proof only shows that if absoluteness holds in a certain proper forcing extension, then in L either ω1 is Mahlo or ω2 is inaccessible).
Examining anxiety and depression in haematology cancer patients in ongoing treatment and under watchful waiting: A systematic review and meta‐analysis

Abstract Introduction The present review aimed to establish prevalence rates of anxiety and depression in adults with haematology cancer, with a focus on the differences between patients under treatment and patients under watchful waiting. Method Five databases (Scopus, Medline, PsycINFO, EThOS, CINAHL) were searched throughout June 2021. Key search terms included haematology cancer, anxiety, depression, in treatment and watchful waiting. Study and sample characteristics, prevalence rates and mean self‐reported scores of anxiety and depression data were extracted. Results A total of 18 eligible papers were included in the review. Quality appraisal indicated papers were of adequate standard. Depression data from 2720 participants (14.5% under watchful waiting) and anxiety data from 2520 participants (15.9% under watchful waiting) were analysed through subgroup meta‐analyses. The prevalence of anxiety was 34% amongst adults receiving treatment and 24.5% amongst those under watchful waiting. The prevalence of depression amongst adults receiving treatment was 31.3%, significantly higher than 16.1% of adults under watchful waiting. Conclusion Overall, adults with haematology cancer were at greater risk of experiencing anxiety and depression than the general population, with greatest risk in those under treatment. The findings indicate the need for future research to examine availability and effectiveness of targeted psychological interventions.
An Efficient and Accurate Face Verification Method Based on CNN Cascade Architecture

Unconstrained face verification has been actively studied for decades in computer vision. Recent algorithms rely on Convolution Neural Network to further improve the accuracy. However, such algorithms tend to be time-consuming and computationally complex, which cannot meet the real-time requirements. In this paper, we propose an efficient and accurate face verification method based on Convolution Neural Network Cascade architecture. First, we use a compact network to handle most of the simple samples. Then, we use a complex network to handle a small number of hard samples. Finally, we use an ensemble of multi-patch networks with metric learning. Our method achieves an accuracy of 99.72% on LFW, which performs favorably against the state-of-the-arts. Furthermore, we significantly reduce time cost from 485ms to only 20ms on a single core i7-4790, which has strong practical value for real-time face verification systems. Keywords-face verification; deep learning; convolution neural network; metric learning
On electromagnetic induction in electric conductors

Experimental validation of the Faraday's law of electromagnetic induction (EMI) is performed when an electromotive force is generated in thin copper turns, located inside a large magnetic coil. It has been established that the electromotive force (emf) value should be dependent not only on changes of the magnetic induction flux through a turn and on symmetry of its crossing by magnetic power lines also. The law of EMI is applicable in sufficient approximation in case of the changes of the magnetic field near the turn are symmetrical. Experimental study of the induced emf in arcs and a direct section of the conductor placed into the variable field has been carried out. Linear dependence of the induced emf on the length of the arc has been ascertained in case of the magnetic field distribution symmetry about it. Influence of the magnetic field symmetry on the induced emf in the arc has been observed. The curve of the induced emf in the direct section over period of current pulse is similar to this one for the turns and arcs. The general law of EMI for a curvilinear conductor has been deduced. Calculation of the induced emf in the turns wrapped over it and comparison with the experimental data has been made. The proportionality factor has been ascertained for the law. Special conditions have been described, when the induced emf may not exist in the presence of inductive current. Theoretical estimation of the inductive current has been made at a induced low voltage in the turn. It has been noted the necessity to take into account the concentration of current carriers in calculation of the induced emf in semiconductors and ionized conductors.
Metabolic syndrome in people with HIV from Guatemala: analysis of components and risk factors

Background People with HIV (PWH) in Latin America are at a greater risk of developing comorbidities due to the increasing burden of obesity and metabolic syndrome in the region. We explored the associations between social, cardiovascular and HIV-related risk factors with metabolic syndrome in PWH from Guatemala. Methods Cross-sectional study analyzing demographic, clinical and laboratory data from PWH. Metabolic syndrome diagnosis and components are defined by the harmonized Joint Scientific Statement criteria. Data were collected from July 2019 to March 2020 and analyzed using correlations and logistic regression. Results Median age was 39 years [IQR 31-48], 56.8% of participants were male and 31.5% (n = 266, 95% CI 0.28–0.34) had metabolic syndrome. Age (adjusted odds ratio (aOR): 1.03, 95% CI 1.02–1.05, p <0.001), urban dweller (aOR: 1.48, 95% CI 1.00–2.18, p = 0.049), low physical activity (aOR: 1.45, 95% CI 1.01–2.08, p = 0.046), hyperuricemia (aOR: 3.31, 95% CI 1.93–5.67, p <0.001), current CD4+ T cell count < 200 cells/mm3 (aOR: 1.96, 95% CI 1.19–3.23, p = 0.009), 6 months of efavirenz (aOR: 1.89, 95% CI 1.29–2.77, p = 0.001), and obesity (aOR: 37.0, 95% CI 7.70–178.2, p < 0.001) were independently associated with metabolic syndrome. Conclusions Prevalence of metabolic syndrome in this study was high and driven mainly by social and cardiovascular risk factors such as age, urban dwelling, obesity, hyperuricemia and low physical activity. Efavirenz use and CD4 count were the only HIV-related factors associated with metabolic syndrome.
The impact of comorbid severe mental illness and common chronic physical health conditions on hospitalisation: A systematic review and meta-analysis

Background People with severe mental illness (SMI) are at higher risk of physical health conditions compared to the general population, however, the impact of specific underlying health conditions on the use of secondary care by people with SMI is unknown. We investigated hospital use in people managed in the community with SMI and five common physical long-term conditions: cardiovascular diseases, COPD, cancers, diabetes and liver disease. Methods We performed a systematic review and meta-analysis (Prospero: CRD42020176251) using terms for SMI, physical health conditions and hospitalisation. We included observational studies in adults under the age of 75 with a diagnosis of SMI who were managed in the community and had one of the physical conditions of interest. The primary outcomes were hospital use for all causes, physical health causes and related to the physical condition under study. We performed random-effects meta-analyses, stratified by physical condition. Results We identified 5,129 studies, of which 50 were included: focusing on diabetes (n = 21), cardiovascular disease (n = 19), COPD (n = 4), cancer (n = 3), liver disease (n = 1), and multiple physical health conditions (n = 2). The pooled odds ratio (pOR) of any hospital use in patients with diabetes and SMI was 1.28 (95%CI:1.15–1.44) compared to patients with diabetes alone and pooled hazard ratio was 1.19 (95%CI:1.08–1.31). The risk of 30-day readmissions was raised in patients with SMI and diabetes (pOR: 1.18, 95%CI:1.08–1.29), SMI and cardiovascular disease (pOR: 1.27, 95%CI:1.06–1.53) and SMI and COPD (pOR:1.18, 95%CI: 1.14–1.22) compared to patients with those conditions but no SMI. Conclusion People with SMI and five physical conditions are at higher risk of hospitalisation compared to people with that physical condition alone. Further research is warranted into the combined effects of SMI and physical conditions on longer-term hospital use to better target interventions aimed at reducing inappropriate hospital use and improving disease management and outcomes.
Association of sarcopenia and its components with clinical outcomes in patients undergoing peritoneal dialysis

Background Further studies are needed to identify whether muscle mass, muscle strength, or sarcopenia is the best indicator of survival in patients undergoing peritoneal dialysis (PD). We aimed to compare the association of sarcopenia and its components with survival in patients undergoing PD. Methods We identified all patients with PD (n = 199). We routinely recommended handgrip strength (HGS) and lean mass measurements using dual energy X-ray absorptiometry in all patients with PD. Sarcopenia was defined using cutoff values from the Asian Working Group for Sarcopenia. We evaluated the patient and technique survival rates. Results The number of patients with low HGS was 95 (47.7%). The median follow-up interval was 17 months (interquartile range, 13–21 months). Kaplan-Meier curve analysis showed that patients with low HGS or sarcopenia had poorer patient and technique survival compared with patients with normal HGS or without sarcopenia. Cox regression analysis showed that patients with low HGS had greater hazard ratios for patient death and technique failure compared with those with normal HGS. However, patients with low muscle mass were not significantly higher hazard ratios for patient death or technique failure compared with those with normal muscle mass. Patients with sarcopenia had significantly greater hazard ratios for patient death or technique failure than those without sarcopenia only in univariate analysis. Conclusion The present study demonstrated that HGS may be superior to muscle mass or sarcopenia for predicting patient or technique survival in patients undergoing PD.
STAT3 in porcine endometrium during early pregnancy induces changes in extracellular matrix components and promotes angiogenesis

Abstract A molecular interaction between maternal endometrium and implanting conceptus can lead to activation of a variety of transcription factors that regulate expression of several genes necessary for the process of embryo implantation. While, signal transducer and activator of transcription 3 (STAT3) is responsible for decidualization and epithelial remodeling in humans and mice, its role in porcine endometrium has not been explored before. In the present study, we observed a pregnancy dependent increase in gene and protein expression of STAT3. Phosphorylated STAT3 was predominantly present in the endometrium of pregnant animals in luminal and glandular epithelium and in the endothelium of blood vessels with a weak staining in stromal cells. Interleukins, IL-1β and IL-6, and epidermal growth factor (EGF)-induced STAT3 expression and phosphorylation in endometrial explants collected on Day 13 of the estrous cycle. Biological significance of STAT3 was evaluated by blocking its phosphorylation with STAT3-specific inhibitor, Stattic. Using porcine extracellular matrix (ECM) and adhesion molecule array, EGF was shown to induce changes in gene expression of ECM components: MMP1, MMP3, MMP12, LAMA1, SELL, and ICAM1, which was abrogated in the presence of Stattic. Transcriptional activity of STAT3 was observed in promoter regions of MMP3 and MMP12. Additionally, IL-6-induced STAT3 phosphorylation upregulated VEGF and VCAM1 abundances in endometrial-endothelial cells (EEC). Moreover, IL-6 resulted in an increase in EEC proliferation and capillary formation which was reversed in the presence of Stattic. Results of present study reveal a role for STAT3 phosphorylation in regulating extracellular matrix remodeling and angiogenesis in porcine endometrium to facilitate embryo implantation. Summary Sentence Cytokines IL-1β, IL-6, and the growth factor, epidermal growth factor activate signal transducer and activator of transcription 3, resulting in its nuclear translocation in the porcine endometrial cells to induce changes in extracellular matrix components and endometrial angiogenesis during implantation period. Graphical Abstract
Design of single‐layered SIW inline eighth order filters based on two electric coupling structures

This article presents 2 single‐layered inline substrate integrated waveguide filters with cross couplings based on 2 electric coupling structures, respectively. The coupling matrix method is employed to obtain the coupling coefficients and to guide the designs. The H‐shape and meandering electric coupling structures are used to generate electric cross couplings in the 2 filters, respectively. To validate the design, the 2 filters are simulated, fabricated and measured. Measured results show that the filter with H‐shape electric coupling structure has an insertion loss of 2.87 dB and is with a BW20dB‐to‐BW3dB ratio of 1.21, and the filter with meandering electric coupling structure has an insertion loss of 2.84 dB and is with a BW20dB‐to‐BW3dB ratio of 1.22.
Swimming performance, physiology, and post-activation performance enhancement following dryland transition phase warmup: A systematic review

Background In swimming, the period between the end of the swimming warmup and the beginning of competition is critical to performance, here termed the transition phase. Several options are available during this phase, necessitating a systematic review to understand if optimal strategies exist. Objectives To synthesise and critically evaluate the current literature investigating land-based warmup interventions on subsequent performance in competitive swimmers. Methods A search of three electronic databases (PubMed, EBSCO SPORTDiscus and Web of Science) was conducted to identify original studies until February 2022. Selection criteria dictated that (i) a control condition was used, (ii) participants were ≥ 15 years of age, (iii) a pool-based warmup was done prior to the land-based warmup. A total of 25 articles met the selection criteria. Results Reducing the transition phase duration by at least half led to consistently faster time-trial times of between 1.1–1.5% for all included studies. Passive warmups using clothing interventions resulted in mostly faster time-trial’s of 0.4–0.8% with increases in skin temperature frequent, though little change occurred in core temperature. The methodology of passive respiratory warmups were vastly different with positive time-trial’s effects ranging between 0.9–1.1% for two studies, though one reported no meaningful difference. Active warmups led to consistently faster time-trial’s between 0.7–0.9%, though the unpinning factors are not clear. Warmups which combined passive and active options frequently led to faster time-trial’s between 0.8–3%. Upper and combined limb post-activation performance enhancement led to mostly unfavourable time-trial changes. Lower limb exclusive protocols results were inconsistent, with limited beneficial effects on time-trial or start performance reported following plyometric protocols. However, there does appear merit in heavier loaded lower limb protocols. Conclusion Each of a reduced transition phase length, and passive, active or combination warmup have demonstrated improvements in swimming performance. Conversely, PAPE protocols should be used with caution, especially when including the upper limbs.
A Randomized Comparison of Nivolumab versus Nivolumab + Docetaxel for Previously Treated Advanced or Recurrent ICI-Naïve Non–Small Cell Lung Cancer: TORG1630

Abstract Purpose: The addition of cytotoxic chemotherapy to immune-checkpoint inhibitor (ICI) may enhance antitumor effects. We conducted an open-label randomized phase II/III study to evaluate nivolumab + docetaxel combination therapy in comparison with nivolumab monotherapy for previously treated ICI-naïve non–small cell lung cancer (NSCLC). Patients and Methods: The primary endpoint of the phase III study was overall survival (OS), and the secondary endpoints included progression-free survival (PFS), overall response rate (ORR), and toxicity. As ICI and platinum-doublet combination chemotherapy was approved in the first-line setting during this study, patient accrual was discontinued. Results: One hundred twenty-eight patients (each arm, n = 64) were included in the full analysis set. The median OS in nivolumab (arm A) and nivolumab + docetaxel (arm B) was 14.7 months (95% CI, 11.4–18.7) and 23.1 months (95% CI, 16.7–NR), respectively. The HR for OS was 0.63 (90% CI, 0.42–0.95; P = 0.0310). The median PFS in arms A and arm B was 3.1 months (95% CI, 2.0–3.9) and 6.7 months (95% CI, 3.8–9.4), respectively. The HR for progression was 0.58 (95% CI, 0.39–0.88; P = 0.0095). The ORR was 14.0% (95% CI, 6.3–25.8) in arm A and 41.8% (95% CI, 28.7–55.9) in arm B. Hematotoxicity and gastrointestinal adverse events were more common in arm B than in arm A. Two treatment-related deaths were observed, including one patient in arm A who died of pneumonitis and one in arm B who died of myocarditis. Conclusions: Despite a slightly elevated toxicity, the addition of docetaxel to nivolumab has significantly prolonged the OS and PFS of patients with previously treated ICI-naïve NSCLC.
Colonization and phytoremediation potential for Miscanthus sacchariflorus in copper tailings

ABSTRACT A pot experiment was conducted to explore the effects of copper (Cu) tailings with various proportions in the substrate on seed germination and morphological traits of the plant. Concurrently, to identify the adaptive and tolerance strategies of the plant to Cu tailings, the uptake and accumulation of the plant to heavy metals, variations in soil enzymatic activities, and metal speciation in the blank, rhizospheric, and non-rhizospheric soils were estimated. Cu tailings at 25% proportion in the substrate exerted no significant negative effects on seed germination and seedling growth. However, Cu tailings at higher proportions (≧50%) inhibited seed germination and disturbed the plant physiological metabolism and growth. More biomass allocated to the plant roots could contribute to more heavy metals being immobilized, arresting their translocation from roots to shoots. This was accepted as a crucial defense mechanism for the plant against heavy metal co-contamination. The plant can improve the biological properties of Cu tailings in terms of enhanced invertase and phosphatase activities. And in turn, this can effectively alleviate heavy metal phytotoxicity. Simultaneously, it markedly decreased exchangeable Cu and Zn content in the rhizosphere in 25% Cu tailings treatments. In 50% Cu tailings treatment, no differences were observed in Zn speciation between rhizosphere and non-rhizosphere soils. In 75% Cu tailings, compared to the non-rhizosphere, an obvious reduction in exchangeable Cu in rhizosphere occurred, while an opposite tendency was demonstrated in carbonate-bound Zn. The plant could successfully colonize in Cu tailings, and represent a phytoremediation potential in Cu tailings. GRAPHICAL ABSTRACT
Identifying low-quality patterns in accident reports from textual data

Accident investigation reports provide useful knowledge to support companies to propose preventive and mitigative measures. However, the information presented in accident report databases is normally large, complex, filled with errors and has missing and/or redundant data. In this article, we propose text mining and natural language processing techniques to investigate low-quality accident reports. We adopted machine learning (ML) to detect and investigate inconsistencies on accident reports. The methodology was applied to 626 documents collected from an actual hydroelectric power company. The initial ML performances indicated data divergences and concerns related to the report structure. Then, the accident database was restructured to a more proper form confirming the supposition about the quality of the reports investigated. The proposed approach can be used as a diagnostic tool to improve the design of accident investigation reports to provide a more useful source of knowledge to support decisions in the safety context.
Medical Residency Milestones: Competencies in Informatics, Library, and Evidence-Based Practice

Abstract The Accreditation Council for Graduate Medical Education (ACGME) sets standards known as Milestones and monitors the progress of medical residents as they advance toward medical practice in their specialties. Health sciences librarians need to train medical residents in certain competency areas to help reach the Milestone standards. This project analyzed the Milestones related to informatics, library, and evidence-based practice (EBP) skills to identify core and optional library-related curricular elements that can be integrated into different medical specialty residencies. The authors collected key competency documents from ACGME and from those specialties representing 2% or more of the residencies in the United States. Then, they compared and contrasted those Milestones related to informatics, library, and EBP competency skills. Most relevant Milestones were categorized under the fifth broad ACGME competency area of “Practice Based Learning and Improvement. ” The Milestones followed developmental patterns, reflecting residents’ increased sophistication in meeting these competencies as they advanced in their specialties. The curriculum was designed to meet the residents’ learning needs at each progressive Milestone.
Trends in… Modernization at the Nation’s Medical Library

Abstract This manuscript describes the ongoing efforts to meet ever-changing patron needs by modernizing operations, infrastructure, workforce, and customer service at the National Library of Medicine (NLM). Charged with collecting, organizing, preserving, and disseminating biomedical and life sciences information to the public, the NLM constantly adapts to evolving technologies and scientific advancements in order to better fulfill its mission. Historical context and an overview of operational decision-making offer a window into the workings of our nation’s medical library.