Pantheon: the training ground for Internet congestion-control research https://pantheon.stanford.edu Francis Y. Yan† , Jestin Ma† , Greg D. Hill† , Deepti Raghavan¶ , Riad S. Wahby† , Philip Levis† , Keith Win

Source URL: platformlab.stanford.edu

• Rationing
• Road space rationing
• Sustainable transport
• Stanford University
• Yan
• Computer network
• Transport
• 1st millennium BC
• Holocene

Wedge: A New Frontier for Pull-based Graph Processing

Source URL: platformlab.stanford.edu

Speakeasy: A Platform for Interactive Public Displays Julie A. Black1, Jason I. Hong2, Mark W. Newman3, W. Keith Edwards, Shahram Izadi, Jana Z. Sedivy, Trevor F Smith 1 Stanford University

Source URL: trevor.smith.name

• Application software
• Software
• Mathematical software
• User interfaces
• Video hardware
• Numerical linear algebra
• Speakeasy
• Display device

Efficient Decision-Theoretic Target Localization

Source URL: platformlab.stanford.edu

• Abstract algebra
• Algebra
• Markov processes
• Dynamic programming
• Stochastic control
• Mathematics
• Field theory
• Partially observable Markov decision process
• Machine learning algorithms
• Markov decision process
• Automated planning and scheduling
• Valuation

Letter doi:nature23018 Large-scale physical activity data reveal worldwide activity inequality

Source URL: activityinequality.stanford.edu

Towards Intelligent Voice Assistants for SPNs Vin Sachidananda with Feiran Wang and Balaji Prabhakar Intelligent Voice Assistants

Source URL: platformlab.stanford.edu

• Computing
• Economy
• Business
• Business software
• Dashboard
• Data management
• Data warehousing
• Google Search
• Query

Arachne Update Core Policies and Memcached Integration Henry Qin, Qian Li, Jacqueline Speiser, Peter Kraft John Ousterhout Introduction

Source URL: platformlab.stanford.edu

• Parallel computing
• Concurrent computing
• Thread
• Computer architecture
• Computing
• Computer engineering
• Digital signal processors
• Microprocessors

Microsoft Word - EMPLOYEE COMPLAINT FORM..docx

Source URL: police.stanford.edu

• Civil procedure
• Complaint

Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Lorenz Breidenbach, Cornell Tech, IC3, ETH Zurich; Philip Daian, Cornell Tech, IC3; Florian Tramer, Stanford; Ari Juels, Cornell Tech

Source URL: www.usenix.org

• Cryptocurrencies
• Ethereum
• Blockchains
• Computing
• Alternative currencies
• Concurrent computing
• Distributed computing
• Cross-platform software
• Bug bounty program
• Smart contract
• Software bug
• Bounty

The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Metalogic
• Mathematics
• Proof theory
• Model theory
• Mathematical logic
• Syntax
• First-order logic
• Well-formed formula
• Formal system
• Logic programming
• Resolution