nils-herrmann/clean_scirepeval huggingface dataset:
Control of Prosthetic Device Using Support Vector Machine Signal Classification Technique

An appropriate classification of the surface myoelectric signals (MES) allows people with disabilities to control assistive prosthetic devices. The performance of these pattern recognition methods significantly affects the accuracy and smoothness of the target movements. We designed an intelligent Support Vector Machine (SVM) classifier to incorporate potential variations in electrode placement, thus achieving high accuracy for predictive control. MES from seven locations of the forearm were recorded over six different sessions. Despite meticulous attempt to keep the recording locations consistent between trials, slight shifts may still occur affecting the classification performance. We hypothesize that the machine learning algorithm is able to compensate for these variations. The recorded data was first processed using Discrete Wavelet Transform over 9 frequency bands. As a result, a 63-dimension embedding of the wavelet coefficients were used as the training data for the SVM classifiers. For each session of recordings, a new classifier was trained using only the data sets from the previous sessions. The new classifier was then tested with the data obtained in the current session. The performance of the classifier was evaluated by calculating the sensitivity and specificity. The result indicated that after a critical number of recording sessions, the classifier accuracy starts to reach a plateau, meaning that inclusions of new training data will not significant improve the performance of the classifier. It was observed that the effect of electrode placement variations was reduced and that the classification accuracy of >89% can be obtained.
Crowd disasters as systemic failures: analysis of the Love Parade disaster

Each year, crowd disasters happen in different areas of the world. How and why do such disasters happen? Are the fatalities caused by relentless behavior of people or a psychological state of panic that makes the crowd ‘go mad’? Or are they a tragic consequence of a breakdown of coordination? These and other questions are addressed, based on a qualitative analysis of publicly available videos and materials, which document the planning and organization of the Love Parade in Duisburg, Germany, and the crowd disaster on July 24, 2010. Our analysis reveals a number of misunderstandings that have widely spread. We also provide a new perspective on concepts such as ‘intentional pushing’, ‘mass panic’, ‘stampede’, and ‘crowd crushes’. The focus of our analysis is on the contributing causal factors and their mutual interdependencies, not on legal issues or the judgment of personal or institutional responsibilities. Video recordings show that people stumbled and piled up due to a ‘domino effect’, resulting from a phenomenon called ‘crowd turbulence’ or ‘crowd quake’. Crowd quakes are a typical reason for crowd disasters, to be distinguished from crowd disasters resulting from ‘mass panic’ or ‘crowd crushes’. In Duisburg, crowd turbulence was the consequence of amplifying feedback and cascading effects, which are typical for systemic instabilities. Accordingly, things can go terribly wrong in spite of no bad intentions from anyone. Comparing the incident in Duisburg with others, we give recommendations to help prevent future crowd disasters. In particular, we introduce a new scale to assess the criticality of conditions in the crowd. This may allow preventative measures to be taken earlier on. Furthermore, we discuss the merits and limitations of citizen science for public investigation, considering that today, almost every event is recorded and reflected in the World Wide Web.
Intelligent Conversational Bot for Massive Online Open Courses (MOOCs)

Massive Online Open Courses (MOOCs) which were introduced in 2008 has since drawn attention around the world for both its advantages as well as criticism on its drawbacks. One of the issues in MOOCs which is the lack of interactivity with the instructor has brought conversational bot into the picture to fill in this gap. In this study, a prototype of MOOCs conversational bot, MOOC-bot is being developed and integrated into MOOCs website to respond to the learner’s enquiries using text or speech input. MOOC-bot is using the popular Artificial Intelligence Markup Language (AIML) to develop its knowledge base, leverage from AIML’s capability to deliver appropriate responses and can be quickly adapted to new knowledge domains. The system architecture of MOOC-bot consists of knowledge base along with AIML interpreter, chat interface, MOOCs website and Web Speech API to provide speech recognition and speech synthesis capability. The initial MOOC-bot prototype has the general knowledge from the past Loebner Prize winner ALICE, course’s frequent asked questions, and a course’s content offered by Universiti Teknikal Malaysia Melaka (UTeM). The evaluation of MOOC-bot based on the past competition questions from Chatterbox Challenge (CBC) and Loebner Prize has shown that it was able to provide correct answers most of the time during the test and demonstrated the capability to prolong the conversation. The advantages of MOOCbot such as able to provide 24-hour service that can serve different time zones, able to have knowledge in multiple domains, and can be shared by multiple sites simultaneously have outweighed its existing limitations.
Shift-Reduce CCG Parsing

