nils-herrmann/clean_scirepeval huggingface dataset:
Processor Scheduling in Shared Memory Multiprossors

Existing work indicates that the commonly used “single queue of runnable tasks” approach to scheduling shared memory multiprocessors can perform very poorly in a multiprogrammed parallel processing environment. A more promising approach is the class of “two-level schedulers” in which the operating system deals solely with allocating processors to jobs while the individual jobs themselves perform task dispatching on those processors.
In this paper we compare two basic varieties of two-level schedulers. Those of the first type, static, make a single decision per job regarding the number of processors to allocate to it. Once the job has received its allocation, it is guaranteed to have exactly that number of processors available to it whenever it is active. The other class of two-level scheduler, dynamic, allows each job to acquire and release processors during its execution. By responding to the varying parallelism of the jobs, the dynamic scheduler promises higher processor utilizations at the cost of potentially greater scheduling overhead and more complicated application level task control policies.
Our results, obtained via simulation, highlight the tradeoffs between the static and dynamic approaches. We investigate how the choice of policy is affected by the cost of switching a processor from one job to another. We show that for a wide range of plausible overhead values, dynamic scheduling is superior to static scheduling. Within the class of static schedulers, we show that, in most cases, a simple “run to completion” scheme is preferable to a round-robin approach. Finally, we investigate different techniques for tuning the allocation decisions required by the dynamic policies and quantify their effects on performance.
We believe our results are directly applicable to many existing shared memory parallel computers, which for the most part currently employ a simple “single queue of tasks” extension of basic sequential machine schedulers. We plan to validate our results in future work through implementation and experimentation on such a system.
An Efficient Homomorphic Encryption Protocol for Multi-User Systems

The homomorphic encryption problem has been an open one for three decades. Recently, Gentry has proposed a full solution. Subsequent works have made improvements on it. However, the time complexities of these algorithms are still too high for practical use. For example, Gentry’s homomorphic encryption scheme takes more than 900 seconds to add two 32 bit numbers, and more than 67000 seconds to multiply them. In this paper, we develop a non-circuit based symmetric-key homomorphic encryption scheme. It is proven that the security of our encryption scheme is equivalent to the large integer factorization problem, and it can withstand an attack with up to lnpoly chosen plaintexts for any predetermined , where is the security parameter. Multiplication, encryption, and decryption are almost linear in , and addition is linear in . Performance analyses show that our algorithm runs multiplication in 108 milliseconds and addition in a tenth of a millisecond for = 1024 and = 16. We further consider practical multiple-user data-centric applications. Existing homomorphic encryption schemes only consider one master key. To allow multiple users to retrieve data from a server, all users need to have the same key. In this paper, we propose to transform the master encryption key into different user keys and develop a protocol to support correct and secure communication between the users and the server using different user keys. In order to prevent collusion between some user and the server to derive the master key, one or more key agents can be added to mediate the interaction.
Filtering the surface EMG signal: Movement artifact and baseline noise contamination.

The surface electromyographic (sEMG) signal that originates in the muscle is inevitably contaminated by various noise signals or artifacts that originate at the skin-electrode interface, in the electronics that amplifies the signals, and in external sources. Modern technology is substantially immune to some of these noises, but not to the baseline noise and the movement artifact noise. These noise sources have frequency spectra that contaminate the low-frequency part of the sEMG frequency spectrum. There are many factors which must be taken into consideration when determining the appropriate filter specifications to remove these artifacts; they include the muscle tested and type of contraction, the sensor configuration, and specific noise source. The band-pass determination is always a compromise between (a) reducing noise and artifact contamination, and (b) preserving the desired information from the sEMG signal. This study was designed to investigate the effects of mechanical perturbations and noise that are typically encountered during sEMG recordings in clinical and related applications. The analysis established the relationship between the attenuation rates of the movement artifact and the sEMG signal as a function of the filter band pass. When this relationship is combined with other considerations related to the informational content of the signal, the signal distortion of filters, and the kinds of artifacts evaluated in this study, a Butterworth filter with a corner frequency of 20 Hz and a slope of 12 dB/oct is recommended for general use. The results of this study are relevant to biomechanical and clinical applications where the measurements of body dynamics and kinematics may include artifact sources.
Deep regression for monocular camera-based 6-DoF global localization in outdoor environments

