nils-herrmann/clean_scirepeval huggingface dataset:
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code

Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unaware of or forget about them, defects can be easily introduced. Therefore, it is highly desirable to have tools to automatically extract such rules and also to automatically detect violations. Previous work in this direction focuses on simple function-pair based programming rules and additionally requires programmers to provide rule templates.This paper proposes a general method called PR-Miner that uses a data mining technique called frequent itemset mining to efficiently extract implicit programming rules from large software code written in an industrial programming language such as C, requiring little effort from programmers and no prior knowledge of the software. Benefiting from frequent itemset mining, PR-Miner can extract programming rules in general forms (without being constrained by any fixed rule templates) that can contain multiple program elements of various types such as functions, variables and data types. In addition, we also propose an efficient algorithm to automatically detect violations to the extracted programming rules, which are strong indications of bugs.Our evaluation with large software code, including Linux, PostgreSQL Server and the Apache HTTP Server, with 84K--3M lines of code each, shows that PR-Miner can efficiently extract thousands of general programming rules and detect violations within 2 minutes. Moreover, PR-Miner has detected many violations to the extracted rules. Among the top 60 violations reported by PR-Miner, 16 have been confirmed as bugs in the latest version of Linux, 6 in PostgreSQL and 1 in Apache. Most of them violate complex programming rules that contain more than 2 elements and are thereby difficult for previous tools to detect. We reported these bugs and they are currently being fixed by developers.
Movement Analysis of Rehabilitation Exercises: Distance Metrics for Measuring Patient Progress

Mobility improvement for patients is one of the primary concerns of physiotherapy rehabilitation. Providing the physiotherapist and the patient with a quantified and objective measure of progress can be beneficial for monitoring the patient's performance. In this paper, two approaches are introduced for quantifying patient performance. Both approaches formulate a distance between patient data and the healthy population as the measure of performance. Distance measures are defined to capture the performance of one repetition of an exercise or multiple repetitions of the same exercise. To capture patient progress across multiple exercises, a quality measure and overall score are defined based on the distance measures and are used to quantify the overall performance for each session. The effectiveness of these measures in detecting patient progress is evaluated on rehabilitation data recorded from patients recovering from knee or hip replacement surgery. The results show that the proposed measures are able to capture the trend of patient improvement over the course of rehabilitation. The trend of improvement is not monotonic and differs between patients.
Mobile phone based drunk driving detection

Drunk driving, or officially Driving Under the Influence (DUI) of alcohol, is a major cause of traffic accidents throughout the world. In this paper, we propose a highly efficient system aimed at early detection and alert of dangerous vehicle maneuvers typically related to drunk driving. The entire solution requires only a mobile phone placed in vehicle and with accelerometer and orientation sensor. A program installed on the mobile phone computes accelerations based on sensor readings, and compares them with typical drunk driving patterns extracted from real driving tests. Once any evidence of drunk driving is present, the mobile phone will automatically alert the driver or call the police for help well before accident actually happens. We implement the detection system on Android G1 phone and have it tested with different kinds of driving behaviors. The results show that the system achieves high accuracy and energy efficiency.
A method for the reduction of ship-detection false alarms due to SAR azimuth ambiguity

Due to the finite pulse repetition frequency and non-ideal antenna pattern, the presence of “ghosts” on SAR images of maritime scenes is frequently observed. This phenomenon can lead to an increase in false alarm rate in ship-detection applications. In this paper we propose to use the recently developed “asymmetric mapping and selective filtering” (AM&SF) method for the filtering of azimuth ambiguities on stripmap SAR images as a preliminary step of an adaptive-threshold cell-averaging constant-false-alarm-rate ship-detection algorithm. We show that use of this preliminary filtering step allows us to significantly improve the performance of the ship detection by reducing the false alarm rate, without reducing the detection rate. The proposed framework is positively applied to a couple of Cosmo/SkyMed SAR images.
Design of fuzzy controller for induction heating using DSP

This paper presents the development of fuzzy controller for induction heating temperature control. Induction heating coil can be controlled by single phase sinusoidal pulse width modulation (SPWM) digital signal processor (DSP)-based inverter. DSP is used to store the required commands for generating the necessary waveforms to control the frequency of the inverter through proper design of switching pulses. The SPWM technique produces pure sinusoidal wave of voltage and current output. Fuzzy controller software has been developed in the C++ language. VisSim software is used to experiment with a DSP. The inverter is current-fed and SPWM is used for DC to AC conversion. SPWM normally cuts off high-order harmonic by low-pass filter to produce sine wave power. The LC low-pass filter with cutoff frequency at 300Hz is used. Since low frequency produces ripple to cause transformer and inductance magnetic saturation, the range of frequency is between 100 Hz and 300 Hz. The results of the experiment are presented and show the effectiveness and superiority of this temperature control system.
Building a HighLevel Dataflow System on top of MapReduce: The Pig Experience

