Miracle-dz/UniFAR-FTUs huggingface dataset:
Optimal Multithreaded Batch-Parallel 2-3 Trees

This paper presents a batch-parallel 2-3 tree T in the asynchronous PPM (parallel pointer machine) model that supports searches, insertions and deletions in sorted batches and has essentially optimal parallelism, even under the QRMW (queued read-modify-write) memory model where concurrent memory accesses to the same location are queued and serviced one by one. Specifically, if T has n items, then performing an item-sorted batch of b operations on T takes only O( b * log(n/b+1) + b ) work and O( log b + log n ) span (in the worst case as b,n -> inf). This is information-theoretically work-optimal for b <= n, and also span-optimal in the PPM model. The input batch can be any balanced binary tree, and hence T can also be used to implement sorted sets supporting optimal intersection, union and difference of sets with sizes m <= n in O( m * log(n/m+1) ) work and O( log m + log n ) span. To the author's knowledge, T is the first parallel sorted-set data structure with these performance bounds that can be used in an asynchronous multi-processor machine under a memory model with queued contention. This is unlike PRAM data structures such as the PVW 2-3 tree (by Paul, Vishkin and Wagener), which rely on lock-step synchronicity of the processors. In fact, T is designed to have bounded contention and satisfy the claimed work and span bounds regardless of the execution schedule. All data structures and algorithms in this paper fit into the dynamic multithreading paradigm. Also, as a consequence of working in the asynchronous PPM model, all their performance bounds are directly composable with those of other data structures and algorithms in the same model.
Grape Phytochemicals and Associated Health Benefits

The phytochemicals present in fruits and vegetables may play an important role in deceasing chronic disease risk. Grapes, one of the most popular and widely cultivated and consumed fruits in the world, are rich in phytochemicals. Epidemiological evidence has linked the consumption of grapes with reduced risk of chronic diseases, including certain types of cancer and cardiovascular disease. In vitro and in vivo studies have shown that grapes have strong antioxidant activity, inhibiting cancer cell proliferation and suppressing platelet aggregation, while also lowering cholesterol. Grapes contain a variety of phytochemicals, like phenolic acids, stilbenes, anthocyanins, and proanthocyanidins, all of which are strong antioxidants. The phytochemical composition of grapes, however, varies greatly among different varieties. While extensive research exists, a literature review of the health benefits of grapes and their phytochemicals has not been compiled to summarize this work. The aim of this paper is to critically review the most recent literature regarding the concentrations, biological activities, and mechanisms of grape phytochemicals.
Uniform Asymptotic Stability of Nonlinear Switched Systems With an Application to Mobile Robots

This paper is concerned with the study of, both local and global, uniform asymptotic stability for general nonlinear and time-varying switched systems. Two concepts of Lyapunov functions are introduced and used to establish uniform Lyapunov stability and uniform global stability. With the help of output functions, an almost bounded output energy condition and an output persistent excitation condition are then proposed and employed to guarantee uniform local and global asymptotic stability. Based on this result, a generalized version of Krasovskii-LaSalle theorem in time-varying switched systems is proposed. For switched systems with persistent dwell-time, the output persistent excitation condition is guaranteed to hold under a zero-state observability condition. It is shown that several existing results in past literature can be covered as special cases using the proposed criteria. Interestingly, as opposed to previous work, the main results of this paper are applicable to the situation where some switching systems are not asymptotically stable at the origin. The robust practical regulation problem of nonholonomic mobile robots is studied as a way of demonstrating the power of the proposed new criteria. A novel switching controller is proposed with guaranteed robustness to orientation error and unknown parameters in mobile robots.
Multilingual Factor Analysis

In this work we approach the task of learning multilingual word representations in an offline manner by fitting a generative latent variable model to a multilingual dictionary. We model equivalent words in different languages as different views of the same word generated by a common latent variable representing their latent lexical meaning. We explore the task of alignment by querying the fitted model for multilingual embeddings achieving competitive results across a variety of tasks. The proposed model is robust to noise in the embedding space making it a suitable method for distributed representations learned from noisy corpora.
Liver Zonation in Health and Disease: Hypoxia and Hypoxia-Inducible Transcription Factors as Concert Masters

