LLukas22/scidocs huggingface dataset:
CLORIFI: software vulnerability discovery using code clone verification

Software vulnerability has long been considered an important threat to the system safety. A vulnerability is often reproduced because of the frequent code reuse by programmers. Security patches are usually not propagated to all code clones; however, they could be leveraged to discover unknown vulnerabilities. Static code auditing approaches are frequently proposed to scan source codes for security flaws; unfortunately, these approaches generate too many false positives. While dynamic execution analysis methods can precisely report vulnerabilities, they are ineffective in path exploration, which limits them to scale to large programs. With the purpose of detecting vulnerability in a scalable way with more preciseness, in this paper, we propose a novel mechanism, called software vulnerability discovery using Code Clone Verification (CLORIFI), that scalably discovers vulnerabilities in real world programs using code clone verification. In the beginning, we use a fast and scalable syntax-based way to find code clones in program source codes based on released security patches. Subsequently, code clones are being verified using concolic testing to dramatically decrease the false positives. In addition, we mitigate the path explosion problem by backward sensitive data tracing in concolic execution. Experiments have been conducted with real-world open-source projects (recent Linux OS distributions and program packages). As a result, we found 7 real vulnerabilities out of 63 code clones from Ubuntu 14.04 LTS (Canonical, London, UK) and 10 vulnerabilities out of 40 code clones from CentOS 7.0 (The CentOS Project(community contributed)). Furthermore, we confirmed more code clone vulnerabilities in various versions of programs including Rsyslog (Open Source(Original author: Rainer Gerhards)), Apache (Apache Software Foundation, Forest Hill, Maryland, USA) and Firefox (Mozilla Corporation, Mountain View, California, USA). In order to evaluate the effectiveness of vulnerability verification in a systematic way, we also utilized Juliet Test Suite as measurement objects. The results show that CLORIFI achieves 98% accuracy with 0 false positives. Copyright © 2015 John Wiley & Sons, Ltd.
Measuring the Costs of Employee Turnover in Illinois Public Park and Recreation Agencies : An Exploratory Study

EXECUTIVE SUMMARY: Employee turnover is an unavoidable part of most public park and recreation agencies. Agencies must become increasingly concerned with understanding the repercussions of an employee leaving an agency as they attempt to strategically assess current and future economic and human resource plans. This exploratory study considers the issue of turnover within a cost analytical framework and proposes a model for park and recreation agencies to accurately quantify their employee turnover costs. Specifically, the study incorporates Cascio’s (2000) costing model of turnover to explore the costs associated with the departing employee and the placement of a new employee. Building upon Cascio’s (2000) model we include variables to examine the potential drop in performance and overtime payment required as a result of turnover. Using the proposed model, an exploratory study was conducted within the public park and recreation profession. Turnover data was collected from park and recreation professionals within the state of Illinois. Findings suggest that the separation costs are about two to three times larger than replacement costs making it increasingly important for managers to control unused vacation and sick pay, losses in production and overtime paid to existing staff. Significant differences in pre-employment testing and training costs were found between recreation staff and operations/support staff. The findings and application of the costing model are discussed with suggestions made for further development of turnover cost models that can be applied in public park and recreation settings.
Cohabitation History, Marriage, and Wealth Accumulation

This study extends research on the relationship between wealth accumulation and union experiences, such as marriage and cohabitation. Using data from the National Longitudinal Survey of Youth 1979, we explore the wealth trajectories of married individuals in light of their premarital cohabitation histories. Over time, marriage positively correlates with wealth accumulation. Most married persons with a premarital cohabitation history have wealth trajectories that are indistinguishable from those without cohabitation experience, with one exception: individuals who marry their one and only cohabiting partner experience a wealth premium that is twice as large as that for married individuals who never cohabited prior to marrying. Results remain robust over time despite cohabiters’ selection out of marriage, yet vary by race/ethnicity. We conclude that relationship history may shape long-term wealth accumulation, and contrary to existing literature, individuals who marry their only cohabiting partners experience a beneficial marital outcome. It is therefore important to understand the diversity of cohabitation experiences among the married.
Ensemble Distillation for Neural Machine Translation