Increasingly, organizations capture, transform and analyze enormous data sets. Prominent examples include internet companies and e-science. The Map-Reduce scalable dataflow paradigm has become popular for these applications. Its simple, explicit dataflow programming model is favored by some over the traditional high-level declarative approach: SQL. On the other hand, the extreme simplicity of MapReduce leads to much low-level hacking to deal with the many-step, branching dataflows that arise in practice. Moreover, users must repeatedly code standard operations such as join by hand. These practices waste time, introduce bugs, harm readability, and impede optimizations. Pig is a high-level dataflow system that aims at a sweet spot between SQL and Map-Reduce. Pig offers SQL-style high-level data manipulation constructs, which can be assembled in an explicit dataflow and interleaved with custom Mapand Reduce-style functions or executables. Pig programs are compiled into sequences of Map-Reduce jobs, and executed in the Hadoop Map-Reduce environment. Both Pig and Hadoop are open-source projects administered by the Apache Software Foundation. This paper describes the challenges we faced in developing Pig, and reports performance comparisons between Pig execution and raw Map-Reduce execution.
Anisotropic diffusion map based spectral embedding for 3D CAD model retrieval

In the product life cycle, design reuse can save cost and improve existing products conveniently in most new product development. To retrieve similar models from big database, most search algorithms convert CAD model into a shape descriptor and compute the similarity two models according to a descriptor metric. This paper proposes a new 3D shape matching approach by matching the coordinates directly. It is based on diffusion maps which integrate the rand walk and graph spectral analysis to extract shape features embedded in low dimensional spaces and then they are used to form coordinations for non-linear alignment of different models. These coordinates could capture multi-scale properties of the 3D geometric features and has shown good robustness to noise. The results also have shown better performance compared to the celebrated Eigenmap approach in the 3D model retrieval.
On traveling path and related problems for a mobile station in a rechargeable sensor network

Wireless power transfer is a promising technology to fundamentally address energy problems in a wireless sensor network. To make such a technology work effectively, a vehicle is needed to carry a charger to travel inside the network. On the other hand, it has been well recognized that a mobile base station offers significant advantages over a fixed one. In this paper, we investigate an interesting problem of co-locating the mobile base station on the wireless charging vehicle. We study an optimization problem that jointly optimizes traveling path, stopping points, charging schedule, and flow routing. Our study is carried out in two steps. First, we study an idealized problem that assumes zero traveling time, and develop a provably near-optimal solution to this idealized problem. In the second step, we show how to develop a practical solution with non-zero traveling time and quantify the performance gap between this solution and the unknown optimal solution to the original problem.
Spectral conversion based on maximum likelihood estimation considering global variance of converted parameter

The paper describes a novel spectral conversion method for voice transformation. We perform spectral conversion between speakers using a Gaussian mixture model (GMM) on the joint probability density of source and target features. A smooth spectral sequence can be estimated by applying maximum likelihood (ML) estimation to the GMM-based mapping using dynamic features. However, there is still degradation of the converted speech quality due to an over-smoothing of the converted spectra, which is inevitable in conventional ML-based parameter estimation. In order to alleviate the over-smoothing, we propose an ML-based conversion taking account of the global variance of the converted parameter in each utterance. Experimental results show that the performance of the voice conversion can be improved by using the global variance information. Moreover, it is demonstrated that the proposed algorithm is more effective than spectral enhancement by postfiltering.
Diced cartilage grafts in rhinoplasty surgery: current techniques and applications.

The author has used diced cartilage grafts in nasal surgery for more than 30 years. However, the number of cases and the variety of techniques have increased dramatically over the past 6 years.



The author uses three methods of diced cartilage in rhinoplasty surgery: diced cartilage, diced cartilage wrapped in fascia (with fascia then sewn closed), and diced cartilage covered with fascia (with the recipient area covered with fascia after graft placement). The constructs are highly varied to fit the specific defect. Pieces of diced cartilage without any fascia can be placed in pockets in the peripyriform area, radix, or alongside structural rib grafts.



Over a 2-year period, the author treated 546 rhinoplasty cases in which 79 patients (14 percent) had a total of 91 diced cartilage grafts. There were 34 primary and 45 secondary operations involving the radix (n = 11), half-length grafts (n = 14), full-length dorsum (n = 43), peripyriform (n = 16), infralobule (n = 4), and lateral wall (n = 3). All charts were reviewed for the 256 rhinoplasties performed in 2006 of which 30 patients had 35 diced cartilage grafts. With a median follow-up of 19 months (range, 13 to 25 months), two patients had had revisions unrelated to their diced cartilage grafts. The three most common technical problems were overcorrection, visibility, and junctional step-offs.



