nils-herrmann/clean_scirepeval huggingface dataset:
Surgical precision JIT compilers

Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation. Modern JIT compilers, such as those in virtual machines like Oracle's HotSpot for Java or Google's V8 for JavaScript, rely on dynamic profiling as their key mechanism to guide optimizations. While these JIT compilers offer good average performance, their behavior is a black box and the achieved performance is highly unpredictable.
 In this paper, we propose to turn JIT compilation into a precision tool by adding two essential and generic metaprogramming facilities: First, allow programs to invoke JIT compilation explicitly. This enables controlled specialization of arbitrary code at run-time, in the style of partial evaluation. It also enables the JIT compiler to report warnings and errors to the program when it is unable to compile a code path in the demanded way. Second, allow the JIT compiler to call back into the program to perform compile-time computation. This lets the program itself define the translation strategy for certain constructs on the fly and gives rise to a powerful JIT macro facility that enables "smart" libraries to supply domain-specific compiler optimizations or safety checks.
 We present Lancet, a JIT compiler framework for Java bytecode that enables such a tight, two-way integration with the running program. Lancet itself was derived from a high-level Java bytecode interpreter: staging the interpreter using LMS (Lightweight Modular Staging) produced a simple bytecode compiler. Adding abstract interpretation turned the simple compiler into an optimizing compiler. This fact provides compelling evidence for the scalability of the staged-interpreter approach to compiler construction.
 In the case of Lancet, JIT macros also provide a natural interface to existing LMS-based toolchains such as the Delite parallelism and DSL framework, which can now serve as accelerator macros for arbitrary JVM bytecode.
Hybrid retinal image registration

This work studies retinal image registration in the context of the National Institutes of Health (NIH) Early Treatment Diabetic Retinopathy Study (ETDRS) standard. The ETDRS imaging protocol specifies seven fields of each retina and presents three major challenges for the image registration task. First, small overlaps between adjacent fields lead to inadequate landmark points for feature-based methods. Second, the non-uniform contrast/intensity distributions due to imperfect data acquisition will deteriorate the performance of area-based techniques. Third, high-resolution images contain large homogeneous nonvascular/texureless regions that weaken the capabilities of both feature-based and area-based techniques. In this work, we propose a hybrid retinal image registration approach for ETDRS images that effectively combines both area-based and feature-based methods. Four major steps are involved. First, the vascular tree is extracted by using an efficient local entropy-based thresholding technique. Next, zeroth-order translation is estimated by maximizing mutual information based on the binary image pair (area-based). Then image quality assessment regarding the ETDRS field definition is performed based on the translation model. If the image pair is accepted, higher-order transformations will be involved. Specifically, we use two types of features, landmark points and sampling points, for affine/quadratic model estimation. Three empirical conditions are derived experimentally to control the algorithm progress, so that we can achieve the lowest registration error and the highest success rate. Simulation results on 504 pairs of ETDRS images show the effectiveness and robustness of the proposed algorithm
Automated gait adaptation for legged robots

Gait parameter adaptation on a physical robot is an error-prone, tedious and time-consuming process. In this paper we present a system for gait adaptation in our RHex series of hexapedal robots that renders this arduous process nearly autonomous. The robot adapts its gait parameters by recourse to a modified version of Nelder-Mead descent, while managing its self-experiments and measuring the outcome by visual servoing within a partially engineered environment The resulting performance gains extend considerably beyond what we have managed with hand tuning. For example, the best hand tuned alternating tripod gaits never exceeded 0.8 m/s nor achieved specific resistance below 2.0. In contrast, Nelder-Mead based tuning has yielded alternating tripod gaits at 2.7 m/s (well over 5 body lengths per second) and reduced specific resistance to 0.6 while requiring little human intervention at low and moderate speeds. Comparable gains have been achieved on the much larger ruggedized version of this machine.
Mixed-membership models of scientific publications.

PNAS is one of world's most cited multidisciplinary scientific journals. The PNAS official classification structure of subjects is reflected in topic labels submitted by the authors of articles, largely related to traditionally established disciplines. These include broad field classifications into physical sciences, biological sciences, social sciences, and further subtopic classifications within the fields. Focusing on biological sciences, we explore an internal soft-classification structure of articles based only on semantic decompositions of abstracts and bibliographies and compare it with the formal discipline classifications. Our model assumes that there is a fixed number of internal categories, each characterized by multinomial distributions over words (in abstracts) and references (in bibliographies). Soft classification for each article is based on proportions of the article's content coming from each category. We discuss the appropriateness of the model for the PNAS database as well as other features of the data relevant to soft classification.
A Compact Dual-Band Printed Yagi-Uda Antenna for GNSS and CMMB Applications

