nils-herrmann/clean_scirepeval huggingface dataset:
Point-of-Interest Recommendation in Location Based Social Networks with Topic and Location Awareness

The wide spread use of location based social networks (LBSNs) has enabled the opportunities for better location based services through Point-of-Interest (POI) recommendation. Indeed, the problem of POI recommendation is to provide personalized recommendations of places of interest. Unlike traditional recommendation tasks, POI recommendation is personalized, locationaware, and context depended. In light of this difference, this paper proposes a topic and location aware POI recommender system by exploiting associated textual and context information. Specifically, we first exploit an aggregated latent Dirichlet allocation (LDA) model to learn the interest topics of users and to infer the interest POIs by mining textual information associated with POIs. Then, a Topic and Location-aware probabilistic matrix factorization (TL-PMF) method is proposed for POI recommendation. A unique perspective of TL-PMF is to consider both the extent to which a user interest matches the POI in terms of topic distribution and the word-of-mouth opinions of the POIs. Finally, experiments on real-world LBSNs data show that the proposed recommendation method outperforms state-of-the-art probabilistic latent factor models with a significant margin. Also, we have studied the impact of personalized interest topics and word-of-mouth opinions on POI recommendations.
Hybrid crafting: towards an integrated practice of crafting with physical and digital components

With current digital technologies, people have large archives of digital media, such as images and audio files, but there are only limited means to include these media in creative practices of crafting and making. Nevertheless, studies have shown that crafting with digital media often makes these media more cherished and that people enjoy being creative with their digital media. This paper aims to open up the way for novel means for crafting, which include digital media in integrations with physical construction, here called ‘hybrid crafting’. Notions of hybrid crafting were explored to inform the design of products or systems that may support these new crafting practices. We designed ‘Materialise’—a building set that allows for the inclusion of digital images and audio files in physical constructions by using tangible building blocks that can display images or play audio files, alongside a variety of other physical components—and used this set in four hands-on creative workshops to gain insight into how people go about doing hybrid crafting; whether hybrid crafting is desirable; what the characteristics of hybrid crafting are; and how we may design to support these practices. By reflecting on the findings from these workshops, we provide concrete guidelines for the design of novel hybrid crafting products or systems that address craft context, process and result. We aim to open up the design space to designing for hybrid crafting because these new practices provide interesting new challenges and opportunities for future crafting that can lead to novel forms of creative expression.
Positive psychology : Past , present , and ( possible ) future

What is positive psychology? Where has it come from? Where is it going? These are the questions we address in this article. In defining positive psychology, we distinguish between the meta-psychological level, where the aim of positive psychology is to redress the imbalance in psychology research and practice, and the pragmatic level, which is concerned with what positive psychologists do, in terms of their research, practice, and areas of interest. These distinctions in how we understand positive psychology are then used to shape conceptions of possible futures for positive psychology. In conclusion, we identify several pertinent issues for the consideration of positive psychology as it moves forward. These include the need to synthesize the positive and negative, build on its historical antecedents, integrate across levels of analysis, build constituency with powerful stakeholders, and be aware of the implications of description versus prescription.
A Practical Framework for Privacy-Preserving NoSQL Databases

Cloud infrastructures provide database services as cost-efficient and scalable solutions for storing and processing large amounts of data. To maximize performance, these services require users to trust sensitive information to the cloud provider, which raises privacy and legal concerns. This represents a major obstacle to the adoption of the cloud computing paradigm. Recent work addressed this issue by extending databases to compute over encrypted data. However, these approaches usually support a single and strict combination of cryptographic techniques invariably making them application specific. To assess and broaden the applicability of cryptographic techniques in secure cloud storage and processing, these techniques need to be thoroughly evaluated in a modular and configurable database environment. This is even more noticeable for NoSQL data stores where data privacy is still mostly overlooked. In this paper, we present a generic NoSQL framework and a set of libraries supporting data processing cryptographic techniques that can be used with existing NoSQL engines and composed to meet the privacy and performance requirements of different applications. This is achieved through a modular and extensible design that enables data processing over multiple cryptographic techniques applied on the same database. For each technique, we provide an overview of its security model, along with an extensive set of experiments. The framework is evaluated with the YCSB benchmark, where we assess the practicality and performance tradeoffs for different combinations of cryptographic techniques. The results for a set of macro experiments show that the average overhead in NoSQL operations performance is below 15%, when comparing our system with a baseline database without privacy guarantees.
Homomorphic Encryption from Learning with Errors: Conceptually-Simpler, Asymptotically-Faster, Attribute-Based