Diced cartilage grafts are a valuable addition to rhinoplasty surgery. They are highly flexible and useful throughout the nose. Their use simplifies one of the greatest challenges in all of rhinoplasty--dorsal augmentation. Complications have been relatively minor and their correction relatively simple.
THE AUDIT RISK MODEL UNDER THE RISK OF FRAUD

In this article, we derive an audit risk formula for a simple situation. This formula closely resembles the SAS 47 model when we assume that no material misstatement due to fraud exists. A simple case illustrates how the risk of material misstatement due to management fraud impacts audit risk and how performing special audit procedures to detect such irregularities can decrease overall audit risk. While SAS 53 requires auditors to assess the risk of errors and irregularities and plan the audit to provide reasonable assurance of detecting errors and irregularities, the audit risk model of SAS 47 does not directly address the risk of management fraud. This article develops an audit risk model using the belief-function framework that considers the risks faced by auditors due to random errors, defalcations (employee fraud) and management fraud. We consider two cases. In the first, we consider only affirmative items of evidence and derive an analytical formula for the audit risk. In the second, we consider mixed items of evidence (both affirmative and negative), which models the situation more frequently faced by auditors. We demonstrate that a serious underestimation of audit risk can occur if the audit risk model is used without specifically considering the risks associated with management fraud.
Gualzru's Path to the Advertisement World

This paper describes the genesis of Gualzru, a robot commissioned by a large Spanish technological company to provide advertisement services in open public spaces. Gualzru has to stand by at an interactive panel observing the people passing by and, at some point, select a promising candidate and approach her to initiate a conversation. After a small verbal interaction, the robot is supposed to convince the passerby to walk back to the panel, leaving the rest of the selling task to an interactive software embedded in it. The whole design and building process took less than three years of team composed of five groups at different geographical locations. We describe here the lessons learned during this period of time, from different points of view including the hardware, software, architectural decisions and team collaboration issues.
Visual-Interactive Preprocessing of Time Series Data

Time series data is an important data type in many different application scenarios. Consequently, there are a great variety of approaches for analyzing time series data. Within these approaches different strategies for cleaning, segmenting, representing, normalizing, comparing, and aggregating time series data can be found. When combining these operations, the time series analysis preprocessing workflow has many degrees of freedom. To define an appropriate preprocessing pipeline, the knowledge of experts coming from the application domain has to be included into the design process. Unfortunately, these experts often cannot estimate the effects of the chosen preprocessing algorithms and their parameterizations on the time series. We introduce a system for the visual-interactive exploitation of the preprocessing parameter space. In contrast to ‘black box’-driven approaches designed by computer scientists based on the requirements of domain experts, our system allows these experts to visual-interactively compose time series preprocessing pipelines by themselves. Visual support is provided to choose the right order and parameterization of the preprocessing steps. We demonstrate the usability of our approach with a case study from the digital library domain, in which time-oriented scientific research data has to be preprocessed to realize a visual search and analysis application.
Representation Learning of Multiword Expressions with Compositionality Constraint

Representations of multiword expressions (MWE) are currently learned either from context external to MWEs based on the distributional hypothesis or from the representations of component words based on some composition functions using the compositional hypothesis. However, a distributional method treats MWEs as a non-divisible unit without consideration of component words. Distributional methods also have the data sparseness problem, especially for MWEs. On the other hand, a compositional method can fail if a MWE is non-compositional. In this paper, we propose a hybrid method to learn the representation of MWEs from their external context and component words with a compositionality constraint. This method can make use of both the external context and component words. Instead of simply combining the two kinds of information, we use compositionality measure from lexical semantics to serve as the constraint. The main idea is to learn MWE representations based on a weighted linear combination of both external context and component words, where the weight is based on the compositionality of MWEs. Evaluation on three datasets shows that the performance of this hybrid method is more robust and can improve the representation.
Wide area localization on mobile phones

We present a fast and memory efficient method for localizing a mobile user's 6DOF pose from a single camera image. Our approach registers a view with respect to a sparse 3D point reconstruction. The 3D point dataset is partitioned into pieces based on visibility constraints and occlusion culling, making it scalable and efficient to handle. Starting with a coarse guess, our system only considers features that can be seen from the user's position. Our method is resource efficient, usually requiring only a few megabytes of memory, thereby making it feasible to run on low-end devices such as mobile phones. At the same time it is fast enough to give instant results on this device class.
Classifying the Informative Behaviour of Emoji in Microblogs