Knowledge distillation describes a method for training a student network to perform better by learning from a stronger teacher network. In this work, we run experiments with different kinds of teacher networks to enhance the translation performance of a student Neural Machine Translation (NMT) network. We demonstrate techniques based on an ensemble and a best BLEU teacher network. We also show how to benefit from a teacher network that has the same architecture and dimensions of the student network. Furthermore , we introduce a data filtering technique based on the dissimilarity between the forward translation (obtained during knowledge distillation) of a given source sentence and its target reference. We use TER to measure dissimilarity. Finally, we show that an ensemble teacher model can significantly reduce the student model size while still getting performance improvements compared to the baseline student network.
Countrywide campaign to prevent soccer injuries in Swiss amateur players.

BACKGROUND
In Switzerland, the national accident insurance company registered a total of 42 262 soccer injuries, resulting in costs of approximately 145 million Swiss francs (~US$130 million) in 2003. Research on injury prevention has shown that exercise-based programs can reduce the incidence of soccer injuries.


PURPOSE
This study was conducted to assess the implementation and effects of a countrywide campaign to reduce the incidence of soccer injuries in Swiss amateur players.


STUDY DESIGN
Cohort study; Level of evidence, 3.


METHODS
All coaches of the Schweizerischer Fussballverband (SFV) received information material and were instructed to implement the injury prevention program "The 11" in their training of amateur players. After the instruction, the coaches were asked to rate the quality and the feasibility of "The 11." Before the start of the intervention and 4 years later, a representative sample of about 1000 Swiss soccer coaches were interviewed about the frequency and characteristics of injuries in their teams. Teams that did or did not practice "The 11" were compared with respect to the incidence of soccer injuries.


RESULTS
A total of 5549 coaches for amateur players were instructed to perform "The 11" in the training with their teams. The ratings of the teaching session and the prevention program were overall very positive. In 2008, 80% of all SFV coaches knew the prevention campaign "The 11" and 57% performed the program or most parts of it. Teams performing "The 11" had an 11.5% lower incidence of match injuries and a 25.3% lower incidence of training injuries than other teams; noncontact injuries in particular were prevented by the program.


CONCLUSION
"The 11" was successfully implemented in a countrywide campaign and proved effective in reducing soccer injuries in amateur players. An effect of the prevention program was also observed in the population-based insurance data and health-care costs.
An Ad5-vectored HIV-1 vaccine elicits cell-mediated immunity but does not affect disease progression in HIV-1-infected male subjects: results from a randomized placebo-controlled trial (the Step study).

BACKGROUND
The Step study was a randomized trial to determine whether an adenovirus type 5 (Ad5) vector vaccine, which elicits T cell immunity, can lead to control of human immunodeficiency virus (HIV) replication in participants who became HIV-infected after vaccination.


METHODS
We evaluated the effect of the vaccine on trends in HIV viral load, CD4+ T cell counts, time to initiation of antiretroviral therapy (ART), and AIDS-free survival in 87 male participants who became infected with HIV during the Step study and who had a median of 24 months of post-infection follow-up.


RESULTS
There was no overall effect of vaccine on mean log(10) viral load (estimated difference between groups, -0.11; P = .47). In a subset of subjects with protective HLA types (B27, B57, B58), mean HIV-1 RNA level over time was lower among vaccine recipients. There was no significant difference in CD4+ T cell counts, time to ART initiation, or in AIDS-free survival between HIV-1-infected subjects who received vaccine versus those who received placebo.


CONCLUSIONS
HIV RNA levels, CD4+ T cell counts, time to initiation of ART, and AIDS-free survival were similar in vaccine and placebo recipients. There may have been a favorable effect of vaccine on HIV-1 RNA levels in participants with HLA types associated with better control of HIV-1.
[Being physically active modifies the detrimental effect of sedentary behavior on obesity and cardiometabolic markers in adults].