Precise localization of robots is imperative for their safe and autonomous navigation in both indoor and outdoor environments. In outdoor scenarios, the environment typically undergoes significant perceptual changes and requires robust methods for accurate localization. Monocular camera-based approaches provide an inexpensive solution to such challenging problems compared to 3D LiDAR-based methods. Recently, approaches have leveraged deep convolutional neural networks (CNNs) to perform place recognition and they turn out to outperform traditional handcrafted features under challenging perceptual conditions. In this paper, we propose an approach for directly regressing a 6-DoF camera pose using CNNs and a single monocular RGB image. We leverage the idea of transfer learning for training our network as this technique has shown to perform better when the number of training samples are not very high. Furthermore, we propose novel data augmentation in 3D space for additional pose coverage which leads to more accurate localization. In contrast to the traditional visual metric localization approaches, our resulting map size is constant with respect to the database. During localization, our approach has a constant time complexity of O(1) and is independent of the database size and runs in real-time at ∼80 Hz using a single GPU. We show the localization accuracy of our approach on publicly available datasets and that it outperforms CNN-based state-of-the-art methods.
Simplify or help?: text simplification strategies for people with dyslexia

We present a user study for two different automatic strategies that simplify text content for people with dyslexia. The strategies considered are the standard one (replacing a complex word with the most simpler synonym) and a new one that presents several synonyms for a complex word if the user requests them. We compare texts transformed by both strategies with the original text and to a gold standard manually built. The study was undertook by 96 participants, 47 with dyslexia plus a control group of 49 people without dyslexia. To show device independence, for the new strategy we used three different reading devices. Overall, participants with dyslexia found texts presented with the new strategy significantly more readable and comprehensible. To the best of our knowledge, this is the largest user study of its kind.
Automated Usability Testing for Mobile Applications

In this paper we discuss the design and implementation of an automated usability evaluation method for iOS applications. In contrast to common usability testing methods, it is not explicitly necessary to involve an expert or subjects. These circumstances reduce costs, time and personnel expenditures. Professionals are replaced by the automation tool while test participants are exchanged with consumers of the launched application. Interactions of users are captured via a fully automated capturing framework which creates a record of user interactions for each session and sends them to a central server. A usability problem is defined as a sequence of interactions and pattern recognition specified by interaction design patterns is applied to find these problems. Nevertheless, it falls back to the user input for accurate results. Similar to the problem, the solution of the problem is based on the HCI design pattern. An evaluation shows the functionality of our approach compared to a traditional usability evaluation method.
A high efficiency 140W power amplifier based on a single GaN HEMT device for space applications in L-band

This paper deals with the design, manufacture and test of a high efficiency power amplifier for L-band space borne applications. The circuit operates with a single 36 mm gate periphery GaN HEMT power bar die allowing both improved integration and performance as compared with standard HPA design in a similar RF power range. A huge effort dedicated to the device's characterization and modeling has eased the circuit optimization leaning on the multi-harmonics impedances synthesis. Test results demonstrate performance up to 140 W RF output power with an associated 60% PAE for a limited 3.9 dB gain compression under 50 V supply voltage using a single GaN power bar.
Modelling Chatbots with a Cognitive System Allows for a Differentiating User Experience

User Experience is a key differentiator in the era of Digital Disruption. Chatbots are increasingly considered as part of a delighting User Experience. But only a bright  Modelling effort, which is part of holistic Enterprise Modelling, can make a Chatbot effective. In addition, best practices can be applied to achieve or even outperform user expectations. Thanks to Cognitive Systems and associated modelling tools, effective Chatbot dialogs can be developed in an agile manner, while respecting the enterprise
Personalized Recommendations of Locally Interesting Venues to Tourists via Cross-Region Community Matching

You are in a new city. You are not familiar with the places and neighborhoods. You want to know all about the exciting sights, food outlets, and cultural venues that the locals frequent, in particular those that suit your personal interests. Even though there exist many mapping, local search, and travel assistance sites, they mostly provide popular and famous listings such as Statue of Liberty and Eiffel Tower, which are well-known places but may not suit your personal needs or interests. Therefore, there is a gap between what tourists want and what dominant tourism resources are providing. In this work, we seek to provide a solution to bridge this gap by exploiting the rich user-generated location contents in location-based social networks in order to offer tourists the most relevant and personalized local venue recommendations. In particular, we first propose a novel Bayesian approach to extract the social dimensions of people at different geographical regions to capture their latent local interests. We next mine the local interest communities in each geographical region. We then represent each local community using aggregated behaviors of community members. Finally, we correlate communities across different regions and generate venue recommendations to tourists via cross-region community matching. We have sampled a representative subset of check-ins from Foursquare and experimentally verified the effectiveness of our proposed approaches.
Types of Cost in Inductive Concept Learning