CCGs are directly compatible with binarybranching bottom-up parsing algorithms, in particular CKY and shift-reduce algorithms. While the chart-based approach has been the dominant approach for CCG, the shift-reduce method has been little explored. In this paper, we develop a shift-reduce CCG parser using a discriminative model and beam search, and compare its strengths and weaknesses with the chart-based C&C parser. We study different errors made by the two parsers, and show that the shift-reduce parser gives competitive accuracies compared to C&C. Considering our use of a small beam, and given the high ambiguity levels in an automatically-extracted grammar and the amount of information in the CCG lexical categories which form the shift actions, this is a surprising result.
A 24-GHz transformer-based single-in differential-out CMOS low-noise amplifier

This paper presents a 24-GHz single-in differential-out (SIDO) CMOS low-noise amplifier (LNA) for wireless communication applications. The SIDO LNA utilizes a trifilar transformer inserted between the first and the second stages for the single-to-differential signal conversion. The LNA, fabricated in a 0.13 μm RF CMOS technology, exhibits a differential gain of 14.7 dB, a 3-dB bandwidth of 3.5 GHz (from 22.9 to 26.4 GHz), a noise figure of 4.3 dB, and an input 1-dB compression point (P1dB) of −13 dBm at 24 GHz. The gain and phase difference are 0.6 dB and 0.47°, respectively, which demonstrates well balanced characteristics.
Part-of-Speech Tagging with Neural Networks

Text corpora which are tagged with part-of-speech information are useful in many areas of linguistic research. In this paper, a new part-of-speech tagging method hased on neural networks (Net-Tagger) is presented and its performance is compared to that of a llMM-tagger (Cutting et al., 1992) and a trigrambased tagger (Kempe, 1993). It is shown that the Net-Tagger performs as well as the trigram-based tagger and better than the iIMM-tagger.
An introduction to OpenSimulator and virtual environment agent-based M&S applications

An "agent" in a computer simulation is an object with a dynamic model driving its actions. There are different classifications for agents, for example: autonomous, intelligent, and software. A cell within a cellular automaton might be considered an agent with the complete environment being a multi-agent system. An object containing an artificial intelligence could also be considered an agent. Our purpose is to introduce the "personal" aspect of agents through first-person perspective---by becoming one of the agents in the simulation. When a level of presence on the part of the human's relationship to the agent is incorporated in this fashion, we must incorporate methods found typically within multi-user virtual environments. This tutorial is centered on one particular open-source, multi-user, virtual environment system called OpenSimulator (or OpenSim). We introduce OpenSim to allow the reader an opportunity for understanding how this software is used within the context of agent-based computer simulations.
Ultrasound guided posterior femoral cutaneous nerve block.

The posterior femoral cutaneous nerve (PFCN) is a branch of the sacral plexus. It needs to be implemented as a complementary block for anesthesia or in the surgeries necessitating tourniquet in the suitable cases. We consider target oriented block concept within the PFCN block in the anesthesia implementations with the emergence of ultrasonic regional anesthesia in the practice and with the better understanding of sonoanatomy.
Programming language evolution

Programming languages are the way developers communicate with computers—just like natural languages let us communicate with one another. In both cases multiple languages have evolved. However, the programming language ecosystem changes at a much higher rate compared to natural languages. In fact, programming languages need to constantly evolve in response to user needs, hardware advances and research developments or they are otherwise displaced by newcomers. As a result, existing code written by developers may stop working with a newer language version. Consequently, developers need to search (analyse) and replace (refactor) code in their code bases to support new language versions. Traditionally, tools have focused on the replace aspect (refactoring) to support developers evolving their code bases. This dissertation argues that developers also need machine support focused on the search aspect. This dissertation starts by characterising factors driving programming language evolution based on external versus internal forces. Next, it introduces a classification of changes introduced by language designers that affect developers. It then contributes three techniques to support developers in analysing their code bases. First, we show a source code query system based on graphs that express code queries at a mixture of syntax-tree, type, control-flow graph and data-flow levels. We demonstrate how this system can support developers and language designers in locating various code patterns relevant in evolution. Second, we design an optional run-time type system for Python, that lets developers manually specify contracts to identify semantic incompatibilities between Python 2 and Python 3. Third, recognising that existing codebases do not have such contracts, we describe a dynamic analysis to automatically generate them.
On multi-view feature learning

Sparse coding is a common approach to learning local features for object recognition. Recently, there has been an increasing interest in learning features from spatio-temporal, binocular, or other multi-observation data, where the goal is to encode the relationship between images rather than the content of a single image. We provide an analysis of multi-view feature learning, which shows that hidden variables encode transformations by detecting rotation angles in the eigenspaces shared among multiple image warps. Our analysis helps explain recent experimental results showing that transformation-specific features emerge when training complex cell models on videos. Our analysis also shows that transformation-invariant features can emerge as a by-product of learning representations of transformations.
A survey of recent advances in SAT-based formal verification

