Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
991	Coelho & Jouvelot & Ancourt & Irigoin Data and Process Abstraction in PIPS Internal Representation Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, Franc¸ois Irigoin Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-05-02 04:34:51 Data types C programming language Procedural programming languages C++ Type theory Struct Typedef Pointer ALGOL 68 Software engineering Computing Computer programming
992	ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
993	Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code Jacques Carette 1 McMaster University, 1280 Main St. West, Hamilton, Ontario Canada L8S 4K1 Add to Reading List Source URL: okmij.org Language: English - Date: 2009-01-01 23:48:44 Numerical linear algebra Matrix theory Matrices LU decomposition Gaussian elimination Matrix Rank Determinant Cholesky decomposition Algebra Linear algebra Mathematics
994	Microsoft Word - Analogy_SEQL_v10_kf.doc Add to Reading List Source URL: spatiallearning.org Language: English - Date: 2010-05-15 14:47:19 Thought Semantics Ontology Abstraction Machine learning Qualitative Reasoning Group Analogy Structure mapping engine Concept Mind Cognition Philosophy of mind
995	Published in in Real Metaphysics, ed. by H. Lillehammer and G. Rodriguez-Pereyra, Routledge, 2003, ppWHAT IS WRONG WITH THE RELATIONAL THEORY OF CHANGE? Gonzalo Rodriguez-Pereyra Hertford College, Oxford Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-03-18 12:19:49 Philosophy of physics Abstraction Property Quality Temporal parts Finitary relation Intrinsic and extrinsic properties Relational theory Identity and change Philosophy Ontology Metaphysics
996	The Potential for methane Emissions from Groundwaters of the UK Table 1. Infiltration and abstraction of major UK aquifers in million m3 per year (after Downing, 1993) Chalk Lower Greensand Add to Reading List Source URL: nora.nerc.ac.uk Language: English - Date: 2012-07-25 12:08:59 Methane Limestone Groundwater Optical materials Environment Water Anaerobic digestion Fuels
997	cressaid_terms_and_conditions Add to Reading List Source URL: www.cressaid.com.au Language: English - Date: 2014-10-09 21:45:54 Philosophical logic Non-classical logic Abstraction Axiology Copyright Internet Relay Chat X Window System Modal logic Invoice Software Science Logic
998	Software Manufacture Michael Jackson Michael Jackson Systems Limited London, United Kingdom 1 INTRODUCTION Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-16 11:12:44 Database Mind Data Separation of concerns Software design Computing Abstraction Data management
999	C:UME~1ERM~1OCU~1RSON2007.WPD Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2009-01-15 11:15:08 Mathematics Abstraction Control theory State space Distribution
1000	AISB 2008 Convention Communication, Interaction and Social Intelligence 1st-4th April 2008 University of Aberdeen Add to Reading List Source URL: aisb.org.uk Language: English - Date: 2008-03-16 16:15:52 Formal sciences Mathematical logic Abstraction Axiology Epistemic modal logic Common knowledge Temporal logic Game theory Logic Science Artificial intelligence