Multi-step Bootstrapping Jennifer She Reinforcement Learning: An Introduction by Richard S. Sutton and Andrew G. Barto February 7, 2017

Source URL: www.cs.ubc.ca

• Machine learning algorithms
• Money
• Finance
• Artificial intelligence
• Language acquisition
• Richard S. Sutton
• Reinforcement learning
• Bootstrapping
• Andrew Barto
• Barto

Accoun&ng for Variability in Large‐ Scale Cluster Power Models   John D. Davis,  MicrosoB Research, Silicon Valley Lab,   Suzanne Rivoire, Moises Goldszmidt, and Ehsan K.  Ardestani 

Source URL: rivoire.cs.sonoma.edu

• Computer architecture
• Computer hardware
• Computing
• Opteron
• Athlon
• Advanced Micro Devices
• Solid-state drive

IGP-as-a-Backup for Robust SDN Networks Olivier Tilmans Stefano Vissicchio Universit´e catholique de Louvain

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

Network-wide Configuration Synthesis arXiv:1611.02537v1 [cs.NI] 8 Nov 2016 Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨

Source URL: people.ee.ethz.ch

• Computing
• Network architecture
• Internet architecture
• Information and communications technology
• Internet Standards
• Routing protocols
• Internet protocols
• Computer networking
• Open Shortest Path First
• Datalog
• Router
• Forwarding plane

Graphene: A New Protocol for Block Propagation Using Set Reconciliation A. Pinar Ozisik† , Gavin Andresen, George Bissias† , Amir Houmansadr† , Brian Levine† †College of Information and Computer Sciences, Univ.

Source URL: people.cs.umass.edu

• Cryptocurrencies
• Bitcoin
• Computing
• Alternative currencies
• Emerging technologies
• Decentralization
• Economy
• Money
• Blockchain
• Bloom filter
• Graphene
• Potential applications of graphene

MP-HULA: Multipath Transport Aware Load Balancing Using Programmable Data Planes

Source URL: cs.brown.edu

• Computing
• Information and communications technology
• Network performance
• Network architecture
• Routing
• Internet architecture
• Computer networking
• Multipath TCP
• Load balancing
• Transmission Control Protocol
• Traffic flow
• Transport layer

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

Groundwork Algorithm Extensions

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Algorithm
• Mathematical logic
• Parallel computing
• Synchronization

Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK Abstract. This paper discusses how the existing static analyses developed for

Source URL: www.cs.man.ac.uk

• Program analysis
• Typestate analysis
• Mathematical logic
• Logic
• Mathematics
• Runtime verification
• Quantifier
• Type system
• Sheaf

Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco Dominik Moritz, Chenglong Wang, Greg L. Nelson, Halden Lin, Adam M. Smith, Bill Howe, Jeffrey Heer Abstract—There exi

Source URL: idl.cs.washington.edu