nils-herrmann/clean_scirepeval huggingface dataset:
Cognitive Inflexibility Among Ruminators and Nonruminators

Dysphoric people who ruminate about their negative mood experience longer and more intense depressive episodes, yet often persist in ruminating. This study investigated whether a ruminative coping style would be related to a cognitive style marked by perseveration and inflexibility. We examined the performance of ruminators and nonruminators on the Wisconsin Card Sorting Test (WCST), a measure of cognitive flexibility, and tasks measuring related cognitive processes. Ruminators committed significantly more perseverative errors and failed to maintain set significantly more often than nonruminators on the WCST. On an advanced section of the WCST designed for this study, male ruminators exhibited significantly greater inflexibility than male nonruminators. These effects could not be attributed to differences in general intelligence or the presence of depressed mood. Results suggest that rumination may be characterized by, and perhaps prolonged by, an inflexible cognitive style.
Analytical and Experimental Investigation of a Low Torque, Ultra-High Speed Drive System

New application areas are demanding the development of ultra-high speed electrical machines. Significant challenges exist to produce a test bench that is capable of withstanding operating speeds exceeding 500,000 rpm and measuring very low torque values of mNm. This paper describes a purpose built test bench that is able to characterize the operation of an ultra-high speed drive system. Furthermore, the calculation of electromagnetic losses, air friction and critical speeds is presented and a comparison of analytical and experimental results is given. The ultra-high speed machine has an efficiency of 95%, however, in the upper speed ranges the frictional losses become dominant
sEMG-Based Joint Force Control for an Upper-Limb Power-Assist Exoskeleton Robot

This paper investigates two surface electromyogram (sEMG)-based control strategies developed for a power-assist exoskeleton arm. Different from most of the existing position control approaches, this paper develops force control methods to make the exoskeleton robot behave like humans in order to provide better assistance. The exoskeleton robot is directly attached to a user's body and activated by the sEMG signals of the user's muscles, which reflect the user's motion intention. In the first proposed control method, the forces of agonist and antagonist muscles pair are estimated, and their difference is used to produce the torque of the corresponding joints. In the second method, linear discriminant analysis-based classifiers are introduced as the indicator of the motion type of the joints. Then, the classifier's outputs together with the estimated force of corresponding active muscle determine the torque control signals. Different from the conventional approaches, one classifier is assigned to each joint, which decreases the training time and largely simplifies the recognition process. Finally, the extensive experiments are conducted to illustrate the effectiveness of the proposed approaches.
Toward a Quantitative Theory of Self-Generated Complexity

Quantities are defined operationally which qualify as measures of complexity of patterns arising in physical situations. Their main features, distinguishing them from previously used quantities, are the following: (1) they are measuretheoretic concepts, more closely related to Shannon entropy than to computational complexity; and (2) they are observables related to ensembles of patterns, not to individual patterns. Indeed, they are essentially Shannon information needed to specify not individual patterns, but either measure-theoretic or algebraic properties of ensembles of patterns arising in a priori translationally invariant situations. Numerical estimates of these complexities are given for several examples of patterns created by maps and by cellular automata.
Energy-efficient positioning for smartphones using Cell-ID sequence matching

Many emerging location-aware applications require position information. However, these applications rarely use celltower-based localization because of its inaccuracy, preferring instead to use the more energy-hungry GPS.
 In this paper, we present CAPS, a Cell-ID Aided Positioning System. CAPS leverages near-continuous mobility and the position history of a user to achieve significantly better accuracy than the celltower-based approach, while keeping energy overhead low. CAPS is designed based on the insight that users exhibit consistency in routes traveled, and that cell-ID transition points that the user experiences can, on a frequently traveled route, uniquely identify position. To this end, CAPS uses a cell-ID sequence matching technique to estimate current position based on the history of cell-ID and GPS position sequences that match the current cell-ID sequence. We have implemented CAPS on Android-based smartphones and have extensively evaluated it at different locations, and for different platforms and carriers. Our evaluation results show that CAPS can save more than 90% of the energy spent by the positioning system compared to the case where GPS is always used, while providing reasonably accurate position information with errors less than 20% of the celltower-based scheme.
Directed Greybox Fuzzing

