FREEDOM ON THE NET 2017 Venezuela 2016

Source URL: freedomhouse.org

• Telecommunications in Venezuela
• Internet in Venezuela
• CANTV
• Business
• Economy of Venezuela
• Americas
• Telesur
• Telefnica
• Censorship in Venezuela

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Human behavior
• Internet manipulation and propaganda
• Internet trolling
• Deception
• Sockpuppet
• World Wide Web
• Internet culture
• Internet troll
• Trolling
• Troll

On the Co-Existence of Distributed and Centralized Routing Control-Planes Stefano Vissicchio∗ , Luca Cittadini‡ , Olivier Bonaventure∗ , Geoffrey G. Xie§ , Laurent Vanbever† ∗ Universit´e catholique de Louva

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

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Computer networking
• Internet architecture
• Routing
• Internet protocols
• Router
• OpenFlow
• Enhanced Interior Gateway Routing Protocol
• Software-defined networking

Impact of Next-Generation Mobile Technologies on IoT — Cloud Convergence Millimeter-Wave Wireless Communications for IoT-Cloud Supported Autonomous Vehicles: Overview, Design, and Challenges Linghe Kong, Muhammad Khur

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Technology
• Wireless
• Emerging technologies
• Mobile technology
• Vehicle telematics
• Internet of things
• IEEE 802
• 5G
• IEEE 802.11p
• Vehicular communication systems
• IEEE 802.15

Reducing the Evolutionary Analysis Cost of Alloy Hamid Bagheri Workshop on the Future of Alloy April 30 & May 1, 2018. Cambridge, MA

Source URL: alloytools.org

• Application software
• Computing
• Software
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Ls
• ROOT
• Specification
• Formal specification

FIRST PASSAGE PERCOLATION ON A HYPERBOLIC GRAPH ADMITS BI-INFINITE GEODESICS ITAI BENJAMINI AND ROMAIN TESSERA Abstract. Given an infinite connected graph, a way to randomly perturb its metric is to assign random i.i.d.

Source URL: www.normalesup.org

• Geometry
• Mathematics
• Space
• Metric geometry
• Hyperbolic geometry
• Geometric group theory
• -hyperbolic space
• Hyperbolic group
• Geodesic
• Differential geometry of surfaces
• Busemann function
• Hyperbolic metric space

On the Efficiency of Pollard’s Rho Method for Discrete Logarithms Shi Bai1 1 2

Source URL: maths-people.anu.edu.au

• Abstract algebra
• Algebra
• Mathematics
• Group theory
• Computational hardness assumptions
• Logarithms
• Modular arithmetic
• Finite fields
• Discrete logarithm
• Randomized algorithm
• Pollard's rho algorithm
• Index calculus algorithm

THELAWS UGANDA PROTECTORATE OF THE IN FORCE ON

Source URL: africandrumminglaws.org

Splitting on Demand in SAT Modulo Theories Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli New York Univ. Techn. Univ. Catalonia

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Phnom Penh
• Solver
• Propositional calculus

September 26, 2018 The Honorable Lynn Jenkins Chairman U.S. House Committee on Ways and Means, Subcommittee on Oversight 1102 Longworth House Office Building

Source URL: www.epic.org

• Taxation in the United States
• Tax
• Government
• Law
• Internal Revenue Service
• Social Security number
• Taxpayer Identification Number
• Identity theft
• Electronic Privacy Information Center
• Treasury Inspector General for Tax Administration
• Marc Rotenberg
• IRS targeting controversy