Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
801	Angela Thomas Aus der bewegten Geschichte der internationalen Künstlervereinigung Abstraction Création, Paris 1931–1937 Add to Reading List Source URL: www.maxbill.ch Language: German - Date: 2014-06-19 06:43:06
802	A New Algorithmic Approach to the Minority Game Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:16 Abstraction Complex systems theory Complexity Holism Transdisciplinarity Kolmogorov complexity Computational complexity theory Standard deviation String Statistics Theoretical computer science Computability theory
803	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Adjoint functors Functional programming Lambda calculus Monad Logic in computer science Arrow Closure List Scheme Software engineering Computer programming Computing
804	Paradox Issue 3, 2004 The Magazine of the Melbourne University Mathematics and Statistics Society MUMS Add to Reading List Source URL: www.ms.unimelb.edu.au Language: English - Date: 2011-11-19 03:23:13 Philosophical logic Golden ratio Function Abstraction Mathematics Logic Paradox
805	ALBERT-LUDWIGS-UNIVERSITÄT FREIBURG INSTITUT FÜR INFORMATIK Arbeitsgruppe Grundlagen der Künstlichen Intelligenz Prof. Dr. Bernhard Nebel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-03-08 08:54:40 Model checking Theoretical computer science Heuristic function Mind Abstraction Heuristic Algorithm Cognition Innovation Problem solving Heuristics Operations research
806	Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-16 00:14:15 Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic
807	A generalization of F with abstraction Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:30:08 Object-oriented programming Polymorphism Subtype polymorphism Type theory Functions and mappings Function Mathematics Data types Software engineering
808	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
809	OctoberReport No. STAN-CSProgramming and Proving with Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-03 21:37:12 Programming paradigms Logic in computer science Programming language semantics Abstraction Data management Functional programming Lisp Operational semantics Continuation Software engineering Computer programming Computing
810	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-04-07 08:31:54 Hybrid automaton Continuous function Complete Heyting algebra Abstraction Automata theory Mathematics Mathematical analysis

UPDATE