Sage Journals: Discover world-class research

Open access

Research article

First published 2021-12

Do production and verification tasks in arithmetic rely on the same cognitive mechanisms? A test using alphabet arithmetic

Jasinta DM Dewi, Jeanne Bagnoud, Catherine Thevenot

Quarterly Journal of Experimental Psychology

Retricted access

Research article

First published 2024-7

Differential Switch Costs in Typically Achieving Children and Children With Mathematical Difficulties

Darius Endlich, Wolfgang Lenhard, Peter Marx [...]

Journal of Learning Disabilities

Retricted access

Research article

First published 1996-8

SYNTACTIC AND SEMANTIC DEPENDENCE OF ARRAY-ARITHMETIC SENTENCES,WITH AN APPLICATION TO PROGRAM VERIFICATION

Leo Marcus

Fundamenta Informaticae

Open access

Research article

First published 2025-10

Verification of Source Activations in a 3D Brain Model Using ‘CLEVER’ Algorithm for Mental Arithmetic Conditions

Jeenal Rambhia, Rajendra Sutar

Annals of Neurosciences

Retricted access

Research article

First published 2008-1

Mathematics Learning Disabilities in Girls With Fragile X or Turner Syndrome During Late Elementary School

Melissa M. Murphy, Michèle M. M. Mazzocco

Journal of Learning Disabilities

Retricted access

Research article

First published 2008-11

Automatic software verification for robotics

Jacopo Mantovani

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020-7

When adding is right: Temporal order judgements reveal spatial attention shifts during two-digit mental arithmetic

Maria Glaser, André Knops

Quarterly Journal of Experimental Psychology

Retricted access

Research article

First published 1989-08

Training Consistent Components of Tasks: Developing an Instructional System Based on Automatic/Controlled Processing Principles

Arthur D. Fisk, Joan K. Gallini

Human Factors: The Journal of the Human Factors and Ergonomics Society

Retricted access

Research article

First published 2019-1-11

Verifying constant-time implementations by abstract interpretation

Sandrine Blazy, David Pichardie, Alix Trieu

Journal of Computer Security

Retricted access

Research article

First published 1989-10

Arithmetic Stroop Interference as a Function of Age: Maintenance and Modification of Automatic Processes

Wendy A. Rogers, Arthur D. Fisk

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Search results