The liver and its zonation contribute to whole body homeostasis. Acute and chronic, not always liver, diseases impair proper metabolic zonation. Various underlying pathways, such as β-catenin, hedgehog signaling, and the Hippo pathway, along with the physiologically occurring oxygen gradient, appear to be contributors. Interestingly, hypoxia and hypoxia-inducible transcription factors can orchestrate those pathways. In the current review, we connect novel findings of liver zonation in health and disease and provide a view about the dynamic interplay between these different pathways and cell-types to drive liver zonation and systemic homeostasis.
Diabetes Prevention for Latino Youth

The translation of research findings into sustainable health promotion and disease prevention programs in community settings remains a challenge. This report describes the process of substantiating a community-developed diabetes prevention program for Latino youth through research. Included are design considerations, measurement strategies, and the context through which the project is culturally grounded for relevance and fit within a local community. The process included (1) refining the program to include salient, stakeholder-identified behavioral components; (2) refining the collaborative effort to embrace the capacity for facilitating relevant behavior change on targeted health-related outcomes to enhance intervention effectiveness; and (3) including the accurate assessment of intervention efficacy via precise assessment of diabetes-related health outcomes. We explain the process of collaborating with community partners to enhance the cultural relevance and sustainability of intervention effects on both individuals and communities. We discuss the rationale for empirical support for academic–community collaborations that function in both a “top-down” and a “bottom-up” manner to advance the science and practice of sustainable and efficacious community health promotion.
Aerobic Exercise Training Decreases Hepatic Asprosin in Diabetic Rats

Asprosin, a novel hormone released from white adipose tissue, regulates hepatic glucose metabolism and is pathologically elevated in the presence of insulin resistance. It is unknown whether aerobic exercise training affects asprosin levels in type 1 diabetes mellitus (T1DM). The aim of this study was to determine whether (1) aerobic exercise training could decrease asprosin levels in the liver of streptozotocin (STZ)-induced diabetic rats and (2) the reduction in asprosin levels could induce asprosin-dependent downstream pathways. Five-week-old male Sprague–Dawley rats were randomly divided into control, STZ-induced diabetes (STZ), and STZ with aerobic exercise training groups (n = 6/group). T1DM was induced by a single dose of STZ (65 mg/kg intraperitoneally (i.p.)). The exercise group was made to run on a treadmill for 60 min at a speed of 20 m/min, 4 days per week for 8 weeks. Aerobic exercise training reduced the protein levels of asprosin, PKA, and TGF-β but increased those of AMPK, Akt, PGC-1β, and MnSOD. These results suggest that aerobic exercise training affects hepatic asprosin-dependent PKA/TGF-β and AMPK downstream pathways in T1DM.
Household satisfaction with community-based health insurance scheme and associated factors in piloted Sheko district; Southwest Ethiopia

Background Community-based health insurance (CBHI) scheme is an emerging strategy for providing financial protection against health-related poverty. It is being piloted in the Sheko district, but community satisfaction with the scheme has not yet studied. Therefore, this study aimed to assess the level of household’s satisfaction to CBHI scheme and associated factors in a piloted Sheko district; southwest Ethiopia. Methods A community-based cross-sectional study was conducted in Sheko district from March to April 2018. Data was collected on 528 households by using simple random sampling method. Trained data collectors gathered the data using a pre-tested and structured questionnaire. Descriptive statistics, bivariate and multivariable logistic regression analyses were performed. To determine the independent predictors of household’s satisfaction to CBHI, a cut point of p values < 0.05 were used. Results This study showed that more than half (54.7%) of the households were satisfied with the CBHI scheme. Satisfaction to CBHI was positively associated with adequate knowledge of CBHI benefit packages (AOR = 2.29, 95% CI = 1.55–3.38), type of health facility visit (AOR = 1.93, 95% CI = 1.09–3.39), laboratory service provision (AOR = 2.07, 95% CI = 1.15–373) and length of enrollment (AOR = 1.53, 95% CI = 1.01–2.32). Conclusions Household’s satisfaction to CBHI scheme was moderate. Modifiable factors, including adequate knowledge of CBHI benefit packages, type of health facility visit, laboratory service provision, and length of enrollment were independent determinants of satisfaction. In order to augment enrollee’s satisfaction to CBHI, efforts should be given to improving their knowledge of CBHI benefit packages through education and information campaigns. Furthermore, due consideration should also be given to improving the quality of health services.
Extramedullary relapse of leukemia after allogeneic hematopoietic stem cell transplantation

