Miracle-dz/UniFAR-FTUs huggingface dataset:
Learning to rank categories for web queries

In web search, understanding the user intent plays an important role in improving search experience of the end users. Such an intent can be represented by the categories which the user query belongs to. In this work, we propose an information retrieval based approach to query categorization with an emphasis on learning category rankings. To carry out categorization we first represent a category by web documents (from Open Directory Project) that describe the semantics of the category. Then, we learn the category rankings for the queries using 'learning to rank' techniques. To show that the results obtained are consistent and do not vary across datasets, we evaluate our approach on two datasets including the publicly available KDD Cup dataset. We report an overall improvement of 20% on all evaluation metrics (precision, recall and F-measure) over two baselines: a text categorization baseline and an unsupervised IR baseline.
Production of human c-myc protein in insect cells infected with a baculovirus expression vector

A cDNA fragment coding for human c-myc was inserted into the genome of the baculovirus Autographa californica nuclear polyhedrosis virus adjacent to the strong polyhedrin promoter. Insect cells infected with the recombinant virus produced significant amounts of c-myc protein, which constituted the major phosphoprotein component in these cells. By immunoprecipitation and immunoblot analysis, two proteins of 61 and 64 kilodaltons were detected with c-myc-specific antisera. The insect-derived proteins were compared with recombinant human c-myc-encoded proteins synthesized in Escherichia coli and Saccharomyces cerevisiae cells. The c-myc gene product was found predominantly in the nucleus by subcellular fractionation of infected insect cells.
Respiratory complications after coronary artery bypass surgery with unilateral or bilateral internal mammary artery grafting.

BACKGROUND AND STUDY OBJECTIVE Use of bilateral internal mammary artery (IMA) grafts during coronary artery revascularization procedures carries the potential for increased incidence of postoperative respiratory complications compared with use of unilateral IMA grafts. The purpose of this study was to compare the incidence of respiratory complications such as hypoxemia, atelectasis, pleural effusion, and diaphragmatic dysfunction in patients who received one or both IMAs as conduit grafts. DESIGN Prospective, comparative study. SETTING Surgical ICU at a tertiary teaching hospital. PATIENTS Seventy-five patients with bilateral and 75 patients with unilateral IMA grafts. MEASUREMENTS Serial postoperative PaO2/fraction of inspired oxygen measurements, radiographic scores of atelectasis and pleural effusion, duration of mechanical ventilation, length of ICU and hospital stay, and incidence of pneumothorax, pneumonia, and wound infection. RESULTS There was a higher incidence (51% vs 25%; p=0.002) and severity (0.48+/-0.09 vs 0.15+/-0.05 on the first postoperative day, 0.39+/-0.07 vs 0.27+/-0.07 on the fourth postoperative day, mean+/-SEM; p=0.004) of postoperative right lower lobe atelectasis in the group who received bilateral IMA grafts than in those who received left IMA grafts. This finding probably reflects the effects of additional surgical intervention on the right side of the chest. Incidence and severity of pleural effusion, gas exchange impairment, duration of mechanical ventilation, ICU and hospital stay, and incidence of pneumothorax, pneumonia, and wound infection were not influenced by use of bilateral IMA grafts (p>0.05). CONCLUSION We conclude that use of bilateral IMA grafts during coronary artery revascularization does not increase the incidence of postoperative respiratory complications compared with unilateral IMA grafting.
Exploiting replication to improve performances of NUCA-based CMP systems

Improvements in semiconductor nanotechnology made chip multiprocessors the reference architecture for high-performance microprocessors. CMPs usually adopt large Last-Level Caches (LLC) shared among cores and private L1 caches, whose performances depend on the wire-delay dominated response time of LLC. NUCA (NonUniform Cache Architecture) caches represent a viable solution for tolerating wire-delay effects. In this article, we present Re-NUCA, a NUCA cache that exploits replication of blocks inside the LLC to avoid performance limitations of D-NUCA caches due to conflicting access to shared data. Results show that a Re-NUCA LLC permits to improve performances of more than 5% on average, and up to 15% for applications that strongly suffer from conflicting access to shared data, while reducing network traffic and power consumption with respect to D-NUCA caches. Besides, it outperforms different S-NUCA schemes optimized with victim replication.
Testing the Self-Efficacy Questionnaire With Korean Children in Institutionalized Care