Inductive concept learning is the task of learning to assign cases to a discrete set of classes. In real-world applications of concept learning, there are many different types of cost involved. The majority of the machine learning literature ignores all types of cost (unless accuracy is interpreted as a type of cost measure). A few papers have investigated the cost of misclassification errors. Very few papers have examined the many other types of cost. In this paper, we attempt to create a taxonomy of the different types of cost that are involved in inductive concept learning. This taxonomy may help to organize the literature on cost-sensitive learning. We hope that it will inspire researchers to investigate all types of cost in inductive concept learning in more depth.
Robust Estimation in Signal Processing: A Tutorial-Style Treatment of Fundamental Concepts

The word robust has been used in many contexts in signal processing. Our treatment concerns statistical robustness, which deals with deviations from the distributional assumptions. Many problems encountered in engineering practice rely on the Gaussian distribution of the data, which in many situations is well justified. This enables a simple derivation of optimal estimators. Nominal optimality, however, is useless if the estimator was derived under distributional assumptions on the noise and the signal that do not hold in practice. Even slight deviations from the assumed distribution may cause the estimator's performance to drastically degrade or to completely break down. The signal processing practitioner should, therefore, ask whether the performance of the derived estimator is acceptable in situations where the distributional assumptions do not hold. Isn't it robustness that is of a major concern for engineering practice? Many areas of engineering today show that the distribution of the measurements is far from Gaussian as it contains outliers, which cause the distribution to be heavy tailed. Under such scenarios, we address single and multichannel estimation problems as well as linear univariate regression for independently and identically distributed (i.i.d.) data. A rather extensive treatment of the important and challenging case of dependent data for the signal processing practitioner is also included. For these problems, a comparative analysis of the most important robust methods is carried out by evaluating their performance theoretically, using simulations as well as real-world data.
DSIP: A Scalable Inference Accelerator for Convolutional Neural Networks

This paper presents a scalable inference accelerator called a deep-learning specific instruction-set processor (DSIP) to support various convolutional neural networks (CNNs). For CNNs requiring a large amount of computations and memory accesses, a programmable inference system called master–slave instruction set architecture (ISA) is newly proposed to achieve high flexibility, processing speed, and energy efficiency. The master is responsible for sending and receiving feature maps in order to deal with neural networks in a scalable way, and the slave performs CNN operations, such as multiply accumulate, max pooling, and activation functions, on the features received from the master. The master–slave ISA maximizes computation speed by overlapping the off-chip data transmission and the CNN operations, and reduces power consumption by performing the convolution incrementally to reuse input and partial-sum data as maximally as possible. An inference system can be configured by connecting multiple DSIPs in a form of either 1-D or 2-D chain structure in order to enhance computation speed further. To evaluate the proposed accelerator, a prototype chip is implemented and evaluated for AlexNet. Compared to the state-of-the-art accelerator, the DSIP-based system enhances the energy efficiency by 2.17 $\times $ .
Design of High-Performance Filtering Balun Based on TE01δ-Mode Dielectric Resonator

This paper presents a fusion design approach of high-performance filtering balun based on the ringshaped dielectric resonator (DR) for the first time. According to the electromagnetic (EM) field properties of the TE01δ mode of the DR cavity, it can be differentially driven or extracted by reasonably placing the orientations of the feeding probes, which answers for the realization of unbalanced-to-balanced conversion. As a result, the coupling between the resonators can refer to the traditional single-ended design, regardless of the feeding scheme. Based on this, a second-order DR filtering balun is designed by converting a four-port balanced filter to a three-port device. Within the passband, the excellent performance of amplitude balance and 180° phase difference at the balun outputs can be achieved. To improve the stopband rejection by suppressing the spurious responses of the DR cavity, a third-order filtering balun using the hybrid DR and coaxial resonator is designed. It is not rigorously symmetrical, which is different from the traditional designs. The simulated and measured results with good accordance showcase good filter and balun functions at the same time.
The Impact of Internet Addiction on Life Satisfaction and Life Engagement in Young Adults

