nils-herrmann/clean_scirepeval huggingface dataset:
Monaural Sound Source Separation by Nonnegative Matrix Factorization With Temporal Continuity and Sparseness Criteria

An unsupervised learning algorithm for the separation of sound sources in one-channel music signals is presented. The algorithm is based on factorizing the magnitude spectrogram of an input signal into a sum of components, each of which has a fixed magnitude spectrum and a time-varying gain. Each sound source, in turn, is modeled as a sum of one or more components. The parameters of the components are estimated by minimizing the reconstruction error between the input spectrogram and the model, while restricting the component spectrograms to be nonnegative and favoring components whose gains are slowly varying and sparse. Temporal continuity is favored by using a cost term which is the sum of squared differences between the gains in adjacent frames, and sparseness is favored by penalizing nonzero gains. The proposed iterative estimation algorithm is initialized with random values, and the gains and the spectra are then alternatively updated using multiplicative update rules until the values converge. Simulation experiments were carried out using generated mixtures of pitched musical instrument samples and drum sounds. The performance of the proposed method was compared with independent subspace analysis and basic nonnegative matrix factorization, which are based on the same linear model. According to these simulations, the proposed method enables a better separation quality than the previous algorithms. Especially, the temporal continuity criterion improved the detection of pitched musical sounds. The sparseness criterion did not produce significant improvements
A Reinforcement Learning Approach to Automated GUI Robustness Testing

Graphical User Interfaces (GUIs) can be found in almost all modern desktop, tablet and smartphone applications. Since they are the glue between an application’s components, they lend themselves to system level testing. Unfortunately, although many tools promise automation, GUI testing is still an inherently difficult task and involves great manual labor. However, tests that aim at critical faults, like crashes and excessive response times, are completely automatable and can be very effective. These robustness tests often apply random algorithms to select the actions to be executed on the GUI. This paper proposes a new approach to fully automated robustness testing of complex GUI applications with the goal to enhance the fault finding capabilities. The approach uses a well-known machine learning algorithm called Q-Learning in order to combine the advantages of random and coverage-based testing. We will explain how it operates, how we plan to implement it and provide arguments for its usefulness.
Ultrasound-Guided Fenestration of the Carpal Ligament Using a Double-Needle Approach.

Injection techniques for carpal tunnel syndrome have evolved from landmark palpation injection techniques to more accurate ultrasound-guided approaches. Presented is a case report describing a technique serendipitously discovered during a carpal ligament fenestration. The case involved a 66-year-old man with a diagnosis of carpal tunnel syndrome. After a failed attempt at treatment using a wrist splint and activity modification, he was treated by median nerve hydrodissection with 100% temporary pain relief. When his symptoms recurred, a carpal tunnel combined hydrodissection/fenestration technique was performed. Because of difficulty extricating the carpal ligament from the median nerve with the first needle, which was placed longitudinal to the median nerve, a second needle was placed transverse to the median nerve to aid in hydrodissection. The second needle was left in because it was found to be helpful in maintaining a safe distance between the median nerve and the carpal ligament by intermittent injection through the second needle. The patient reported 70% relief of his symptoms at 2-week follow-up and 50% sustained relief at 3 months. A 2-needle technique is feasible and can be helpful during median nerve hydrodissection/carpal ligament fenestration when technical or anatomical issues arise preventing treatment using the traditional single needle approach. This double needle approach allows for use of injectate to maintain separation between the median nerve and the ligament during the fenestration.
A knowledge-based approach for duplicate elimination in data cleaning

Existing duplicate elimination methods for data cleaning work on the basis of computing the degree of similarity between nearby records in a sorted database. High recall can be achieved by accepting records with low degrees of similarity as duplicates, at the cost of lower precision. High precision can be achieved analogously at the cost of lower recall. This is the recall–precision dilemma. We develop a generic knowledge-based framework for effective data cleaning that can implement any existing data cleaning strategies and more. We propose a new method for computing transitive closure under uncertainty for dealing with the merging of groups of inexact duplicate records and explain why small changes to window sizes has little effect on the results of the sorted neighborhood method. Experimental study with two real-world datasets show that this approach can accurately identify duplicates and anomalies with high recall and precision, thus effectively resolving the recall–precision dilemma. r 2001
Using Syntactic Features for Phishing Detection

This paper reports on the comparison of the subject and object of verbs in their usage between phishing emails and legitimate emails. The purpose of this research is to explore whether the syntactic structures and subjects and objects of verbs can be distinguishable features for phishing detection. To achieve the objective, we have conducted two series of experiments: the syntactic similarity for sentences, and the subject and object of verb comparison. The results of the experiments indicated that both features can be used for some verbs, but more work has to be done for others. phishing detection; syntactic similarity; parse tree path.
Ubiquitous Mobile Health Monitoring System for Elderly (UMHMSE)