Purpose: We tested the reliability and validity of the Self-Efficacy Questionnaire for Children (SEQ-C) in a sample of children living in orphanages in South Korea. Methods: Our study sample consisted of 334 children aged 13–18 obtained using a convenience sampling method. We conducted a confirmatory factor analysis to identify the factor structure of the 24 self-efficacy items and used a Pearson correlation to explore the scale’s validity. Results: The findings show the SEQ-C is a reliable scale with a three-factor model measuring social, academic, and emotional self-efficacy. Construct validity was also supported by finding a significant negative correlation between self-efficacy and depression. Conclusions: Our study informs social workers and researchers that the SEQ-C measure is a useful tool for practical evaluation and intervention that can be used for children with disadvantaged socioeconomic backgrounds in South Korea.
Use of Add-on Treatment to Metformin Monotherapy for Patients with Type 2 Diabetes and Suboptimal Glycemic Control: A U.S. Database Study

BACKGROUND: The American Diabetes Association (ADA) recommends metformin to treat individuals diagnosed with type 2 diabetes and recommends that hemoglobin A1c (HbA1c) be maintained below or around 7%. If the HbA1c target is not achieved or maintained by metformin monotherapy at maximal tolerated dose over 3 to 6 months, treatment modification with addition of a second oral antihyperglycemic agent or by initiating insulin is recommended. Despite the importance of attaining and maintaining HbA1c goals, actual treatment behavior may not follow ADA guidelines to add a second oral agent or to initiate insulin as expected even considering that individual patient’s needs are taken into account when treatment decisions are made. OBJECTIVE: To evaluate treatment addition for metformin monotherapy users with suboptimal glycemic control and associated factors. METHODS: A retrospective health care claims study identified 7,109 subjects aged 18 to 89 years, treated for type 2 diabetes with an HbA1c > 7% following at least 60 days of continuous metformin monotherapy. Subjects were required to have 12 months continuous enrollment with the health plan before and after the index lab date. Pharmacological treatment additions after the HbA1c lab result and time to treatment addition were evaluated. A logistic regression model was used to evaluate the patient characteristics and comorbidities associated with the treatment addition. RESULTS: Thirty-eight percent of study subjects had evidence of addition of a second antidiabetic medication to primary metformin monotherapy, 57.5% remained on metformin monotherapy, and 4.5% discontinued metformin altogether. A logistic regression model found age inversely related to treatment addition: age 45-64 versus 18-44 (OR = 0.77, 95% CI = 0.59-0.99) and age 65-89 versus 18-44 (OR = 0.57, 95% CI = 0.43-0.74). HbA1c was positively related to treatment addition: > 8%-9% versus > 7%-8% (OR = 2.31, 95% CI = 2.00-2.67); > 9%-10% versus > 7%-8% (OR = 2.88, 95% CI = 2.32-3.58); and > 10% versus > 7%-8% (OR = 3.54, 95% CI = 2.92-4.28). Evidence of ophthalmic disorder was not related to treatment addition (P = 0.056), but evidence of hypertension (OR = 1.56, 95% CI = 1.28-1.89); hyperlipidemia (OR = 1.28, 95% CI = 1.05-1.55); other cardiovascular diseases (OR = 1.30, 95% CI = 1.16-1.45); obesity (OR = 1.21, 95% CI = 1.08-1.36); and renal disease (OR = 1.35, 95% CI = 1.21-1.51) were associated. CONCLUSIONS: The majority of the metformin monotherapy users with suboptimal glycemic control did not initiate add-on therapy as recommended by guidelines, and prolonged time on metformin monotherapy demonstrated clinical inertia in real-world clinical practice. Several factors were associated with this delay including older age, lower index HbA1c, and lack of evidence of certain comorbidities.
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code

