Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne, Cristian Cadar, Paul H J Kelly Department of Computing, Imperial College London 4 November, 2010

Source URL: llvm.org

• C programming language
• Cross-platform software
• Elementary mathematics
• C++
• Sizeof
• SIMD
• C
• Function
• Array programming
• Computer programming
• Computing
• Software engineering

Coolidge and Overmann The Emergence of Symbolic Thinking In terms of morphology, the distinctiveness of the parietal areas in modern humans is patent (Bruner 2004; Bruner, De la Cue´tara, and Holloway 2011a; Bruner, Ma

Source URL: users.ox.ac.uk

• Neuropsychology
• Cognitive architecture
• Cognitive neuroscience
• Numerical cognition
• ACT-R
• Middle Stone Age
• Stanislas Dehaene
• Language module
• Cognitive science
• Neuroscience
• Science

************************************ Stefan L. Brandt FILM AS SYMBOLIC ACTION Eine Einführung zum Working-Paper [D]o movies imitate life, or does life imitate the movies? Douglas Brode, The Films of the Fifties, 1992

Source URL: www.jfki.fu-berlin.de

Cassirer’s Philosophy of Symbolic Forms

Source URL: www.hfph.de

Phil. 2440: Symbolic Logic Lecture: MWF 12:00-12:50, Hlms 241 Professor: Michael Huemer Fall, 2002 Office: 266 Hellems

Source URL: home.earthlink.net

Tanya M arie Luhrm ann Department of Anthropology Building 50 Stanford University Stanford, CA[removed]Appointments held

Source URL: luhrmann.net

• Symbolic anthropology
• Clifford Geertz
• Clinical Ethnography
• Victor Turner
• Transpersonal anthropology
• Tanya Luhrmann
• Anthropology
• Social anthropologists
• Psychological anthropology

Special Section ASIS&T ANNUAL MEETING PRE-CONFERENCE ACTIVITIES Bulletin of the Association for Information Science and Technology – February/March 2015 – Volume 41, Number 3

Source URL: www.asis.org

• Knowledge
• Information seeking
• Information systems
• Personal information management
• Sensemaking
• Symbolic interactionism
• Library and information science
• Elfreda Chatman
• Information science
• Science
• Information

Using matrices to model symbolic relationships Ilya Sutskever and Geoffrey Hinton University of Toronto {ilya, hinton}@cs.utoronto.ca

Source URL: www.cs.toronto.edu

• Matrices
• Matrix theory
• Matrix
• Function
• Logical matrix
• Algebra
• Linear algebra
• Mathematics

Using matrices to model symbolic relationships Ilya Sutskever and Geoffrey Hinton University of Toronto {ilya, hinton}@cs.utoronto.ca

Source URL: www.cs.utoronto.ca

• Matrices
• Matrix theory
• Matrix
• Function
• Logical matrix
• Algebra
• Linear algebra
• Mathematics

PHIL V3411/ G4415 SYMBOLIC LOGIC FALL 2011

Source URL: www.columbia.edu

• First-order logic
• Quantification
• Propositional calculus
• Logic
• Mathematical logic
• Predicate logic