Miracle-dz/UniFAR-FTUs huggingface dataset:
Systematic Software Product Line Test Case Derivation for Test Data Reuse

This paper proposes a systematic software product line test case derivation method that reuses test data. With the method, significant test cases reduction can be achieved over the conventional software product line testing. The key to achieving reuse lies in performing test data determination during domain test engineering so that application test engineers share test data rather than creating different test data for different products. A case study shows the effect of significantly reducing the number of derived test cases without sacrificing error detection capability.
The relationship between trauma and beliefs about hearing voices: a study of psychiatric and non-psychiatric voice hearers

Background Cognitive models suggest that distress associated with auditory hallucinations is best understood in terms of beliefs about voices. What is less clear is what factors govern such beliefs. This study aimed to explore the way in which traumatic life events contribute towards beliefs about voices and any associated distress. Method The difference in the nature and prevalence of traumatic life events and associated psychological sequelae was compared in two groups of voice hearers: psychiatric voice hearers with predominantly negative beliefs about voices (PVH) and non-psychiatric voice hearers with predominantly positive beliefs about voices (NPVH). The data from the two groups were then combined in order to examine which factors could significantly account for the variance in beliefs about voices and therefore levels of distress. Results Both groups reported a high prevalence of traumatic life events although significantly more PVH reported trauma symptoms sufficient for a diagnosis of post-traumatic stress disorder (PTSD). Furthermore, significantly more PVH reported experiencing childhood sexual abuse. Current trauma symptoms (re-experiencing, avoidance and hyperarousal) were found to be a significant predictor of beliefs about voices. Trauma variables accounted for a significant proportion of the variance in anxiety and depression. Conclusions The results suggest that beliefs about voices may be at least partially understood in the context of traumatic life events.
Measurement of grip strength: validity and reliability of the sphygmomanometer and jamar grip dynamometer.

Quantitative measurement of grip strength is an important variable when plotting the progress of a hand-injured patient. When utilizing traditional commercially available apparatuses, obtaining meaningful grip strength measurement in these subjects is frequently difficult due to severe deformity, high tissue sensitivity, and low levels of force generated. The purpose of this study was to measure hand grip strength using two instruments having different physical characteristics and units of measurement to determine the reliability of repeated measures with each instrument. Additionally, validity of the sphygmomanometer for strength measurement was established through comparison with the values obtained from measurements using the research-validated Jamar dynamometer. Twenty-nine right hand dominant female college-age subjects volunteered to perform hand grip strength testing. Measurements were taken with a sphygmomanometer and a Jamar dynamometer while utilizing standardized measurement procedures. A Spearman Rho correlation coefficient test utilized in measuring within-instrument reliability showed a high correlation for each instrument at . 85 for the sphygmomanometer and . 82 for the Jamar dynamometer. Construct validity testing performed to determine validity of the measurements by the sphygmomanometer compared with the Jamar dynamometer produced a . 75 correlation. A formula for conversion of the sphygmomanometer scores into Jamar units was developed to enhance reporting of sphygmomanometer scores utilizing the Jamar standard. The study showed that the sphygmomanometer and Jamar dynamometer exhibit good within-instrument reliability. Validity of the sphygmomanometer as a grip measurement device is acceptable and reportable using the conversion formula developed. Therefore, it can be utilized with confidence as essentially equal to the Jamar unit for grip strength measurement. J Orthop Sports Phys Ther 1992;16(5):215-219.
Competitive Equilibria in Decentralized Matching with Incomplete Information

This paper shows that all perfect Bayesian equilibria of a dynamic matching game with two-sided incomplete information of independent private values variety are asymptotically Walrasian. Buyers purchase a bundle of heterogeneous, indivisible goods and sellers own one unit of an indivisible good. Buyer preferences and endowments as well as seller costs are private information. Agents engage in costly search and meet randomly. The terms of trade are determined through a Bayesian mechanism proposal game. The paper considers a market in steady state. As discounting and the fixed cost of search become small, all trade takes place at a Walrasian price. However, a robust example is presented where the limit price vector is a Walrasian price for an economy where only a strict subsets of the goods in the original economy are traded, i.e, markets are missing at the limit. Nevertheless, there exists a sequence of equilibria that converge to a Walrasian equilibria for the whole economy where all markets are open.
SEISMIC: A Self-Exciting Point Process Model for Predicting Tweet Popularity

