Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computing
• Computer architecture
• Concurrent computing
• Theoretical computer science
• Computer programming
• Refinement
• Abstract interpretation
• Memory barrier
• Abstraction
• Algorithm
• Thread

Measuring Decentralization of Chinese Keyword Censorship via Mobile Games Jeffrey Knockel1,2 , Lotus Ruan1 , and Masashi Crete-Nishihata1 1 Citizen Lab, Munk School of Global Affairs, University of Toronto

Source URL: www.usenix.org

• Computing
• Software
• Video game publishers
• Economy of China
• Entertainment Software Association
• Online marketplaces
• E-commerce
• ITunes
• App Store
• Google Play
• WeChat
• Nintendo

STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Copenhagen, part of ”Workshop and Masterclass on Homological stabilit

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Hochschild homology
• Natural transformation
• Homology
• Universal coefficient theorem
• Symmetric group
• Functor
• Resolution
• Ring

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Computing
• Data management
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Computational linguistics
• Meta learning
• Supervised learning
• Support vector machine
• Deep learning
• SQL syntax

È convocata l’ASSEMBLEA GENERALE ORDINARIA dell’Associazione SUPSI Alumni Che si terrà il: 25 ottobre 2018 alle ore 19:00 Presso: AulaStabile Suglio, Via Cantonale 18 - Manno

Source URL: www.supsialumni.ch

Generating steganographic images via adversarial training Jamie Hayes and George Danezis

Source URL: www.homepages.ucl.ac.uk

• Cryptography
• Steganography
• Steganalysis
• Bit numbering
• Deep learning
• Public-key cryptography
• RSA
• Generative adversarial network
• Artificial neural network
• Steganographic file system
• BPCS-Steganography

Understanding User Interactions with Podcast Recommendations Delivered Via Voice Longqi Yang Michael Sobolev

Source URL: www.cs.cornell.edu

• Humancomputer interaction
• Recommender system
• Human behavior
• User interface techniques
• Computing
• User interface
• Usability
• Association for Computing Machinery
• Human communication
• GroupLens Research
• Collaborative filtering

Supplementary Information Psychomotor Function Measured via Online Activity Predicts Motor Vehicle Fatality Risk

Source URL: www.timalthoff.com

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Verification
• Technology
• Refinement
• Specification
• File system
• Evaluation
• Business

PDF Document

Source URL: www.via-visioninaction.org