Acta zoologica cracoviensia, 55(1): 33-43, Kraków, 31 October, 2012 Ó Institute of Systematics and Evolution of Animals, Pol. Acad. Sci., Kraków

Source URL: db.isez.pan.krakow.pl

• Acerella
• Eosentomidae
• Abstraction
• Acerentomon
• Phenology
• Antonio Berlese
• Acerentulus
• Acerentomidae
• Protura
• Biology
• Eosentomon

The use of AI to support top-down formal system development Gudmund Grov University of Edinburgh, UK Joint work with: Alan Bundy, Andrew Ireland, Cliff Jones,

Source URL: www.ai4fm.org

• Abstraction
• Mathematical logic
• Mathematical proof
• Knowledge

RESOLUTION NOFebruary 9, 1995 – 173rd Board Meeting LIMIT OF GROUNDWATER ABSTRACTION TO DOMESTIC USAGE ONLY RESOLVED, AS IT IS HEREBY RESOLVED, to limit to domestic usage only groundwater extraction in areas

Source URL: www.nwrb.gov.ph

Technical Report UCAM-CL-TR-569 ISSNNumber 569

Source URL: www.lochan.org

• Type theory
• Data types
• Type system
• Abstraction
• Abstract data type
• Type safety
• ALGOL 68
• Programming language
• Lambda calculus
• Software engineering
• Computing
• Programming language theory

Paradyn Parallel Performance Tools SymtabAPI Programmer’s Guide 8.2 Release Aug 2014

Source URL: www.paradyn.org

• Object-oriented programming
• Data types
• Java programming language
• Application programming interface
• Technical communication
• Object
• Class
• Abstraction
• Type system
• Software engineering
• Computing
• Computer programming

Virtualization Abstraction Resource pools APIs Cloud Computing

Source URL: securosis.com

• Computer security
• Software development
• Information technology management
• Identity management
• DevOps
• Cloud computing security
• Centralized computing
• Computing
• Cloud computing

Microsoft PowerPoint - Eurobioforum_Tillier_v3.ppt

Source URL: www.ecbol.org

• Biodiversity informatics
• Barcode
• Abstraction
• Information
• Science
• Consortium of European Taxonomy Facilities
• Taxonomy

Department of Computer Science Program Understanding { A Survey A. von Mayrhauser and A. M. Vans Technical Report CS

Source URL: www.cs.colostate.edu

• Science
• Program comprehension
• ACT-R
• Abstraction
• Programming paradigm
• Mental model
• Programming language
• Working memory
• Cognition
• Cognitive science
• Mind
• Ethology

Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM)

Source URL: clip.dia.fi.upm.es

• Logic programming
• Software engineering
• Assertion
• Debugging
• Abstraction
• SLD resolution
• Abstract interpretation
• Tree
• Logic in computer science
• Computer programming
• Theoretical computer science

Applied Ontology–127 DOIAOIOS Press 97

Source URL: geog.ucsb.edu

• Philosophy of mind
• Philosophy of language
• Symbol grounding
• Symbolism
• Simulation
• Blissymbols
• Reference
• Abstraction
• Cognitive science
• Semantics
• Linguistics
• Science