Social networking websites allow users to create and share content. Big information cascades of post resharing can form as users of these sites reshare others' posts with their friends and followers. One of the central challenges in understanding such cascading behaviors is in forecasting information outbreaks, where a single post becomes widely popular by being reshared by many users. In this paper, we focus on predicting the final number of reshares of a given post. We build on the theory of self-exciting point processes to develop a statistical model that allows us to make accurate predictions. Our model requires no training or expensive feature engineering. It results in a simple and efficiently computable formula that allows us to answer questions, in real-time, such as: Given a post's resharing history so far, what is our current estimate of its final number of reshares? Is the post resharing cascade past the initial stage of explosive growth? And, which posts will be the most reshared in the future? We validate our model using one month of complete Twitter data and demonstrate a strong improvement in predictive accuracy over existing approaches. Our model gives only 15% relative error in predicting final size of an average information cascade after observing it for just one hour.
INCREASED PHENOLIC CONTENT IN APPLE LEAVES INFECTED WITH THE APPLE SCAB PATHOGEN

SUMMARY Phenolic compounds were measured in leaf tissues of apple cvs Jonagold and Golden Delicious, healthy and infected by Venturia inaequalis. Leaves were sampled from May to September 2005 and analyzed by high performance liquid chromatography. Hydroxycinnamic acids detected were chlorogenic, caffeic, ferulic and pcoumaric. In addition, the presence was ascertained of the dihydrochalcone phloridzin and the flavonoids epicatechin, catechin, rutin and quercitrin. Total phenolics were determined with the Folin-Ciocalteu method. Infection by V. inequalis caused an accumulation of phenolic compounds in infected leaves with a 1.4 to 6.2fold increase of flavonols, a 2 to 6-fold increase of chlorogenic acid and a 1.4 to 2.4-fold increase of the Folin-Ciocalteu values.
Guaranteed active fault diagnosis for uncertain nonlinear systems

An input design method is presented to actively isolate faults for polynomial or rational systems in the presence of unknown-but-bounded uncertainties. For active fault isolation, the input is required to lead to outputs consistent with at most one fault model despite disturbances, measurement noise, and parametric uncertainty. This task is posed in terms of a bilevel optimization problem where the inner program verifies, for a given input, that the outputs are consistent with at most one model, while the outer program determines the minimally harmful input. Because of the nonlinear dynamics, we propose to replace the inner program with a convex relaxation that can be efficiently solved while still guaranteeing fault detection and isolation. The approach is numerically demonstrated on a two-tank system with three fault models.
Incidence of clinically diagnosed vertebral fractures: A population‐based study in rochester, minnesota, 1985‐1989

Vertebral fractures are the classic hallmark of osteoporosis, yet little is known of their epidemiology. The incidence of clinically diagnosed vertebral fractures was therefore directly assessed in the predominantly white (European descent) population of Rochester, Minnesota. Altogether, 341 Rochester residents were radiologically diagnosed for the first time with one or more vertebral fractures in the 5 year study period, 1985–1989. The overall age‐ and sex‐adjusted incidence rate was 117 per 100,000 person‐years (95% CI, 105 to 130). The age‐adjusted rate in women (145 per 100,000 person‐years) was almost twice that in men (73 per 100,000 person‐years). Of all fractures, 47 (14%) followed severe trauma, 282 (83%) followed moderate or no trauma, and 12 (3%) were pathologic. Incidence rates for fractures following moderate trauma were higher in women than in men and rose steeply with age in both genders. In contrast, fractures following severe trauma were more frequent in men, and their incidence increased less with age. These Rochester rates are greater than those previously reported from studies in Britain and Sweden but lower than the incidence rates extrapolated from a prevalence study in this population.
Insulin-Like Growth Factor-Binding Protein 3 Induces Caspase-Dependent Apoptosis through a Death Receptor-Mediated Pathway in MCF-7 Human Breast Cancer Cells

Insulin-like growth factor-binding protein (IGFBP)-3 has been shown to potently inhibit cell proliferation in various cell systems. However, the specific mechanisms involved in the antiproliferative action of IGFBP-3 have yet to be elucidated. In the present study, we demonstrate that IGFBP-3 induces apoptosis in an insulin-like growth factor (IGF)-independent manner through the activation of caspases involved in a death receptor-mediated pathway in MCF-7 human breast cancer cells. Induction of IGFBP-3 using an ecdysone-inducible expression system inhibited DNA synthesis in an IGF-IGF receptor axis-independent fashion and resulted in the subsequent induction of apoptosis and an increase in caspase activity. Similar results were obtained when cells were transfected with GGG-IGFBP-3, an IGFBP-3 mutant unable to bind IGFs, corroborating the IGF-independent action of IGFBP-3. Additional caspase activity studies and immunoblot analyses using specific caspase substrates and/or caspase inhibitors revealed that the growth-inhibitory effect of IGFBP-3 results mainly from its induction of apoptosis (in particular, activation of caspase-8 and -7). Analyses of caspase-9 activity and release of cytochrome c into the cytosol confirmed that the mitochondria-mediated pathway is not involved. Taken together, these results show that IGFBP-3 expression leads to the induction of apoptosis through the activation of caspases involved in a death receptor-mediated pathway and that IGFBP-3 functions as a negative regulator of breast cancer cell growth, independent of the IGF-IGF receptor axis.
EICA Team at SemEval-2017 Task 3: Semantic and Metadata-based Features for Community Question Answering