Emoji are pictographs commonly used in microblogs as emotion markers, but they can also represent a much wider range of concepts. Additionally, they may occur in different positions within a message (e.g. a tweet), appear in sequences or act as word substitute. Emoji must be considered necessary elements in the analysis and processing of user generated content, since they can either provide fundamental syntactic information, emphasize what is already expressed in the text, or carry meaning that cannot be inferred from the words alone. We collected and annotated a corpus of 2475 tweets pairs with the aim of analyzing and then classifying emoji use with respect to redundancy. The best classification model achieved an F-score of 0.7. In this paper we shortly present the corpus, and we describe the classification experiments, explain the predictive features adopted, discuss the problematic aspects of our approach and suggest future improvements.
Introducing the Occupational Balance Questionnaire (OBQ).

The concept of occupational balance is frequently used in occupational therapy but the fact that it has been defined and measured differently is a limitation. This article introduces the Occupational Balance Questionnaire (OBQ), which focuses on satisfaction with the amount and variation of occupations. It consists of 13 items measured on six-step ordinal scales. It has shown good content validity in a sample of 21 occupational therapists but other psychometric properties have not been investigated. The aim was to investigate the OBQ regarding internal consistency, test-retest reliability, and floor/ceiling effects.



The OBQ was administered twice to a sample selected through convenience sampling. Internal consistency was investigated by Cronbach's alpha and test-retest reliability analysed with Spearman's Rho correlation for the total score and weighted kappa on each item. Potential floor/ceiling effects were explored by checking for the percentage of participants who scored lowest and highest.



The results demonstrated that the OBQ has good internal consistency (Cronbach's alpha 0.936) and sufficient test-retest reliability (Spearman's Rho for the total score was 0.926) and, thus, seems stable over time. No floor or ceiling effect was detected.



The OBQ therefore showed promising reliability, although further instrument development studies to examine its construct validity are required.
Hilbert space embeddings of conditional distributions with applications to dynamical systems

In this paper, we extend the Hilbert space embedding approach to handle conditional distributions. We derive a kernel estimate for the conditional embedding, and show its connection to ordinary embeddings. Conditional embeddings largely extend our ability to manipulate distributions in Hilbert spaces, and as an example, we derive a nonparametric method for modeling dynamical systems where the belief state of the system is maintained as a conditional embedding. Our method is very general in terms of both the domains and the types of distributions that it can handle, and we demonstrate the effectiveness of our method in various dynamical systems. We expect that conditional embeddings will have wider applications beyond modeling dynamical systems.
A Millimeter-Wave (40–45 GHz) 16-Element Phased-Array Transmitter in 0.18-$\mu$ m SiGe BiCMOS Technology

This paper demonstrates a 16-element phased-array transmitter in a standard 0.18-mum SiGe BiCMOS technology for Q-band satellite applications. The transmitter array is based on the all-RF architecture with 4-bit RF phase shifters and a corporate-feed network. A 1:2 active divider and two 1:8 passive tee-junction dividers constitute the corporate-feed network, and three-dimensional shielded transmission-lines are used for the passive divider to minimize area. All signals are processed differentially inside the chip except for the input and output interfaces. The phased-array transmitter results in a 12.5 dB of average power gain per channel at 42.5 GHz with a 3-dB gain bandwidth of 39.9-45.6 GHz. The RMS gain variation is < 1.3 dB and the RMS phase variation is < for all 4-bit phase states at 35-50 GHz. The measured input and output return losses are < -10 dB at 36.6-50 GHz, and <-10 dB at 37.6-50 GHz, respectively. The measured peak-to-peak group delay variation is plusmn 20 ps at 40-45 GHz. The output P-1dB is -5plusmn1.5 dBm and the maximum saturated output power is - 2.5plusmn1.5 dBm per channel at 42.5 GHz. The transmitter shows <1.8 dB of RMS gain mismatch and < 7deg of RMS phase mismatch between the 16 different channels over all phase states. A - 30 dB worst-case port-to-port coupling is measured between adjacent channels at 30-50 GHz, and the measured RMS gain and phase disturbances due to the inter-channel coupling are < 0.15 dB and < 1deg, respectively, at 35-50 GHz. All measurements are obtained without any on-chip calibration. The chip consumes 720 mA from a 5 V supply voltage and the chip size is 2.6times3.2 mm2.
Extracting Topics Based on Word2Vec and Improved Jaccard Similarity Coefficient

To extract key topics from news articles, this paper researches into a new method to discover an efficient way to construct text vectors and improve the efficiency and accuracy of document clustering based on Word2Vec model. This paper proposes a novel algorithm, which combines Jaccard similarity coefficient and inverse dimension frequency to calculate the importance degree between each dimension in text vector and the corresponding document. Text vectors is constructed based on the importance degree and improve the accuracy of text cluster and key topics extraction. The algorithm is also implemented on MapReduce and the efficiency is improved.