Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
931	Symbolic Heap Abstraction with DemandDriven Axiomatization of Memory Invariants ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-08-09 15:18:34 Data types Procedural programming languages Type theory Variables Pointer Heap C Function Buffer overflow Software engineering Computing Computer programming
932	Potential approaches to the management of third-party impacts from groundwater transfers Short title: Managing externalities from groundwater trading James H. Skurray a, b, * and David J. Pannell a, b a Add to Reading List Source URL: ageconsearch.umn.edu Language: English - Date: 2014-08-13 10:18:22 Physical geography Earth Hydraulic engineering Hydrogeology Groundwater Stygofauna Water trading Water abstraction Water table Water Hydrology Aquifers
933	MAKING SENSE October, 2008 Katie Lee \| Bridie Lunney \| Harriet Turnbull \| For something to ʻmake senseʼ it requires a particular logic. A logic that can be recognised, enacted, or obeyed. However, many things th Add to Reading List Source URL: katielee.com.au Language: English - Date: 2012-07-17 07:01:29 Philosophy of mathematics Overlay Turnbull Science Academia Knowledge Abstraction Axiology Logic
934	PDF version of post on http://www.BabelsDawn.com + Post of: May 2, 2010 Add to Reading List Source URL: www.babelsdawn.com Language: English - Date: 2010-04-30 21:28:07 Psychology Experimental psychology Neuropsychological assessment Perception Philosophy of mind Abstraction Mind Cognitive science Mental processes
935	Finding Optimal Abstract Strategies in Extensive-Form Games Michael Johanson and Nolan Bard and Neil Burch and Michael Bowling {johanson,nbard,burch,mbowling}@ualberta.ca University of Alberta, Edmonton, Alberta, Canada Add to Reading List Source URL: poker.cs.ualberta.ca Language: English - Date: 2012-07-18 18:21:43 Economics Nash equilibrium Subgame Solution concept Strategy Epsilon-equilibrium Best response Extensive-form game Abstraction Game theory Problem solving Human behavior
936	Cliwoc Final Report CLIWOC FINAL REPORT REPORT Ricardo García Herrera Dennis Wheeler Add to Reading List Source URL: www.knmi.nl Language: English - Date: 2004-05-04 08:05:09 Oceanography Logbook Information science Beaufort scale Data analysis Abstraction Data quality Science Climate history CLIWOC
937	Mobile Controls On-The-Fly: An Abstraction for Distributed NIMEs Charles Roberts Graham Wakefield Add to Reading List Source URL: www.mat.ucsb.edu Language: English - Date: 2013-02-01 13:04:32 Audio programming languages Software synthesizers User interface techniques Software widget SuperCollider Open Sound Control FLUID Widget GUI widget Software Computing Graphical user interfaces
938	ADA ZA MPITO ZA MATUMIZI YA MAJI NA ADA NYINGINE ZITAKAZOTOZWA NA BODI YA MAJI YA BONDE LA PANGANI KUANZIA JULAI 1, 2014 Item No A. 1. Add to Reading List Source URL: www.panganibasin.com Language: English - Date: 2014-06-19 09:50:51 Abstract art Irrigation Mind Culture Visual arts Abstraction Data management
939	Using the Synergies Between the Object-Oriented Paradigm and Mathematics in Joint Mathematics/Computer Science Programs Marc Conrad Tim French Add to Reading List Source URL: ring.perisic.com. Language: English - Date: 2004-06-25 12:35:33 Computer programming Programming paradigms Data types Object Mathematics Abstraction Mathematical object Computer science Abstract data type Software engineering Computing Object-oriented programming
940	Narratives and transdisciplines for a post-industrial world. T. F. H. Allen (University of Wisconsin, Madison, USA) and Mario Giampietro (INRAN, Italy) Add to Reading List Source URL: isss.org Language: English - Date: 2005-09-13 14:34:58 Structure Nature Cybernetics Abstraction Complexity Complex system Complex adaptive system Computational complexity theory Narrative Systems Science Complex systems theory