We describe our system for participating in SemEval-2017 Task 3 on Community Question Answering. Our approach relies on combining a rich set of various types of features: semantic and metadata. The most important group turned out to be the metadata feature and the semantic vectors trained on QatarLiving data. In the main Subtask C, our primary submission was ranked fourth, with a MAP of 13.48 and accuracy of 97.08. In Subtask A, our primary submission get into the top 50%.
Just How Cognitive Is “Cognitive Enhancement”? On the Significance of Emotions in University Students' Experiences with Study Drugs

Numerous deliberations on the ethics of cognitive enhancement take as their primary case the nonmedical use of prescription stimulant drugs by university students seeking to improve their performance in relation to academic work. Almost without exception, such discussions suggest that these medications enable academic performance enhancement through effects on cognitive processes. This article reports findings from qualitative research with nonmedical users that indicate that stimulants’ effects on users’ emotions and feelings are an important contributor to users’ perceptions of improved academic performance. On the basis of these findings, the article suggests the conceptualization of nonmedical use of stimulants in terms of “cognitive enhancement” may fail to adequately capture the perspectives and experiences of individuals who use stimulant drugs as study aids.
Twins Birth in Kano, Northern Nigeria

Objectives: To determine the incidence of twin pregnancy at Aminu Kano Teaching Hospital and associated maternal and perinatal morbidity. Materials and Methods: This is a descriptive study of patients with twin pregnancy, who delivered at Aminu Kano Teaching Hospital (AKTH) from 1 st January, 2005 to 31 st December, 2009. Case notes of the patients were retrieved from the records department and the data analyzed using Epi Info and Minitab electronic statistical software Results: Three hundred and forty nine pregnant women were admitted and delivered of twins during the period under review. One ninety four case notes were available from the record officers giving a retrieval rate of 55.6% The mean age was 27.7±4.9 and the mean parity was 2.3±2.21. 69.6% of the twins’ mothers were booked. The rate of twin delivery was 22.9/1,000. Pregnancy induced hypertension (12.9%), pre-labour rupture of membrane (7.7%) and footling breech (4.1%) were the leading complications. The mean gestational age at delivery was 37.1±2.4. 57 patients (29.4%) had caesarean section due to various intrapartum complications. Five babies (1.3%) died in the early neonatal period, 25 (6.5%) were stillborn, 23 (5.9%) were asphyxiated and 195 (50.3%) were low birth weight. There was no statistically significant difference between the mean birth weight and Apgar scores of first and second twins. Conclusion: The incidence of twin pregnancy increases with advanced parity and maternal age. The maternal and perinatal morbidity were found to be significantly high in twin pregnancy in this study.
An Infrastructure Modelling Tool for Cloud Provisioning

Cloud computing offers computing, network, and storage capabilities through services that abstract the capabilities of the underlying hardware. Currently, a variety of tools exist that manage the infrastructure provisioning and use scripts to define the final state of the hardware to be deployed in the cloud. However, there are major challenges that need to be addressed to automate the infrastructure management so that they are effectively used in initiatives such as DevOps. In particular, the management of Infrastructure as a Code (IaC) is one of the most important technical challenges to support activities such as the integration, deployment, and continuous delivery of applications. To address this problem, we present a support for the management of DevOps tools, through the definition of a Domain Specific Language (DSL) based on the concept of Infrastructure as a Code, and a tool that supports this language allowing to model the final state of a provisioning infrastructure in the cloud and generating the provisioning scripts for the Amazon Web Services (AWS) platform. The proposed tool reduces the work for development and operations personnel and facilitates their communication.
Drug use in English professional football

Objectives: To examine several issues related to drug use in English professional football. More particularly the project sought to gather data on: players’ use of permitted supplements (mineral and vitamin pills and creatine); whether they sought advice, and if so from whom, about their use of supplements; their experience of and attitudes towards drug testing; their views on the extent of the use of banned performance enhancing and recreational drugs in football; and their personal knowledge of players who used such drugs. Methods: With the cooperation of the Professional Footballers Association (PFA), reply paid postal questionnaires were delivered to the home addresses of all 2863 members of the PFA. A total of 706 questionnaires were returned, a response rate of just under 25%. Results: Many players use supplements, although almost one in five players does so without seeking qualified professional advice from anyone within the club. Blood tests are rarely used to monitor the health of players. One third of players had not been tested for drugs within the preceding two years, and 60% felt that they were unlikely to be tested in the next year. The use of performance enhancing drugs appears to be rare, although recreational drugs are commonly used by professional footballers: 6% of respondents indicated that they personally knew players who used performance enhancing drugs, and 45% of players knew players who used recreational drugs. Conclusions: There is a need to ensure that footballers are given appropriate advice about the use of supplements in order to minimise the risk of using supplements that may be contaminated with banned substances. Footballers are tested for drugs less often than many other elite athletes. This needs to be addressed. The relatively high level of recreational drug use is not reflected in the number of positive tests. This suggests that many players who use recreational drugs avoid detection. It also raises doubts about the ability of the drug testing programme to detect the use of performance enhancing drugs.
Mucronulatol from Caribbean propolis exerts cytotoxic effects on human tumor cell lines.

