BIT manuscript No. (will be inserted by the editor) Computing predecessor and successor in rounding to nearest Siegfried M. Rump · Paul Zimmermann · Sylvie Boldo · Guillaume Melquiond

Source URL: www.lri.fr

• Finite model theory
• Mathematics
• Category theory
• Universal property
• FO
• Rounding
• Abstraction

Chapter 1 Abstraction Levels for Robotic Imitation: Overview and Computational Approaches Manuel Lopes, Francisco Melo, Luis Montesano and Jos´e Santos-Victor

Source URL: webdiis.unizar.es

LEGION: PROGRAMMING DISTRIBUTED HETEROGENEOUS ARCHITECTURES WITH LOGICAL REGIONS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES

Source URL: lightsighter.org

• Computer programming
• Parallel computing
• Software engineering
• Computing
• Algorithm
• Abstraction
• Tree traversal
• Distributed computing

! Revised Tuesday, December 8, 2015! 1

Source URL: kiwi.atmos.colostate.edu

• Model theory
• Stable theory
• Large cardinals
• Heat transfer
• Mathematics
• Abstraction

I’d do anything for a cookie (but I won’t do that):* Children’s understanding of the costs and rewards underlying rational action Julian Jara-Ettinger (), Hyowon Gweon (), Joshua B. Tenenb

Source URL: sll.stanford.edu

• Consumer theory
• Abstraction
• Cognitive psychology
• Cognitive science
• Intentional stance
• Psycholinguistics
• Affect
• HTTP cookie
• Preference
• Cookie Monster
• Motivation
• Homo economicus

C:/Dokumente und Einstellungen/ulrich/Desktop/P1788/ArithOp2.dvi

Source URL: grouper.ieee.org

• Mathematics
• Interval
• Order theory
• Topology
• Computing
• Abstraction
• SSSE3
• SSE3

Transcending Temptation Through Abstraction: The Role of Construal Level in Self-Control Current Directions in Psychological Science

Source URL: labs.psy.ohio-state.edu

• Psychology
• Motivation
• Behavior
• Behavioural sciences
• Social psychology
• Construals
• Self
• Self-control
• CLT
• Delayed gratification
• Ego depletion
• Impulsivity

A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematical logic
• Proof theory
• Abstraction
• Intuitionism
• Constructivism
• Logic in computer science
• Model theory
• Dialectica interpretation
• Intuitionistic logic
• Realizability
• First-order logic

Accelerated Parallel Accelerated Parallel Library Library A .NET library for GPGPU programming using the Task Parallel Library abstraction

Source URL: projekter.aau.dk

The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

Source URL: ludovicpatey.com

• Logic
• Mathematics
• Constraint programming
• Abstraction
• Model theory
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Complexity of constraint satisfaction
• Constraint satisfaction problem
• Satisfiability
• Binary relation