nils-herrmann/clean_scirepeval huggingface dataset:
Scalable real-time volumetric surface reconstruction

We address the fundamental challenge of scalability for real-time volumetric surface reconstruction methods. We design a memory efficient, hierarchical data structure for commodity graphics hardware, which supports live reconstruction of large-scale scenes with fine geometric details. Our sparse data structure fuses overlapping depth maps from a moving depth camera into a single volumetric representation, from which detailed surface models are extracted. Our hierarchy losslessly streams data bidirectionally between GPU and host, allowing for unbounded reconstructions. Our pipeline, comprised of depth map post-processing, camera pose estimation, volumetric fusion, surface extraction, and streaming, runs entirely in real-time. We experimentally demonstrate that a shallow hierarchy with relatively large branching factors yields the best memory/speed tradeoff, consuming an order of magnitude less memory than a regular grid. We compare an implementation of our data structure to existing methods and demonstrate higher-quality reconstructions on a variety of large-scale scenes, all captured in real-time.
Contrast-Enhanced Black and White Images

This paper investigates contrast enhancement as an approach to tone reduction, aiming to convert a photograph to black and white. Using a filter-based approach to strengthen contrast, we avoid making a hard decision about how to assign tones to segmented regions. Our method is inspired by sticks filtering, used to enhance medical images but not previously used in non-photorealistic rendering. We amplify contrast of pixels along the direction of greatest local difference from the mean, strengthening even weak features if they are most prominent. A final thresholding step converts the contrast-enhanced image to black and white. Local smoothing and contrast enhancement balances abstraction and structure preservation; the main advantage of our method is its faithful depiction of image detail. Our method can create a set of effects: line drawing, hatching, and black and white, all having superior details to previous black and white methods.
EnsembleHMD: Accurate Hardware Malware Detectors with Specialized Ensemble Classifiers

Hardware-based malware detectors (HMDs) are a promising new approach to defend against malware. HMDs collect low-level architectural features and use them to classify malware from normal programs. With simple hardware support, HMDs can be always on, operating as a first line of defense that prioritizes the application of more expensive and more accurate software-detector. In this paper, our goal is to increase the accuracy of HMDs, to improve detection, and reduce overhead. We use specialized detectors targeted towards a specific type of malware to improve the detection of each type. Next, we use ensemble learning techniques to improve the overall accuracy by combining detectors. We explore detectors based on logistic regression (LR) and neural networks (NN). The proposed detectors reduce the false-positive rate by more than half compared to using a single detector, while increasing their sensitivity. We develop metrics to estimate detection overhead; the proposed detectors achieve more than 16.6x overhead reduction during online detection compared to an idealized software-only detector, with an 8x improvement in relative detection time. NN detectors outperform LR detectors in accuracy, overhead (by 40%), and time-to-detection of the hardware component (by 5x). Finally, we characterize the hardware complexity by extending an open-core and synthesizing it on an FPGA platform, showing that the overhead
High-Speed Parallel Decimal Multiplication with Redundant Internal Encodings

The decimal multiplication is one of the most important decimal arithmetic operations which have a growing demand in the area of commercial, financial, and scientific computing. In this paper, we propose a parallel decimal multiplication algorithm with three components, which are a partial product generation, a partial product reduction, and a final digit-set conversion. First, a redundant number system is applied to recode not only the multiplier, but also multiples of the multiplicand in signed-digit (SD) numbers. Furthermore, we present a multioperand SD addition algorithm to reduce the partial product array. Finally, a digit-set conversion algorithm with a hybrid prefix network to decrease the number of the logic gates on the critical path is discussed. An analysis of the timing delay and an HDL model synthesized under 90 nm technology show that by considering the tradeoff of designs among three components, the overall delay of the proposed 16 × 16-digit multiplier takes about 11 percent less timing delay with 2 percent less area compared to the current fastest design.
A Quick Tour of BabelNet 1.1

In this paper we present BabelNet 1.1, a brand-new release of the largest “encyclopedic dictionary”, obtained from the automatic integration of the most popular computational lexicon of English, i.e. WordNet, and the largest multilingual Web encyclopedia, i.e. Wikipedia. BabelNet 1.1 covers 6 languages and comes with a renewed Web interface, graph explorer and programmatic API. BabelNet is available online at http://www.babelnet.org.
Microplastics in aquatic environments: Implications for Canadian ecosystems.