OBJECTIVE Mucronulatol is one of the most cytotoxic substances present in Caribbean propolis. This work aimed at initially characterizing the biological effects of mucronulatol in cancer cell lines comprehending both wildtype and resistant sublines. MATERIALS AND METHODS An RP-HPLC technique was employed to separate and purify mucronulatol. IC(50) values were determined using the sulforhodamine B (SRB) proliferation assay. FACS-based cell cycle studies were carried out combining propidium iodide staining and 5-bromo-2'-deoxyuridine incorporation. Cell cycle regulator proteins were detected by Western blotting. The transcription of genes of interest was analyzed using RT-PCR. RESULTS In MDR1-/MDR3+ cells, mucronulatol exhibited cytotoxicity in the range of 2.7 - 10.2 microg/ml, while no cytotoxic effects were observed in MDR1+ systems at up to 100 microg/ml. Cytometric studies revealed that mucronulatol promoted a global reduction in all cell cycle phases, with a remarkable increase of the apoptotic sub-G1 population. Immunoblotting showed that mucronulatol induced an up-regulation of p21(Cip1) and p27(Kip1) while down-regulating cyclin E and CDK4 in a drug concentration-dependent manner. No effect on topoisomerase I was observed, while we detected an altered expression of topoisomerases II-I+/-/I(2). RT-PCR studies showed that 2-fold the IC(50) in HCT8 colon carcinoma cells was sufficient for altering the expression pattern of genes in this cell line, including topoisomerase I, thymidilate synthase, EGF receptor and c-myc, amongst others. CONCLUSION Here, we demonstrate for the first time that mucronulatol exerts cytotoxicity in cancer cell lines by targeting the control of cell cycle progression, indicating that the mechanism of action of this compound involves interference with the cell cycle machinery.
Patterns of DSM-IV alcohol abuse and dependence symptoms in adolescent drinkers.

OBJECTIVE Diagnostic criteria for alcohol use disorders have largely been developed from research and clinical experience with adults. This research was designed to describe patterns of DSM-IV alcohol use disorder symptoms, and other problem domains, in adolescents with alcohol problems. METHOD A modified version of the Structured Clinical Interview for the DSM (SCID) was used to assess DSM-IV alcohol abuse and alcohol dependence symptoms in 91 male and 90 female adolescent drinkers with various levels of alcohol consumption and alcohol-related problems. The SCID was expanded to assess other alcohol problem domains thought to be relevant for adolescents. RESULTS DSM-IV dependence symptoms showed moderate to high covariation, supporting the utility of the alcohol dependence construct in adolescence. Compared to previous reports from adult samples, some symptoms were relatively infrequent (e.g., withdrawal, medical problems). Tolerance had low specificity for the diagnosis of alcohol dependence. There was significant heterogeneity in the symptomatology of subjects with DSM-IV alcohol abuse. Although they are not in the DSM-IV criteria, alcohol-related blackouts, craving and risky sexual behavior were common in adolescents with DSM-IV alcohol dependence and abuse diagnoses. CONCLUSIONS The data generally support the utility of DSM-IV criteria for alcohol dependence among adolescents. However, tolerance, withdrawal and medical problems appear to present differently in adolescents than has been reported in adults. Those with DSM-IV alcohol abuse diagnoses had very heterogeneous patterns of symptomatology, suggesting limitations of the criteria for DSM-IV alcohol abuse in adolescence. Alcohol-related blackouts, craving and risky sexual behavior are common among adolescents with alcohol use disorders and are an important focus for assessment and treatment efforts.
Discharge current steering for battery lifetime optimization

Recent work on battery-driven power management has demonstrated that sequential discharge is suboptimal in multi-battery systems, and lifetime can be maximized by distributing (steering) the current load on the available batteries, thereby discharging them in a partially concurrent fashion. Based on these observations, we formulate multi-battery life-time maximization as a continuous, constrained optimization problem, which can be efficiently solved by nonlinear optimizers. We show that great lifetime extensions can be obtained with respect to standard sequential discharge, as well to previously proposed battery allocation schemes.