nils-herrmann/clean_scirepeval huggingface dataset:
Sentiment Knowledge Discovery in Twitter Streaming Data

Micro-blogs are a challenging new source of information for data mining techniques. Twitter is a micro-blogging service built to discover what is happening at any moment in time, anywhere in the world. Twitter messages are short, and generated constantly, and well suited for knowledge discovery using data stream mining. We briefly discuss the challenges that Twitter data streams pose, focusing on classification problems, and then consider these streams for opinion mining and sentiment analysis. To deal with streaming unbalanced classes, we propose a sliding window Kappa statistic for evaluation in time-changing data streams. Using this statistic we perform a study on Twitter data using learning algorithms for data streams.
Wideband Dual-Polarized Magnetically Coupled Patch Antenna Array With High Port Isolation

A dual-polarized magnetically coupled patch antenna array with high isolation is presented in this paper. The proposed 1×2 antenna array is composed of two square patches printed on the horizontal substrate, two pairs of feeding structures printed on the two vertical substrates, a pair of metal cavities and a novel artificial periodic structures (APS) composed of metal strips etched vertically on the ground plane. Each feeding structure is orthogonally mounted and excites the square patch magnetically. The feeding structure comprises a metal loop or quasi-loop printed on one side of the vertical substrate and an open-ended transmission line printed on the other side. The metal cavities and APS can further improve the port isolation between array elements. The simulation and measurement results of single antenna element demonstrate its extremely high port isolation (better than 45 dB over 20% impendence bandwidth for VSWR <;1.5). For the array, numerical and experimental results show that the port isolation with same polarization can be improved to over 45 dB across the frequency band of 2.5-2.7 GHz. The proposed antenna array achieves wide bandwidth with very high isolation, high gain, and high radiation efficiency.
External Data Access And Indexing In AsterixDB

Traditional database systems offer rich query interfaces (SQL) and efficient query execution for data that they store. Recent years have seen the rise of Big Data analytics platforms offering query-based access to "raw" external data, e.g., file-resident data (often in HDFS). In this paper, we describe techniques to achieve the qualities offered by DBMSs when accessing external data. This work has been built into Apache AsterixDB, an open source Big Data Management System. We describe how we build distributed indexes over external data, partition external indexes, provide query consistency across access paths, and manage external indexes amidst concurrent activities. We compare the performance of this new AsterixDB capability to an external-only solution (Hive) and to its internally managed data and indexes.
A Lyapunov approach to the stability of fractional differential equations

Lyapunov stability of fractional differential equations is addressed in this paper. The key concept is the frequency distributed fractional integrator model, which is the basis for a global state space model of FDEs. Two approaches are presented: the direct one is intuitive but it leads to a large dimension parametric problem while the indirect one, which is based on the continuous frequency distribution, leads to a parsimonious solution. Two examples, with linear and nonlinear FDEs, exhibit the main features of this new methodology. & 2010 Elsevier B.V. All rights reserved.
A 5.8-Gb/s Adaptive Integrating Duobinary DFE Receiver for Multi-Drop Memory Interface

This paper describes a 5.8 Gb/s adaptive integrating duobinary decision-feedback equalizer (DFE) for use in next-generation multi-drop memory interface. The proposed receiver combines traditional interface techniques like the integrated signaling and the duobinary signaling, in which the duobinary signal is generated by current integration in the receiver. It can address issues such as input data dependence during integration, need for precursor equalization, high equalizer gain boosting, and sensitivity to high-frequency noise. The proposed receiver also alleviates DFE critical timing to provide gain in speed, and embed DFE taps in duobinary decoding to provide gain in power and area. The adaptation for adjusting the equalizer common-mode level, duobinary zero level, tap coefficient values, and timing recovery is incorporated. The proposed DFE receiver was fabricated in a 45 nm CMOS process, whose measurement results indicated that it worked at 5.8 Gb/s speed in a four-drop channel configuration with seven slave ICs, and the bathtub curve shows 36% open for  $10^{-10}$  bit error rate.
Eastern meditative techniques and hypnosis: a new synthesis.

In this article major ancient Buddhist meditation techniques, samatha, vipassana, Zen, and ton-len, will be described in reference to contemporary clinical hypnosis. In so doing, the Eastern healing framework out of which these techniques emerged is examined in comparison with and in contrast to its Western counterpart. A growing body of empirical literature shows that meditation and hypnosis have many resemblances despite the distinct differences in underlying philosophy and technical methodologies. Although not all meditation techniques "fit" the Western culture, each has much to offer to clinicians who are familiar with hypnosis.
Student Emotion, Co-occurrence, and Dropout in a MOOC Context