Microplastics have been increasingly detected and quantified in marine and freshwater environments, and there are growing concerns about potential effects in biota. A literature review was conducted to summarize the current state of knowledge of microplastics in Canadian aquatic environments; specifically, the sources, environmental fate, behaviour, abundance, and toxicological effects in aquatic organisms. While we found that research and publications on these topics have increased dramatically since 2010, relatively few studies have assessed the presence, fate, and effects of microplastics in Canadian water bodies. We suggest that efforts to determine aquatic receptors at greatest risk of detrimental effects due to microplastic exposure, and their associated contaminants, are particularly warranted. There is also a need to address the gaps identified, with a particular focus on the species and conditions found in Canadian aquatic systems. These gaps include characterization of the presence of microplastics in Canadian freshwater ecosystems, identifying key sources of microplastics to these systems, and evaluating the presence of microplastics in Arctic waters and biota.
Exercise treatment for major depression: maintenance of therapeutic benefit at 10 months.

The purpose of this study was to assess the status of 156 adult volunteers with major depressive disorder (MDD) 6 months after completion of a study in which they were randomly assigned to a 4-month course of aerobic exercise, sertraline therapy, or a combination of exercise and sertraline.



The presence and severity of depression were assessed by clinical interview using the Diagnostic Interview Schedule and the Hamilton Rating Scale for Depression (HRSD) and by self-report using the Beck Depression Inventory. Assessments were performed at baseline, after 4 months of treatment, and 6 months after treatment was concluded (ie, after 10 months).



After 4 months patients in all three groups exhibited significant improvement; the proportion of remitted participants (ie, those who no longer met diagnostic criteria for MDD and had an HRSD score <8) was comparable across the three treatment conditions. After 10 months, however, remitted subjects in the exercise group had significantly lower relapse rates (p = .01) than subjects in the medication group. Exercising on one's own during the follow-up period was associated with a reduced probability of depression diagnosis at the end of that period (odds ratio = 0.49, p = .0009).



Among individuals with MDD, exercise therapy is feasible and is associated with significant therapeutic benefit, especially if exercise is continued over time.
MapReduce in MPI for Large-scale graph algorithms

We describe a parallel library written with message-passing (MPI) calls that allows algorithms to be expressed in the MapReduce paradigm. This means the calling program does not need to include explicit parallel code, but instead provides “map” and “reduce” functions that operate independently on elements of a data set distributed across processors. The library performs needed data movement between processors. We describe how typical MapReduce functionality can be implemented in an MPI context, and also in an out-of-core manner for data sets that do not fit within the aggregate memory of a parallel machine. Our motivation for creating this library was to enable graph algorithms to be written as MapReduce operations, allowing processing of terabyte-scale data sets on traditional MPI-based clusters. We outline MapReduce versions of several such algorithms: vertex ranking via PageRank, triangle finding, connected component identification, Luby’s algorithm for maximally independent sets, and single-source shortest-path calculation. To test the algorithms on arbitrarily large artificial graphs we generate randomized R-MAT matrices in parallel; a MapReduce version of this operation is also described. Performance and scalability results for the various algorithms are presented for varying size graphs on a distributed-memory cluster. For some cases, we compare the results with non-MapReduce algorithms, different machines, and different MapReduce software, namely Hadoop. Our open-source library is written in C++, is callable from C++, C, Fortran, or scripting languages such as Python, and can run on any parallel platform that supports MPI. 29 Nov 2010 version To appear in special issue of Parallel Computing in 2011.
Enhancing scholarly use of digital libraries: A comparative survey and review of bibliographic metadata ontologies

The HathiTrust Research Center (HTRC) is engaged in the development of tools that will give scholars the ability to analyze the HathiTrust digital library's 14 million volume corpus. A cornerstone of the HTRC's digital infrastructure is the workset -- a kind of scholar-built research collection intended for use with the HTRC's analytics platform. Because more than 66% of the digital corpus is subject to copyright restrictions, scholarly users remain dependent upon the descriptive accounts provided by traditional metadata records in order to identify and gather together bibliographic resources for analysis. This paper compares the MADSRDF/MODSRDF, Bibframe, schema.org, BIBO, and FaBiO ontologies by assessing their suitability for employment by the HTRC to meet scholars' needs. These include distinguishing among multiple versions of the same work; representing the complex historical and physical relationships among those versions; and identifying and providing access to finer grained bibliographic entities, e.g., poems, chapters, sections, and even smaller segments of content.
Hidden in Plain Sight: Storing and Managing Secrets on a Public Ledger

Current blockchain systems are incapable of holding sensitive data securely on their public ledger while supporting accountability of data access requests and revocability of data access rights. Instead, they either keep the sensitive data off-chain as a semi-centralized solution or they just publish the data on the ledger ignoring the problem altogether. In this work, we introduce SCARAB the first secure decentralized access control mechanism for blockchain systems that addresses the challenges of accountability, by publicly logging each request before granting data access, and of revocability, by introducing collectively managed data access policies. SCARAB introduces, therefore, on-chain secrets, which utilize verifiable secret sharing to enable collectively managed secrets under a Byzantine adversary, and identity skipchains, which enable the dynamic management of identities and of access control policies. The evaluation of our SCARAB implementation shows that the latency of a single read/write request scales linearly with the number of access-securing trustees and is in the range of 200 ms to 8 seconds for 16 to 128 trustees.
Test-cost optimization in a scan-compression architecture using support-vector regression