A printed Yagi-Uda antenna with a meandered driven dipole and a concave parabolic reflector is proposed for dual-band operations of L1-band Global Navigation Satellite System (GNSS) and S-band China Mobile Multimedia Broadcasting (CMMB). The antenna is designed and fabricated on a thin dielectric substrate, and measured at 1580 MHz in the low band (L1-band) and 2645 MHz in the high band (S-band), respectively, with directivities of 6.7 and 4.9 dBi, front-to-back ratios of 13.1 and 10.3 dB, cross-polarization levels of -23.8 and -21.9 dB, bandwidths of 4.0% and 6.5%, and antenna efficiencies of -0.40 dB (91.2%) and -0.96 dB (80.2%), which are better than -1 dBi in terms of the three-dimensional (3-D) average gain. The occupied area of this dual-band antenna is the same as that of the previously proposed single-band one. With these properties, the proposed antenna is promising for combo applications of L1-band GNSS and S-band CMMB.
Adaptive figure-ground classification

We propose an adaptive figure-ground classification algorithm to automatically extract a foreground region using a user-provided bounding-box. The image is first over-segmented with an adaptive mean-shift algorithm, from which background and foreground priors are estimated. The remaining patches are iteratively assigned based on their distances to the priors, with the foreground prior being updated online. A large set of candidate segmentations are obtained by changing the initial foreground prior. The best candidate is determined by a score function that evaluates the segmentation quality. Rather than using a single distance function or score function, we generate multiple hypothesis segmentations from different combinations of distance measures and score functions. The final segmentation is then automatically obtained with a voting or weighted combination scheme from the multiple hypotheses. Experiments indicate that our method performs at or above the current state-of-the-art on several datasets, with particular success on challenging scenes that contain irregular or multiple-connected foregrounds. In addition, this improvement in accuracy is achieved with low computational cost.
A hybrid approach for database intrusion detection at transaction and inter-transaction levels

Nowadays, information plays an important role in the organizations. Sensitive information is often stored within the database. Traditional mechanisms such as encryption, access control, and authentication cannot provide a high level of confidence. Therefore, the existence of Intrusion Detection Systems in the database is a necessity. In this paper, we propose a type of intrusion detection system for detecting attacks in both database transaction level and inter-transaction level (user task level). For this purpose, we propose a detection method at transaction level, which is based on describing the expected transactions within the database applications. Then at inter-transaction level, we propose a detection method that is based on anomaly detection and uses data mining to find dependency and sequence rules. The advantage of this system compared to the previous database intrusion detection systems is that it can detect malicious behaviors in both transaction and inter-transaction levels. Also, it gains advantages of a hybrid method, including specification-based detection and anomaly detection, to minimize both false positive and false negative errors. In order to evaluate the accuracy of the proposed system, some experiments have been done. The experimental evaluation results show high accuracy and effectiveness of the proposed system.
A Survey on Cryptography and Steganography Methods for Information Security

This paper deals with the tidings of cryptography in history, how it has played a vital role in World War -1, World War-2. It also deals with the Substitution, Transposition Cryptographic techniques and Steganography principles which can be used to maintain the confidentiality of computerized and none computerized information files. A number of well known techniques have been adapted for computer usage including the Ceaser cipher, Mono alphabetic cipher, Homophonic substitution, Bale cipher, Play fair cipher, Poly alphabetic cipher, Vigenere Cipher, Onetime pad cipher, Vernam ciphers, Play Color Cipher and usage of rotor machine in Substitutions, Rail fence technique, more complex permutations for more secure transposition and some Steganography principle were briefly discussed with merits and demerits. Finally it gives the broad knowledge on almost all the cryptographic and Steganography principles where a reader or scholar have lot of scope for updating or invention of more secure algorithms to fulfill the global needs in information security.
Spermatocele presenting as acute scrotum.

Atsuya Hikosaka, MD Department of Urology, Toyota Kosei Hospital, 500-1, Ibobara, Josui-cho, Toyota, Aichi 470-0396, Japan Tel: +81 565 43 5000 Fax: +81 565 43 5100 E-mail: uropatho@ybb.ne.jp INTRODUCTION Spermatocele, a retention cyst of the scrotum which is or has been in communication with the semen-carrying system,(1) is a relatively common clinical entity. It presents typically as an intrascrotal paratesticular mass, but it usually has few subjective symptoms. Here, we report a case of spermatocele manifested with acute scrotum due to its unique feature.
Semantic Regularisation for Recurrent Image Annotation

