nils-herrmann/clean_scirepeval huggingface dataset:
ArchWare: Architecting Evolvable Software

This paper gives an overview of the ArchWare European Project1. The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accommodating change over their lifetime, and therefore are evolvable. In order to achieve this goal, ArchWare develops an integrated set of architecture-centric languages and tools for the modeldriven engineering of evolvable software systems based on a persistent run-time framework. The ArchWare Integrated Development Environment comprises: (a) innovative formal architecture description, analysis, and refinement languages for describing the architecture of evolvable software systems, verifying their properties and expressing their refinements; (b) tools to support architecture description, analysis, and refinement as well as code generation; (c) enactable processes for supporting model-driven software engineering; (d) a persistent run-time framework including a virtual machine for process enactment. It has been developed using ArchWare itself and is available as Open Source Software.
A decision support system for predicting students ’ performance

Educational data mining is an emerging research field concerned with developing methods for exploring the unique types of data that come from educational context. These data allow the educational stakeholders to discover new, interesting and valuable knowledge about students. In this paper, we present a new user-friendly decision support tool for predicting students‟ performance concerning the final examinations of a school year. Our proposed tool is based on a hybrid predicting system incorporating a number of possible machine learning methods and achieves better performance than any examined single learning algorithm. Furthermore, significant advantages of the presented tool are that it has a simple interface and it can be deployed in any platform under any operating system. Our objective is that this work may be used to support student admission procedures and strengthen the service system in educational institutions.
Matrix Factorisation for Predicting Student Performance

Predicting student performance in tertiary institutions has potential to improve curriculum advice given to students, the planning of interventions for academic support and monitoring and curriculum design. The student performance prediction problem, as defined in this study, is the prediction of a student's mark for a module, given the student's performance in previously attempted modules. The prediction problem is amenable to machine learning techniques, provided that sufficient data is available for analysis. This work reports on a study undertaken at the College of Agriculture, Engineering and Science at University of KwaZulu- Natal that investigates the efficacy of Matrix Factorization as a technique for solving the prediction problem. The study uses Singular Value Decomposition (SVD), a Matrix Factorization technique that has been successfully used in recommender systems. The performance of the technique was benchmarked against the use of student and course average marks as predictors of performance. The results obtained suggests that Matrix Factorization performs better than both benchmarks.
Improved two-factor authenticated key exchange protocol

Quite recently, two smart-card-based passwords authenticated key exchange protocols were proposed by Lee et al. and Hwang et al. respectively. However, neither of them achieves two-factor authentication fully since they would become completely insecure once one factor is broken. To overcome these congenital defects, this study proposes such a secure authenticated key exchange protocol that achieves fully two-factor authentication and provides forward security of session keys. And yet our scheme is simple and reasonably efficient. Furthermore, we can provide the rigorous proof of the security for it.
Shoulder impingement in tennis/racquetball players treated with subscapularis myofascial treatments.

Conservative care of the athlete with shoulder impingement includes activity modification, application of ice, nonsteroidal anti-inflammatory drugs, subacromial corticosteroid injections, and physiotherapy. This case report describes the clinical treatment and outcome of three patients with shoulder impingement syndrome who did not respond to traditional treatment. Two of the three were previously referred for arthroscopic surgery. All three were treated with subscapularis trigger point dry needling and therapeutic stretching. They responded to treatment and had returned to painless function at follow-up 2 years later.
Prognostic Enhancements to Gas Turbine Diagnostic Systems 1

The development of machinery health monitoring technologies has taken center stage within the DoD community in recent years. Existing health monitoring systems, such as the Integrated Condition Assessment System (ICAS) for NAVSEA, enable the diagnosis of mission critical problems using fault detection and diagnostic technologies. These technologies, however, have not specifically focused on the automated prediction of future condition (prognostics) of a machine based on the current diagnostic state of the machinery and its available operating and failure history data. Current efforts are focused on developing a generic architecture for the development of prognostic systems that will enable “plug and play” capabilities within existing systems. The designs utilize Open System Architecture (OSA) guidelines, such as OSA-CBM (Condition Based Maintenance), to provide these capabilities and enhance reusability of the software modules. One such implementation, which determines the optimal water wash interval to mitigate gas turbine compressor performance degradation due to salt deposit ingestion, is the focus of this paper. The module utilizes advanced probabilistic modeling and analysis technologies to forecast the future performance characteristics of the compressor and yield the optimal Time To Wash (TTW) from a cost/benefit standpoint. This paper describes the developed approach and architecture for developing prognostics using the gas turbine module.
Qos-Security Metrics Based on ITIL and COBIT Standard for Measurement Web Services