In order to facilitate proof of correctness, micro-kernels are based on simplicity, providing an application only with the minimal set of features it needs in order to to work. However, simplicity alone does not guarantee the absence of bugs and software errors, and the complexity of an OS often makes such problems difficult to find and fix. In this work, we prove the functional correctness of an abstract model for the C implementation of the cyclic linked list in the real-time micro-kernel FreeRTOS, which is used in the FreeRTOS scheduler, its correctness being of critical importance for the real-time properties of FreeRTOS. The formal specification of the functional properties of FreeRTOS also provides a guide for a correct use of the functions that the implementation provides, since it lacks checks on the data. Additionally, we prove the correctness of the machine code resulting from compiling the implementation targeting the ARM architecture. Following a verification approach based on refinement, we first construct the abstract model of the implementation, where we prove both the cyclic linked list invariant and the correctness of the implementation behaviour for any list in the heap using separation logic. Second, we leverage existing machine code verification frameworks to get a HOL model of the FreeRTOS linked list compiled machine code, and we apply forward simulation to prove that such a machine code model refines the abstract model, and therefore satisfies the properties already proven over the specification.
An agent-based model of school closing in under-vaccinated communities during measles outbreaks

The winter 2014–15 measles outbreak in the United States represents a significant crisis in the emergence of a functionally extirpated pathogen. Conclusively linking this outbreak to decreases in the measles, mumps, and rubella (MMR) vaccination rate (driven by anti-vaccine sentiment) is critical to motivating MMR vaccination. We used the NOVA modeling platform to build a stochastic, spatially-structured, individual-based SEIR model of outbreaks, under the assumption that R 0 ≈ 7 for measles. We show this implies that herd immunity requires vaccination coverage of greater than approximately 85%. We used a network structured version of our NOVA model that involved two communities, one at the relatively low coverage of 85% coverage and one at the higher coverage of 95%, both of which had 400-student schools embedded, as well as students occasionally visiting superspreading sites (e.g., high-density theme parks, and cinemas). These two vaccination coverage levels are within the range of values occurring across Californian counties. Transmission rates at schools and superspreading sites were arbitrarily set to respectively 5 and 15 times the background community rates. Simulations of our model demonstrate that a ‘send unvaccinated students home’ policy in low coverage counties is extremely effective at shutting down outbreaks of measles.
REPORTING THE COST-EFFECTIVENESS OF INTERVENTIONS WITH NONSIGNIFICANT EFFECT DIFFERENCES: EXAMPLE FROM A TRIAL OF SECONDARY PREVENTION OF CORONARY HEART DISEASE

Objectives: This study reports the cost-effectiveness of interventions with nonsignificant differences in effect, and considers reporting of cost-effectiveness in situations where nonsignificant differences arise in some but not all end points. Methods: Data on costs and effects associated with three end points (adequate assessment, risk factors, and life-years) were derived from a trial of methods to promote secondary prevention of coronary heart disease. Incremental cost per life-year gained figures were calculated, and the uncertainty around these was displayed on cost-effectiveness planes in the form of ellipses. Results: There was a significant difference in one of the intermediate end points (adequate assessment) but nonsignificant differences in the other intermediate end point (risk factors) and the final end point (life-years). Estimation of cost per life-year figures revealed the cost-effectiveness of the interventions to be unfavorable. Conclusions: Cost-effectiveness ratios based on final end points should be calculated even in situations where nonsignificant differences in life-years arise, to avoid publication bias and to provide decision makers with useful information. Uncertainty in the incremental cost-effectiveness ratios should be estimated and presented graphically.We thank Rebecca Turner for comments on an earlier draft; Professor Paul Fenn for permission to adapt an existing model; and Dr. Andy Briggs for advice on interpretation and presentation of results and comments on an earlier draft. In addition to the authors of the paper, the ASSIST trial collaborative group includes G. Fowler, E. Fullard, A. Fuller, M. Murphy, A. Neil, T. Schofield, R. Turner, S. Thompson, F. Wells, R. Wiles, and L. Youngman. This research was funded by a grant from the national research and development program grant of the NHS Executive.
Analysis of Software Aging in Android