Dramatic improvements in SAT solver technology over the last decade and the growing need for more efficient and scalable verification solutions have fueled research in verification methods based on SAT solvers. This paper presents a survey of the latest developments in SAT-based formal verification, including incomplete methods such as bounded model checking and complete methods for model checking. We focus on how the surveyed techniques formulate the verification problem as a SAT problem and how they exploit crucial aspects of a SAT solver, such as application-specific heuristics and conflict-driven learning. Finally, we summarize the noteworthy achievements in this area so far and note the major challenges in making this technology more pervasive in industrial design verification flows.
Sixty years of fear appeal research: current state of the evidence.

Fear arousal is widely used in persuasive campaigns and behavioral change interventions. Yet, experimental evidence argues against the use of threatening health information. The authors reviewed the current state of empirical evidence on the effectiveness of fear appeals. Following a brief overview of the use of fear arousal in health education practice and the structure of effective fear appeals according to two main theoretical frameworks-protection motivation theory and the extended parallel process model-the findings of six meta-analytic studies in the effectiveness of fear appeals are summarized. It is concluded that coping information aimed at increasing perceptions of response effectiveness and especially self-efficacy is more important in promoting protective action than presenting threatening health information aimed at increasing risk perceptions and fear arousal. Alternative behavior change methods than fear appeals should be considered.
Neural network controller based on PID using an extended Kalman filter algorithm for multi-variable non-linear control system

The Proportional Integral Derivative (PID) controller is widely used in the industrial control application, which is only suitable for the single input/single output (SISO) with known-parameters of the linear system. However, many researchers have been proposed the neural network controller based on PID (NNPID) to apply for both of the single and multi-variable control system but the NNPID controller that uses the conventional gradient descent-learning algorithm has many disadvantages such as a low speed of the convergent stability, difficult to set initial values, especially, restriction of the degree of system complexity. Therefore, this paper presents an improvement of recurrent neural network controller based on PID, including a controller structure improvement and a modified extended Kalman filter (EKF) learning algorithm for weight update rule, called ENNPID controller. We apply the proposed controller to the dynamic system including inverted pendulum, and DC motor system by the MATLAB simulation. From our experimental results, it shows that the performance of the proposed controller is higher than the other PID-like controllers in terms of fast convergence and fault tolerance that are highly required.
Active Object Categorization on a Humanoid Robot

We present a Bag of Words-based active object categorization technique implemented and tested on a humanoid robot. The robot is trained to categorize objects that are handed to it by a human operator. The robot uses hand and head motions to actively acquire a number of different views. A view planning scheme using entropy minimization reduces the number of views needed to achieve a valid decision. Categorization results are significantly improved by active elimination of background features using robot arm motion. Our experiments cover both, categorization when the object is handed to the robot in a fixed pose at training and testing, and object pose independent categorization. Results on a 4-class object database demonstrate the classification efficiency, a significant gain from multi-view compared to single-view classification, and the advantage of view planning. We conclude that humanoid robotic systems can be successfully applied to actively categorize objects a task with many potential applications ranging from edutainment to active surveillance.
Temporal interpretation, discourse relations and commonsense entailment

This paper presents a formal account of how to determine the discourse relations between propositions introduced in a text and the relations between the events they describe The distinct natural interpretations of texts with similar syntax are explained in terms of defeasible rules These characterise the e ects of causal knowledge and knowledge of language use on interpretation Patterns of defeasible entailment that are supported by the logic in which the theory is expressed are shown to underly temporal interpretation The Problem of Temporal Relations An essential part of text interpretation involves calculating the relations between the events described But sentential syntax and compositional semantics alone don t provide the basis for doing this The sentences in and have the same syntax and so using compositional semantics one would predict that the events stand in similar temporal relations Max stood up John greeted him Max fell John pushed him But in the order in which the events are described matches their temporal order whereas in descriptive order mismatches temporal order At least these are the natural interpre tations of and unless the reader has information to the contrary Similarly the syntax of the sentences in texts and are similar but the natural interpretations are di erent Max opened the door The room was pitch dark Max switched o the light The room was pitch dark The event and state in temporally overlap whereas in they do not An adequate account of temporal interpretation must capture these distinctions We would like to thank Mimo Caenepeel Hans Kamp Marc Moens Michael Morreau Jon Oberlander Je Pelletier and two anonymous reviewers for their helpful comments The support of the Science and Engineering Research Council through project number GR G is gratefully acknowledged HCRC is supported by the Economic and Social Research Council
SensoTube: A Scalable Hardware Design Architecture for Wireless Sensors and Actuators Networks Nodes in the Agricultural Domain