Existing Greybox Fuzzers (GF) cannot be effectively directed, for instance, towards problematic changes or patches, towards critical system calls or dangerous locations, or towards functions in the stack-trace of a reported vulnerability that we wish to reproduce. In this paper, we introduce Directed Greybox Fuzzing (DGF) which generates inputs with the objective of reaching a given set of target program locations efficiently. We develop and evaluate a simulated annealing-based power schedule that gradually assigns more energy to seeds that are closer to the target locations while reducing energy for seeds that are further away. Experiments with our implementation AFLGo demonstrate that DGF outperforms both directed symbolic-execution-based whitebox fuzzing and undirected greybox fuzzing. We show applications of DGF to patch testing and crash reproduction, and discuss the integration of AFLGo into Google's continuous fuzzing platform OSS-Fuzz. Due to its directedness, AFLGo could find 39 bugs in several well-fuzzed, security-critical projects like LibXML2. 17 CVEs were assigned.
Improved resolution from subpixel shifted pictures

In this paper we consider the problem of obtaining a picture with improved resolution from an ensemble of K spatially shifted low-resolution pictures. We show that it can be done and provide a procedure for its implementations. The framework and scheme utilized in the generalized multichannel sampling theorem of Papoulis and Brown was found to be an appropriate representation for our problem. The linear channels of this scheme correspond to the processes that produce the low-resolution pictures (by blur and shifts) and to the process of reconstruction. The total process is shown to consist of two distinct degradation-restoration pairs: blurring-deblurring and undersampling-merging. This paper discusses merging. Deblurring (deconvolution) can be done by any desired scheme independent of merging. It is shown that the procedure achieves the claims of super resolution schemes but, unlike many of them, is well posed and robust. This procedure holds for a selected ensemble so that K is not too large and no two of the pictures practially coincide. The number of multiplications per pixel of the improved picture can be reduced to O(K2).
Data Management Challenges in Cloud Computing Infrastructures

The challenge of building consistent, available, and scalable data management systems capable of serving petabytes of data for millions of users has confronted the data management research community as well as large internet enterprises. Current proposed solutions to scalable data management, driven primarily by prevalent application requirements, limit consistent access to only the granularity of single objects, rows, or keys, thereby trading off consistency for high scalability and availability. But the growing popularity of “cloud computing”, the resulting shift of a large number of internet applications to the cloud, and the quest towards providing data management services in the cloud, has opened up the challenge for designing data management systems that provide consistency guarantees at a granularity larger than single rows and keys. In this paper, we analyze the design choices that allowed modern scalable data management systems to achieve orders of magnitude higher levels of scalability compared to traditional databases. With this understanding, we highlight some design principles for systems providing scalable and consistent data management as a service
DONet: A Data-Driven Overlay Network For Efficient Live Media Streaming

This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availability information with a set of partners, and retrieves unavailable data from one or more partners, or supplies available data to partners. We emphasize three salient features of this data-driven design: 1) easy to implement , as it does not have to construct and maintain a complex global structure; 2) efficient, as data forwarding is dynamically determined according to data availability while not restricted by specific directions; and 3) robust and resilient , as the partnerships enable adaptive and quick switching among multi-suppliers. We show through analysis that DONet is scalable with bounded delay. We also address a set of practical challenges for realizing DONet, and propose an efficient memberand partnership management algorithm, together with an intelligent scheduling algorithm that achieves real-time and continuous distribution of streaming contents. We have extensively evaluated the performance of DONet over the PlanetLab. Our experiments, involving almost all the active PlanetLab nodes, demonstrate that DONet achieves quite good streaming quality even under formidable network conditions. Moreover, its control overhead and transmission delay are both kept at low levels. An Internet-based DONet implementation, calledCoolStreaming v.0.9, was released on May 30, 2004, which has attracted over 30000 distinct users with more than 4000 simultaneously being online at some peak times. We discuss the key issues toward designingCoolStreaming in this paper, and present several interesting observations from these large-scale tests; in particular, the larger the overlay size, the better the streaming quality it can deliver.
Limbic-cortical dysregulation: a proposed model of depression.

A working model of depression implicating failure of the coordinated interactions of a distributed network of limbic-cortical pathways is proposed. Resting state patterns of regional glucose metabolism in idiopathic depressed patients, changes in metabolism with antidepressant treatment, and blood flow changes with induced sadness in healthy subjects were used to test and refine this hypothesis. Dorsal neocortical decreases and ventral paralimbic increases characterize both healthy sadness and depressive illness; concurrent inhibition of overactive paralimbic regions and normalization of hypofunctioning dorsal cortical sites characterize disease remission. Normal functioning of the rostral anterior cingulate, with its direct connections to these dorsal and ventral areas, is postulated to be additionally required for the observed reciprocal compensatory changes, since pretreatment metabolism in this region uniquely predicts antidepressant treatment response. This model is offered as an adaptable framework to facilitate continued integration of clinical imaging findings with complementary neuroanatomical, neurochemical, and electrophysiological studies in the investigation of the pathogenesis of affective disorders.
Deep Networks With Large Output Spaces

