total 58took 0.09s

Efficient Anomaly Detection via Matrix SketchingApr 09 2018Nov 27 2018We consider the problem of finding anomalies in high-dimensional data using popular PCA based anomaly scores. The naive algorithms for computing these scores explicitly compute the PCA of the covariance matrix which uses space quadratic in the dimensionality ... More

Balanced Allocations: A Simple Proof for the Heavily Loaded CaseOct 20 2013We provide a relatively simple proof that the expected gap between the maximum load and the average load in the two choice process is bounded by $(1+o(1))\log \log n$, irrespective of the number of balls thrown. The theorem was first proven by Berenbrink ... More

Hillview: A trillion-cell spreadsheet for big dataJul 10 2019Hillview is a distributed spreadsheet for browsing very large datasets that cannot be handled by a single machine. As a spreadsheet, Hillview provides a high degree of interactivity that permits data analysts to explore information quickly along many ... More

Changing Bases: Multistage Optimization for Matroids and MatchingsApr 14 2014This paper is motivated by the fact that many systems need to be maintained continually while the underlying costs change over time. The challenge is to continually maintain near-optimal solutions to the underlying optimization problems, without creating ... More

Lower Bounds on Near Neighbor Search via Metric ExpansionMay 03 2010In this paper we show how the complexity of performing nearest neighbor (NNS) search on a metric space is related to the expansion of the metric space. Given a metric space we look at the graph obtained by connecting every pair of points within a certain ... More

How to Approximate A Set Without Knowing Its Size In AdvanceApr 03 2013Apr 11 2013The dynamic approximate membership problem asks to represent a set S of size n, whose elements are provided in an on-line fashion, supporting membership queries without false negatives and with a false positive rate at most epsilon. That is, the membership ... More

Lifted Message Passing for the Generalized Belief PropagationOct 05 2016We introduce the lifted Generalized Belief Propagation (GBP) message passing algorithm, for the computation of sum-product queries in Probabilistic Relational Models (e.g. Markov logic network). The algorithm forms a compact region graph and establishes ... More

Routing Complexity of Faulty NetworksJul 11 2004One of the fundamental problems in distributed computing is how to efficiently perform routing in a faulty network in which each link fails with some probability. This paper investigates how big the failure probability can be, before the capability to ... More

