Commentary: A pointer about grasping numbers
نویسندگان
چکیده
منابع مشابه
Commentary: A pointer about grasping numbers
Mathematical skills are a key predictor of individual as well as economic success (Butterworth et al., 2011). Appropriate early training is therefore desirable, and recently, portable educational computer games for children have started to contribute to feeding this demand (e.g., Couse and Chen, 2010). The effectiveness of most such mobile training applications has not been properly evaluated. ...
متن کاملReasoning About Grasping
The promise of robots for the future is that of intelligent, autonomous machines functioning in a variety of tasks and situations. If this promise is to be met, then it is vital that robots be capable of grasping and manipulating a wide range of objects in the execution of highly variable tasks. A current model of human grasping divides the grasp into two stages, a precontact stage and a postco...
متن کاملReasoning about Pointer Structures in Java
Java programs often use pointer structures for normal computations. A verification system for Java should have good proof support for reasoning about those structures. However, the literature for pointer verification almost always uses specifications and definitions that are tailored to the problem under consideration. We propose a generic specification for Java pointer structures that allows t...
متن کاملILC: A Foundation for Automated Reasoning About Pointer Programs
This paper shows how to use Girard’s intuitionistic linear logic extended with arithmetic or other constraints to reason about pointer programs. More specifically, first, the paper defines the proof theory for ILC (Intuitionistic Linear logic with Constraints) and shows it is consistent via a proof of cut elimination. Second, inspired by prior work of O’Hearn, Reynolds and Yang, the paper expla...
متن کاملAbout k-perfect numbers
ABSTRACT. In this paper we present some results about k-perfect numbers, and generalize two inequalities due to M. Perisastri (see [6]).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Psychology
سال: 2015
ISSN: 1664-1078
DOI: 10.3389/fpsyg.2015.00227