CS

Results: 61295



#Item
281Information theory / Statistical theory / Mathematics / Mathematical analysis / Entropy / Mutual information / Expected value / Confidence interval / Information flow / Binomial distribution / Conditional entropy / Quantities of information

LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

Add to Reading List

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

Language: English - Date: 2017-06-07 20:45:26
282Quantum mechanics / Physics / Theoretical computer science / Quantum information science / Quantum computing / Quantum states / Quantum algorithms / Qubit / Quantum superposition / Hadamard transform / Quantum entanglement / Matrix

CPSC: Quantum Computation John Watrous, University of Calgary Lecture 1: Overview of quantum information January 10, 2006

Add to Reading List

Source URL: cs.uwaterloo.ca

Language: English - Date: 2017-09-07 13:00:10
283Mathematics / Applied mathematics / Statistical randomness / Theoretical computer science / Packing problems / Dynamic programming / Machine learning algorithms / Machine learning / Reinforcement learning / Bin packing problem / Artificial neural network / Algorithm

arXiv:1807.01672v2 [cs.LG] 6 JulRanked Reward: Enabling Self-Play Reinforcement Learning for Combinatorial Optimization Alexandre Laterre

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2018-07-08 20:35:06
284Concurrent computing / Parallel computing / Computing / Computer programming / Manycore processor / Data parallelism / General-purpose computing on graphics processing units / Parallel programming model / Multi-core processor / Thread / CUDA / OpenMP

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science

Add to Reading List

Source URL: rivoire.cs.sonoma.edu

Language: English - Date: 2017-05-29 18:45:10
285Computing / Compiler construction / Software engineering / Computer memory / Concurrency / Programming language design / Compiler / Programming language implementation / Consistency model / Memory model / Kernel

Synthesizing Memory Models from Framework Sketches
 and Litmus Tests James Bornholt
 Emina Torlak

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-25 00:49:19
286Cryptographic protocols / Electromagnetism / Garbled circuit / Secure multi-party computation / IP / Theory of computation / NC / Electronic circuit / Applied mathematics / Commitment scheme

CS 294 – Secure Computation February 16 and 18, 2016 Lecture 9 and 10: Malicious Security - GMW Compiler and Cut and Choose, OT Extension

Add to Reading List

Source URL: people.eecs.berkeley.edu

Language: English - Date: 2016-03-10 13:39:26
287Machine learning / Learning / Artificial intelligence / Computational neuroscience / Cognition / Computational statistics / Artificial neural network / Market research / Mathematical psychology / Supervised learning / Metamodeling / Feature learning

Neural Program Meta-Induction arXiv:1710.04157v1 [cs.AI] 11 Oct 2017 Jacob Devlin∗ Google

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
288Routing protocols / Computing / Network architecture / Information and communications technology / Internet protocols / Internet Standards / Routing algorithms / Internet architecture / Routing / Computer network / Open Shortest Path First / Distance-vector routing protocol

Low-Latency Routing on Mesh-Like Backbones Nikola Gvozdiev, Stefano Vissicchio, Brad Karp, Mark Handley University College London (UCL) A BSTRACT Early in in the Internet’s history, routing within a single

Add to Reading List

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

Language: English - Date: 2017-11-13 14:13:42
289Mathematics / Complexity classes / Randomized algorithms / IP / Probabilistically checkable proof / NP / NEXPTIME / Soundness / Variable / Interactive proof system / Proof of knowledge

COSC 544 Probabilistic Proof SystemsA State of the Art MIP For Circuit Satisfiability Lecturer: Justin Thaler

Add to Reading List

Source URL: people.cs.georgetown.edu

Language: English - Date: 2017-10-16 18:20:55
290Education / Learning / Human behavior / Pedagogy / Segregation / Educational psychology / Higher education / Universal Design for Learning / Philosophy of education / Educational technology / Inclusion / Accessibility

SIGCSE 2011 Poster Proposal: Universal Design for Learning in CS1 Suzanne Rivoire Department of Computer Science Sonoma State University, Rohnert Park, CA, USA

Add to Reading List

Source URL: rivoire.cs.sonoma.edu

Language: English - Date: 2017-05-29 18:45:15
UPDATE