This paper discusses self-reported emotions experienced by students in a Massive Open Online Course (MOOC) learning context. Emotions have been previously shown to be related to learning in classrooms and laboratory studies and have even been leveraged to improve learning. In this study, frequently occurring discrete emotions as well as frequently, co-occurring pairs of emotions were analyzed during learning with a MOOC. Both discrete and co-occurring emotions were related to students dropping out of the course, illustrating the importance of student emotion in a MOOC context.
Pseudo-analysis approach to nonlinear partial differential equations

An overview of methods of pseudo-analysis in applications on important classes of nonlinear partial differential equations, occurring in different fields, is given. Hamilton-Jacobi equations, specially important in the control theory, are for important models usually with non-linear Hamiltonian H which is also not smooth, e.g., the absolute value, min or max operations, where it can not apply the classical mathematical analysis. Using the pseudo-analysis with generalized pseudo-convolution it is possible to obtain solutions which can be interpreted in the mentioned classical way. Another important classes of nonlinear equations, where there are applied the pseudo-analysis, are the Burgers type equations and Black and Shole equation in option pricing. Very recent applications of pseudo-analysis are obtained on equations which model fluid mechanics (Navier-Stokes equation) and image processing (Perona and Malik equation).
Stacked Convolutional and Recurrent Neural Networks for Music Emotion Recognition

This paper studies the emotion recognition from musical tracks in the 2-dimensional valence-arousal (V-A) emotional space. We propose a method based on convolutional (CNN) and recurrent neural networks (RNN), having significantly fewer parameters compared with state-of-theart method for the same task. We utilize one CNN layer followed by two branches of RNNs trained separately for arousal and valence. The method was evaluated using the “MediaEval2015 emotion in music” dataset. We achieved an RMSE of 0.202 for arousal and 0.268 for valence, which is the best result reported on this dataset.
Python for Prototyping Computer Vision Applications

Python is a popular language widely adopted by the scientific community due to its clear syntax and an extensive number of specialized packages. For image processing or computer vision development, two libraries are prominently used: NumPy/SciPy and OpenCV with a Python wrapper. In this paper, we present a comparative evaluation of both libraries, assessing their performance and their usability. We also investigate the performance of OpenCV when accessed through a python wrapper versus directly using the native C implementation.
Permittivity and Loss Tangent Characterization for Garment Antennas Based on a New Matrix-Pencil Two-Line Method

The emergence of wearable antennas to be integrated into garments has revealed the need for a careful electromagnetic characterization of textile materials. Therefore, we propose in this paper a new matrix-pencil two-line method that removes perturbations in the calculated effective permittivity and loss tangent which are caused by imperfect deembedding and inhomogeneities of the textile microstrip line structure. The approach has been rigorously validated for high-frequency laminates by comparing measured and simulated data for the resonance frequency of antennas designed using the calculated parameters. The method has been successfully applied to characterize the permittivity and loss tangent of a variety of textile materials and up to a frequency of 10 GHz. Furthermore it is shown that the use of electrotextiles in antenna design influences the effective substrate permittivity.
City traffic forecasting using taxi GPS data: A coarse-grained cellular automata model

City traffic is a dynamic system of enormous complexity. Modeling and predicting city traffic flow remains to be a challenge task and the main difficulties are how to specify the supply and demands and how to parameterize the model. In this paper we attempt to solve these problems with the help of large amount of floating car data. We propose a coarse-grained cellular automata model that simulates vehicles moving on uniform grids whose size are much larger compared with the microscopic cellular automata model. The car-car interaction in the microscopic model is replaced by the coupling between vehicles and coarse-grained state variables in our model. To parameterize the model, flux-occupancy relations are fitted from the historical data at every grids, which serve as the coarse-grained fundamental diagrams coupling the occupancy and speed. To evaluate the model, we feed it with the historical travel demands and trajectories obtained from the floating car data and use the model to predict road speed one hour into the future. Numerical results show that our model can capture the traffic flow pattern of the entire city and make reasonable predictions. The current work can be considered a prototype for a model-based forecasting system for city traffic.
Recurrent Inference Machines for Accelerated MRI Reconstruction

Accelerated MRI reconstruction is important for making MRI faster and thus applicable in a broader range of problem domains. Computational tools allow for high-resolution imaging without the need to perform time-consuming measurements. Most recently, deep learning approaches have been applied to this problem. However, none of these methods have been shown to transfer well across different measurement settings. We propose to use Recurrent Inference Machines as a framework for accelerated MRI, which allows us to leverage the power of deep learning without explicit domain knowledge. We show in experiments that the model can generalize well across different setups, while at the same time it outperforms another deep learning method and a compressed sensing approach.
Generation of Test Cases from Software Requirements Using Natural Language Processing

