Miracle-dz/UniFAR-FTUs huggingface dataset:
Toward General Diagnosis of Static Errors: Technical Report

We introduce a general way to locate programmer mistakes that are detected by static analyses such as type checking. The program analysis is expressed in a constraint language in which mistakes result in unsatisfiable constraints. Given an unsatisfiable system of constraints, both satisfiable and unsatisfiable constraints are analyzed, to identify the program expressions most likely to be the cause of unsatisfiability. The likelihood of different error explanations is evaluated under the assumption that the programmer’s code is mostly correct, so the simplest explanations are chosen, following Bayesian principles. For analyses that rely on programmerstated assumptions, the diagnosis also identifies assumptions likely to have been omitted. The new error diagnosis approach has been implemented for two very different program analyses: type inference in OCaml and information flow checking in Jif. The effectiveness of the approach is evaluated using previously collected programs containing errors. The results show that when compared to existing compilers and other tools, the general technique identifies the location of programmer errors significantly more accurately.
Boolean System Revisited: Its Performance and its Behavior

This experimental study attemps to provide a general conclusion to the Boolean information retrieval system regarding its performance on retrieval effectiveness and its behavior on retrieval of different relevant documents. Specifically a representative commercial Boolean system is compared to the best ranking systems reported in TREC4. The Boolean system delivered a comparable performance and retrieved a set of rather unique relevant documents. The study also justifies its methodology for comparing non-ranking and ranking systems
Faulty Slice Distribution using Complexity Estimation for Debugging in Parallel

In this paper we propose a technique to distribute faulty slices among available n debuggers for simultaneous debugging. We present a three level model to distribute debugging task efficiently among debuggers by (a) estimating capacity of task to be allocated to an individual debugger (b) measuring similarity and assigning priority to each faulty slice to minimize redundancy of debugging task(c) uniformly distributing faulty slices by arranging them in task queues. For this we present an algorithm and an example to prove effectiveness and efficiency of the presented approach.
Chronic lymphocytic leukemia in the elderly: clinico-biological features, outcomes, and proposal of a prognostic model

We investigated the clinico-biological features, outcomes, and prognosis of 949 patients with chronic lymphocytic leukemia according to age. No biological differences (cytogenetics by fluorescent in situ hybridization, IGHV, ZAP-70, CD38, NOTCH1, SF3B1) were found across age groups. Elderly patients (>70 years; n=367) presented more frequently with advanced disease (Binet C/Rai III-IV: 10/12% versus 5/5%; P<0.001), were treated less frequently (23.8% versus 41.9% at 3 years; P<0.001) and in most cases did not receive highly effective regimens and thus had a lower overall response rate (49% with 14% having complete responses versus 69% with 31% having complete responses; P<0.001). The elderly patients also had a shorter overall survival (6.6 versus 13.3 years; P<0.001) and higher disease-unrelated mortality (34.9% versus 6.9% at 10 years; P<0.001). However, disease-attributable mortality was not significantly different between younger and older patients. A combination of Binet stage, ZAP-70 level, β2-microglobulin concentration and comorbidity identified two risk groups (low-risk: 0–1 parameters; high-risk: 2–4 parameters) with different overall survivals (median: 6.8 versus 11.4 years, P<0.001). In patients requiring treatment, comorbidity at treatment (Cumulative Illness Rating Scale-T>4; hazard ratio 2.2, P<0.001) and response (treatment failure versus response: hazard ratio 1.60, P<0.04) were the most important prognostic factors for overall survival. In conclusion, in our series, elderly patients with chronic lymphocytic leukemia did not present with any biological features distinct from those of younger patients, but did have a poorer clinical outcome. This study highlights the importance of comprehensive medical care, achieving response to therapy, and specific management strategies for elderly patients with chronic lymphocytic leukemia.
Differences in sensitivity to the fungal pathogen Batrachochytrium dendrobatidis among amphibian populations

