VEWS: A Wikipedia Vandal Early Warning System

We study the problem of detecting vandals on Wikipedia before any human or known vandalism detection system reports flagging potential vandals so that such users can be presented early to Wikipedia administrators. We leverage multiple classical ML approaches, but develop 3 novel sets of features. Our Wikipedia Vandal Behavior (WVB) approach uses a novel set of user editing patterns as features to classify some users as vandals. Our Wikipedia Transition Probability Matrix (WTPM) approach uses a set of features derived from a transition probability matrix and then reduces it via a neural net auto-encoder to classify some users as vandals. The VEWS approach merges the previous two approaches. Without using any information (e.g. reverts) provided by other users, these algorithms each have over 85% classification accuracy. Moreover, when temporal recency is considered, accuracy goes to almost 90%. We carry out detailed experiments on a new data set we have created consisting of about 33K Wikipedia users (including both a black list and a white list of editors) and containing 770K edits. We describe specific behaviors that distinguish between vandals and non-vandals. We show that VEWS beats ClueBot NG and STiki, the best known algorithms today for vandalism detection. Moreover, VEWS detects far more vandals than ClueBot NG and on average, detects them 2.39 edits before ClueBot NG when both detect the vandal. However, we show that the combination of VEWS and ClueBot NG can give a fully automated vandal early warning system with even higher accuracy.Comment: To appear in Proceedings of the 21st ACM SIGKDD Conference of Knowledge Discovery and Data Mining (KDD 2015

Swarm Robotics

Collectively working robot teams can solve a problem more efficiently than a single robot, while also providing robustness and flexibility to the group. Swarm robotics model is a key component of a cooperative algorithm that controls the behaviors and interactions of all individuals. The robots in the swarm should have some basic functions, such as sensing, communicating, and monitoring, and satisfy the following properties

Using Service-Learning in Graduate Curriculum to Address Teenagers\u27 Vulnerability to Web Misinformation

We report on how we implemented service-learning (S-L) in a CS graduate class to improve student understanding of the class materials and provide a service to the community, i.e., addressing teenagers’ vulnerability to Web misinformation. We show how S-L benefits CS students in their course theory understanding and personal skills development, while teenagers’ news media literacy and misinformation detection accuracy were positively impacted

PMOS Operational Amplifier Evaluation

The evaluation of a metal gate PMOS op amp, including verification of the integrated circuit layout and a check of the PMOS design rules, was performed. The SPICE deck was modified to include a mask error which was discovered and the resulting simulation compared to DC measurements. The results indicate design errors at the input stage of the op amp. Open loop simulations performed by SPICE also show design errors within the gain stage. Suggestions for a more thorough investigation of the design are given

The observed chemical structure of L1544

Prior to star formation, pre-stellar cores accumulate matter towards the centre. As a consequence, their central density increases while the temperature decreases. Understanding the evolution of the chemistry and physics in this early phase is crucial to study the processes governing the formation of a star. We aim at studying the chemical differentiation of a prototypical pre-stellar core, L1544, by detailed molecular maps. In contrast with single pointing observations, we performed a deep study on the dependencies of chemistry on physical and external conditions. We present the emission maps of 39 different molecular transitions belonging to 22 different molecules in the central 6.25 arcmin$^2$ of L1544. We classified our sample in five families, depending on the location of their emission peaks within the core. Furthermore, to systematically study the correlations among different molecules, we have performed the principal component analysis (PCA) on the integrated emission maps. The PCA allows us to reduce the amount of variables in our dataset. Finally, we compare the maps of the first three principal components with the H$_2$ column density map, and the T$_{dust}$ map of the core. The results of our qualitative analysis is the classification of the molecules in our dataset in the following groups: (i) the $c$-C$_3$H$_2$ family (carbon chain molecules), (ii) the dust peak family (nitrogen-bearing species), (iii) the methanol peak family (oxygen-bearing molecules), (iv) the HNCO peak family (HNCO, propyne and its deuterated isotopologues). Only HC$^{18}$O$^+$ and $^{13}$CS do not belong to any of the above mentioned groups. The principal component maps allow us to confirm the (anti-)correlations among different families that were described in a first qualitative analysis, but also points out the correlation that could not be inferred before.Comment: 29 pages, 19 figures, 2 appendices, accepted for publication in A&A, arXiv abstract has been slightly modifie

An Analysis of People’s Reasoning for Sharing Real and Fake News

The problem of the increase in the volume of fake news and its widespread over social media has gained massive attention as most of the population seeks social media for daily news diet. Humans are equally responsible for the surge of fake news spread. Thus, it is imperative to understand people’s behavior when they decide to share real and fake news items on social media. In an attempt to do so, we performed an analysis on data collected through a survey where participants (n= 363) were asked whether they were willing to share the given news item on their social media and explain the reasoning for their decision. The results show that the analysis presents several commonalities with previous studies. Moreover, we also addressed the problem of predicting whether a person will share a given news item or not. For this, we used intrinsic features from participants’ open-ended responses and demographics attributes. We found that the perceived emotions triggered by the news item show a strong influence on the user’s decision to share news items on social media

On the Termination of Logic Programs with Function Symbols

Recently there has been an increasing interest in the bottom-up evaluation of the semantics of logic programs with complex terms. The main problem due to the presence of functional symbols in the head of rules is that the corresponding ground program could be infinite and that finiteness of models and termination of the evaluation procedure is not guaranteed. This paper introduces, by deeply analyzing program structure, new decidable criteria, called safety and Gamma-acyclicity, for checking termination of logic programs with function symbols under bottom-up evaluation. These criteria guarantee that stable models are finite and computable, as it is possible to generate a finitely ground program equivalent to the source program. We compare new criteria with other decidable criteria known in the literature and show that the Gamma-acyclicity criterion is the most general one. We also discuss its application in answering bound queries

The chemical structure of the very young starless core L1521E

L1521E is a dense starless core in Taurus that was found to have relatively low molecular depletion by earlier studies, thus suggesting a recent formation. We aim to characterize the chemical structure of L1521E and compare it to the more evolved L1544 pre-stellar core. We have obtained $\sim$2.5$\times$2.5 arcminute maps toward L1521E using the IRAM-30m telescope in transitions of various species. We derived abundances for the species and compared them to those obtained toward L1544. We estimated CO depletion factors. Similarly to L1544, $c$-C$_3$H$_2$ and CH$_3$OH peak at different positions. Most species peak toward the $c$-C$_3$H$_2$ peak. The CO depletion factor derived toward the $Herschel$ dust peak is 4.3$\pm$1.6, which is about a factor of three lower than that toward L1544. The abundances of sulfur-bearing molecules are higher toward L1521E than toward L1544 by factors of $\sim$2-20. The abundance of methanol is similar toward the two cores. The higher abundances of sulfur-bearing species toward L1521E than toward L1544 suggest that significant sulfur depletion takes place during the dynamical evolution of dense cores, from the starless to pre-stellar stage. The CO depletion factor measured toward L1521E suggests that CO is more depleted than previously found. Similar CH$_3$OH abundances between L1521E and L1544 hint that methanol is forming at specific physical conditions in Taurus, characterized by densities of a few $\times$10$^4$ cm$^{-3}$ and $N$(H$_2$)$\gtrsim$10$^{22}$ cm$^{-2}$, when CO starts to catastrophically freeze-out, while water can still be significantly photodissociated, so that the surfaces of dust grains become rich in solid CO and CH$_3$OH, as already found toward L1544. Methanol can thus provide selective crucial information about the transition region between dense cores and the surrounding parent cloud.Comment: Accepted for publication in A&A, abstract abridge