BACKGROUND
Sedentary behavior is a major risk factor for cardiovascular disease and mortality.


AIM
To investigate whether the associations between sedentary behavior and cardiometabolic markers differs across physical activity levels.


MATERIALS AND METHODS
Cross sectional study of 314 participants aged 18 to 65 years. Body mass index (BMI) and waist circumference were measured, and body fat was derived from the sum of four skinfolds. Physical activity was measured objectively using accelerometers (Actigraph GT1M, USA®). A fasting blood sample was obtained to measure glucose, insulin, HOMA-IR, lipid profile and high sensitive C reactive protein (hsCRP). Those participants with an activity level > 600 MET.min-1.week-1 were classified as physically active.


RESULTS
Thirty four percent of participants were physically inactive and spent an average of 8.7 h.day-1 in sedentary pursuits. Physically inactive individuals had poorer cardiometabolic health than their physically active counterparts. Per one hour decrease in overall sedentary behavior, there was a significant improvement in glucose (-8.46 and -4.68 mg.dl-1), insulin (-2.12 and -1.77 pmol.l-1), HOMA-IR (-0.81 and -0.56) BMI (-0.93 and -0.62 kg.m-2) and waist circumference (-2.32 and -1.65 cm) in physically active and inactive participants, respectively.


CONCLUSIONS
Being physically active may modify the detrimental effects of sedentary behavior on cardiometabolic and obesity-related traits.
A bipolar-starting and unipolar-running method to drive a hard disk drive spindle motor at high speed with large starting torque

This paper presents a method to drive a hard disk drive (HDD) spindle motor at high speed with large starting torque by utilizing a bipolar-starting and unipolar-running algorithm. It proposes a novel inverter circuit to switch from bipolar to unipolar drive, or vice versa. It also develops a digital signal processor (DSP)-based brushless dc (BLDC) motor controller not only to drive the BLDC motor with the bipolar or unipolar method, but also to switch from one method to the other at any speed. Torque-speed-current curves of a BLDC motor driven by bipolar or unipolar method are investigated experimentally, and the effectiveness of the proposed method is also verified by using the developed controller experimentally. This research shows that the proposed method starts the BLDC motor with large starting torque that can be obtained by a bipolar drive, and it runs the BLDC motor at high speed that can be driven by unipolar drive.
Symptomatic and functional improvement in employed depressed patients: a double-blind clinical trial of desvenlafaxine versus placebo.

OBJECTIVE
This is the first study to assess the efficacy of desvenlafaxine (administered as desvenlafaxine succinate) for improving depressive symptoms and functioning exclusively in employed patients with major depressive disorder (MDD).


METHODS
Gainfully employed (≥20 h/wk) male and female outpatients with MDD were randomly assigned (2:1 ratio) to 12 weeks of double-blind treatment with desvenlafaxine 50 mg/d or placebo. Analysis of covariance was used to compare differences in week 12 adjusted mean changes from baseline on the 17-item Hamilton Depression Rating Scale (HAM-D₁₇) (primary outcome) and Sheehan Disability Scale (SDS) (key secondary outcome) in the intent-to-treat (ITT) population. A predefined, modified ITT population (ie, those in the ITT population with baseline HAM-D₁₇ ≥20) was also analyzed. Tolerability was assessed by recording adverse events and change on the Arizona Sexual Experience Scale.


