Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
171	0 Computational Thinking Jeannette M. Wing President’s Professor of Computer Science and Department Head Computer Science Department Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-11-07 10:24:42 Engineering Computational thinking Computing Jeannette Wing Abstraction Computer science Electromagnetism
172	Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2016-04-11 04:53:31 Logic Mathematics IP Interpretation Abstraction Linear temporal logic Craig interpolation
173	Context-givenness vs. existential quantification Salvador Mascarenhas New York University This paper argues that there are strong parallelisms between indefinite noun phrases and two seemingly unrelated constructions, na Add to Reading List Source URL: www.macsim.us Language: English - Date: 2011-06-24 13:35:02 Quantification Philosophy Logic Abstraction Semantics Skolem normal form Kratzer Quantifier Universal quantification De dicto and de re Existence Existential quantification
174	Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, I Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Computing Hadoop Apache Software Foundation Parallel computing Apache Spark Cluster computing Java platform Apache Hadoop Data-intensive computing MapReduce Apache HBase PageRank
175	Fixing Shin’s Reading Algorithm for Peirce’s Existential Graphs Frithjof Dau Technische Universit¨ at Dresden Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Philosophy Logic Abstraction Charles Sanders Peirce Graph theory Philosophical logic Existential graph Predicate logic Charles Sanders Peirce bibliography Typographic ligature Graph First-order logic
176	The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton
177	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
178	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
179	Reconstructing Arguments: Formalization and Reflective Equilibrium Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:21 Logic Abstraction Philosophy Arguments Critical thinking Philosophy of language Logical truth Semantics First-order logic Logical form Propositional calculus Meaning
180	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:18 Logic Abstraction Philosophy Philosophy of language Formal languages Grammar Type theory Model theory Proposition Meaning Musical argument Intensifier

UPDATE