Miracle-dz/UniFAR-FTUs huggingface dataset:
SymCrash: selective recording for reproducing crashes

Software often crashes despite tremendous effort on software quality assurance. Once developers receive a crash report, they need to reproduce the crash in order to understand the problem and locate the fault. However, limited information from crash reports often makes crash reproduction difficult. Many "capture-and-replay" techniques have been proposed to automatically capture program execution data from the failing code, and help developers replay the crash scenarios based on the captured data. However, such techniques often suffer from heavy overhead and introduce privacy concerns. Recently, methods such as BugRedux were proposed to generate test input that leads to crash through symbolic execution. However, such methods have inherent limitations because they rely on conventional symbolic execution techniques. In this paper, we propose a dynamic symbolic execution method called SymCon, which addresses the limitation of conventional symbolic execution by selecting functions that are hard to be resolved by a constraint solver and using their concrete runtime values to replace the symbols. We then propose SymCrash, a selective recording approach that only instruments and monitors the hard-to-solve functions. SymCrash can generate test input for crashes through SymCon. We have applied our approach to successfully reproduce 13 failures of 6 real-world programs. Our results confirm that the proposed approach is suitable for reproducing crashes, in terms of effectiveness, overhead, and privacy. It also outperforms the related methods.
Baricitinib, Methotrexate, or Combination in Patients With Rheumatoid Arthritis and No or Limited Prior Disease‐Modifying Antirheumatic Drug Treatment

We undertook this phase III study to evaluate baricitinib, an orally administered JAK‐1/JAK‐2 inhibitor, as monotherapy or combined with methotrexate (MTX) compared to MTX monotherapy in patients with active rheumatoid arthritis (RA) who had received no or minimal conventional synthetic disease‐modifying antirheumatic drugs (DMARDs) and who were naive to biologic DMARDs.
Interdisciplinary Journal of E-learning and Learning Objects an Examination of Undergraduate Student's Perceptions and Predilections of the Use of Youtube in the Teaching and Learning Process

Pervasive social networking and media sharing technologies have augmented perceptual understanding and information gathering and, while text-based resources have remained the standard for centuries, they do not appeal to the hyper-stimulated visual learners of today. In particular, the research suggests that targeted YouTube videos enhance student engagement, depth of understanding , and overall satisfaction in higher education courses. In order to investigate student perceptions and preferences regarding the implications of You-Tube, a study was conducted at a Mid-Atlantic minority serving institution that examined student opinions regarding the usage of YouTube videos to augment instruction in online and classroom-based courses. According to the findings, use of YouTube in the teaching and learning process enhances instruction with students most likely to visit video sharing services from mobile devices. Further, length has an impact on student decisions whether or not to watch a video, and course delivery format impacts length and audio preferences. Finally, there is no relationship between personal use of social media and the perceived value of the use of YouTube in the instructional process.
Thienopyridines, but Not Elinogrel, Result in Off-Target Effects at the Vessel Wall That Contribute to Bleeding

Clinical studies with clopidogrel or prasugrel show that although increased inhibition of P2Y12 and platelet function improves efficacy, bleeding is also increased. Other preclinical and clinical studies have suggested a greater therapeutic index (TI) with reversible inhibitors and disproportionate effects of thienopyridines on bleeding at high doses. We used multiple in vivo (FeCl3-induced arterial thrombosis in mesenteric arteries, blood loss after tail transsection, and platelet deposition and wound closure time in a micropuncture model in mesenteric veins) and ex vivo (light transmittance aggregometry, prothrombin time, and activated partial thromboplastin time) mouse models to 1) compare the TI of clopidogrel, prasugrel, and elinogrel, a reversible, competitive antagonist, with that in P2Y12(−/−) mice and 2) determine whether the bleeding consequences of the thienopyridines are attributed only to the inhibition of P2Y12. Data indicated greater (elinogrel) and decreased (thienopyridines) TI compared with that in P2Y12(−/−) mice. The impaired TI associated with the thienopyridines was not attributed to non-P2Y12 activities on platelet function or coagulation but was related to a direct effect at the vessel wall (inhibition of vascular tone). Further analysis showed that the prasugrel off-target effect was dose- and time-dependent and of a reversible nature. In conclusion, the TI of thienopyridines in the mouse may be decreased by P2Y12-independent off-target effects at the vessel wall, whereas that of elinogrel may be enhanced by the reversible, competitive nature of the antiplatelet agent.
Anomaly-based spam filtering