Web Services have been widely adopted in business projects, and almost all Web Service developers agree that security factors are the principal components that must be taken into consideration. A large number of security metrics and measurements is available for specific business needs, and the best practice for different business demands is therefore needed if the quality of service security metrics (Qos-SM) is to be developed. This research proposes a new way of developing Qos-SM using Qos ontology mapping with two information system standards, COBIT and ITIL, as a result of which new Qos-SM are developed. In order to prove the correctness and precision of the metrics, the researchers have used the metrics to measure the level of security quality from Web service data sets. The experimental results, based on vector analysis, show that the same level of security quality is attained with both of the metrics developed and the metrics from previous research. This research also represents the metrics in the form of a class diagram, thus facilitating its application in the organization.
Erythrocyte programmed cell death.

Eryptosis, the suicidal death of erythrocytes, is characterised by cell shrinkage, membrane blebbing and cell membrane phospholipid scrambling with phosphatidylserine exposure at the cell surface. Phosphatidylserine-exposing erythrocytes are recognised by macrophages, which engulf and degrade the affected cells. Reported triggers of eryptosis include osmotic shock, oxidative stress, energy depletion, ceramide, prostaglandin E(2), platelet activating factor, hemolysin, listeriolysin, paclitaxel, chlorpromazine, cyclosporine, methylglyoxal, amyloid peptides, anandamide, Bay-5884, curcumin, valinomycin, aluminium, mercury, lead and copper. Diseases associated with accelerated eryptosis include sepsis, malaria, sickle-cell anemia, beta-thalassemia, glucose-6-phosphate dehydrogenase (G6PD)-deficiency, phosphate depletion, iron deficiency, hemolytic uremic syndrome and Wilsons disease. Eryptosis may be inhibited by erythropoietin, adenosine, catecholamines, nitric oxide (NO) and activation of G-kinase. Most triggers of eryptosis except oxidative stress are effective without activation of caspases. Their signalling involves formation of prostaglandin E(2) with subsequent activation of cation channels and Ca2+ entry and/or release of platelet activating factor (PAF) with subsequent activation of sphingomyelinase and formation of ceramide. Ca2+ and ceramide stimulate scrambling of the cell membrane. Ca2+ further activates Ca2+-sensitive K+ channels leading to cellular KCl loss and cell shrinkage and stimulates the protease calpain resulting in degradation of the cytoskeleton. Eryptosis allows defective erythrocytes to escape hemolysis. On the other hand, excessive eryptosis favours the development of anemia. Thus, a delicate balance between proeryptotic and antieryptotic mechanisms is required to maintain an adequate number of circulating erythrocytes and yet avoid noneryptotic death of injured erythrocytes.
Automatic parking slot detection based on around view monitor (AVM) systems

Automatic parking systems have significant effects on intelligent transport systems (ITS) and have been extensively researched. However, most existing vision-based automatic parking slot detection methods cannot obtain the desired results due to variation in light intensity or complex obstacle conditions. Besides, most previous parking slot detection methods only consider the target position occupied by vehicles but ignore the existence of small objects such as traffic cones and parking lock inside the parking marking. In order to overcome these insufficiency, this paper proposes a novel vision-based automatic parking slot detection method to detect various parking slot markings by Around View Monitor (AVM) system which consists of four fisheye cameras around the vehicle. The process utilizes a Line Segment Detector (LSD) based on edge information to detect parking slot markings which have a pair of parallel lines with the fixed distance in AVM image, then use the image segmentation algorithm and the stereo vision algorithm to calculate the height of small obstacles inside the parking marking. Experimental results show the proposed methods perform better than method based on Hough transforms in continuity and completeness. Furthermore, the proposed method can effectively reduce the frequency of false detections and missing detections.
K2Q: Generating Natural Language Questions from Keywords with User Refinements

Garbage in and garbage out. A Q&A system must receive a well formulated question that matches the user’s intent or she has no chance to receive satisfactory answers. In this paper, we propose a keywords to questions (K2Q) system to assist a user to articulate and refine questions. K2Q generates candidate questions and refinement words from a set of input keywords. After specifying some initial keywords, a user receives a list of candidate questions as well as a list of refinement words. The user can then select a satisfactory question, or select a refinement word to generate a new list of candidate questions and refinement words. We propose a User Inquiry Intent (UII) model to describe the joint generation process of keywords and questions for ranking questions, suggesting refinement words, and generating questions that may not have previously appeared. Empirical study shows UII to be useful and effective for the K2Q task.
Cultural differences in responses to real-life and hypothetical trolley problems