We describe a comparatively simple fully homomorphic encryption (FHE) scheme based on the learning with errors (LWE) problem. In previous LWE-based FHE schemes, multiplication is a complicated and expensive step involving “relinearization”. In this work, we propose a new technique for building FHE schemes that we call the approximate eigenvector method. In our scheme, for the most part, homomorphic addition and multiplication are just matrix addition and multiplication. This makes our scheme both asymptotically faster and (we believe) easier to understand. In previous schemes, the homomorphic evaluator needs to obtain the user’s “evaluation key”, which consists of a chain of encrypted secret keys. Our scheme has no evaluation key. The evaluator can do homomorphic operations without knowing the user’s public key at all, except for some basic parameters. This fact helps us construct the first identitybased FHE scheme. Using similar techniques, we show how to compile a recent attribute-based encryption scheme for circuits by Gorbunov et al. into an attribute-based FHE scheme that permits data encrypted under the same index to be processed homomorphically.
Color retinal image enhancement using CLAHE

Common method in image enhancement that's often use is histogram equalization, due to this method is simple and has low computation load. In this research, we use Contrast Limited Adaptive Histogram Equalization (CLAHE) to enhance the color retinal image. To reduce this noise effect in color retinal image due to the acquisition process, we need to enhance this image. Color retinal image has unique characteristic than other image, that is, this image has important in green (G) channel. Image enhancement has important contribution in ophthalmology. In this paper, we propose new enhancement method using CLAHE in G channel to improve the color retinal image quality. The enhancement process conduct in G channel is appropriate to enhance the color retinal image quality.
EPnP: An Accurate O(n) Solution to the PnP Problem

We propose a non-iterative solution to the PnP problem—the estimation of the pose of a calibrated camera from n 3D-to-2D point correspondences—whose computational complexity grows linearly with n. This is in contrast to state-of-the-art methods that are O(n 5) or even O(n 8), without being more accurate. Our method is applicable for all n≥4 and handles properly both planar and non-planar configurations. Our central idea is to express the n 3D points as a weighted sum of four virtual control points. The problem then reduces to estimating the coordinates of these control points in the camera referential, which can be done in O(n) time by expressing these coordinates as weighted sum of the eigenvectors of a 12×12 matrix and solving a small constant number of quadratic equations to pick the right weights. Furthermore, if maximal precision is required, the output of the closed-form solution can be used to initialize a Gauss-Newton scheme, which improves accuracy with negligible amount of additional time. The advantages of our method are demonstrated by thorough testing on both synthetic and real-data.
Face Detection Using Convolutional Neural Networks and Gabor Filters

This paper proposes a method for detecting facial regions by combining a Gabor filter and a convolutional neural network. The first stage uses the Gabor filter which extracts intrinsic facial features. As a result of this transformation we obtain four subimages. The second stage of the method concerns the application of the convolutional neural network to these four images. The approach presented in this paper yields better classification performance in comparison to the results obtained by the convolutional neural network alone.
A Multilayer Convolutional Encoder-Decoder Neural Network for Grammatical Error Correction

We improve automatic correction of grammatical, orthographic, and collocation errors in text using a multilayer convolutional encoder-decoder neural network. The network is initialized with embeddings that make use of character Ngram information to better suit this task. When evaluated on common benchmark test data sets (CoNLL-2014 and JFLEG), our model substantially outperforms all prior neural approaches on this task as well as strong statistical machine translation-based systems with neural and task-specific features trained on the same data. Our analysis shows the superiority of convolutional neural networks over recurrent neural networks such as long short-term memory (LSTM) networks in capturing the local context via attention, and thereby improving the coverage in correcting grammatical errors. By ensembling multiple models, and incorporating an N-gram language model and edit features via rescoring, our novel method becomes the first neural approach to outperform the current state-of-the-art statistical machine translation-based approach, both in terms of grammaticality and fluency.
Recognizing indoor scenes

Indoor scene recognition is a challenging open problem in high level vision. Most scene recognition models that work well for outdoor scenes perform poorly in the indoor domain. The main difficulty is that while some indoor scenes (e.g. corridors) can be well characterized by global spatial properties, others (e.g, bookstores) are better characterized by the objects they contain. More generally, to address the indoor scenes recognition problem we need a model that can exploit local and global discriminative information. In this paper we propose a prototype based model that can successfully combine both sources of information. To test our approach we created a dataset of 67 indoor scenes categories (the largest available) covering a wide range of domains. The results show that our approach can significantly outperform a state of the art classifier for the task.
An embedded true random number generator for FPGAs

