Full version of an extended abstract published in AsiacryptD´ej`a Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions Melissa Chase Microsoft Research Redmond

Source URL: smeiklej.com

• Algebra
• Abstract algebra
• Lie groups
• Non-associative algebras
• XTR
• Mutation
• Spectral theory

Exceptionalism and Exemptionalism: Framing US Public Opinion on the International Criminal Court* Kelebogile Zvobgo† October 17, 2018 Abstract

Source URL: www.saramitchell.org

• Foreign relations
• Law
• Government
• International Criminal Court
• Foreign relations of the United States
• American exceptionalism
• Framing
• International criminal law
• Genocide

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Abstract interpretation
• Mellon
• Scala
• Refinement

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

Source URL: netcomplete.ethz.ch

• Computing
• Network architecture
• Routing protocols
• Internet Standards
• Data transmission
• Internet protocols
• Internet architecture
• Computer networking
• Border Gateway Protocol
• Open Shortest Path First
• IS-IS
• Convergence

In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective

Source URL: idl.cs.washington.edu

Software-basierte Mikroarchitekturangriffe1 Daniel Gruss2 Abstract: Moderne Prozessoren sind hoch optimierte Systeme, bei denen jeder einzelne Rechenzeitzyklus von Bedeutung ist. Viele Optimierungen h¨angen von den Date

Source URL: gruss.cc

Incentive Compatibility of Bitcoin Mining Pool Reward Functions Okke Schrijvers, Joseph Bonneau, Dan Boneh, and Tim Roughgarden Stanford University Abstract. In this paper we introduce a game-theoretic model for reward

Source URL: www.ifca.ai

• Cryptocurrencies
• Bitcoin
• Neuroscience
• Alternative currencies
• Economy
• Mining pool
• Money
• Reward system

Towards Test-Driven Software Defined Networking David Lebrun, Stefano Vissicchio, Olivier Bonaventure Universit´e catholique de Louvain, ICTEAM Email: Abstract—To configure, troublesh

Source URL: www0.cs.ucl.ac.uk

• Computing
• Emerging technologies
• Network architecture
• Information and communications technology
• Computer architecture
• Configuration management
• Internet architecture
• Software-defined networking
• Data transmission
• Software testing
• OpenFlow
• Traffic flow

Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT

Source URL: gdac.uqam.ca

• Software
• Computing
• Digital media
• Internet search engines
• Geosocial networking
• Geographic information systems
• Recommender system
• Yelp
• Local search
• Geocoding
• Personal
• Inc.
• Database

THE HOWE-MOORE PROPERTY FOR REAL AND p-ADIC GROUPS RAF CLUCKERS, YVES CORNULIER, NICOLAS LOUVET, ROMAIN TESSERA, AND ALAIN VALETTE Abstract. We consider in this paper a relative version of the Howe-Moore

Source URL: www.normalesup.org

• Group theory
• Algebra
• Abstract algebra
• Topological groups
• Lie groups
• Geometric group theory
• Kazhdan's property
• Induced representation
• Reductive group
• Ergodic theory
• Commutator subgroup
• Representation theory