Trolley problems have been used in the development of moral theory and the psychological study of moral judgments and behavior. Most of this research has focused on people from the West, with implicit assumptions that moral intuitions should generalize and that moral psychology is universal. However, cultural differences may be associated with differences in moral judgments and behavior. We operationalized a trolley problem in the laboratory, with economic incentives and real-life consequences, and compared British and Chinese samples on moral behavior and judgment. We found that Chinese participants were less willing to sacrifice one person to save five others, and less likely to consider such an action to be right. In a second study using three scenarios, including the standard scenario where lives are threatened by an on-coming train, fewer Chinese than British participants were willing to take action and sacrifice one to save five, and this cultural difference was more pronounced when the consequences were less severe than death.
Design of Secure ARP on MACsec(802.1AE)

MACsec provides authenticity and integrity for data frame on data link layer by implementing data encryption. For these advantages, MACsec is highlighted as a solution to protect and transmit data safely from the various security threats in the Wired and Wireless LAN. Until now, MACsec can not guarantee stable ARP management for itself . This paper will propose a design of enhanced ARP to protect IP and MAC address from external threats and the enhanced ARP will encrypt ARP Packet by SAK (Secure Association Key) for the authentication. It will help to keep the address system safe from various security threats on data link layer.
The Mediating Effect of Gaming Motivation Between Psychiatric Symptoms and Problematic Online Gaming: An Online Survey

The rapid expansion of online video gaming as a leisure time activity has led to the appearance of problematic online gaming (POG). According to the literature, POG is associated with different psychiatric symptoms (eg, depression, anxiety) and with specific gaming motives (ie, escape, achievement). Based on studies of alcohol use that suggest a mediator role of drinking motives between distal influences (eg, trauma symptoms) and drinking problems, this study examined the assumption that there is an indirect link between psychiatric distress and POG via the mediation of gaming motives. Furthermore, it was also assumed that there was a moderator effect of gender and game type preference based on the important role gender plays in POG and the structural differences between different game types.



This study had two aims. The first aim was to test the mediating role of online gaming motives between psychiatric symptoms and problematic use of online games. The second aim was to test the moderator effect of gender and game type preference in this mediation model.



An online survey was conducted on a sample of online gamers (N=3186; age: mean 21.1, SD 5.9 years; male: 2859/3186, 89.74%). The Brief Symptom Inventory (BSI), the Motives for Online Gaming Questionnaire (MOGQ), and the Problematic Online Gaming Questionnaire (POGQ) were administered to assess general psychiatric distress, online gaming motives, and problematic online game use, respectively. Structural regression analyses within structural equation modeling were used to test the proposed mediation models and multigroup analyses were used to test gender and game type differences to determine possible moderating effects.



The mediation models fitted the data adequately. The Global Severity Index (GSI) of the BSI indicated that the level of psychiatric distress had a significant positive direct effect (standardized effect=.35, P<.001) and a significant indirect (mediating) effect on POG (standardized effect=.194, P<.001) via 2 gaming motives: escape (standardized effect=.139, P<.001) and competition (standardized effect=.046, P<.001). The comparison of the 2 main gamer types showed no significant differences in the model. However, when comparing male and female players it was found that women had (1) slightly higher escape scores (on a 5-point Likert scale: mean 2.28, SD 1.14) than men (mean 1.87, SD 0.97) and (2) a stronger association between the escape motive and problematic online gaming (standardized effect size=.64, P<.001) than men (standardized effect size=.20, P=.001).



The results suggest that psychiatric distress is both directly and indirectly (via escape and competition motives) negatively associated with POG. Therefore, the exploration of psychiatric symptoms and gaming motives of POG can be helpful in the preparation of prevention and treatment programs.
Creating a parametric muqarnas utilizing algorithmic software

Muqarnas is one of the most beautiful elements of Persian architecture which was used to cover the great height of entrance spaces or domes in old mosques or religious schools. Although rapid growth of digital design software brought lots of innovations and ease of use to the world of architecture, this specific vernacular art reached the state of abandonment. This article focuses on modelling Persian patterns by using Grasshopper3D, a Rhinoceros plug-in and by demonstrating the process it hopes to create a basis for a full 3d parametric muqarnas application. Utilizing such software, it is probable to generate desired patterns with the help of today’s algorithmic technology and revitalize muqarnas and other Persian patterns and define them as contemporary architectural elements of Persian architecture.
Effects of handgrip training with venous restriction on brachial artery vasodilation.

Previous studies have shown that resistance training with restricted venous blood flow (Kaatsu) results in significant strength gains and muscle hypertrophy. However, few studies have examined the concurrent vascular responses following restrictive venous blood flow training protocols.



The purpose of this study was to examine the effects of 4 wk of handgrip exercise training, with and without venous restriction, on handgrip strength and brachial artery flow-mediated dilation (BAFMD).