Deep neural networks have been extremely successful at various image, speech, video recognition tasks because of their ability to model deep structures within the data. However, they are still prohibitively expensive to train and apply for problems containing millions of classes in the output layer. Based on the observation that the key computation common to most neural network layers is a vector/matrix product, we propose a fast locality-sensitive hashing technique to approximate the actual dot product enabling us to scale up the training and inference to millions of output classes. We evaluate our technique on three diverse large-scale recognition tasks and show that our approach can train large-scale models at a faster rate (in terms of steps/total time) compared to baseline methods.
Kolmogorov's theorem and multilayer neural networks

-Taking advantage of techniques developed by Kolmogorov, we give a direct proof of the universal approximation capabilities of perceptron type networks with two hidden layers. From our proof we derive estimates of numbers of hidden units based on properties of the function being approximated and the accuracy of its approximation. Feedforward neural networks, Multilayer perceptron type networks, Sigmoidal activation function, Approximations of continuous functions, Uniform approximation, Universal approximation capabilities, Estimates of number of hidden units, Modulus of continuity.
The ARTEMIS European driving cycles for measuring car pollutant emissions.

In the past 10 years, various work has been undertaken to collect data on the actual driving of European cars and to derive representative real-world driving cycles. A compilation and synthesis of this work is provided in this paper. In the frame of the European research project: ARTEMIS, this work has been considered to derive a set of reference driving cycles. The main objectives were as follows: to derive a common set of reference real-world driving cycles to be used in the frame of the ARTEMIS project but also in the frame of on-going national campaigns of pollutant emission measurements, to ensure the compatibility and integration of all the resulting emission data in the European systems of emission inventory; to ensure and validate the representativity of the database and driving cycles by comparing and taking into account all the available data regarding driving conditions; to include in three real-world driving cycles (urban, rural road and motorway) the diversity of the observed driving conditions, within sub-cycles allowing a disaggregation of the emissions according to more specific driving conditions (congested and free-flow urban). Such driving cycles present a real advantage as they are derived from a large database, using a methodology that was widely discussed and approved. In the main, these ARTEMIS driving cycles were designed using the available data, and the method of analysis was based to some extent on previous work. Specific steps were implemented. The study includes characterisation of driving conditions and vehicle uses. Starting conditions and gearbox use are also taken into account.
SciMAT: A new science mapping analysis software tool

This article presents a new open-source software tool, SciMAT, which performs science mapping analysis within a longitudinal framework. It provides different modules that help the analyst to carry out all the steps of the science mapping workflow. In addition, SciMAT presents three key features that are remarkable in respect to other science mapping software tools: (a) a powerful preprocessing module to clean the raw bibliographical data, (b) the use of bibliometric measures to study the impact of each studied element, and (c) a wizard to configure the analysis.
Imaging cellular network dynamics in three dimensions using fast 3D laser scanning

Spatiotemporal activity patterns in three-dimensionally organized cellular networks are fundamental to the function of the nervous system. Despite advances in functional imaging of cell populations, a method to resolve local network activity in three dimensions has been lacking. Here we introduce a three-dimensional (3D) line-scan technology for two-photon microscopy that permits fast fluorescence measurements from several hundred cells distributed in 3D space. We combined sinusoidal vibration of the microscope objective at 10 Hz with 'smart' movements of galvanometric x-y scanners to repeatedly scan the laser focus along a closed 3D trajectory. More than 90% of cell somata were sampled by the scan line within volumes of 250 μm side length. Using bulk-loading of calcium indicator, we applied this method to reveal spatiotemporal activity patterns in neuronal and astrocytic networks in the rat neocortex in vivo. Two-photon population imaging using 3D scanning opens the field for comprehensive studies of local network dynamics in intact tissue.
A Hybrid Discriminative/Generative Approach for Modeling Human Activities

Accurate recognition and tracking of human activities is an important goal of ubiquitous computing. Recent advances in the development of multi-modal wearable sensors enable us to gather rich datasets of human activities. However, the problem of automatically identifying the most useful features for modeling such activities remains largely unsolved. In this paper we present a hybrid approach to recognizing activities, which combines boosting to discriminatively select useful features and learn an ensemble of static classifiers to recognize different activities, with hidden Markov models (HMMs) to capture the temporal regularities and smoothness of activities. We tested the activity recognition system using over 12 hours of wearable-sensor data collected by volunteers in natural unconstrained environments. The models succeeded in identifying a small set of maximally informative features, and were able identify ten different human activities with an accuracy of 95%.
Enhanced differential super class-AB OTA