Spam has become an important problem for computer security because it is a channel for the spreading of threats such as computer viruses, worms and phishing. Currently, more than 85% of received e-mails are spam. Historical approaches to combat these messages, including simple techniques such as sender blacklisting or the use of e-mail signatures, are no longer completely reliable. Many solutions utilise machine-learning approaches trained using statistical representations of the terms that usually appear in the e-mails. However, these methods require a time-consuming training step with labelled data. Dealing with the situation where the availability of labelled training instances is limited slows down the progress of filtering systems and offers advantages to spammers. In this paper, we present the first spam filtering method based on anomaly detection that reduces the necessity of labelling spam messages and only employs the representation of legitimate emails. This approach represents legitimate e-mails as word frequency vectors. Thereby, an email is classified as spam or legitimate by measuring its deviation to the representation of the legitimate e-mails. We show that this method achieves high accuracy rates detecting spam while maintaining a low false positive rate and reducing the effort produced by labelling spam.
Hesitancy in Committing to Large-Scale Enterprise Systems Solutions - Experiences at a Multi-national Corporation

While early cited benefits of Enterprise Resource Planning (ERP) or enterprise systems remain for the most part highly desirable, it is often the case that the promise of delivery differs from reality. Many now agree that achieving enterprise systems benefits is complex, cumbersome, risky and expensive. Furthermore many ERP projects do not fully achieve expectations. This paper takes a critical lens to the prospect of a firm achieving enterprise systems’ benefits and presents the findings of a case study that examines the underlying managerial and organizational reasons of one multi-national enterprise for, at least, postponing ERP implementation. It reveals a rich picture of implementation motivators, inhibitors and the perceived and real benefits of enterprise systems.
PERAN KEPUASAN KERJA DALAM MENINGKATKAN KINERJA PEGAWAI

The study aimed to analyzed the effect of satisfaction on performance of employees by using explanatory survey method. Data were collected by using likert scalemodel questionnaire. Respondents were employees in Regional Civil Service Agency in PangkalpinangCity. Data were analyzed by using regression analyisis, the result showed that job satisfaction towards performance of employees has significant and positive effect on performanceof employee, either partially. Therefore, performance of employee can be improved though improving job satisfaction of employee. Penelitian ini bertujuan untuk menganalisis pengaruh kepuasan kerja terhadap kinerja pegawai dengan menggunakan metode survey explanatory . Teknik pengumpulan data menggunakan angket model likert scale . Responden adalah pegawai di Badan Kepegawaian Daerah Kota Pangkalpinang. Teknik analisis data menggunakan regresi. Hasil penelitian diperoleh bahwa kepuasan kerja terhadap kinerja pegawai pengaruh yang positif dan signifikan terhadap kinerja pegawai, baik secara parsial. Oleh karena itu, kinerja pegawai dapat ditingkatkan melalui peningkatan kepuasan kerja pegawai.
Straight Skeleton Implementation

Straight s k eleton Angular Bisector Network, ABN of a planar polygon, which can be grasped as a modiication of a planar Voronoi diagram without parabolic arcs, has been successfully used by O l i v a et al. 5 as a part of a system for three dimensional reconstruction of objects from a given set of 2D contours in parallel cross sections. The algorithm itself is used for the construction of intermediate contour layers during the reconstruction process, in order not to create self intersected surface triangles or a surface with holes. But Oliva's algorithm is not publicly available and we h a ve not found any other useful code on the net. We h a ve followed our older ideas 4 and implemented our version of straight s k eleton. Our algorithm runs in Onm + n log n time, where n denotes the total number of polygon vertices and m the number of reeex ones.
A Pattern of Early Radiation-Induced Inflammatory Cytokine Expression Is Associated with Lung Toxicity in Patients with Non-Small Cell Lung Cancer