Field Programmable Gate Arrays (FPGAs) are an increasingly popular choice of platform for the implementation of cryptographic systems. Until recently, designers using FPGAs had less than optimal choices for a source of truly random bits. In this paper we extend a technique that uses on-chip jitter and PLLs to a much larger class of FPGAs that do not contain PLLs. Our design uses only the Configurable Logic Blocks (CLBs) common to all FPGAs, and has a self-testing capability. Using the intrinsic jitter contained in digital circuits, we produce random bits at speeds of up to 0.5 Mbits/second with good statistical characteristics. We discuss the engineering challenges of extracting random bits from digital circuits, and we report the results of running standard statistical tests (NIST) on the output generated by our system.
Inject Stenography into Cybersecurity Education

Along with the development of information security, steganography has received increasingly attention. It has become a trend that more and more institutions offer steganography techniques in cybersecurity education. In this paper, we propose integrating steganography into cybersecurity curriculum. Stenography modules and hands-on labs are designed. It covers the principles of steganography, steganographic techniques, and the basis of steganalysis. Three lab exercises include steganography implementation in HTML, TCP/IP, and digital image.
Automatic drip irrigation system using fuzzy logic and mobile technology

An intelligent drip irrigation system optimizes water and fertilizer use for agricultural crops using wireless sensors and fuzzy logic. The wireless sensor networks consists of many sensor nodes, hub and control unit. The sensor collects real-time data such as temperature, soil humidity. This data is sent to the hub using the wireless technology. The hub processes the data using fuzzy logic and decides the time duration for keeping the valves open. Accordingly, the drip irrigation system is implemented for a particular amount of time. The whole system is powered by photovoltaic cells and has a communication link which allows the system to be monitored, controlled, and scheduled through cellular text messages. The system can quickly and accurately calculate water demand amount of crops, which can provide a scientific basis for water-saving irrigation, as well as a method to optimize the amount of fertilizer used.
Continuous Reasoning: Scaling the impact of formal methods

This paper describes work in continuous reasoning, where formal reasoning about a (changing) codebase is done in a fashion which mirrors the iterative, continuous model of software development that is increasingly practiced in industry. We suggest that advances in continuous reasoning will allow formal reasoning to scale to more programs, and more programmers. The paper describes the rationale for continuous reasoning, outlines some success cases from within industry, and proposes directions for work by the scientific community.
Leading us not unto temptation: momentary allurements elicit overriding goal activation.

The present research explored the nature of automatic associations formed between short-term motives (temptations) and the overriding goals with which they interfere. Five experimental studies, encompassing several self-regulatory domains, found that temptations tend to activate such higher priority goals, whereas the latter tend to inhibit the temptations. These activation patterns occurred outside of participants' conscious awareness and did not appear to tax their mental resources. Moreover, they varied as a function of subjective goal importance and were more pronounced for successful versus unsuccessful self-regulators in a given domain. Finally, priming by temptation stimuli was found not only to influence the activation of overriding goals but also to affect goal-congruent behavioral choices.
Climbing gaits of a modular biped climbing robot

For high-rise work in fields such as agriculture, forestry and architecture, and inspired by the climbing motion of inchworms, chimpanzees, and sloths, we have developed a biped climbing robot - Climbot. Consisting of five 1-DOF joint modules in series and two special grippers at the ends, Climbot is capable of grasping objects and climbing poles, trees and trusses. In this paper, we first introduce this novel robot, and then present three climbing gaits. We perform simulation to illustrate, verify and compare the proposed climbing gaits.
Transfer Learning Improves Supervised Image Segmentation Across Imaging Protocols

The variation between images obtained with different scanners or different imaging protocols presents a major challenge in automatic segmentation of biomedical images. This variation especially hampers the application of otherwise successful supervised-learning techniques which, in order to perform well, often require a large amount of labeled training data that is exactly representative of the target data. We therefore propose to use transfer learning for image segmentation. Transfer-learning techniques can cope with differences in distributions between training and target data, and therefore may improve performance over supervised learning for segmentation across scanners and scan protocols. We present four transfer classifiers that can train a classification scheme with only a small amount of representative training data, in addition to a larger amount of other training data with slightly different characteristics. The performance of the four transfer classifiers was compared to that of standard supervised classification on two magnetic resonance imaging brain-segmentation tasks with multi-site data: white matter, gray matter, and cerebrospinal fluid segmentation; and white-matter-/MS-lesion segmentation. The experiments showed that when there is only a small amount of representative training data available, transfer learning can greatly outperform common supervised-learning approaches, minimizing classification errors by up to 60%.
Understanding Image and Text Simultaneously: a Dual Vision-Language Machine Comprehension Task