Recent research in ubiquitous computing uses technologies of Body Area Networks (BANs) to monitor the person's kinematics and physiological parameters. In this paper we propose a real time mobile health system for monitoring elderly patients from indoor or outdoor environments. The system uses a biosignal sensor worn by the patient and a Smartphone as a central node. The sensor data is collected and transmitted to the intelligent server through GPRS/UMTS to be analyzed. The prototype (UMHMSE) monitors the elderly mobility, location and vital signs such as Sp02 and Heart Rate. Remote users (family and medical personnel) might have a real time access to the collected information through a web application.
A Collodion Baby with Facial Dysmorphism, Limb Anomalies, Pachygyria and Genital Hypoplasia: A Mild Form of Neu-Laxova Syndrome or a New Entity?

Neu-Laxova syndrome is a rare, lethal, autosomal recessive disorder characterized by intrauterine growth retardation, central nervous system anomalies, skin findings, such as ichthyosis, edema, collodion baby and harlequin fetus, facial dysmorphic features, limb anomalies and genital hypoplasia. Although it is generally a lethal condition, cases of such patients who lived beyond 6 months and 10 months of age have been reported. Here, we describe an 8-year-old boy who was born with collodion membrane, facial dysmorphic features, limb anomalies, genital hypoplasia and pachygyria. He had no major health problems over the course of 8 years of follow-up, except for mild mental/motor retardation, ichthyosis, facial dysmorphic features and limb anomalies. Based on these features, we suggest that because Neu-Laxova syndrome represents a heterogeneous phenotype, our case may be a milder variant of this syndrome or a new genetic entity.
Smart Grid Privacy via Anonymization of Smart Metering Data

The security and privacy of future smart grid and smart metering networks is important to their rollout and eventual acceptance by the public: research in this area is ongoing and smart meter users will need to be reassured that their data is secure. This paper describes a method for securely anonymizing frequent (for example, every few minutes) electrical metering data sent by a smart meter. Although such frequent metering data may be required by a utility or electrical energy distribution network for operational reasons, this data may not necessarily need to be attributable to a specific smart meter or consumer. It does, however, need to be securely attributable to a specific location (e.g. a group of houses or apartments) within the electricity distribution network. The method described in this paper provides a 3rd party escrow mechanism for authenticated anonymous meter readings which are difficult to associate with a particular smart meter or customer. This method does not preclude the provision of attributable metering data that is required for other purposes such as billing, account management or marketing research purposes.
Bayesian Optimization with Empirical Constraints ( PhD Proposal )

This work is motivated by the experimental design problem of optimizing the power output of nano-enhanced microbial fuel cells. Microbial fuel cells (MFCs) (Bond and Lovley, 2003; Fan et al., 2007; Park and Zeikus, 2003; Reguera, 2005) use micro-organisms to break down organic matter and generate electricity. For a particular MFC design, it is critical to optimize the biological energetics and the microbial/electrode interface of the system, which research has shown to depend strongly on the surface properties of the anodes (Park and Zeikus, 2003; Reguera, 2005). This motivates the design of nano-enhanced anodes, where nano-structures (e.g. carbon nano-wire) are grown on the anode surface to improve the MFC’s power output. Unfortunately, there is little understanding of the interaction between various possible nano-enhancements and MFC capabilities for different micro-organisms. Thus, optimizing anode design for a particular application is largely guess work. Our goal is to develop algorithms to aid this process. Bayesian optimization (Jones, 2001a; Brochu et al., 2009) has been widely used for experimental design problems where the goal is to optimize an unknown function f(·), that is costly to evaluate. In general, we are interested in finding the point x∗ ∈ X d ⊂ Rd such that: x∗ = argmax x∈X d f(x), (1)
An 820μW 9b 40MS/s Noise-Tolerant Dynamic-SAR ADC in 90nm Digital CMOS

Current trends in analog/mixed-signal design for battery-powered devices demand the adoption of cheap and power-efficient ADCs. SAR architectures have been recently demonstrated as able to achieve high power efficiency in the moderate-resolution/medium- bandwidth range in Craninckx, J. and Van der Plas, G., (2007). However, when the comparator determines in first instance the overall performance, as in most SAR ADCs, comparator thermal noise can limit the maximum achievable resolution. More than 1 and 2 ENOB reductions are observed in Craninckx, J. and Van der Plas, G., (2007) and Kuttner, F., (2002), respectively, because of thermal noise, and degradations could be even worse with scaled supply voltages and the extensive use of dynamic regenerative latches without pre-amplification. Unlike mismatch, random noise cannot be compensated by calibration and would finally demand a quadratic increase in power consumption unless alternative circuit techniques are devised.
Inverted index compression and query processing with optimized document ordering