Contributing to the worldwide biodiversity crisis are emerging infectious diseases, which can lead to extirpations and extinctions of hosts. For example, the infectious fungal pathogen Batrachochytrium dendrobatidis (Bd) is associated with worldwide amphibian population declines and extinctions. Sensitivity to Bd varies with species, season, and life stage. However, there is little information on whether sensitivity to Bd differs among populations, which is essential for understanding Bd‐infection dynamics and for formulating conservation strategies. We experimentally investigated intraspecific differences in host sensitivity to Bd across 10 populations of wood frogs (Lithobates sylvaticus) raised from eggs to metamorphosis. We exposed the post‐metamorphic wood frogs to Bd and monitored survival for 30 days under controlled laboratory conditions. Populations differed in overall survival and mortality rate. Infection load also differed among populations but was not correlated with population differences in risk of mortality. Such population‐level variation in sensitivity to Bd may result in reservoir populations that may be a source for the transmission of Bd to other sensitive populations or species. Alternatively, remnant populations that are less sensitive to Bd could serve as sources for recolonization after epidemic events.
Do political parties listen to the(ir) public? Public opinion–party linkage on specific policy issues

Political parties are a crucial link between the public and policy outcomes. However, few studies have considered who political parties are responsive to when they take positions on specific policy proposals. This article explores the links between public opinion and the policy positions of political parties on 102 specific policy proposals in Germany using a novel application of multilevel regression with poststratification to estimate the policy preferences of party supporters. While there is a link between general public preferences and the positions of political parties, this connection weakens considerably once political parties are in government. In fact, the study shows that the link between party positions and general public opinion is severed once parties enter government, whereas it is only weakened in the case of party supporters. Finally, the article finds mixed evidence for differences between niche parties and mainstream parties.
Positive emotion word use and longevity in famous deceased psychologists.

OBJECTIVE This study examined whether specific types of positive and negative emotional words used in the autobiographies of well-known deceased psychologists were associated with longevity. METHODS For each of the 88 psychologists, the percent of emotional words used in writing was calculated and categorized by valence (positive or negative) and arousal (activated [e.g., lively, anxious] or not activated [e.g., calm, drowsy]) based on existing emotion scales and models of emotion categorization. RESULTS After controlling for sex, year of publication, health (based on disclosed illness in autobiography), native language, and year of birth, the use of more activated positive emotional words (e.g., lively, vigorous, attentive, humorous) was associated with increased longevity. Negative terms (e.g., angry, afraid, drowsy, sluggish) and unactivated positive terms (e.g., peaceful, calm) were not related to longevity. The association of activated positive emotions with longevity was also independent of words indicative of social integration, optimism, and the other affect/activation categories. CONCLUSIONS Results indicate that in writing, not every type of emotion correlates with longevity and that there may be value to considering different categories beyond emotional valence in health relevant outcomes.
Parent-Toddler Conversations About Desires and Beliefs: Characterizing Mental State Talk Between Parents and Their Children with Typical Development, Autism, and Developmental Delays

This study aimed to characterize parent-child conversations about the mind among typically-developing (TD) toddlers, toddlers with autism spectrum disorder (ASD), and toddlers with non-ASD developmental delays (DD). I systematically assessed how often and in what ways parents and their toddlers engaged in mental state talk (i.e., production of mental state utterances) in a semi-naturalistic setting. The sample included 141 22-month old toddlers (50 TD, 44 ASD, 47 DD) and their parents recruited upon completion of screening for ASD during a well-baby checkup. Overall, I found that parents of TD toddlers and parents of toddlers with ASD or DD did not differ in the quantity or quality of their mental state talk. In contrast, some group differences emerged among toddlers. Most notably, TD toddlers were more likely to produce mental state utterances than toddlers with ASD or DD. The few toddlers with ASD or DD who did produce a mental state utterance looked similar to TD toddlers in terms of producing desire terms most often, referencing their own mind more than their social partner’s mind, using mental state terms when talking about the psychological world, and rarely initiating conversations about the mind. The present study contributes to the limited body of existing work on children’s early mental state talk by characterizing the quantity and quality of conversations between two-year-old toddlers and their parents during interaction and before the child receives a formal diagnosis. Its findings provide support for the idea that parents of typically and atypically developing toddlers provide a similar linguistic environment to their child. Thus, the differences we see in toddlers’ early use of mental state terms is likely more a reflection of the challenges children with ASD and other developmental delays face when trying to reason about others’ thoughts and feelings during social interaction, and less a matter of the quantity and quality of language available in their environment. INDEX WORDS: Parent-child conversations, Mental states, Theory of mind, ASD, Desires, Beliefs PARENT-TODDLER CONVERSATIONS ABOUT DESIRES AND BELIEFS: CHARACTERIZING MENTAL STATE TALK BETWEEN PARENTS AND THEIR CHILDREN WITH TYPICAL DEVELOPMENT, AUTISM, AND DEVELOPMENTAL DELAYS
De novo Transcriptome Sequencing and Development of Abscission Zone-Specific Microarray as a New Molecular Tool for Analysis of Tomato Organ Abscission