RESULTS
Baseline HAM-D₁₇ scores for desvenlafaxine (n = 285) and placebo (n = 142) were 22.0 and 21.8, whereas baseline SDS scores were 19.8 and 20.4. Adjusted mean differences between desvenlafaxine and placebo were 2.1 (95% confidence interval [CI], 0.78-3.46; P = 0.002) on the HAM-D₁₇ and 1.3 (95% CI, -0.09 to 2.76; P = 0.067) on the SDS. For the modified ITT sample, desvenlafaxine (n = 208) and placebo (n = 102), baseline HAM-D₁₇ scores were 23.8 and 23.9; the SDS baseline scores were 20.1 and 20.8. Mean differences were 2.6 (95% CI, 0.93-4.22; P = 0.002) on the HAM-D₁₇ and 2.1 (95% CI, 0.36-3.76; P = 0.017) on the SDS. Adverse events and Arizona Sexual Experience Scale scores were comparable between groups.


CONCLUSIONS
Desvenlafaxine 50 mg/d was efficacious for treating MDD in gainfully employed adults. Between-group differences on the SDS narrowly missed statistical significance in the ITT population alone, but the totality of data suggests functional improvements with active treatment.
Hepatoprotective Activity of Aqueous Ethanolic Extract of Chamomile capitula in Paracetamol Intoxicated Albino Rats

Hepatoprotective activity of aqueous ethanolic extract of Chamomile recutita capitula against paracetamol induced hepatic damage in albino rats was observed. In the present study the effect of aqueous ethanolic extract of Chamomile recutita capitula on blood and liver glutathione, Na KATPase activity, serum marker enzymes, serum bilirubin, glycogen and thiobarbutiric acid reactive substances against paracetamol induced damage in rats have been studied to find out the possible mechanism of hepatoprotection. It was observed that extract of chamomile has reversal effects on the levels of above-mentioned parameters in paracetamol hepatotoxicity. The extract of capitula of chamomile functions as a hepatoprotective agent and this hepatoprotective activity of chamomile may be due normalization of impaired membrane function activity.
Cascadability of Optical 3R Regeneration for NRZ Format Investigated in Recirculating Loop Transmission Over Field Fibers

This letter demonstrates optical 3R regeneration in 10-Gb/s nonreturn-to-zero field transmission. The 3R regenerator utilizes semiconductor-optical-amplifier-based Mach-Zehnder interferometer wavelength converters, a synchronous modulator, and a Fabry-Perot filter to realize optical 3R regeneration including all-optical clock recovery. The cascadability of the 3R regenerator is investigated in recirculating loop transmission experiments with various regeneration spacings up to 462 km (corresponding to an input optical signal-to-noise ratio (OSNR) of 22 dB). Transmission with the 3R regenerator shows significant performance improvement over that without 3R regeneration. A 66-km-spaced 3R regeneration with a 33-dB input OSNR achieves 1000-hop cascaded error-free transmission (66 000 km in distance) with no hop-to-hop power penalties. A 264-km-spaced 3R regeneration with a 25-dB input OSNR also achieves 100-hop cascaded transmission (26 400km in distance) with a bit-error-rate error floor at ~1times10-8
PsyBoG: A scalable botnet detection method for large-scale DNS traffic

Domain Name System (DNS) traffic has become a rich source of information from a security perspective. However, the volume of DNS traffic has been skyrocketing, such that security analyzers experience difficulties in collecting, retrieving, and analyzing the DNS traffic in response to modern Internet threats. More precisely, much of the research relating to DNS has been negatively affected by the dramatic increase in the number of queries and domains. This phenomenon has necessitated a scalable approach, which is not dependent on the volume of DNS traffic. In this paper, we introduce a fast and scalable approach, called PsyBoG, for detecting malicious behavior within large volumes of DNS traffic. PsyBoG leverages a signal processing technique, power spectral density (PSD) analysis, to discover the major frequencies resulting from the periodic DNS queries of botnets. The PSD analysis allows us to detect sophisticated botnets regardless of their evasive techniques, sporadic behavior, and even normal users’ traffic. Furthermore, our method allows us to deal with large-scale DNS data by only utilizing the timing information of query generation regardless of the number of queries and domains. Finally, PsyBoG discovers groups of hosts which show similar patterns of malicious behavior. PsyBoG was evaluated by conducting experiments with two different data sets, namely DNS traces generated by real malware in controlled environments and a large number of real-world DNS traces collected from a recursive DNS server, an authoritative DNS server, and Top-Level Domain (TLD) servers. We utilized the malware traces as the ground truth, and, as a result, PsyBoG performed with a detection accuracy of 95%. By using a large number of DNS traces, we were able to demonstrate the scalability and effectiveness of PsyBoG in terms of practical usage. Finally, PsyBoG detected 23 unknown and 26 known botnet groups with 0.1% false positives. © 2016 Elsevier B.V. All rights reserved.
Effects of light-emitting diodes on muscle fatigue and exercise tolerance in patients with COPD: study protocol for a randomized controlled trial