Web search engines use highly optimized compression schemes to decrease inverted index size and improve query throughput, and many index compression techniques have been studied in the literature. One approach taken by several recent studies first performs a renumbering of the document IDs in the collection that groups similar documents together, and then applies standard compression techniques. It is known that this can significantly improve index compression compared to a random document ordering. We study index compression and query processing techniques for such reordered indexes. Previous work has focused on determining the best possible ordering of documents. In contrast, we assume that such an ordering is already given, and focus on how to optimize compression methods and query processing for this case. We perform an extensive study of compression techniques for document IDs and present new optimizations of existing techniques which can achieve significant improvement in both compression and decompression performances. We also propose and evaluate techniques for compressing frequency values for this case. Finally, we study the effect of this approach on query processing performance. Our experiments show very significant improvements in index size and query processing speed on the TREC GOV2 collection of 25.2 million web pages.
Neural Networks for Multi-Word Expression Detection

In this paper we describe the MUMULS system that participated to the 2017 shared task on automatic identification of verbal multiword expressions (VMWEs). The MUMULS system was implemented using a supervised approach based on recurrent neural networks using the open source library TensorFlow. The model was trained on a data set containing annotated VMWEs as well as morphological and syntactic information. The MUMULS system performed the identification of VMWEs in 15 languages, it was one of few systems that could categorize VMWEs type in nearly all languages.
Improved DV-Hop localization algorithm for wireless sensor networks

Wireless sensor networks (WSN) are usually composed of a great number of randomly deployed nodes that communicate among themselves and gather information about the environment. In many applications, it is required to know geographical location of the sensor which detected an event. The existing localization algorithms can be classified into two categories: range-based and range-free. Range-based algorithms measure the actual distances between nodes, while range-free algorithms approximate the distance based on connectivity information. Range-free localization is cost-effective alternative to a more expensive range based approaches since there is no necessity for additional hardware. However, these techniques usually have higher localization error compared to the range-based algorithms. DV-Hop is one of the range-free localization algorithms utilizing hop-distance estimation. In this paper, we propose an improvement of the range-free DV-Hop localization algorithm and present simulations results to evaluate it.
A Dynamical Approach to Gestural Patterning in Speech Production

In this article, we attempt to reconcile the linguistic hypothesis that speech involves an underlying sequencing of abstract, discrete, context-independent units, with the empirical observation of continuous, context-dependent interleaving of articulatory movements. To this end, we first review a previously proposed task-dynamic model for the coordination and control of the speech articulators. We then describe an extension of this model in which invariant speech units (gestural primitives) are identified with context-independent sets of parameters in a dynamical system having two functionally distinct but interacting levels. The intergesturallevel is defined according to a set of activation coordinates; the interarticulator level is defined according to both model articulator and tract-variable coordinates. In the framework of this extended model, coproduction effects in speech are described in terms of the blending dynamics defined among a set of temporally overlapping active units; the relative timing of speech gestures is formulated in terms of the serial dynamics that shape the temporal patterning of onsets and offsets in unit activations. Implications of this approach for certain phonological issues are discussed, and a range of relevant experimental data on speech and limb motor control is reviewed.
Implementation of the State of Charge Estimation with Adaptive Extended Kalman Filter for Lithium-Ion Batteries by Arduino

This study considers the use of Arduino to achieve state of charge (SOC) estimation of lithium-ion batteries by adaptive extended Kalman filter (AEKF). To implement a SOC estimator for the lithium-ion battery, we adopt a first-order RC equivalent circuit as the equivalent circuit model (ECM) of the battery. The parameters of the ECM will be identified through the designed experiments, and they will be approximated by the piecewise linear functions and then will be built into Arduino. The AEKF algorithm will also be programed into Arduino to estimate the SOC. To verify the accuracy of the SOC estimation, some lithium-ion batteries are tested at room temperature. Experimental results show that the absolute value of the steady-state SOC estimation error is small.
OnToKnowledge: Ontology-based Tools for Knowledge Management.

