C OV ER F E AT U RE Consistency Tradeoffs in Modern Distributed Database System

Source URL: www.cs.umd.edu

• Computing
• Data management
• Data
• Distributed computing
• NoSQL
• Structured storage
• PACELC theorem
• Riak
• Eventual consistency
• Apache Cassandra
• Replication
• Consistency model

H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Logic in computer science
• Mathematical analysis
• Mathematics
• Formal methods
• Probability
• Semantics
• Approximate computing
• Mathematical optimization
• Pi
• Operational semantics

arXiv:1804.06188v2 [cs.LG] 4 JulVC-Dimension Based Generalization Bounds for Relational Learning Ondˇrej Kuˇzelka∗

Source URL: arxiv.org

• Mathematical logic
• Model theory
• Mathematics
• First-order logic
• Predicate logic
• Constructible universe
• VC dimension
• Relational model
• Metalogic
• Congruence lattice problem

Faculty Support Fallfor the web.xlsx

Source URL: www.cs.cornell.edu

Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c

Source URL: www.cs.cornell.edu

• Linguistics
• Computational linguistics
• Statistical natural language processing
• Natural language processing
• Corpus linguistics
• Applied linguistics
• Speech recognition
• Topic model
• Latent Dirichlet allocation
• N-gram
• Stemming
• Text corpus

Why Information can be Free ˇ ce?† Ivana Caˇ ? Joanna J. Bryson†

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

• Computing
• Modeling and simulation
• Multi-agent systems
• Artificial intelligence
• Simulation software
• Complex systems theory
• Simulation
• NetLogo
• Agent-based model
• Intelligent agent
• Agent
• Economics

VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne

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

• Harbourfront
• PATH
• Toronto Transit Commission
• Ontario
• Yonge Street
• Union station
• King station
• Queens Quay
• Queen station
• Gardiner Expressway
• Bay station

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: cs.nyu.edu

• Computational complexity theory
• Theory of computation
• IP
• Proof of knowledge
• NP
• Zero-knowledge proof
• Certificate
• Theoretical computer science
• Applied mathematics

Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming
• Component-based software engineering
• Inter-process communication
• C++
• Component Object Model
• Inline function
• ECO
• Scope
• C standard library