A Neurodynamical Model of Context-Dependent Category Learning Laxmi R. Iyer and Ali A. Minai, Senior Member, IEEE Abstract—The abstraction of patterns from data and the formation of categories is a hallmark of human co

Source URL: www.ece.uc.edu

Sample-based abstraction for hybrid relational MDPs Sample-based abstraction for hybrid relational MDPs Davide Nitti

Source URL: ewrl.files.wordpress.com

Abstraction and Invariance for Algebraically Indexed Types Robert Atkey Patricia Johann University of Strathclyde

Source URL: bentnib.org

Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

Source URL: schematics.sourceforge.net

• Logic
• Mathematical logic
• Proof theory
• Abstraction
• Non-classical logic
• Sequent
• NC
• Linear logic
• Constructible universe
• CurryHoward correspondence
• Natural deduction

Full Abstraction for Reduced ML Andrzej S. Murawski? and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK Abstract. We present the first effectively presentable fu

Source URL: www.cs.ox.ac.uk

PDF Document

Source URL: fellowship.ercim.eu

• Patent application
• Field-programmable gate array
• Computer architecture
• Abcde
• First-order logic
• Abstraction

PDF Document

Source URL: www.cs.cmu.edu

• Cognition
• Academia
• Cognitive science
• Abstraction
• Cybernetics
• Formal sciences
• Computational thinking
• Computer science
• Computing
• Philosophy of artificial intelligence
• Machine learning
• Artificial intelligence

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers Arlen Cox, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan University of Colorado Boulder Abstract. This paper introduces QUICr, an abstract domai

Source URL: eces.colorado.edu

Software Model Checking with Predicate Abstraction, Interpolation, & IC3 Johannes Birgmeier, Aaron Bradley,

Source URL: www.georg.weissenbacher.name

Stabilizers: A Checkpointing Abstraction for Concurrent (Functional) Programs Suresh Jagannathan joint work with Lukaz Ziarek and Philip Schatz

Source URL: glew.org