A fully differential Super Class AB Operational Transconductance Amplifier (OTA) is presented. To provide additional dynamic current boosting and increased gain-bandwidth product (GBW), not only adaptive biasing techniques has been applied at the differential input stage, but also Local Common Mode Feedback (LCMFB). Additionally, Quasi Floating Gate (QFG) transistors are employed, enhancing the performance of the amplifier. The OTA has been fabricated in a standard 0.5-μm CMOS process. Simulation results yield a slew rate improvement by factor 86 and a GBW enhancement by factor 16 when compared to the class A OTA while driving the same 70-pF load. Supply voltages are ±1-V and the value of the quiescent current is 10 μA. The overhead in terms of quiescent power, silicon area, and noise level is small.
Realtime Ray Tracing on GPU with BVH-based Packet Traversal

Recent GPU ray tracers can already achieve performance competitive to that of their CPU counterparts. Nevertheless, these systems can not yet fully exploit the capabilities of modern GPUs and can only handle medium-sized, static scenes. In this paper we present a BVH-based GPU ray tracer with a parallel packet traversal algorithm using a shared stack. We also present a fast, CPU-based BVH construction algorithm which very accurately approximates the surface area heuristic using streamed binning while still being one order of magnitude faster than previously published results. Furthermore, using a BVH allows us to push the size limit of supported scenes on the GPU: We can now ray trace the 12.7 million triangle Power Plant at 1024 times 1024 image resolution with 3 fps, including shading and shadows.
Analysis of Ethernet-switch traffic shapers for in-vehicle networking applications

Switched Ethernet has been proposed as network technology for automotive and industrial applications.  AVB is a collection of standards that specifies (among other elements) a set of network traffic shaping mechanisms (i.e., rules to regulate the traffic flow) to have guaranteed Quality of Service for Audio/Video traffic. However, in-vehicle control applications like advanced driver-assistance systems require much lower latencies than provided by this standard. Within the context of IEEE TSN (Time Sensitive Networking), three new traffic shaping mechanisms are considered, named Burst Limiting, Time Aware and Peristaltic shaper respectively. In this paper we explain and compare these shapers, we examine their worst case end-to-end latencies analytically and we investigate their behavior through a simulation of a particular setup. We show that the shapers hardly satisfy the requirements for 100Mbps Ethernet, but can come close under further restrictions. We also show the impact the shapers have on AVB traffic.
Growth hormone, IGF-I and insulin and their abuse in sport.

There is widespread anecdotal evidence that growth hormone (GH) is used by athletes for its anabolic and lipolytic properties. Although there is little evidence that GH improves performance in young healthy adults, randomized controlled studies carried out so far are inadequately designed to demonstrate this, not least because GH is often abused in combination with anabolic steroids and insulin. Some of the anabolic actions of GH are mediated through the generation of insulin-like growth factor-I (IGF-I), and it is believed that this is also being abused. Athletes are exposing themselves to potential harm by self-administering large doses of GH, IGF-I and insulin. The effects of excess GH are exemplified by acromegaly. IGF-I may mediate and cause some of these changes, but in addition, IGF-I may lead to profound hypoglycaemia, as indeed can insulin. Although GH is on the World Anti-doping Agency list of banned substances, the detection of abuse with GH is challenging. Two approaches have been developed to detect GH abuse. The first is based on an assessment of the effect of exogenous recombinant human GH on pituitary GH isoforms and the second is based on the measurement of markers of GH action. As a result, GH abuse can be detected with reasonable sensitivity and specificity. Testing for IGF-I and insulin is in its infancy, but the measurement of markers of GH action may also detect IGF-I usage, while urine mass spectroscopy has begun to identify the use of insulin analogues.
A Hierarchy of Authentication Specifications

Many security protocols have the aim of authenticating one agent to another. Yet there is no clear consensus in the academic literature about precisely what “authentication” means. In this paper we suggest that the appropriate authentication requirement will depend upon the use to which the protocol is put, and identify several possible definitions of “authentication”. We formalize each definition using the process algebra CSP, use this formalism to study their relative strengths, and show how the model checker FDR can be used to test whether a system running the protocol meets such a specification.
Classification of Loaded / Unloaded Micro-Drones Using Multistatic Radar

This letter presents preliminary results on the use of multistatic radar and micro-Doppler analysis to detect and discriminate between microdrones hovering carrying different payloads. Two suitable features related to the centroid of the micro-Doppler signature have been identified and used to perform classification, investigating also the added benefit of using information from a multistatic radar as opposed to a conventional monostatic system. Very good performance with accuracy above 90% has been demonstrated for the classification of hovering micro-drones.