Dieter Fensel, Frank van Harmelen, Michel Klein, Hans Akkermans Free University Amsterdam VUA, Division of Mathematics and Informatics De Boelelaan 1081a, NL-1081 HV Amsterdam, The Netherlands http://www.ontoknowledge.org ; contact: dieter@cs.vu.nl and Jeen Broekstra, Christiaan Fluit, Jos van der Meer, AIdministrator, The Netherlands Hans-Peter Schnurr, Rudi Studer, AIFB, University of Karlsruhe, Germany John Hughes, Uwe Krohn, John Davies, BT, Ipswich, UK Robert Engels, Bernt Bremdal, CognIT, Oslo, Norway Fredrik Ygge, Enersearch AB, Gothenburg, Sweden Thorsten Lau, Bernd Novotny, Ulrich Reimer, Swiss Life, Zürich, Switzerland Ian Horrocks, University of Manchester, UK
Morbidity Rate Prediction of Dengue Hemorrhagic Fever (DHF) Using the Support Vector Machine and the Aedes aegypti Infection Rate in Similar Climates and Geographical Areas

In the past few decades, several researchers have proposed highly accurate prediction models that have typically relied on climate parameters. However, climate factors can be unreliable and can lower the effectiveness of prediction when they are applied in locations where climate factors do not differ significantly. The purpose of this study was to improve a dengue surveillance system in areas with similar climate by exploiting the infection rate in the Aedes aegypti mosquito and using the support vector machine (SVM) technique for forecasting the dengue morbidity rate.



Areas with high incidence of dengue outbreaks in central Thailand were studied. The proposed framework consisted of the following three major parts: 1) data integration, 2) model construction, and 3) model evaluation. We discovered that the Ae. aegypti female and larvae mosquito infection rates were significantly positively associated with the morbidity rate. Thus, the increasing infection rate of female mosquitoes and larvae led to a higher number of dengue cases, and the prediction performance increased when those predictors were integrated into a predictive model. In this research, we applied the SVM with the radial basis function (RBF) kernel to forecast the high morbidity rate and take precautions to prevent the development of pervasive dengue epidemics. The experimental results showed that the introduced parameters significantly increased the prediction accuracy to 88.37% when used on the test set data, and these parameters led to the highest performance compared to state-of-the-art forecasting models.



The infection rates of the Ae. aegypti female mosquitoes and larvae improved the morbidity rate forecasting efficiency better than the climate parameters used in classical frameworks. We demonstrated that the SVM-R-based model has high generalization performance and obtained the highest prediction performance compared to classical models as measured by the accuracy, sensitivity, specificity, and mean absolute error (MAE).
Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code

This work presents a study of robot software using the Robot Operating System (ROS), focusing on detecting inconsistencies in physical unit manipulation. We discuss how dimensional analysis, the rules governing how physical quantities are combined, can be used to detect inconsistencies in robot software that are otherwise difficult to detect. Using a corpus of ROS software with 5.9M lines of code, we measure the frequency of these dimensional inconsistencies and find them in 6% (211 / 3,484) of repositories that use ROS. We find that the inconsistency type ‘Assigning multiple units to a variable’ accounts for 75% of inconsistencies in ROS code. We identify the ROS classes and physical units most likely to be involved with dimensional inconsistencies, and find that the ROS Message type geometry_msgs::Twist is involved in over half of all inconsistencies and is used by developers in ways contrary to Twist's intent. We further analyze the frequency of physical units used in ROS programs as a proxy for assessing how developers use ROS, and discuss the practical implications of our results including how to detect and avoid these inconsistencies.
A method to compute distance between two categorical values of same attribute in unsupervised learning for categorical data set

Computation of similarity between categorical data objects in unsupervised learning is an important data mining problem. We propose a method to compute distance between two attribute values of same attribute for unsupervised learning. This approach is based on the fact that similarity of two attribute values is dependent on their relationship with other attributes. Computational cost of this method is linear with respect to number of data objects in data set. To see the effectiveness of our proposed distance measure, we use proposed distance measure with K-mode clustering algorithm to cluster various categorical data sets. Significant improvement in clustering accuracy is observed as compared to clustering results obtained using traditional K-mode clustering algorithm.
Jet lag: trends and coping strategies

The number of travellers undertaking long-distance flights has continued to increase. Such flights are associated with travel fatigue and jet lag, the symptoms of which are considered here, along with their similarities, differences, and causes. Difficulties with jet lag because of sleep loss and decreased performance are emphasised. Since jet lag is caused mainly by inappropriate timing of the body clock in the new time zone, the pertinent properties of the body clock are outlined, with a description of how the body clock can be adjusted. The methods, both pharmacological and behavioural, that have been used to alleviate the negative results of time-zone transitions, are reviewed. The results form the rationale for advice to travellers flying in different directions and crossing several time zones. Finally, there is an account of the main problems that remain unresolved.