Software testing plays an important role in early verification of software systems and it enforces quality in the system under development. One of the challenging tasks in the software testing is generation of software test cases. There are many existing approaches to generate test cases like using uses case, activity diagrams and sequence diagrams; they have their own limitations such as inability to capture test cases for non functional requirements and etc. Thus these techniques have restricted use in acceptance testing and are not effective for verification & acceptance of large software system. If software requirements are stated using semi-formal or formal methods then it is difficult for the testers and other third party domain experts to test the system. It also requires much expertise in interpreting requirements and only limited number of persons can understand them. This paper proposes an approach to generate test case from software requirements expressed in natural language using natural language processing technique.
Lens on the Endpoint: Hunting for Malicious Software Through Endpoint Data Analysis

Organizations are facing an increasing number of criminal threats ranging from opportunistic malware to more advanced targeted attacks. While various security technologies are available to protect organizations’ perimeters, still many breaches lead to undesired consequences such as loss of proprietary information, financial burden, and reputation defacing. Recently, endpoint monitoring agents that inspect system-level activities on user machines started to gain traction and be deployed in the industry as an additional defense layer. Their application, though, in most cases is only for forensic investigation to determine the root cause of an incident. In this paper, we demonstrate how endpoint monitoring can be proactively used for detecting and prioritizing suspicious software modules overlooked by other defenses. Compared to other environments in which host-based detection proved successful, our setting of a large enterprise introduces unique challenges, including the heterogeneous environment (users installing software of their choice), limited ground truth (small number of malicious software available for training), and coarse-grained data collection (strict requirements are imposed on agents’ performance overhead). Through applications of clustering and outlier detection algorithms, we develop techniques to identify modules with known malicious behavior, as well as modules impersonating popular benign applications. We leverage a large number of static, behavioral and contextual features in our algorithms, and new feature weighting methods that are resilient against missing attributes. The large majority of our findings are confirmed as malicious by anti-virus tools and manual investigation by experienced security analysts.
The Usability of Open Source Software

Twidale Open source communities have successfully developed a great deal of software although most computer users only use proprietary applications. The usability of open source software is often regarded as one reason for this limited distribution. In this paper we review the existing evidence of the usability of open source software and discuss how the characteristics of open source development influence usability. We describe how existing human-computer interaction techniques can be used to leverage distributed networked communities, of developers and users, to address issues of usability.
\pi Match: Monocular vSLAM and Piecewise Planar Reconstruction Using Fast Plane Correspondences

This paper proposes πMatch, a monocular SLAM pipeline that, in contrast to current state-of-the-art feature-based methods, provides a dense Piecewise Planar Reconstruction (PPR) of the scene. It builds on recent advances in planar segmentation from affine correspondences (ACs) for generating motion hypotheses that are fed to a PEaRL framework which merges close motions and decides about multiple motion situations. Among the selected motions, the camera motion is identified and refined, allowing the subsequent refinement of the initial plane estimates. The high accuracy of this two-view approach allows a good scale estimation and a small drift in scale is observed, when compared to prior monocular methods. The final discrete optimization step provides an improved PPR of the scene. Experiments on the KITTI dataset show the accuracy of πMatch and that it robustly handles situations of multiple motions and pure rotation of the camera. A Matlab implementation of the pipeline runs in about 0.7 s per frame.
A collaborative approach for semantic time-based video annotation using gamification

Efficient access to large scale video assets, may it be our life memories in our hard drive or a broadcaster archive which the company is eager to sell, requires content to be conveniently annotated. Manually annotating video content is, however, an intellectually expensive and time-consuming process. In this paper we argue that crowdsourcing, an approach that relies on a remote task force to perform activities that are costly or time-consuming using traditional methods, is a suitable alternative and we describe a solution based on gamification mechanisms for collaboratively collecting timed metadata. Tags introduced by registered players are validated based on a collaborative scoring mechanism that excludes erratic annotations. Voting mechanisms, enabling users to approve or refuse existing tags, provide an extra guarantee on the quality of the annotations. The sense of community is also created as users may watch the crowd’s favourite moments of the video provided by a summarization functionality. The system was tested with a pool of volunteers in order to evaluate the quality of the contributions. The results suggest that crowdsourced annotation can describe objects, persons, places, etc. correctly, as well as be very accurate in time.
Usability, quality, value and e-learning continuance decisions

