Motivation Edits Better than Verdicts Adding Labels

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

Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago

Source URL: www.cs.utah.edu

• Discworld
• Literature
• Fiction
• Angua
• Ankh-Morpork
• Troll
• Discworld books
• PICT
• Brutha
• Ankh-Morpork City Watch

arXiv:1711.03028v2 [cs.PL] 13 DecSimplicity: A New Language for Blockchains Russell O’Connor

Source URL: arxiv.org

• Computing
• Cryptocurrencies
• Theoretical computer science
• Software engineering
• Blockchains
• Logic in computer science
• Bitcoin
• Alternative currencies
• Combinatory logic
• Ethereum
• Stack machine
• Stack

Idyll: A Markup Language for Authoring andPublishing Interactive Articles on the Web

Source URL: idl.cs.washington.edu

• Computing
• Software engineering
• Markup languages
• Open formats
• HTML
• Lightweight markup languages
• Technical communication
• JavaScript
• Markdown
• Data visualization
• Spreadsheet
• Ext JS

All Your Cards Are Belong To Us: Understanding Online Carding Forums Andreas Haslebacher, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.stringhini}@cs

Source URL: jonaolapo.github.io

COSC 544 Probabilistic Proof SystemsAn Optimal Interactive Proof for Matrix Multiplication Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Mathematics
• Algebra
• Exponentials
• Matrix theory
• IP
• Summation
• Exponentiation

IEEE COMPUTER ARCHITECTURE LETTERS, VOL. 11, NO. 2, JULY-DECEMBERIncluding Variability in Large-Scale Cluster Power Models

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Parallel computing
• Computing
• Computer architecture
• Cluster computing
• Fault-tolerant computer systems
• Computer cluster
• Supercomputer
• Scalability
• Data-intensive computing
• High-availability cluster
• MOSIX

Minimizing Expected Losses in Perturbation Models with Multidimensional Parametric Min-cuts Adrian Kim, Kyomin Jung Seoul National University Seoul, South Korea

Source URL: www.cs.toronto.edu

• Estimation theory
• Econometrics
• Statistical inference
• M-estimators
• Loss function
• Maximum likelihood estimation
• Confidence interval

SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE

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

• Security engineering
• Electromagnetism
• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Computer security
• Computing
• Carnegie Mellon School of Computer Science
• University of Colombo School of Computing

SYLLABUS Course title and number Term (e.g., Fall 200X) Meeting times and location CSCEAI Robotics

Source URL: faculty.cs.tamu.edu

• Robot
• Mobile robot
• Artificial intelligence
• Technology
• Science and technology
• Science