Purpose Lung inflammation leading to pulmonary toxicity after radiotherapy (RT) can occur in patients with non-small cell lung cancer (NSCLC). We investigated the kinetics of RT induced plasma inflammatory cytokines in these patients in order to identify clinical predictors of toxicity. Experimental Design In 12 NSCLC patients, RT to 60 Gy (30 fractions over 6 weeks) was delivered; 6 received concurrent chemoradiation (chemoRT) and 6 received RT alone. Blood samples were taken before therapy, at 1 and 24 hours after delivery of the 1st fraction, 4 weeks into RT, and 12 weeks after completion of treatment, for analysis of a panel of 22 plasma cytokines. The severity of respiratory toxicities were recorded using common terminology criteria for adverse events (CTCAE) v4.0. Results Twelve cytokines were detected in response to RT, of which ten demonstrated significant temporal changes in plasma concentration. For Eotaxin, IL-33, IL-6, MDC, MIP-1α and VEGF, plasma concentrations were dependent upon treatment group (chemoRT vs RT alone, all p-values <0.05), whilst concentrations of MCP-1, IP-10, MCP-3, MIP-1β, TIMP-1 and TNF-α were not. Mean lung radiation dose correlated with a reduction at 1 hour in plasma levels of IP-10 (r2 = 0.858, p<0.01), MCP-1 (r2 = 0.653, p<0.01), MCP-3 (r2 = 0.721, p<0.01), and IL-6 (r2 = 0.531, p = 0.02). Patients who sustained pulmonary toxicity demonstrated significantly different levels of IP-10 and MCP-1 at 1 hour, and Eotaxin, IL-6 and TIMP-1 concentration at 24 hours (all p-values <0.05) when compared to patients without respiratory toxicity. Conclusions Inflammatory cytokines were induced in NSCLC patients during and after RT. Early changes in levels of IP-10, MCP-1, Eotaxin, IL-6 and TIMP-1 were associated with higher grade toxicity. Measurement of cytokine concentrations during RT could help predict lung toxicity and lead to new therapeutic strategies.
Sex-Specific Weight Loss Mediates Sexual Size Dimorphism in Drosophila melanogaster

The selective pressures leading to the evolution of Sexual Size Dimorphism (SSD) have been well studied in many organisms, yet, the underlying developmental mechanisms are poorly understood. By generating a complete growth profile by sex in Drosophila melanogaster, we describe the sex-specific pattern of growth responsible for SSD. Growth rate and critical size for pupariation significantly contributed to adult SSD, whereas duration of growth did not. Surprisingly, SSD at peak larval mass was twice that of the uneclosed adult SSD with weight loss between peak larval mass and pupariation playing an important role in generating the final SSD. Our finding that weight loss is an important regulator of SSD adds additional complexity to our understanding of how body size is regulated in different sexes. Collectively, these data allow for the elucidation of the molecular-genetic mechanisms that generate SSD, an important component of understanding how SSD evolves.
Continuous phone recognition without target language training data

Designing an automatic speech recognition system with little or no language-specific training data is a challenging research topic because collecting abundant speech training data is not always an easy job for all possible languages of interest. According to our previous studied detection-based paradigm, we used a set of 21 acoustic phonetic attributes shared by five languages to perform Japanese phone recognition without using any Japanese speech training data. In this paper, we address the key issue of designing attribute-to-phone mapping models by two techniques: (1) a phone-based background model for each of the speech attribute detector to improve attribute detection; and (2) a data-driven clustering algorithm to group attribute-to-phone mapping rules of known languages to predict such rules for target phones in an unseen language. We report on experimental results of continuous Japanese phone recognition with the OGI Multilingual Speech Corpus and show that the proposed approach indeed decreases the false rejection rate of attribute detection, and improves the phone recognition accuracy.
Age-related micro-RNA abundance in individual C. elegans