The CNN-RNN design pattern is increasingly widely applied in a variety of image annotation tasks including multi-label classification and captioning. Existing models use the weakly semantic CNN hidden layer or its transform as the image embedding that provides the interface between the CNN and RNN. This leaves the RNN overstretched with two jobs: predicting the visual concepts and modelling their correlations for generating structured annotation output. Importantly this makes the end-to-end training of the CNN and RNN slow and ineffective due to the difficulty of back propagating gradients through the RNN to train the CNN. We propose a simple modification to the design pattern that makes learning more effective and efficient. Specifically, we propose to use a semantically regularised embedding layer as the interface between the CNN and RNN. Regularising the interface can partially or completely decouple the learning problems, allowing each to be more effectively trained and jointly training much more efficient. Extensive experiments show that state-of-the art performance is achieved on multi-label classification as well as image captioning.
Poster: Smart-Contract Based Incentive Mechanism for K-Anonymity Privacy Protection in LBSs

In Location Based Services (LBSs), service providers can obtain mobile users' locations or traces while receiving their service requests. K-anonymity, which is the most commonly used location privacy protection method, needs the cooperation among mobile users to form a k-anonymous group. Though several incentive mechanisms have been proposed to motivate mobile users to participate in the k-anonymous group, most of them rely on a `trustful' center. In this paper, we propose a distributed secure incentive mechanism that applies blockchain smart contracts to motivate users for k-anonymity cooperation. To protect the reward transaction information, group encryption and blind collective signature are adopted. The simulations demonstrate the effectiveness of our proposed incentive mechanism.
Temperature insensitive current reference circuit using standard CMOS devices

In this paper, temperature insensitive current reference circuit is proposed. The reference current value is determined by using the threshold voltage controlled circuit. The main difference from the previous work (Georglou and Toumazou, 2002) is that the circuit can be fabricated by the standard CMOS process. The resistor and the transistor physical parameter temperature dependences are compensated with each other to determine the output reference current. The detail temperature performance is analyzed, and is evaluated by simulations.
Tensor-Factorized Neural Networks

The growing interests in multiway data analysis and deep learning have drawn tensor factorization (TF) and neural network (NN) as the crucial topics. Conventionally, the NN model is estimated from a set of one-way observations. Such a vectorized NN is not generalized for learning the representation from multiway observations. The classification performance using vectorized NN is constrained, because the temporal or spatial information in neighboring ways is disregarded. More parameters are required to learn the complicated data structure. This paper presents a new tensor-factorized NN (TFNN), which tightly integrates TF and NN for multiway feature extraction and classification under a unified discriminative objective. This TFNN is seen as a generalized NN, where the affine transformation in an NN is replaced by the multilinear and multiway factorization for tensor-based NN. The multiway information is preserved through layerwise factorization. Tucker decomposition and nonlinear activation are performed in each hidden layer. The tensor-factorized error backpropagation is developed to train TFNN with the limited parameter size and computation time. This TFNN can be further extended to realize the convolutional TFNN (CTFNN) by looking at small subtensors through the factorized convolution. Experiments on real-world classification tasks demonstrate that TFNN and CTFNN attain substantial improvement when compared with an NN and a convolutional NN, respectively.
QUOTUS: The Structure of Political Media Coverage as Revealed by Quoting Patterns

Given the extremely large pool of events and stories available, media outlets need to focus on a subset of issues and aspects to convey to their audience. Outlets are often accused of exhibiting a systematic bias in this selection process, with different outlets portraying different versions of reality. However, in the absence of objective measures and empirical evidence, the direction and extent of systematicity remains widely disputed. In this paper we propose a framework based on quoting patterns for quantifying and characterizing the degree to which media outlets exhibit systematic bias. We apply this framework to a massive dataset of news articles spanning the six years of Obama's presidency and all of his speeches, and reveal that a systematic pattern does indeed emerge from the outlet's quoting behavior. Moreover, we show that this pattern can be successfully exploited in an unsupervised prediction setting, to determine which new quotes an outlet will select to broadcast. By encoding bias patterns in a low-rank space we provide an analysis of the structure of political media coverage. This reveals a latent media bias space that aligns surprisingly well with political ideology and outlet type. A linguistic analysis exposes striking differences across these latent dimensions, showing how the different types of media outlets portray different realities even when reporting on the same events. For example, outlets mapped to the mainstream conservative side of the latent space focus on quotes that portray a presidential persona disproportionately characterized by negativity.
Tools to support systematic reviews in software engineering: a feature analysis

The labour intensive and error prone nature of the systematic review process has led to the development and use of a range of tools to provide automated support.
  The aim of this research is to evaluate a set of candidate tools that provide support for the overall systematic review process.
  A feature analysis is performed to compare and evaluate four candidate tools.
 Results Each of the candidates has some strengths and some weaknesses. SLuRp has the highest overall score and SLRTOOL has the lowest overall score. SLuRp scores well on process management features such as support for multiple users and document management and less well on ease of installation.
  Although the tools do not yet support the whole systematic review process they provide a good basis for further development. We suggest a community effort to establish a set of features that can inform future tool development.