Abscission of flower pedicels and leaf petioles of tomato (Solanum lycopersicum) can be induced by flower removal or leaf deblading, respectively, which leads to auxin depletion, resulting in increased sensitivity of the abscission zone (AZ) to ethylene. However, the molecular mechanisms that drive the acquisition of abscission competence and its modulation by auxin gradients are not yet known. We used RNA-Sequencing (RNA-Seq) to obtain a comprehensive transcriptome of tomato flower AZ (FAZ) and leaf AZ (LAZ) during abscission. RNA-Seq was performed on a pool of total RNA extracted from tomato FAZ and LAZ, at different abscission stages, followed by de novo assembly. The assembled clusters contained transcripts that are already known in the Solanaceae (SOL) genomics and NCBI databases, and over 8823 identified novel tomato transcripts of varying sizes. An AZ-specific microarray, encompassing the novel transcripts identified in this study and all known transcripts from the SOL genomics and NCBI databases, was constructed to study the abscission process. Multiple probes for longer genes and key AZ-specific genes, including antisense probes for all transcripts, make this array a unique tool for studying abscission with a comprehensive set of transcripts, and for mining for naturally occurring antisense transcripts. We focused on comparing the global transcriptomes generated from the FAZ and the LAZ to establish the divergences and similarities in their transcriptional networks, and particularly to characterize the processes and transcriptional regulators enriched in gene clusters that are differentially regulated in these two AZs. This study is the first attempt to analyze the global gene expression in different AZs in tomato by combining the RNA-Seq technique with oligonucleotide microarrays. Our AZ-specific microarray chip provides a cost-effective approach for expression profiling and robust analysis of multiple samples in a rapid succession.
Vascular Health and Risk Management Dovepress Coronary Microvascular Endothelial Dysfunction Is an Independent Predictor of Development of Osteoporosis in Postmenopausal Women

Background: A growing body of evidence links coronary artery atherosclerosis and calcifica-tion to osteoporosis in women. The endothelium plays a critical role in maintaining vascular integrity and may play a role in bone metabolism. We aimed to determine whether early coronary atherosclerosis, as detected by coronary microvascular endothelial dysfunction (CMED), predicts the development of osteoporosis in postmenopausal women. Methods: Coronary vascular reactivity was evaluated in 194 postmenopausal women greater than 50 years of age and with non-obstructive coronary arteries by administration of intracoro-nary acetylcholine during diagnostic angiography. CMED was defined as #50% increase in coronary blood flow from baseline in response to maximal dose. After a median follow-up of 7.0±0.3 years, patients were assessed by a questionnaire for development of osteoporosis. Results: The average age of the cohort was 60.9±7.4 years. Women with CMED were twice as likely to develop osteoporosis compared with women without endothelial dysfunction after adjustment for potential confounders (relative risk, 2.4; 95% confidence interval [CI], 1.1, 5.6, P=0.02). Epicardial endothelial dysfunction was not associated with development of osteoporosis. Discussion: Early coronary atherosclerosis with endothelial dysfunction is an independent marker for increased risk of developing osteoporosis in postmenopausal women greater than 50 years of age without obstructive coronary artery disease. The current study supports a link between coronary atherosclerosis and osteoporosis.
GeneSV – an Approach to Help Characterize Possible Variations in Genomic and Protein Sequences