Scan compression is widely used in high-volume testing of complex integrated circuits. With an increase in design complexity, the increased density of unknown (X) values from output responses reduces compression efficiency. In order to effectively block X values and maximize the effectiveness of test compression, a scan-compression architecture has recently been proposed, in which deterministic test patterns can be loaded into selected scan cells by controlling the initial state of the pseudo-random pattern generator (PRPG). A careful selection of the PRPG length is however essential to reduce test cost. We propose an optimization method based on support-vector regression to determine the PRPG length for test-cost reduction in a given scan-compression architecture. A correlation-based feature selection methodology is also proposed to reduce the amount of data needed for the accurate selection of the PRPG length. Experimental results on industrial designs highlight the effectiveness of the proposed method.
A New Algorithm for Detecting Text Line in Handwritten Documents

Curvilinear text line detection and segmentation in handwritten documents is a significant challenge for handwriting recognition. Given no prior knowledge of script, we model text line detection as an image segmentation problem by enhancing text line structure using a Gaussian window, and adopting the level set method to evolve text line boundaries. Experiments show that the proposed method achieves high accuracy for detecting text lines in both handwritten and machine printed documents with many scripts.
Female Gamers’ Experience of Online Harassment and Social Support in Online Gaming: A Qualitative Study

Female gaming is a relatively under-researched area, and female gamers often report experiencing harassment whilst playing online. The present study explored female experiences of social support while playing online video games, because of the previous research suggesting that females often experience harassment and negative interactions during game play. Data were collected from an online discussion forum, and comprised posts drawn from 271 female gamers. Thematic analysis of the discussions suggested that a lack of social support and harassment frequently led to female gamers playing alone, playing anonymously, and moving groups regularly. The female gamers reported experiencing anxiety and loneliness due to this lack of social support, and for many, this was mirrored in their experiences of social support outside of gaming. The female gamers frequently accepted the incorporation into their gaming of specific coping strategies to mitigate online harassment, including actively hiding their identity and avoiding all forms of verbal communication with other players. These themes are discussed in relation to relevant research in the area, along with recommendations for future research and consideration of possible explanations for the themes observed.
Effective Design Parameters on the End Effect in Single-Sided Linear Induction Motors

Linear induction motors are used in various industries but they have some specific phenomena which are the causes for some problems. The most important phenomenon is called end effect. End effect decreases efficiency, power factor and output force and unbalances the phase currents. This phenomenon is more important in medium and high speeds machines. In this paper a factor, EEF , is obtained by an accurate equivalent circuit model, to determine the end effect intensity. In this way, all of effective design parameters on end effect is described. Accuracy of this equivalent circuit model is evaluated by two dimensional finite-element analysis using ANSYS. The results show the accuracy of the equivalent circuit model. Linear induction motor, end effect, equivalent circuit model, finite-element method.
Moving Target Indication via RADARSAT-2 Multichannel Synthetic Aperture Radar Processing

With the recent launches of the German TerraSAR-X and the Canadian RADARSAT-2, both equipped with phased array antennas and multiple receiver channels, synthetic aperture radar, ground moving target indication (SAR-GMTI) data are now routinely being acquired from space. Defence R&D Canada has been conducting SAR-GMTI trials to assess the performance and limitations of the RADARSAT-2 GMTI system. Several SAR-GMTI modes developed for RADARSAT-2 are described and preliminary test results of these modes are presented. Detailed equations of motion of a moving target for multiaperture spaceborne SAR geometry are derived and a moving target parameter estimation algorithm developed for RADARSAT-2 (called the Fractrum Estimator) is presented. Limitations of the simple dual-aperture SAR-GMTI mode are analysed as a function of the signal-to-noise ratio and target speed. Recently acquired RADARSAT-2 GMTI data are used to demonstrate the capability of different system modes and to validate the signal model and the algorithm.
Towards Effective Low-Bitwidth Convolutional Neural Networks