Aggregating Content and Network Information to Curate Twitter User Lists

Twitter introduced user lists in late 2009, allowing users to be grouped according to meaningful topics or themes. Lists have since been adopted by media outlets as a means of organising content around news stories. Thus the curation of these lists is important - they should contain the key information gatekeepers and present a balanced perspective on a story. Here we address this list curation process from a recommender systems perspective. We propose a variety of criteria for generating user list recommendations, based on content analysis, network analysis, and the "crowdsourcing" of existing user lists. We demonstrate that these types of criteria are often only successful for datasets with certain characteristics. To resolve this issue, we propose the aggregation of these different "views" of a news story on Twitter to produce more accurate user recommendations to support the curation process.
Particle Swarm Optimization (PSO) for the constrained portfolio optimization problem

0957-4174/$ see front matter 2011  ⇑ Corresponding author.  E-mail addresses: hanhong@stud.ntnu.no (H (Y. Wang), Kesheng.wang@ntnu.no (K. Wang), (Y. Chen). One of the most studied problems in the financial investment expert system is the intractability of portfolios. The non-linear constrained portfolio optimization problem with multi-objective functions cannot be efficiently solved using traditionally approaches. This paper presents a meta-heuristic approach to portfolio optimization problem using Particle Swarm Optimization (PSO) technique. The model is tested on various restricted and unrestricted risky investment portfolios and a comparative study with Genetic Algorithms is implemented. The PSO model demonstrates high computational efficiency in constructing optimal risky portfolios. Preliminary results show that the approach is very promising and achieves results comparable or superior with the state of the art solvers.
The associations between aggressive behaviors and internet addiction and online activities in adolescents.

To evaluate (a) the association between Internet addiction and aggressive behaviors, as well as the moderating effects of gender, school, and depression on this association; and (b) to evaluate the association between Internet activities and aggressive behaviors.



A total of 9405 adolescents were recruited into this study and completed the questionnaires. Their aggressive behaviors, with or without Internet addiction, Internet activities, demographic data, with or without depression, self-esteem, family function, and the watching of violent TV were assessed.



The results demonstrated that after controlling for the effects of shared associated factors and watching violent TV programs, adolescents with Internet addiction were more likely to have aggressive behaviors during the previous year. The association was more significant among adolescents in junior high schools than in senior high/vocational schools. Online chatting, adult sex Web viewing, online gaming, online gambling, and Bulletin Board System were all associated with aggressive behaviors.



The results suggest that preventive programs for aggressive behaviors should pay attention to Internet addiction among adolescents. Also, intervention to prevent the effects of Internet addiction on aggressive behaviors should be conducted as early as possible.
Stretchable Heater Using Ligand-Exchanged Silver Nanowire Nanocomposite for Wearable Articular Thermotherapy.

Thermal therapy is one of the most popular physiotherapies and it is particularly useful for treating joint injuries. Conventional devices adapted for thermal therapy including heat packs and wraps have often caused discomfort to their wearers because of their rigidity and heavy weight. In our study, we developed a soft, thin, and stretchable heater by using a nanocomposite of silver nanowires and a thermoplastic elastomer. A ligand exchange reaction enabled the formation of a highly conductive and homogeneous nanocomposite. By patterning the nanocomposite with serpentine-mesh structures, conformal lamination of devices on curvilinear joints and effective heat transfer even during motion were achieved. The combination of homogeneous conductive elastomer, stretchable design, and a custom-designed electronic band created a novel wearable system for long-term, continuous articular thermotherapy.
Index Financial Time Series Based on Zigzag-Perceptually Important Points

Financial time series were usually large in size, unstructured and of high dimensionality. Since, the illustration of fin a cial time series shape was typically characterize d by a few number of important points. These important p oints moved in zigzag directions which could form technical patterns. However, these important p oints exhibited in different resolutions and diffic ult to determine.  In this study, we proposed novel methods of financ i l time series indexing by considering their zigzag movement. The methods c onsist of two major algorithms: first, the identification of important points, namely the Zigz ag-Perceptually Important Points (ZIPs) identification method and next, the indexing method namely Zigzag based M-ary Tree (ZM-Tree) to structure and organize the important points.  The errors of the tree building and retrieving compared to the original time series increased when t important points increased. The dimensionality reduction using ZM-Tree based on tree pruning and n umber of retrieved points techniques performed better when the number of important points increase d.  Our proposed techniques illustrated mostly acceptable performance in tree op rations and dimensionality reduction comparing to existing similar technique like Specialize Binar y Tree (SB-Tree).