Previous research suggests that an eventual information technology (IT) success depend on both its initial adoption (acceptance) and subsequent continued usage (continuance). Expectancy disconfirmation theory (EDT) has been successfully used to predict users intention to continue using information technologies. This study proposed a decomposed EDT model to examine cognitive beliefs and affect that influence users continuance decision in the context of e-learning service. The proposed model extended EDT by decomposing the perceived performance component into usability, quality, and value. Research hypotheses derived from this model are empirically validated using the responses to a survey on e-learning usage among 183 users. The results suggest that users continuance intention is determined by satisfaction, which in turn is jointly determined by perceived usability, perceived quality, perceived value, and usability disconfirmation.
Bach in a Box: The Evolution of Four Part Baroque Harmony Using the Genetic Algorithm

harmony. The rules governing Baroque harmony have been carefully laid out by musical scholars, and the size of this search space becomes tractable if we are given a melody and a key signature to work with. Music is easily represented in numerical form, and is thus an obvious candiake for computer mnipulation. In this paper, we investigate a system using the genetic algorithm that is capable of generating well constructed Baroque-style harmonies given a user-dejined melody. rhythmic system is uncountably vast. In this paper, we look at a s naf 1 subsection of this space: Baroque
In situ-forming hydrogels--review of temperature-sensitive systems.

In the past few years, an increasing number of in situ-forming systems have been reported in the literature for various biomedical applications, including drug delivery, cell encapsulation, and tissue repair. There are several possible mechanisms that lead to in situ gel formation: solvent exchange, UV-irradiation, ionic cross-linkage, pH change, and temperature modulation. The thermosensitive approach can be advantageous for particular applications as it does not require organic solvents, co-polymerization agents, or an externally applied trigger for gelation. In the last 2 decades, several thermosensitive formulations have been proposed. This manuscript focuses on aqueous polymeric solutions that form implants in situ in response to temperature change, generally from ambient to body temperature. It mainly reviews the characterization and use of polysaccharides, N-isopropylacrylamide copolymers, poly(ethylene oxide-b-propylene oxide-b-ethylene oxide) (poloxamer) and its copolymers, poly(ethylene oxide)/(D,L-lactic acid-co-glycolic acid) copolymers, and thermosensitive liposome-based systems.
M-SAC-VLADNet: A Multi-Path Deep Feature Coding Model for Visual Classification

Vector of locally aggregated descriptor (VLAD) coding has become an efficient feature coding model for retrieval and classification. In some recent works, the VLAD coding method is extended to a deep feature coding model which is called NetVLAD. NetVLAD improves significantly over the original VLAD method. Although the NetVLAD model has shown its potential for retrieval and classification, the discriminative ability is not fully researched. In this paper, we propose a new end-to-end feature coding network which is more discriminative than the NetVLAD model. First, we propose a sparsely-adaptive and covariance VLAD model. Next, we derive the back propagation models of all the proposed layers and extend the proposed feature coding model to an end-to-end neural network. Finally, we construct a multi-path feature coding network which aggregates multiple newly-designed feature coding networks for visual classification. Some experimental results show that our feature coding network is very effective for visual classification.
Classification of behaviour in housed dairy cows using an accelerometer-based activity monitoring system

Advances in bio-telemetry technology have made it possible to automatically monitor and classify behavioural activities in many animals, including domesticated species such as dairy cows. Automated behavioural classification has the potential to improve health and welfare monitoring processes as part of a Precision Livestock Farming approach. Recent studies have used accelerometers and pedometers to classify behavioural activities in dairy cows, but such approaches often cannot discriminate accurately between biologically important behaviours such as feeding, lying and standing or transition events between lying and standing. In this study we develop a decision-tree algorithm that uses tri-axial accelerometer data from a neck-mounted sensor to both classify biologically important behaviour in dairy cows and to detect transition events between lying and standing. Data were collected from six dairy cows that were monitored continuously for 36 h. Direct visual observations of each cow were used to validate the algorithm. Results show that the decision-tree algorithm is able to accurately classify three types of biologically relevant behaviours: lying (77.42 % sensitivity, 98.63 % precision), standing (88.00 % sensitivity, 55.00 % precision), and feeding (98.78 % sensitivity, 93.10 % precision). Transitions between standing and lying were also detected accurately with an average sensitivity of 96.45 % and an average precision of 87.50 %. The sensitivity and precision of the decision-tree algorithm matches the performance of more computationally intensive algorithms such as hidden Markov models and support vector machines. Biologically important behavioural activities in housed dairy cows can be classified accurately using a simple decision-tree algorithm applied to data collected from a neck-mounted tri-axial accelerometer. The algorithm could form part of a real-time behavioural monitoring system in order to automatically detect dairy cow health and welfare status.