Twelve participants (mean +/- SD: age = 22 +/- 1 yr, men = 5, women = 7) completed 4 wk of bilateral handgrip exercise training (duration = 20 min, intensity = 60% of the maximum voluntary contraction, cadence = 15 grips per minute, frequency = three sessions per week). During each session, venous blood flow was restricted in one arm (experimental (EXP) arm) using a pneumatic cuff placed 4 cm proximal to the antecubital fossa and inflated to 80 mm Hg for the duration of each exercise session. The EXP and the control (CON) arms were randomly selected. Handgrip strength was measured using a hydraulic hand dynamometer. Brachial diameters and blood velocity profiles were assessed, using Doppler ultrasonography, before and after 5 min of forearm occlusion (200 mm Hg) before and at the end of the 4-wk exercise.



After exercise training, handgrip strength increased 8.32% (P = 0.05) in the CON arm and 16.17% (P = 0.05) in the EXP arm. BAFMD increased 24.19% (P = 0.0001) in the CON arm and decreased 30.36% (P = 0.0001) in the EXP arm.



The data indicate handgrip training combined with venous restriction results in superior strength gains but reduced BAFMD compared with the nonrestricted arm.
Determination of the estrous cycle phases of rats: some helpful considerations.

The short length of the estrous cycle of rats makes them ideal for investigation of changes occurring during the reproductive cycle. The estrous cycle lasts four days and is characterized as: proestrus, estrus, metestrus and diestrus, which may be determined according to the cell types observed in the vaginal smear. Since the collection of vaginal secretion and the use of stained material generally takes some time, the aim of the present work was to provide researchers with some helpful considerations about the determination of the rat estrous cycle phases in a fast and practical way. Vaginal secretion of thirty female rats was collected every morning during a month and unstained native material was observed using the microscope without the aid of the condenser lens. Using the 10 x objective lens, it was easier to analyze the proportion among the three cellular types, which are present in the vaginal smear. Using the 40 x objective lens, it is easier to recognize each one of these cellular types. The collection of vaginal lavage from the animals, the observation of the material, in the microscope, and the determination of the estrous cycle phase of all the thirty female rats took 15-20 minutes.
Current-Mode Transceiver for Silicon Interposer Channel

An energy-efficient 3 Gb/s current-mode interface scheme is proposed for on-chip global interconnects and silicon interposer channels. The transceiver core consists of an open-drain transmitter with one-tap pre-emphasis and a current sense amplifier load as the receiver. The current sense amplifier load is formed by stacking a PMOS diode stage and a cross-coupled NMOS stage, providing an optimum current-mode receiver without any bias current. The proposed scheme is verified with two cases of transceivers implemented in 65 nm CMOS. A 10 mm point-to-point data-only channel shows an energy efficiency of 9.5 fJ/b/mm, and a 20 mm four-drop source-synchronous link achieves 29.4 fJ/b/mm including clock and data channels.
Security Concerns of Object Oriented Software Architectures

Testing and measuring the security of software system architectures is a difficult task. An attempt is made in this paper to analyze the issues of architecture security of object-oriented software’s using common security concepts to evaluate the security of a system under design. Object oriented systems are based on various architectures like COM, DCOM, CORBA, MVC and Broker. In object oriented technology the basic system component is an object. Individual system component is posing it own risk in the system. Security policies and the associated risk in these software architectures can be calculated for the individual component. Overall risk can be calculated based on the context and risk factors in the architecture. Small risk factors get accumulated together and form a major risk in the systems and can damage the systems.
The effect of Bobath approach on the excitability of the spinal alpha motor neurones in stroke patients with muscle spasticity.

A clinical study was performed to evaluate the efficacy of the Bobath approach on the excitability of the spinal alpha motor neurones in patients with poststroke spasticity. Ten subjects ranging in age from 37 through 76 years (average 60 years) with ankle plantarflexor spasticity secondary to a stroke were recruited and completed the trial. They had physiotherapy according to Bobath concept for ten treatment sessions, three days per week. Two repeated measures, one before and another after treatment, were taken to quantify clinical efficacy. The effect of this type of therapy on the excitability of alpha motor neurones (aMN) was assessed by measuring the latency of the Hoffmann reflex (H-reflex) and the Hmax/Mmax ratio. The original Ashworth scale and ankle range of motion were also measured. The mean HmaxlMmax ratio on the affected side at baseline was high in the study patients. However, there were no statistically significant differences in the HmaxlMmax ratio or in the H-reflex latency between the baseline values and those recorded after therapy intervention. Before treatment, the HmaxlMmax ratio was significantly higher in the affected side than in the unaffected side. However, it was similar at both sides after treatment. Following treatment, the significant reduction in spasticity was clinically detected as measured with the original Ashworth scale. The ankle joint active and passive range of motion was significantly increased. In conclusion, Bobath therapy had a statistically significant effect on the excitability of the aMN in the affected side compared to the unaffected side in stroke patients with muscle spasticity.