We introduce a new multi-modal task for computer systems, posed as a combined vision-language comprehension challenge: identifying the most suitable text describing a scene, given several similar options. Accomplishing the task entails demonstrating comprehension beyond just recognizing “keywords” (or key-phrases) and their corresponding visual concepts. Instead, it requires an alignment between the representations of the two modalities that achieves a visually-grounded “understanding” of various linguistic elements and their dependencies. This new task also admits an easy-to-compute and well-studied metric: the accuracy in detecting the true target among the decoys. The paper makes several contributions: an effective and extensible mechanism for generating decoys from (humancreated) image captions; an instance of applying this mechanism, yielding a large-scale machine comprehension dataset (based on the COCO images and captions) that we make publicly available; human evaluation results on this dataset, informing a performance upper-bound; and several baseline and competitive learning approaches that illustrate the utility of the proposed task and dataset in advancing both image and language comprehension. We also show that, in a multi-task learning setting, the performance on the proposed task is positively correlated with the endto-end task of image captioning.
ClaimEval: Integrated and Flexible Framework for Claim Evaluation Using Credibility of Sources

The World Wide Web (WWW) has become a rapidly growing platform consisting of numerous sources which provide supporting or contradictory information about claims (e.g., “Chicken meat is healthy”). In order to decide whether a claim is true or false, one needs to analyze content of different sources of information on the Web, measure credibility of information sources, and aggregate all these information. This is a tedious process and the Web search engines address only part of the overall problem, viz., producing only a list of relevant sources. In this paper, we present ClaimEval, a novel and integrated approach which given a set of claims to validate, extracts a set of pro and con arguments from the Web information sources, and jointly estimates credibility of sources and correctness of claims. ClaimEval uses Probabilistic Soft Logic (PSL), resulting in a flexible and principled framework which makes it easy to state and incorporate different forms of prior-knowledge. Through extensive experiments on realworld datasets, we demonstrate ClaimEval’s capability in determining validity of a set of claims, resulting in improved accuracy compared to state-of-the-art baselines.
A novel wavelet-based model for EEG epileptic seizure detection using multi-context learning

Epileptic seizure detection has gained increasing attention in clinical therapy. Scalp electroencephalogram (EEG) analysis is a common way to capture brain abnormality for seizure onset detection. This paper presents a novel context-learning based approach using multi-feature fusion to compensate for incomplete description of single feature in epileptic EEG signals. First, EEG scalogram sequence is generated using wavelet transform to represent the time-frequency information. Second, three sets of EEG context features are unsupervisedly learned in parallel by using global principal component analysis (GPCA), stacked denoising autoencoders (SDAEs) and EEG embeddings, respectively. Finally, the multi-features are concatenated into a fixed-length feature vector for seizure classification. The experimental results conducted on two real EEG datasets demonstrate that the proposed cross-patient learning model is able to extract meaningful context features from different perspectives, and hence can detect the onset of epileptic seizure effectively.
An Empirical Assessment of Organizational Commitment and Organizational Effectiveness

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use.
A Lightweight Virtualization Solution for Android Devices

Mobile virtualization has emerged fairly recently and is considered a valuable way to mitigate security risks on Android devices. However, major challenges in mobile virtualization include runtime, hardware, resource overhead, and compatibility. In this paper, we propose a lightweight Android virtualization solution named Condroid, which is based on container technology. Condroid utilizes resource isolation based on namespaces feature and resource control based on cgroups feature. By leveraging them, Condroid can host multiple independent Android virtual machines on a single kernel to support mutilple Android containers. Furthermore, our implementation presents both a system service sharing mechanism to reduce memory utilization and a filesystem sharing mechanism to reduce storage usage. The evaluation results on Google Nexus 5 demonstrate that Condroid is feasible in terms of runtime, hardware resource overhead, and compatibility. Therefore, we find that Condroid has a higher performance than other virtualization solutions.