There are a number of researches on software aging in different systems, but few researches have been done in Android system. At the same time, due to the complexity of Android memory management mechanisms and lack of comprehensive documents, it is difficult to analyze corresponding memory management mechanisms to determine whether there is aging. Based on these, we focus on some aging-related phenomena by observing available memory of Android, and use experiments to progressively verify some hypotheses about aging in Android. Then, we carry out mathematical modeling of aging and predictive analysis with Markov chains. Through our experiments and modeling analysis, we observe the existence of Android aging, and find that aging is generally irreversible and that the warm rejuvenation (application restart) has little effect on the recovery or mitigation of aging problem. The current experiments are preliminary and limited to specific version of Android OS, smartphone, and applications, but the results and observations may provide a new perspective for further study on aging and rejuvenation in Android with more statistically robust experiments.
Transcranial high intensity focused ultrasound therapy guided by 7 TESLA MRI in a rat brain tumour model: A feasibility study

Abstract Purpose: Transcranial high intensity focused ultrasound (HIFU) therapy guided by magnetic resonance imaging (MRI) is a promising approach for the treatment of brain tumours. Our objective is to validate a dedicated therapy monitoring system for rodents for transcranial HIFU therapy under MRI guidance in an in vivo brain tumour model. Materials and methods: A dedicated MR-compatible ultrasound therapy system and positioning frame was developed. Three MR-compatible prefocused ultrasonic monoelement transducers were designed, operating at 1.5 MHz and 2.5 MHz with different geometries. A full protocol of transcranial HIFU brain therapy under MRI guidance was applied in n = 19 rats without and n = 6 rats with transplanted tumours (RG2). Different heating strategies were tested. After treatment, histological study of the brain was performed in order to confirm thermal lesions. Results: Relying on a larger aperture and a higher frequency, the 2.5 MHz transducer was found to give better results than other ones. This single element transducer optimised the ratio of the temperature elevation at the focus to the one at the skull surface. Using optimised transducer and heating strategies enabled thermal necrosis both in normal and tumour tissues as verified by histology while limiting overheating in the tissues in contact with the skull. Conclusions: In this study, a system for transcranial HIFU therapy guided by MRI was developed and tested in an in vivo rat brain tumour model. The feasibility of this therapy set-up to induce thermal lesions within brain tumours was demonstrated.
Therapeutic Effects on Atopic Dermatitis by Anti-RelA Short Interfering RNA Combined with Functional Peptides Tat and AT1002

Atopic dermatitis (AD) has high morbidity and poor prognosis because safe and effective treatments are scarce. Recently, short interfering RNA (siRNA) has shown promise as an effective treatment for targeting specific aberrantly expressed genes. However, naked siRNAs are too inefficient because of various enzymatic, membrane, and cellular barriers. We previously reported that a Tat analog acting as a cell-penetrating peptide, combined with AT1002, which reversibly increases paracellular transport of molecules across the epidermal barrier in epidermis-disrupted mice and enhances the skin permeation of water-soluble siRNA. In the present study, to develop a novel treatment for AD, we determined the intradermal permeation of siRNAs and the antiallergic effects of a siRNA that silences RelA, a member of the nuclear factor-κB family, using Tat and AT1002 peptides in an AD mouse model. We first showed that the Tat analog and AT1002 delivered siRNA into the skin of ICR mice and, upon topical application to the AD-induced ears of NC/Nga mice, changed zonula occludens protein 1 expression. In addition, the silencing effects on the mRNA of RelA in JAWS II cells transfected with siRNA oligonucleotides for mouse RelA, complexed with Tat, were as effective as a commercial vector. Furthermore, the ear thickness, clinical skin severity, topical cytokine levels, and serum IgE production in AD model mice treated with anti-RelA siRNA with Tat and AT1002 were improved.
On the convergence of the convex relaxation method and distributed optimization of Bethe free energy