Abstract Extramedullary relapse (EMR) rarely occurs after allogeneic hematopoietic stem cell transplantation (HSCT) in leukemia. This study was to investigate the clinical characteristics of EMR. We retrospectively investigated 316 consecutive patients undergoing HSCT for acute leukemia or chronic myeloid leukemia (CML) at 2 institutions between January 2012 and February 2017. Furthermore, we analyzed and compared the risk factors and outcomes between EMR and bone marrow relapse (BMR). The 5-year cumulative incidence of EMR was 14.1%. The EMR incidence in acute myeloid leukemia, lymphoblastic leukemia, and CML was 17.5%, 18.9%, and 5.3%, respectively. CML had a lower EMR incidence rate. Compared to the BMR group, the EMR group had a longer median relapse-free time (10.5 months vs 5 months, P = .02), and the EMR group had a higher incidence rate of chronic graft-versus-host disease (50.0% vs 20.9%, P = .009). EMR had better estimated 3-year survival rates post-HSCT, and post-relapse, than did BMR (39.5% vs 9.5%, P < .001, and 21.9% vs 10.8%, P = .001). Multivariate analysis identified that adverse cytogenetics (hazard ratio [HR] = 9.034, P < .001) and extramedullary leukemia before HSCT (HR = 2.685, P = .027) were the independent risk factors for EMR after HSCT. In the EMR group, patients who achieved complete remission (CR) had a significantly better, estimated 3-year survival than did patients who did not achieve CR (38.4% vs 14.3%, P = .014). EMR is a significant contributor to mortality after HSCT, which appears to be resistant to most of the current therapies. Establishing effective strategies for EMR is important in improving outcomes after HSCT.
Days-in-Milk and Parity Affected Serum Biochemical Parameters and Hormone Profiles in Mid-Lactation Holstein Cows

Simple Summary Serum biochemical parameters and hormones play a role in directly reflecting the physiological state and modulating the milk performance of dairy cows. However, the variability of the serum biochemical parameters and hormones in multiparous mid-lactation cows have not drawn much attention due to their supposedly stable states, especially for those cows under the same nutrition and management condition. The aim of this study was to evaluate the effects of days-in-milk (DIM, within the mid-lactation) and parity (ranging from 2–6) on serum biochemical parameters and hormone profiles based on a large cohort of dairy cows. The results showed that DIM and parity contribute to the variations in serum biochemical parameters and hormones related to protein status, energy supply, liver and kidney function, and oxidative stress of mid-lactation dairy cows, with the effect of DIM being dominant over parity. Our result suggested that the DIM periods and parity should be taken into consideration to optimize nutritional strategies in order to improve the milk performance traits more precisely. Abstract It is well known that serum biochemical parameters and hormones contribute greatly to the physiological and metabolic status of dairy cows. However, few studies have focused on the variation of these serum parameters in multiparous mid-lactation cows without the interference of diet and management. A total of 287 Holstein dairy cows fed the same diet and maintained under the same management regime were selected from a commercial dairy farm to evaluate the effects of days-in-milk (DIM) and parity on serum biochemical parameters and hormone profiles. Milk yield and milk protein content were affected by DIM and parity (p < 0.05). Milk protein yield showed a numerically decreasing trend with parity, and it was relatively constant in cows with parities between 2 and 4 but lower in cows with parity 6 (p = 0.020). Ten and five serum biochemical parameters related to protein status, energy metabolism, liver and kidney function, and oxidative stress were affected by DIM and parity, respectively (p < 0.05). Glucagon, insulin-like growth factor 1 concentration, and the revised quantitative insulin sensitivity check index were significantly different (p < 0.05) among cows with different DIM. Parity had no effect on hormone concentrations. An interaction between DIM and parity effect was only detected for glucagon concentration (p = 0.015), which showed a significantly increasing trend with DIM and overall decreasing trend with parity. In summary, DIM and parity played an important role in affecting the serum biochemical parameters and/or hormones of dairy cows, with serum parameters affected more by DIM than parity.
Resting Heart Rate Variability Predicts Vulnerability to Pharmacologically-Induced Ventricular Arrhythmias in Male Rats