A computational approach for identification and assessment of genomic sequence variability (GeneSV) is described. For a given nucleotide sequence, GeneSV collects information about the permissible nucleotide variability (changes that potentially preserve function) observed in corresponding regions in genomic sequences, and combines it with conservation/variability results from protein sequence and structure-based analyses of evaluated protein coding regions. GeneSV was used to predict effects (functional vs. non-functional) of 37 amino acid substitutions on the NS5 polymerase (RdRp) of dengue virus type 2 (DENV-2), 36 of which are not observed in any publicly available DENV-2 sequence. 32 novel mutants with single amino acid substitutions in the RdRp were generated using a DENV-2 reverse genetics system. In 81% (26 of 32) of predictions tested, GeneSV correctly predicted viability of introduced mutations. In 4 of 5 (80%) mutants with double amino acid substitutions proximal in structure to one another GeneSV was also correct in its predictions. Predictive capabilities of the developed system were illustrated on dengue RNA virus, but described in the manuscript a general approach to characterize real or theoretically possible variations in genomic and protein sequences can be applied to any organism.
The governance of decentralised cooperation in collective training systems: a review and conceptualisation

ABSTRACT Collective training systems are based on the cooperation of multiple public and private stakeholders in order to work. However, such cooperation is not self-sustaining and depends, for instance, on public policies, capable intermediary organisations and shared logics of action. In this conceptual paper, we first review the political economy literature on cooperation in collective skill formation and find that it has given insufficient attention to the systematic comparative analysis of cooperation at the decentralised level as well as the actual social practices of cooperation. The paper then develops a multidisciplinary analytical framework that allows future research to examine decentralised cooperation at the regional, sectoral and occupational levels more systematically. This framework is grounded in a synthesis of three strands of empirical research on vocational education and training, namely the comparative political economy literature on governance, corporatism and coordination, institutional labour and societal economics as well as the educational science literature.
Integrating Multi-GPU Execution in an OpenACC Compiler

GPUs have become promising computing devices in current and future computer systems due to its high performance, high energy efficiency, and low price. However, lack of high level GPU programming models hinders the wide spread of GPU applications. To resolve this issue, OpenACC is developed as the first industry standard of a directive-based GPU programming model and several implementations are now available. Although early evaluations of the OpenACC systems showed significant performance improvement with modest programming efforts, they also revealed the limitations of the systems. One of the biggest limitations is that the current OpenACC compilers do not automate the utilization of multiple GPUs. In this paper, we present an OpenACC compiler with the capability to execute single GPU OpenACC programs on multiple GPUs. By orchestrating the compiler and the runtime system, the proposed system can efficiently manage the necessary data movements among multiple GPUs memories. To enable advanced communication optimizations in the proposed system, we propose a small set of directives as extensions of OpenACC API. The directives allow programmers to express the patterns of memory accesses in the parallel loops to be offloaded. Inserting a few directives into an OpenACC program can reduce a large amount of unnecessary data movements and thus helps the proposed system drawing great performance from multi-GPU systems. We implemented and evaluated the prototype system on top of CUDA with three data parallel applications. The proposed system achieves up to 6.75x of the performance compared to OpenMP in the 1CPU with 2GPU machine, and up to 2.95x of the performance compared to OpenMP in the 2CPU with 3GPU machine. In addition, in two of the three applications, the multi-GPU OpenACC compiler outperforms the single GPU system where hand-written CUDA programs run.
The ecological dynamics of 1v1 sub-phases in association football