Exact probabilistic inference in graphical models can be computationally intractable. One often resorts to approximate inference methods. We give a convergence analysis of a convex relaxation method for approximate inference. This method is a natural generalization of Unified Propagation and Scaling (UPS) algorithm. We derive sufficient conditions for the method’s convergence from a mathematical programming point of view. We also propose a distributed implementation of the method and show how the synchronization cost can be minimized at the algorithmic level.
Aggregate Labor Market Outcomes: The Role of Choice and Chance

Commonly used frictional models of the labor market imply that changes in frictions have large effects on steady state employment and unemployment. We use a model that features both frictions and an operative labor supply margin to examine the robustness of this feature to the inclusion of a empirically reasonable labor supply channel. The response of unemployment to changes in frictions is similar in both models. But the labor supply response present in our model greatly attenuates the effects of frictions on steady state employment relative to the simplest matching model, and two common extensions. We also find that the presence of empirically plausible frictions has virtually no impact on the response of aggregate employment to taxes.
Comments on `Expected Interference in Wireless Networks with Geometric Path Loss: A Closed-Form Approximation'

In a recent letter, Lichte et al. proposed a closed-form approximation of the expected aggregate interference caused by a random network of interferers. Modeling the positions of the latter by a Poisson point process with density λ and assuming a guard disc of radius g around the receiver, the authors derived the expected interference as 2λπ P/((α-2)gα-2) where α is the path loss exponent and P is the transmit power of each interferer. In this letter, we demonstrate that this result can be obtained by applying the well-known Campbell's theorem in a straight-forward manner. We also point out that the Laplace transform of the aggregate interference is well known in the literature, and hence moments of the interference can be easily obtained from existing results.
SIFT: predicting amino acid changes that affect protein function

Single nucleotide polymorphism (SNP) studies and random mutagenesis projects identify amino acid substitutions in protein-coding regions. Each substitution has the potential to affect protein function. SIFT (Sorting Intolerant From Tolerant) is a program that predicts whether an amino acid substitution affects protein function so that users can prioritize substitutions for further study. We have shown that SIFT can distinguish between functionally neutral and deleterious amino acid changes in mutagenesis studies and on human polymorphisms. SIFT is available at http://blocks.fhcrc. org/sift/SIFT.html.
Components of Phylogenetic Signal in Antagonistic and Mutualistic Networks

Recent studies have shown a phylogenetic signal in the structure of ecological networks, making the point that evolutionary history is important in explaining network architecture. However, this previous work has focused on either antagonistic (i.e., predator-prey) or mutualistic networks and has used different methodologies. Thus, a comparative assessment of both the frequency and the strength of phylogenetic signal across network types and components of network structure has been precluded. Here, we address this issue using a data set comprising 60 antagonistic and mutualistic networks. By quantifying simultaneously the matching and centrality components of network architecture—capturing the modular and nested structure, respectively—we test the presence and quantify the strength of phylogenetic signal across network types, species sets, and components of network structure. We find contrasting differences across such groups. First, phylogenetic signal is stronger in antagonistic webs than in mutualistic webs. Second, resources are more strongly constrained than consumers in food webs, while animals show more constraints than plants in mutualistic networks. Third, phylogenetic constraints are stronger for the matching component than for the centrality component of network structure. These results can shed light on the contrasting evolutionary constraints shaping network structure across interaction types and species sets.
Preferences Induced by Accessibility: Evidence from Priming

In one experiment, we studied risky preferences using a semantic-priming paradigm where accessibility is manipulated independently of beliefs about the frequencies of risky events. We compared the risks taken for precautionary decisions primed by relevant information (enhancing accessibility to relevant events) with those taken for unprimed decisions and decisions primed by irrelevant information. We found that both priming and the subjective frequency of beliefs independently influence decision making. The results indicate that decisions are the result of an integration of influences derived from both the description (specified probability) and experience (accessibility to pre-experiment beliefs about event frequencies and temporarily activated relevant events) of risks. People's risk preferences are influenced by the accessibility of events in memory, such that increasing accessibility causes risk aversion to a potential loss to increase. Our research findings are not anticipated by the descriptive invariance axiom of expected utility theory, which states that equivalent formulations of a choice problem give rise to the same preference order.