The electrical stability of the myocardium is dependent on the dynamic balance between sympathetic and parasympathetic influences on the heart, which is reflected by heart rate variability (HRV). Reduced HRV is a proposed predictor of sudden death caused by ventricular tachyarrhythmias in cardiac patients. However, the link between individual differences in HRV and ventricular tachyarrhythmic risk in populations without known pre-existing cardiac conditions is less well explored. In this study we investigated the extent to which individual differences in resting state HRV predict susceptibility to spontaneous and pharmacologically-induced ventricular arrhythmias in healthy rats. Radiotelemetric transmitters were implanted in 42 adult male Wild-type Groningen rats. ECG signals were recorded during 24-h resting conditions and under β-adrenoceptor pharmacological stimulation with isoproterenol and analyzed by means of time- and frequency-domain indexes of HRV. No significant association was found between individual differences in resting measures of HRV and spontaneous incidence of ventricular arrhythmias. However, lower resting values of HRV predicted a higher number of ventricular ectopic beats following β-adrenergic pharmacological stimulation with isoproterenol (0.02 mg/kg). Moreover, after isoproterenol administration, one rat with low resting HRV developed sustained ventricular tachycardia that led to death. The present results might be indicative of the potential utility of HRV measures of resting cardiac autonomic function for the prediction of ventricular arrhythmias, particularly during conditions of strong sympathetic activation, in populations without known cardiac disease.
Small incision discectomy for lumbar disc herniation in 98 patients with 5-year follow-up

Abstract Optimal surgical technique to treat lumbar disc herniation (LDH) remains controversial. We described a small incision discectomy technique (SID), and to evaluate its safety and efficacy. A retrospective study involving 98 consecutive patients with LDH managed by SID was conducted. All patients were followed up for 5 years. Outcomes included visual analogue scale (VAS), Japanese Orthopedic Association (JOA), operative time, length of incision, blood loss, hospital stay, hospitalization costs, x-ray exposure, reoperation, and complications. The results were determined to be excellent, good, fair, or poor according to the MacNab classification. All patients completed the 5-year follow-up. Relative to preoperative scores, VAS and JOA were both significantly improved. As a whole, 93.8% (92/98) patients showed excellent or good results, 3.1% (3/98) fair, and 3.1% (92/98) poor. The operation time, length of incision, blood loss, and hospital stay were 50 ± 11.1 minutes, 2.2 ± 0.3 cm, 35 ± 3.5 mL, and 4.3 ± 0.2 days, respectively. Additionally, compared with previous literature reports, the hospitalization costs and x-ray exposure were apparently less. The reoperation and recurrence rate were 3.2% and 2.1%. No complications were observed. From these data we conclude that SID appears to be a safe, cost-effective technique for LDH, and has lower x-rays exposure time when compared with literature of percutaneous endoscopic lumbar discectomy (PELD).
Effect of Intermetallic Compounds on the Thermal and Mechanical Properties of Al–Cu Composite Materials Fabricated by Spark Plasma Sintering