This paper tackles the problem of training a deep convolutional neural network with both low-precision weights and low-bitwidth activations. Optimizing a low-precision network is very challenging since the training process can easily get trapped in a poor local minima, which results in substantial accuracy loss. To mitigate this problem, we propose three simple-yet-effective approaches to improve the network training. First, we propose to use a two-stage optimization strategy to progressively find good local minima. Specifically, we propose to first optimize a net with quantized weights and then quantized activations. This is in contrast to the traditional methods which optimize them simultaneously. Second, following a similar spirit of the first method, we propose another progressive optimization approach which progressively decreases the bit-width from high-precision to low-precision during the course of training. Third, we adopt a novel learning scheme to jointly train a full-precision model alongside the low-precision one. By doing so, the full-precision model provides hints to guide the low-precision model training. Extensive experiments on various datasets (i.e., CIFAR-100 and ImageNet) show the effectiveness of the proposed methods. To highlight, using our methods to train a 4-bit precision network leads to no performance decrease in comparison with its full-precision counterpart with standard network architectures (i.e., AlexNet and ResNet-50).
A Novel Technique for English Font Recognition Using Support Vector Machines

Font Recognition is one of the Challenging tasks in Optical Character Recognition. Most of the existing methods for font recognition make use of local typographical features and connected component analysis. In this paper, English font recognition is done based on global texture analysis. The main objective of this proposal is to employ support vector machines (SVM) in identifying various fonts. The feature vectors are extracted by making use of Gabor filters and the proposed SVM is trained using these features. The method is found to give superior performance over neural networks by avoiding local minima points. The SVM model is formulated tested and the results are presented in this paper. It is observed that this method is content independent and the SVM classifier shows an average accuracy of 93.54%.
Synthesis of a compound T-junction for a two-way splitter with arbitrary power ratio

We have developed a simple and efficient procedure to design H-plane rectangular waveguide T-junctions for equal and unequal two-way power splitters. This synthesis procedure is scalable, renders manufacturable structures, applicable to any arbitrary power split-ratio, and can offer wide band operation. In our implementation, we utilized wedges and inductive windows (being an integral part of the T-junctions), to provide more degrees of freedom, thus, excellent match at the input port, flat power-split ratio over the band with equal phase, where phase balance is essential for various antenna feeds.
Coherent TDOA/FDOA estimation method for frequency-hopping signal

Considering the limited FDOA estimation performance for frequency-hopping signal, a coherent accumulation method is developed in this paper. The method normalizes the FDOA of every hopping pulse and then accumulates all these modified CAFs coherently. As a result, it can enlarge the accumulative time length and improve FDOA resolution and accuracy distinctly. Theoretical analysis and simulation results finally show the superior performance of the proposed method in FDOA resolution and accuracy.
Design of $LCL$ Filters of Active-Front-End Two-Level Voltage-Source Converters

This paper introduces a new iterative design procedure of L and LCL filters for low-voltage active-front-end PWM two-level voltage source converters. The analytical expression of the converter harmonic voltages by Bessel functions is applied to design the filter parameters for defined maximum grid current harmonics. Different filter designs are derived for various resonance frequencies and inductance split factors of LCL filter. The minimum amount of stored energy of passive components is used to select a final filter design. A voltage-oriented control scheme, including active damping, is applied in the (400 V and 50 kVA) experimental setup. Both simulation and experimental investigations are presented to verify the accuracy of the filter design procedure. Finally, the steady state and transient performance of the active front end with different LCL filters are depicted.
Modeling and Analysis of Micro-Spacecraft Attitude Sensing with Gyrowheel

This paper proposes two kinds of approaches of angular rate sensing for micro-spacecraft with a gyrowheel (GW), which can combine attitude sensing with attitude control into one single device to achieve a compact micro-spacecraft design. In this implementation, during the three-dimensional attitude control torques being produced, two-dimensional spacecraft angular rates can be sensed from the signals of the GW sensors, such as the currents of the torque coils, the tilt angles of the rotor, the motor rotation, etc. This paper focuses on the problems of the angular rate sensing with the GW at large tilt angles of the rotor. For this purpose, a novel real-time linearization approach based on Lyapunov's linearization theory is proposed, and a GW linearized measurement model at arbitrary tilt angles of the rotor is derived. Furthermore, by representing the two-dimensional rotor tilt angles and tilt control torques as complex quantities and separating the twice periodic terms about the motor spin speed, the linearized measurement model at smaller tilt angles of the rotor is given and simplified. According to the respective characteristics, the application schemes of the two measurement models are analyzed from the engineering perspective. Finally, the simulation results are presented to demonstrate the effectiveness of the proposed strategy.
A Two-Layered Permission-Based Android Malware Detection Scheme

Android platform has become the main target of the malware developers in the past few years. One of Android's main defense mechanisms against malicious apps is a permission-based access control mechanism. It is a feasible approach to detect a potential malicious application based on the permissions it requested. In this paper, we proposed a two-layered permission based detection scheme for detecting malicious Android applications. Comparing with previous researches, we consider the apps requested permission pairs as the additional condition, and we also consider used permissions to improve detection accuracy. The result of an evaluation, performed using 28548 benign apps and 1536 malicious apps, indicates that a two-layered permission-based detector has high detection rate of malware.