Minimal forbidden induced subgraphs of graphs of bounded clique-width and bounded linear clique-widthJun 10 2013Jan 28 2014In the study of full bubble model graphs of bounded clique-width and bounded linear clique-width, we determined complete sets of forbidden induced subgraphs, that are minimal in the class of full bubble model graphs. In this note, we show that (almost ... More

Register GamesFeb 27 2019The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. The present article presents a third, independent approach to solving parity games in quasi-polynomial ... More

Register GamesFeb 27 2019Feb 28 2019The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. The present article presents a third, independent approach to solving parity games in quasi-polynomial ... More

Good for Games Automata: From Nondeterminism to AlternationJun 27 2019A word automaton recognizing a language $L$ is good for games (GFG) if its composition with any game with winning condition $L$ preserves the game's winner. While all deterministic automata are GFG, some nondeterministic automata are not. There are various ... More

Good for Games Automata: From Nondeterminism to AlternationJun 27 2019Jun 28 2019A word automaton recognizing a language $L$ is good for games (GFG) if its composition with any game with winning condition $L$ preserves the game's winner. While all deterministic automata are GFG, some nondeterministic automata are not. There are various ... More

Exact and Approximate Determinization of Discounted-Sum AutomataJan 16 2014Feb 12 2014A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, valuing a run by the discounted sum of visited edge weights. More precisely, the weight in the i-th position of the run is divided by $\lambda^i$, where the discount ... More

Exploiting Uniform Assignments in First-Order MPEOct 16 2012The MPE (Most Probable Explanation) query plays an important role in probabilistic inference. MPE solution algorithms for probabilistic relational models essentially adapt existing belief assessment method, replacing summation with maximization. But the ... More

Extended Lifted Inference with Joint FormulasFeb 14 2012The First-Order Variable Elimination (FOVE) algorithm allows exact inference to be applied directly to probabilistic relational models, and has proven to be vastly superior to the application of standard inference methods on a grounded propositional model. ... More

Families of DFAs as Acceptors of $ω$-Regular LanguagesDec 24 2016Feb 13 2018Families of DFAs (FDFAs) provide an alternative formalism for recognizing $\omega$-regular languages. The motivation for introducing them was a desired correlation between the automaton states and right congruence relations, in a manner similar to the ... More

Spin-Orbit Semimetals in the Layer GroupsApr 28 2016Aug 03 2016Recent interest in point and line node semimetals has lead to the proposal and discovery of these phenomena in numerous systems. Frequently, though, these nodal systems are described in terms of individual properties reliant on specific space group intricacies ... More

Discounting in LTLJun 17 2014Nov 19 2014In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where one handles the question of whether a system satisfies, or not, a given ... More

Filling-enforced Magnetic Dirac Semimetals in Two DimensionsSep 21 2016May 24 2017Filling-enforced Dirac semimetals, or those required at specific fillings by the combination of crystalline and time-reversal symmetries, have been proposed and discovered in numerous materials. However, Dirac points in these materials are not generally ... More

Filling-enforced Magnetic Dirac Semimetals in Two DimensionsSep 21 2016Filling-enforced Dirac semimetals, or those required at specific fillings by the combination of crystalline and time-reversal symmetries, have been proposed and discovered in numerous materials. However, Dirac points in these materials are not generally ... More

Spin-Orbit Semimetals in the Layer GroupsApr 28 2016Oct 06 2016Recent interest in point and line node semimetals has led to the proposal and discovery of these phenomena in numerous systems. Frequently, though, these nodal systems are described in terms of individual properties reliant on specific space group intricacies ... More

The Axion Insulator as a Pump of Fragile TopologyOct 04 2018The axion insulator (AXI) has long been recognized as the simplest example of a 3D magnetic topological insulator (TI). The most familiar AXI results from magnetically gapping the surface states of a 3D $\mathbb{Z}_{2}$ TI while preserving the bulk gap. ... More

The Number of Hierarchical OrderingsJul 04 2003An ordered set-partition (or preferential arrangement) of n labeled elements represents a single ``hierarchy''; these are enumerated by the ordered Bell numbers. In this note we determine the number of ``hierarchical orderings'' or ``societies'', where ... More

Near-Deterministic Inference of AS RelationshipsNov 28 2007The discovery of Autonomous Systems (ASes) interconnections and the inference of their commercial Type-of-Relationships (ToR) has been extensively studied during the last few years. The main motivation is to accurately calculate AS-level paths and to ... More

How Deterministic are Good-For-Games Automata?Oct 11 2017In GFG automata, it is possible to resolve nondeterminism in a way that only depends on the past and still accepts all the words in the language. The motivation for GFG automata comes from their adequacy for games and synthesis, wherein general nondeterminism ... More

Recommending with an Agenda: Active Learning of Private Attributes using Matrix FactorizationNov 26 2013Jul 30 2014Recommender systems leverage user demographic information, such as age, gender, etc., to personalize recommendations and better place their targeted ads. Oftentimes, users do not volunteer this information due to privacy concerns, or due to a lack of ... More

Electroweak Corrections to Four-Fermion Production in e+e- AnnihilationMay 30 2005The recently completed calculation of the full electroweak O(alpha) corrections to the charged-current four-fermion production processes e+e- --> nu_tau tau+ mu- anti-nu_mu, u anti-d mu- anti-nu_mu, and u anti-d s anti-c is briefly reviewed. The calculation ... More

Complete electroweak O(alpha) corrections to charged-current e+e- --> 4fermion processesFeb 07 2005Aug 29 2011The complete electroweak O(alpha) corrections are calculated for the charged-current four-fermion production processes e+e- --> nu_tau tau+ mu- anti-nu_mu, u anti-d mu- anti-nu_mu, and u anti-d s anti-c. The calculation is performed using complex gauge-boson ... More

Electroweak Corrections to e+e- --> 4 fermionsJan 16 2006The calculation of the full electroweak O(alpha) corrections to the charged-current four-fermion production processes e+e- --> nu_tau tau+ mu- anti-nu_mu, u anti-d mu- anti-nu_mu, and u anti-d s anti-c is briefly reviewed. The calculation is performed ... More

Weakly-supervised Semantic Parsing with Abstract ExamplesNov 14 2017Mar 13 2019Training semantic parsers from weak supervision (denotations) rather than strong supervision (programs) complicates training in two ways. First, a large search space of potential programs needs to be explored at training time to find a correct program. ... More

Signatures of Majorana Fermions in Topological Insulator Josephson Junction DevicesFeb 08 2013Feb 07 2014We study theoretically the electrical current and low-frequency noise for a linear Josephson junction structure on a topological insulator, in which the superconductor forms a closed ring and currents are injected from normal regions inside and outside ... More

Electroweak corrections to charged-current e+e- --> 4 fermion processes - technical details and further resultsMay 06 2005Aug 29 2011The complete electroweak O(alpha) corrections have been calculated for the charged-current four-fermion production processes e+e- --> nu_tau tau+ mu- anti-nu_mu, u anti-d mu- anti-nu_mu, and u anti-d s anti-c. Here, technical details of this calculation ... More

Reliable Virtual Machine Placement and Routing in CloudsJan 21 2017Apr 08 2017In current cloud computing systems, when leveraging virtualization technology, the customer's requested data computing or storing service is accommodated by a set of communicated virtual machines (VM) in a scalable and elastic manner. These VMs are placed ... More

A JSON Token-Based Authentication and Access Management Schema for Cloud SaaS ApplicationsOct 23 2017Cloud computing is significantly reshaping the computing industry built around core concepts such as virtualization, processing power, connectivity and elasticity to store and share IT resources via a broad network. It has emerged as the key technology ... More

Critical Behavior of Four-Terminal Conductance of Bilayer Graphene Domain WallsSep 26 2014Aug 05 2015Bilayer graphene in a perpendicular electric field can host domain walls between regions of reversed field direction or interlayer stacking. The gapless modes propagating along these domain walls, while not strictly topological, nevertheless have interesting ... More

The Shapley Value in Knapsack Budgeted GamesSep 18 2014We propose the study of computing the Shapley value for a new class of cooperative games that we call budgeted games, and investigate in particular knapsack budgeted games, a version modeled after the classical knapsack problem. In these games, the "value" ... More

Chain Graphs have Unbounded ReadabilityOct 15 2006A triangle-free graph $G$ is called read-$k$ when there exists a monotone Boolean formula $\phi$ whose variables are the vertices of $G$ and whose minterms are precisely the edges of $G$, such that no variable occurs more than $k$ times in $\phi$. The ... More

Privacy Tradeoffs in Predictive AnalyticsMar 31 2014Online services routinely mine user data to predict user preferences, make recommendations, and place targeted ads. Recent research has demonstrated that several private user attributes (such as political affiliation, sexual orientation, and gender) can ... More

Electric-field noise from thermally-activated fluctuators in a surface ion trapSep 15 2018We probe electric-field noise near the surface of an ion trap chip in a previously unexplored high-temperature regime. A saturation of the noise amplitude occurs around 500 K, which, together with a small change in the frequency scaling, points to thermally ... More

Dirac Line Nodes in Inversion Symmetric CrystalsApr 15 2015Apr 21 2015We propose and characterize a new $\mathbb{Z}_2$ class of topological semimetals with a vanishing spin--orbit interaction. The proposed topological semimetals are characterized by the presence of bulk one-dimensional (1D) Dirac Line Nodes (DLNs) and two-dimensional ... More

PNP: Fast Path Ensemble Method for Movie DesignNov 08 2016How can we design a product or movie that will attract, for example, the interest of Pennsylvania adolescents or liberal newspaper critics? What should be the genre of that movie and who should be in the cast? In this work, we seek to identify how we ... More

Electric-field noise from thermally-activated fluctuators in a surface ion trapSep 15 2018Jun 04 2019We probe electric-field noise near the metal surface of an ion trap chip in a previously unexplored high-temperature regime. We observe a non-trivial temperature dependence with the noise amplitude at 1-MHz frequency saturating around 500~K. Measurements ... More

CARE: Content Aware Redundancy Elimination for Disaster Communications on Damaged NetworksJun 08 2012During a disaster scenario, situational awareness information, such as location, physical status and images of the surrounding area, is essential for minimizing loss of life, injury, and property damage. Today's handhelds make it easy for people to gather ... More

Double Dirac Semimetals in Three DimensionsNov 30 2015We study a class of Dirac semimetals that feature an eightfold-degenerate double Dirac point. We show that 7 of the 230 space groups can host such Dirac points and argue that they all generically display linear dispersion. We introduce an explicit tight-binding ... More

Higher-Order Topology, Monopole Nodal Lines, and the Origin of Large Fermi Arcs in Transition Metal Dichalcogenides XTe2 (X=Mo,W)Jun 28 2018In recent years, transition metal dichalcogenides (TMDs) have garnered great interest as topological materials. In particular, monolayers of centrosymmetric $\beta$-phase TMDs have been identified as 2D topological insulators, and bulk crystals of noncentrosymmetric ... More

Using Machine Learning to Detect Noisy Neighbors in 5G NetworksOct 24 20165G networks are expected to be more dynamic and chaotic in their structure than current networks. With the advent of Network Function Virtualization (NFV), Network Functions (NF) will no longer be tightly coupled with the hardware they are running on, ... More

UNICORE - From Project Results to Production GridsFeb 24 2005The UNICORE Grid-technology provides a seamless, secure and intuitive access to distributed Grid resources. In this paper we present the recent evolution from project results to production Grids. At the beginning UNICORE was developed as a prototype software ... More

Surface trap with dc-tunable ion-electrode distanceJul 16 2018We describe the design, fabrication, and operation of a novel surface-electrode Paul trap that produces a radio-frequency-null along the axis perpendicular to the trap surface. This arrangement enables control of the vertical trapping potential and consequentially ... More

Large Fermi Arcs in Unconventional Weyl Semimetal RhSiJun 14 2017Nov 27 2017The theoretical proposal of chiral fermions in topological semimetals has led to a significant effort towards their experimental realization. In particular, the Fermi surfaces of chiral semimetals carry quantized Chern numbers, making them an attractive ... More

Wallpaper Fermions and the Nonsymmorphic Dirac InsulatorMay 03 2017Jul 21 2018Recent developments in the relationship between bulk topology and surface crystal symmetry have led to the discovery of materials whose gapless surface states are protected by crystal symmetries. In fact, there exists only a very limited set of possible ... More

Topological quantum properties of chiral crystalsNov 23 2016Oct 01 2018Chiral crystals are materials whose lattice structure has a well-defined handedness due to the lack of inversion, mirror, or other roto-inversion symmetries. These crystals represent a broad, important class of quantum materials; their structural chirality ... More

Kramers theorem-enforced Weyl fermions: Theory and Materials Predictions (Ag$_3$BO$_3$, TlTe$_2$O$_6$ and Ag$_2$Se related families)Nov 23 2016Symmetry places strong constraints on the electronic features of crystals. By considering the role of time-reversal, $\mathcal{T}$, symmetry in structurally chiral crystals with significant spin-orbit interaction, we show that Kramers theorem may lead ... More

The First U.S. Naval Observatory Robotic Astrometric Telescope Catalog (URAT1)Aug 19 2015URAT1 is an observational, astrometric catalog covering most of the Dec >= -15 deg area and a magnitude range of about R = 3 to 18.5. Accurate positions (typically 10 to 30 mas standard error) are given for over 228 million objects at a mean epoch around ... More

The detection rate of early UV emission from supernovae: A dedicated GALEX/PTF survey and calibrated theoretical estimatesDec 12 2014Feb 25 2015The radius and surface composition of an exploding massive star,as well as the explosion energy per unit mass, can be measured using early UV observations of core collapse supernovae (SNe). We present the first results from a simultaneous GALEX/PTF search ... More

The Third US Naval Observatory CCD Astrograph Catalog (UCAC3)Mar 09 2010The third US Naval Observatory (USNO) CCD Astrograph Catalog, UCAC3 was released at the IAU General Assembly on 2009 August 10. It is the first all-sky release in this series and contains just over 100 million objects, about 95 million of them with proper ... More

Polarizing a stored proton beam by spin flip?Feb 09 2009We discuss polarizing a proton beam in a storage ring, either by selective removal or by spin flip of the stored ions. Prompted by recent, conflicting calculations, we have carried out a measurement of the spin flip cross section in low-energy electron-proton ... More

Measurement of the Spin-Dependence of the pbar-p Interaction at the AD-RingApr 15 2009We propose to use an internal polarized hydrogen storage cell gas target in the AD ring to determine for the first time the two total spin-dependent pbar-p cross sections sigma_1 and sigma_2 at antiproton beam energies in the range from 50 to 450 MeV. ... More