Non-coding small RNAs of the micro-RNA class (miRNA) are conserved regulators of gene function with a broad impact on biological processes. We screened miRNA levels for age-related changes in individual worms and investigated their influence on the lifespan of the nematode C. elegans. We measured the abundance of 69 miRNAs expressed in individual animals at different ages with over thirty five thousand discrete quantitative nano-fluidic polymerase chain reactions. We found that miRNA abundance was highly variable between individual worms raised under identical conditions and that expression variability generally increased with age. To identify expression differences associated with either reproductive or somatic tissues, we analyzed wild type and mutants that lacked germlines. miRNAs from the mir-35-41 cluster increased in abundance with age in wild type animals, but were nearly absent from mutants lacking a germline, suggesting their age-related increase originates from the germline. Most miRNAs with age-dependent levels did not have a major effect on lifespan, as corresponding deletion mutants exhibited wild-type lifespans. The major exception to this was mir-71, which increased in abundance with age and was required for normal longevity. Our genetic characterization indicates that mir-71 acts at least partly in parallel to insulin/IGF like signals to influence lifespan.
Mitigation for minors: Exploring the nuances of social constructs and legal status in structuring sentences for youthful offenders

New York State is one of only two states in the nation that processes all 16- and 17-year-old defendants as adults. Contrary to this seemingly punitive stance, the state also maintains a Youthful Offender Statute that requires mitigated punishments for youths up to their 19th birthday upon court designation of youthful offender status. This study empirically examines the individual and combined impact of the social status of being a “minor” and the legally awarded status of being designated a youthful offender, upon adult court sentencing decisions framing the discussion within broader conceptualizations of youthfulness, culpability, and punishment. Utilizing a population of all youths ages 16–21 whose cases were disposed in New York between 2000 and 2006, this study finds the legally defined status of youthful offender to provide much greater mitigation at sentencing than the more general social status of being a minor. Findings are discussed as they relate to categorical and individualized assessments of culpability. In addition, as the study finds individualized assessments of culpability to be related to factors such as gender and race, broader implications for the role of court assigned statuses and mitigation of punishment are offered.
The Protective Role of Childcare Quality for Behavioral Adjustment in 3- to 5-Year-Old Children

Abstract. This study examined the role of childcare process quality regarding the relation between family risks and preschoolers’ social–emotional problems. The study included 24 childcare centers with 42 groups in the German-speaking part of Switzerland. The 162 children in the sample were aged 3 – 5 years. Parents and teachers completed the Strengths and Difficulties Questionnaire (SDQ-Deu). Eight family risk factors were subsumed into a cumulative risk index. Childcare process quality was assessed by various observation instruments, for example, the Infant/Toddler Environment Rating Scale-Revised (ITERS-R) and the Early Childhood Environment Rating Scale-Revised (ECERS–R). The calculated structural equation models show that high-quality teaching and interaction, and provisions for learning, can mitigate the negative effects of family risks on children’s internalizing problems. High process quality can provide the chance of considerable attention, encouragement, and new learning opportunities for childr.
Socialization resources theory and newcomers’ work engagement

Although work engagement has become an important topic in management, relatively little attention has been given to newcomers’ work engagement in the socialization literature. The purpose of this paper is to explain how newcomers’ work engagement can fluctuate during the first year of organizational entry and the role of organizational socialization in developing and maintaining high levels of newcomers’ work engagement. ,A review of the socialization literature indicates that uncertainty reduction theory has been the basis of research on socialization tactics and newcomer information-seeking both of which function by providing newcomers with information to reduce uncertainty. Socialization resources theory is used to develop a new pathway to newcomer socialization which focuses on providing newcomers with resources during the first year of organizational entry and socialization. ,The uncertainty reduction pathway to newcomer socialization is narrow and limited because it primarily focuses on minimizing and reducing the negative effects of job demands rather than on providing newcomers with resources that are necessary to facilitate work engagement and socialization. ,Organizations can use newcomers’ work engagement maintenance curves to map and track fluctuations in newcomers’ work engagement during the first year of organizational entry and they can conduct an audit of socialization resources to determine what resources are required to develop and maintain high levels of newcomers’ work engagement. ,This paper describes newcomer work engagement maintenance curves and explains how socialization resources can be used to develop and maintain high levels of newcomers’ work engagement. A model of a new pathway to newcomer socialization is developed in which socialization resources, personal resources, and job demands influence newcomers’ work engagement and socialization outcomes.
Detection of Time-Hopped DS-CDMA Signal for Pseuodolite-based Positioning System