BACKGROUND
Light-emitting diodes (LED) have been used to minimize muscle fatigue in athletes and healthy subjects. Patients with chronic obstructive pulmonary disease (COPD) are susceptible to early muscle fatigue.


OBJECTIVE
The objective of this study is to investigate the acute effects of LED on muscle function, exercise capacity and cardiorespiratory responses during isometric and dynamic exercise in patients with COPD.


METHODS
This study will assess 30 patients with moderate to severe obstruction (forced expiratory volume-one second,FEV1 ≤70% predicted). Isometric and dynamic protocols will be conducted in two visits each, for a total of four visits a week apart. First, venous blood will be taken from the patients. The isometric protocol will start with the determination of the maximum voluntary isometric contraction (MIVC) to determine the workload (60% of MIVC) for the isometric endurance test (IET). Patients will be randomized to receive either the placebo or LED application (each point will be irradiated for 30 s and the energy received at each point will be 41.7 J). Immediately after finishing this procedure, the patients will carry out the IET until the limit of tolerance or until a 20% fall of strength is observed. After the test, another blood draw will be taken. In another visit (one week later), the same order of procedures will be performed, except with the opposite (LED or placebo). For the dynamic endurance test (DET), the same procedures described above will be followed, except with 75% of the maximal workload obtained from the incremental cycle ergometer test used instead of the IET. The electromyography will be recorded during the isometric and dynamic protocols. Differences in muscle function, exercise capacity and cardiorespiratory responses between the LED and placebo applications will be analyzed. The therapeutic effects of LED could minimize muscle fatigue in patients with COPD by increasing exercise tolerance.


TRIAL REGISTRATION



TRIAL REGISTRATION NUMBER
NCT01448564.
A comparative study of reaction times between type II diabetics and non-diabetics

BACKGROUND
Aging has been shown to slow reflexes and increase reaction time to varied stimuli. However, the effect of Type II diabetes on these same reaction times has not been reported. Diabetes affects peripheral nerves in the somatosensory and auditory system, slows psychomotor responses, and has cognitive effects on those individuals without proper metabolic control, all of which may affect reaction times. The additional slowing of reaction times may affect every-day tasks such as balance, increasing the probability of a slip or fall.


METHODS
Reaction times to a plantar touch, a pure tone auditory stimulus, and rightward whole-body lateral movement of 4 mm at 100 mm/s2 on a platform upon which a subject stood, were measured in 37 adults over 50 yrs old. Thirteen (mean age = 60.6 +/- 6.5 years) had a clinical diagnosis of type II diabetes and 24 (mean age = 59.4 +/- 8.0 years) did not. Group averages were compared to averages obtained from nine healthy younger adult group (mean age = 22.7 +/- 1.2 years).


RESULTS
Average reaction times for plantar touch were significantly longer in diabetic adults than the other two groups, while auditory reaction times were not significantly different among groups. Whole body reaction times were significantly different among all three groups with diabetic adults having the longest reaction times, followed by age-matched adults, and then younger adults.


CONCLUSION
Whole body reaction time has been shown to be a sensitive indicator of differences between young adults, healthy mature adults, and mature diabetic adults. Additionally, the increased reaction time seen in this modality for subjects with diabetes may be one cause of increased slips and falls in this group.