This study examined the impact of Internet addiction (IA) on life satisfaction and life engagement in young adults. A total of 210 University students participated in the study. Multivariate regression analysis showed that the model was significant and contributes 8% of the variance in life satisfaction (Adjusted R=.080, p<.001) and 2.8% of the variance in life engagement (Adjusted R=.028, p<.05). Unstandardized regression coefficient (B) indicates that one unit increase in raw score of Internet addiction leads to .168 unit decrease in raw score of life satisfaction (B=-.168, p<.001) and .066 unit decrease in raw score of life engagement (B=-.066, p<.05). Means and standard deviations of the scores on IA and its dimensions showed that the most commonly given purposes of Internet are online discussion, adult chatting, online gaming, chatting, cyber affair and watching pornography. Means and standard deviations of the scores on IA and its dimensions across different types of social networking sites further indicate that people who frequently participate in skype, twitter and facebook have relatively higher IA score. Correlations of different aspects of Internet use with major variables indicate significant and positive correlations of Internet use with IA, neglect of duty and virtual fantasies. Implications of the findings for theory, research and practice are discussed.
Automatic verification of competitive stochastic systems

We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate or compete in order to achieve a particular goal. We define a temporal logic called rPATL for expressing quantitative properties of stochastic multi-player games. This logic allows us to reason about the collective ability of a set of players to achieve a goal relating to the probability of an event’s occurrence or the expected amount of cost/reward accumulated. We give an algorithm for verifying properties expressed in this logic and implement the techniques in a probabilistic model checker, as an extension of the PRISM tool. We demonstrate the applicability and efficiency of our methods by deploying them to analyse and detect potential weaknesses in a variety of large case studies, including algorithms for energy management in Microgrids and collective decision making for autonomous systems.
Complete Coverage D * Algorithm for Path Planning of a Floor-Cleaning Mobile Robot

Inspired by the path transform (PT) algorithm of Zelinsky et al. the novel algorithm of complete coverage called complete coverage D* (CCD*) algorithm is developed, based on the D* search of the two-dimensional occupancy grid map of the environment. Unlike the original PT algorithm the CCD* algorithm takes the robot’s dimension into account, with emphasis on safety of motion and reductions of path length and search time. Additionally, the proposed CCD* algorithm has ability to produce new complete coverage path as the environment changes. The algorithms were tested on a Pioneer 3DX mobile robot equipped with a laser range finder.
On the computation offloading at ad hoc cloudlet: architecture and service modes

As mobile devices are equipped with more memory and computational capability, a novel peer-to-peer communication model for mobile cloud computing is proposed to interconnect nearby mobile devices through various short range radio communication technologies to form mobile cloudlets, where every mobile device works as either a computational service provider or a client of a service requester. Though this kind of computation offloading benefits compute-intensive applications, the corresponding service models and analytics tools are remaining open issues. In this paper we categorize computation offloading into three modes: remote cloud service mode, connected ad hoc cloudlet service mode, and opportunistic ad hoc cloudlet service mode. We also conduct a detailed analytic study for the proposed three modes of computation offloading at ad hoc cloudlet.
A Survey on Sentiment Analysis and Opinion Mining Techniques

Sentiment Analysis (SA), an application of Natural Language processing (NLP), has been witnessed a blooming interest over the past decade. It is also known as opinion mining, mood extraction and emotion analysis. The basic in opinion mining is classifying the polarity of text in terms of positive (good), negative (bad) or neutral (surprise). Mood Extraction automates the decision making performed by human. It is the important aspect for capturing public opinion about product preferences, marketing campaigns, political movements, social events and company strategies. In addition to sentiment analysis for English and other European languages, this task is applied on various Indian languages like Bengali, Hindi, Telugu and Malayalam. This paper describes the survey on main approaches for performing sentiment extraction.
Multiplicative Representations for Unsupervised Semantic Role Induction

In unsupervised semantic role labeling, identifying the role of an argument is usually informed by its dependency relation with the predicate. In this work, we propose a neural model to learn argument embeddings from the context by explicitly incorporating dependency relations as multiplicative factors, which bias argument embeddings according to their dependency roles. Our model outperforms existing state-of-the-art embeddings in unsupervised semantic role induction on the CoNLL 2008 dataset and the SimLex999 word similarity task. Qualitative results demonstrate our model can effectively bias argument embeddings based on their dependency role.
COMPARISON OF WIDE BANDGAP SEMICONDUCTORS FOR POWER APPLICATIONS

Recent development advances have allowed silicon (Si) semiconductor technology to approach the theoretical limits of the Si material; however, power device requirements for many applications are at a point that the present Si-based power devices can not handle. The requirements include higher blocking voltages, switching frequencies, efficiency, and reliability. To overcome these limitations, new semiconductor materials for power device applications are needed. For high power requirements, wide band gap semiconductors like silicon carbide (SiC), gallium nitride (GaN), and diamond with their superior electrical properties are likely candidates to replace Si in the near future. This paper compares all the aforementioned wide bandgap semiconductors with respect to their promise and applicability for power applications and predicts the future of power device semiconductor materials.