Aluminium–copper composite materials were successfully fabricated using spark plasma sintering with Al and Cu powders as the raw materials. Al–Cu composite powders were fabricated through a ball milling process, and the effect of the Cu content was investigated. Composite materials composed of Al–20Cu, Al–50Cu, and Al–80Cu (vol.%) were sintered by a spark plasma sintering process, which was carried out at 520 °C and 50 MPa for 5 min. The phase analysis of the composite materials by X-ray diffraction (XRD) and energy-dispersive spectroscopy (EDS) indicated that intermetallic compounds (IC) such as CuAl2 and Cu9Al4 were formed through reactions between Cu and Al during the spark plasma sintering process. The mechanical properties of the composites were analysed using a Vickers hardness tester. The Al–50Cu composite had a hardness of approximately 151 HV, which is higher than that of the other composites. The thermal conductivity of the composite materials was measured by laser flash analysis, and the highest value was obtained for the Al–80Cu composite material. This suggests that the Cu content affects physical properties of the Al–Cu composite material as well as the amount of intermetallic compounds formed in the composite material.
Expansion of the NKG2C+ Natural Killer–Cell Subset Is Associated With High-Risk Carotid Atherosclerotic Plaques in Seropositive Patients for Human Cytomegalovirus

Objective—Human cytomegalovirus (HCMV), a pathogen involved in the development and progression of atherosclerosis, promotes in some individuals a marked reconfiguration of the natural killer (NK)–cell compartment whose hallmark is a persistent expansion of a peripheral blood NK-cell subset expressing the CD94/NKG2C NK receptor. We aimed to evaluate whether the HCMV-associated NK-cell compartment reconfiguration is related to carotid atherosclerotic plaque (CAP) instability. Approach and Results—NK receptor expression (ie, LILRB1, NKG2A, NKG2C, and killer immunoglobulin-like receptors [KIR]) by peripheral NK and T cells was evaluated in 40 patients with HCMV+ with CAP, including nonatherosclerotic strokes (n=15) and healthy subjects (n=11) as controls. High-risk CAP (n=16), defined as carotid stenosis >50% with ipsilateral neurological symptomatology in the previous 180 days, compared with non–high-risk CAP had higher %NKG2C+ NK cells (29.5±22.4% versus 16.3±13.2%; P=0.026; odds ratio, 1.053; 95% confidence interval, 1.002–1.106; P=0.042), with a corresponding reduction in the NKG2A+ NK subset (31.7±17.8% versus 41.8±15.8%; P=0.072). The proportions of NKG2C+ NK cells in high-risk CAP were inversely correlated with the CD4+/CD8+ ratio (RSpearman=−0.629; P=0.009) and directly with high-sensitivity C-reactive protein levels (RPearson=0.591; P=0.012), consistent with higher subclinical systemic inflammation. The intraplaque inflammatory infiltrate, evaluated in 27 CAP obtained after endarterectomy, showed a higher presence of subintimal CD3+ lymphocytes in those patients with HCMV-induced changes in the peripheral NK- and T-cell compartments. Conclusions—The expansion of NKG2C+ NK cells in patients with CAP seems to be associated with an increased risk of plaque destabilization in some patients with chronic HCMV infection.
A necessary optimality condition for constrained optimal control of hybrid systems

Using the fact that continuous piecewise affine systems can be written as special inverse optimization models, we present necessary optimality conditions for constrained optimal control problems for hybrid dynamical systems. The modeling approach is based on the fact that piecewise affine functions can be written as the difference of two convex functions and has been described in previous publications. The inverse optimization model resulting from this approach can be replaced by its Karush-Kuhn-Tucker conditions to yield a linear complementarity model. An optimal control problem for this model class is an instance of a mathematical program with complementarity constraints for which classical Karush-Kuhn-Tucker optimality conditions may not hold. Exploiting the regularity properties of the inverse optimization model, we show why for the class of control problems under consideration this is not the case and the classical optimality conditions also characterize optimal input trajectories.