This paper analyzes effects of different practice task constraints on heart rate (HR) variability during 4v4 smallsided football games. Participants were sixteen football players divided into two age groups (U13, Mean age: 12.4±0.5 yrs; U15: 14.6±0.5). The task consisted of a 4v4 sub-phase without goalkeepers, on a 25x15 m field, of 15 minutes duration with an active recovery period of 6 minutes between each condition. We recorded players’ heart rates using heart rate monitors (Polar Team System, Polar Electro, Kempele, Finland) as scoring mode was manipulated (line goal: scoring by dribbling past an extended line; double goal: scoring in either of two lateral goals; and central goal: scoring only in one goal). Subsequently, %HR reserve was calculated with the Karvonen formula. We performed a time-series analysis of HR for each individual in each condition. Mean data for intra-participant variability showed that autocorrelation function was associated with more short-range dependence processes in the “line goal” condition, compared to other conditions, demonstrating that the “line goal” constraint induced more randomness in HR response. Relative to inter-individual variability, line goal constraints demonstrated lower %CV and %RMSD (U13: 9% and 19%; U15: 10% and 19%) compared with double goal (U13: 12% and 21%; U15: 12% and 21%) and central goal (U13: 14% and 24%; U15: 13% and 24%) task constraints, respectively. Results suggested that line goal constraints imposed more randomness on cardiovascular stimulation of each individual and lower inter-individual variability than double goal and central goal constraints.
Efficacy of N-Acetylcysteine, Glutathione, and Ascorbic Acid in Acute Toxicity of Paraoxon to Wistar Rats: Survival Study

There are a great number of reports with assertions that oxidative stress is produced by organophosphorus compound (OPC) poisoning and is a cofactor of mortality and morbidity in OPC toxicity. In addition, antioxidants have been suggested as adjuncts to standard therapy. However, there is no substantial evidence for the benefit of the use of antioxidants in survival after acute intoxication of OPCs. The present study was conducted to assess the effectiveness of three non-enzymatic antioxidants (NEAOs), N-acetylcysteine (NAC), glutathione (GSH), and ascorbic acid (AA), in acute intoxication of adult male Wister rats with paraoxon. The efficacy of the antioxidants was estimated as both a pretreatment and a concurrent application along with the standard oxime, pralidoxime (2-PAM). Relative risk of death after 48 hours of application was estimated by Cox regression analysis. The results revealed no benefit of either tested NEAO to the improvement in survival of experimental rats. The application of these antioxidants was found to be deleterious when administered along with pralidoxime compared to the treatment with pralidoxime alone. It has been concluded that the tested non-enzymatic antioxidants are not useful in acute toxicity for improving survival rates. However, the individual toxic dynamics of diversified OPCs should not be overlooked and further studies with different OPCs are suggested.
Preliminary evidence that gonadal hormones organize and activate disordered eating

Objective. Eating disorders are more common in females than in males. Gender differences may be due to organizational (i.e. prenatal) and activational (i.e. post-natal) gonadal hormone effects that influence sex differences in behavior. This preliminary set of studies examined these effects by investigating relationships between eating disorder symptoms, prenatal testosterone exposure, and adult levels of estrogen in women. Method. We examined organizational associations by investigating relationships between disordered eating and finger-length ratios, which are known to be somatic markers of prenatal testosterone exposure. Participants included 113 adult female twins drawn from the community. Disordered eating was assessed with the total score from the Minnesota Eating Behavior Survey (MEBS). Finger lengths were hand scored using a ruler and photocopies of both hands. We also investigated activational influences by examining associations between circulating levels of estradiol and disordered eating symptoms. Two independent samples of adult females (n's=24 and 25) drawn from the community were used for this study. Disordered eating was again assessed with the MEBS total score, while saliva samples were used for assessing estradiol. Results. Positive associations were found between disordered eating and both finger-length ratios and circulating estradiol levels. Conclusions. Findings suggest that lower levels of prenatal testosterone exposure and higher adult levels of estradiol are associated with increased eating disorder symptoms. We hypothesize that the relatively low level of testosterone before birth in females permits their brains to respond to estrogens at puberty, when the hormones activate the genes contributing to disordered eating in vulnerable girls.