http://www.desmoinesregister.com/story/entertainment/artsdes-­‐moines-­‐art-­‐center-­‐antique-­‐abstraction-­‐ exhibit-­‐modern-­‐art/      

Source URL: www.two17films.com

The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Source URL: sigplan.org

• Computer memory
• Parallel computing
• Concurrent computing
• Compiler construction
• Programming language design
• Linearizability
• Memory model
• C++
• Thread
• Abstraction
• Concurrency
• Memory barrier

arXiv:1506.08030v1 [cs.AI] 26 JunDynamic Bayesian Ontology Languages ˙ ˙ Ismail

Source URL: arxiv.org

• Logic
• Statistics
• Abstraction
• Statistical inference
• Statistical theory
• Reasoning
• Probability theory
• Formal epistemology
• Probabilistic logic
• Bayesian network
• Bayesian inference
• Probability

LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address:

Source URL: www.ccs.neu.edu

• Logic
• Mathematical logic
• Abstraction
• Predicate logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Constructible universe
• Quantifier
• First-order logic

Abstraction for Weakly Consistent Systems Alexey Gotsman IMDEA Software Institute, Madrid, Spain Joint work with Mark Batty (Cambridge), Sebastian Burckhardt (MSR),

Source URL: software.imdea.org

 A generalization of F with abstraction

Source URL: gallium.inria.fr

Jointly Learning to Parse and Perceive: Connecting Natural Language to the Physical World Jayant Krishnamurthy Computer Science Department Carnegie Mellon University

Source URL: rtw.ml.cmu.edu

• Logic in computer science
• Grammar
• Meaning
• Semantics
• Social philosophy
• Combinatory logic
• Logic
• Philosophy
• Abstraction

Deepa Muralidhar, Computer Sciemce, iteachcs.com ABSTRACTION & PROBLEM SOLVING Deepa Muralidhar North Gwinnett High School

Source URL: www.csprinciplesatnorth.yolasite.com

Probabilistic Abstraction Hierarchies Eran Segal Computer Science Dept. Stanford University

Source URL: genie.weizmann.ac.il