Wireless Sensor and Actuators Networks (WSANs) constitute one of the most challenging technologies with tremendous socio-economic impact for the next decade. Functionally and energy optimized hardware systems and development tools maybe is the most critical facet of this technology for the achievement of such prospects. Especially, in the area of agriculture, where the hostile operating environment comes to add to the general technological and technical issues, reliable and robust WSAN systems are mandatory. This paper focuses on the hardware design architectures of the WSANs for real-world agricultural applications. It presents the available alternatives in hardware design and identifies their difficulties and problems for real-life implementations. The paper introduces SensoTube, a new WSAN hardware architecture, which is proposed as a solution to the various existing design constraints of WSANs. The establishment of the proposed architecture is based, firstly on an abstraction approach in the functional requirements context, and secondly, on the standardization of the subsystems connectivity, in order to allow for an open, expandable, flexible, reconfigurable, energy optimized, reliable and robust hardware system. The SensoTube implementation reference model together with its encapsulation design and installation are analyzed and presented in details. Furthermore, as a proof of concept, certain use cases have been studied in order to demonstrate the benefits of migrating existing designs based on the available open-source hardware platforms to SensoTube architecture.
Information Theoretic Subspace Clustering

This paper addresses the problem of grouping the data points sampled from a union of multiple subspaces in the presence of outliers. Information theoretic objective functions are proposed to combine structured low-rank representations (LRRs) to capture the global structure of data and information theoretic measures to handle outliers. In theoretical part, we point out that group sparsity-induced measures (ℓ2,1-norm, ℓα-norm, and correntropy) can be justified from the viewpoint of halfquadratic (HQ) optimization, which facilitates both convergence study and algorithmic development. In particular, a general formulation is accordingly proposed to unify HQ-based group sparsity methods into a common framework. In algorithmic part, we develop information theoretic subspace clustering methods via correntropy. With the help of Parzen window estimation, correntropy is used to handle either outliers under any distributions or sample-specific errors in data. Pairwise link constraints are further treated as a prior structure of LRRs. Based on the HQ framework, iterative algorithms are developed to solve the nonconvex information theoretic loss functions. Experimental results on three benchmark databases show that our methods can further improve the robustness of LRR subspace clustering and outperform other state-of-the-art subspace clustering methods.
Why we tag: motivations for annotation in mobile and online media

Why do people tag? Users have mostly avoided annotating media such as photos -- both in desktop and mobile environments -- despite the many potential uses for annotations, including recall and retrieval. We investigate the incentives for annotation in Flickr, a popular web-based photo-sharing system, and ZoneTag, a cameraphone photo capture and annotation tool that uploads images to Flickr. In Flickr, annotation (as textual tags) serves both personal and social purposes, increasing incentives for tagging and resulting in a relatively high number of annotations. ZoneTag, in turn, makes it easier to tag cameraphone photos that are uploaded to Flickr by allowing annotation and suggesting relevant tags immediately after capture.
 A qualitative study of ZoneTag/Flickr users exposed various tagging patterns and emerging motivations for photo annotation. We offer a taxonomy of motivations for annotation in this system along two dimensions (sociality and function), and explore the various factors that people consider when tagging their photos. Our findings suggest implications for the design of digital photo organization and sharing applications, as well as other applications that incorporate user-based annotation.
Load Disaggregation Based on Aided Linear Integer Programming

Load disaggregation based on aided linear integer programming (ALIP) is proposed. We start with a conventional linear integer programming (IP)-based disaggregation and enhance it in several ways. The enhancements include additional constraints, correction based on a state diagram, median filtering, and linear-programming-based refinement. With the aid of these enhancements, the performance of IP-based disaggregation is significantly improved. The proposed ALIP system relies only on the instantaneous load samples instead of waveform signatures and, hence, works well on low-frequency data. Experimental results show that the proposed ALIP system performs better than conventional IP-based load disaggregation.
Balancing minimum spanning trees and shortest-path trees

We give a simple algorithm to find a spanning tree that simultaneously approximates a shortest-path tree and a minimum spanning tree. The algorithm provides a continuous tradeoff: given the two trees and aγ>0, the algorithm returns a spanning tree in which the distance between any vertex and the root of the shortest-path tree is at most 1+√2γ times the shortest-path distance, and yet the total weight of the tree is at most 1+√2/γ times the weight of a minimum spanning tree. Our algorithm runs in linear time and obtains the best-possible tradeoff. It can be implemented on a CREW PRAM to run a logarithmic time using one processor per vertex.