The requirement that signals must be continuously repeated in the time domain for the Fast Fourier Transform(FFT)-aided correlation to function results in considerable correlation loss when it is used on the Time Hopping / Direct Sequence – Code Division Multiple Access (TH/DS-CDMA) type signals. A proposed correlation technique utilising the Digital Passive Matched Filter (DPMF) based technique eliminates correlation losses due to TH/DS-CDMA’s non-timerepetitive property. However, direct implementation of DPMF is computationally expensive. A FFT-based overlap-add filtering technique is shown to overcome the shortcomings of the primitive FFT-based correlation technique. Also, an acquisition method for the time-hopping domain is presented, adapted from the concept of exhaustive search. The method is modified to take into account undetected ‘CDMA bursts’ in the code phase and frequency search process. As the exhaustive search requires signal acquisition to be performed continuously in time as new samples arrive, a large computational load is required. In the time-hopping domain search, a simplification to the DPMF-based acquisition is made in order to reduce the computational load by gradually reducing the Doppler frequency uncertainty range for each successful acquisition in the code phase and frequency search domains. Experimental results show that the peak-to-subpeak ratio was sustained at high values despite various delays being introduced. Successful acquisition of the signal collected via an over-the-air transmission demonstrates the viability of the algorithms presented. The paper comprises five sections. It begins with an introduction to the general concepts relevant to Pseudolite Positioning Systems, followed with an introduction to the TH/DS-CDMA signal. The third section describes the proposed acquisition model and compares it with an existing method. The last two sections describe the Time Hopping frame Starting Index (THSI) search methods and the experimental signal acquisition results based on real baseband signals collected from an operational LocataNet, followed by concluding remarks on the performance of the proposed signal acquisition methods.
Psychological Empowerment on Creativity Among Employees of IT Sector: The Mediating Role of Creative Process Engagement and Intrinsic Motivation

Aim of this study was to investigate the relationships between perceived psychological empowerment, intrinsic motivation, creative process engagement and employees’ creativity by testing a conceptual model of hypothesized relationships derived from the previous body of knowledge relating to these constructs. A non-experimental quantitative research design was applied using a sample of IT professionals in software houses Punjab, Pakistan (n = 281). Participants completed a mailed questionnaire that measured the perceived presence of the psychological empowerment, intrinsic motivation, creative process engagement and employees’ creativity. By using the multiple regression analysis, found that there are significant positive relationships between psychological empowerment, intrinsic motivation, creative process engagement and employees’ creativity. The mediating effects of creative process engagement and intrinsic motivation are confirmed between the relationship of psychological empowerment and employees’ creativity, by using Barren and canny and Sobel’s test.
Teaching Experience, Teachers’ Beliefs, and Self-Reported Classroom Management Practices: A Coherent Network

Classroom management is an important topic in teacher education, as it has a strong impact on students’ engagement. However, untangling the concepts influencing teachers’ classroom management practices is a question that needs further investigation. Using data from a survey of 154 vocational teachers participating in teacher education, this study examined associations between classroom management practices, teaching experience, and teachers’ beliefs (general pedagogical beliefs, beliefs about student motivation, and self-efficacy beliefs). Results highlighted associations between the different types of beliefs, and between teachers’ beliefs and practices. Teaching experience was positively related to self-efficacy and beliefs in constructivism but did not impact practices.