On Visible Adversarial Perturbations & Digital Watermarking Jamie Hayes University College London

Source URL: openaccess.thecvf.com

• Applied mathematics
• Mathematics
• Physics
• Deep learning
• Perturbation theory
• Adversary
• Inpainting
• Denial-of-service attack
• ArXiv
• Artificial neural network
• Adversarial system

Community Interaction and Conflict on the Web Srijan Kumar William L. Hamilton Stanford University, USA

Source URL: stanford.edu

Is there a Place in Cyberspace: The Uses and Users of Public Internet Terminals1 Jeffrey Boase, Wenhong Chen, Barry Wellman, and Monica Prijatelj NetLab, Centre for Urban & Community Studies, University of Toronto This p

Source URL: individual.utoronto.ca

• Virtual reality
• Technology
• Information and communications technology
• Culture
• Cultural globalization
• New media
• Community building
• Social information processing
• Internet caf
• Internet access
• Internet
• Barry Wellman

Which Configuration Option Should I Change? Sai Zhang, Michael D. Ernst University of Washington Presented by: Kıvanç Muşlu

Source URL: zhang-sai.github.io

• System software
• Software
• Free software
• APT
• Debian
• Dpkg
• Ubuntu
• Configuration management

Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

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

• Mathematics
• Algebra
• Theoretical computer science
• Finite automata
• Linear algebra
• Finite-state transducer
• Dynamic programming
• Edit distance
• Trace
• Finite-state machine
• Shortest path problem
• Levenshtein distance

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

Vector Lane Threading Suzanne Rivoire, Rebecca Schultz, Tomofumi Okuda†, Christos Kozyrakis Electrical Engineering Department Stanford University {rivoire,rschultz,tokuda,kozyraki}@stanford.edu 8

Source URL: rivoire.cs.sonoma.edu

• Computer architecture
• Concurrent computing
• Computing
• Parallel computing
• Central processing unit
• Flynn's taxonomy
• Microprocessors
• Superscalar processor
• SIMD
• Vector processor
• Scalar processor
• Automatic vectorization

Caching Doesn’t Improve Mobile Web Performance (Much) Jamshed Vesuna and Colin Scott, University of California, Berkeley; Michael Buettner and Michael Piatek, Google; Arvind Krishnamurthy, University of Washington; Sco

Source URL: www.usenix.org

• Cache
• Computing
• Web development
• Information and communications technology
• Computer networking
• Computer architecture
• Web cache
• Web performance
• Proxy server
• World Wide Web
• Google PageSpeed Tools
• Web server

SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So

Source URL: www.ieee-security.org

• Computing
• Computer architecture
• System software
• Recall
• Android
• Pattern
• Short-term memory
• Student's t-test

FUNCTOR CATEGORIES AND STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Tokyo, January 18-22, 2016. These lectures conce

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Functors
• Category theory
• Additive categories
• Equivalence
• Exact functor
• Natural transformation
• Adjoint functors
• Hochschild homology