This paper presents a cognitive model that simulates reliance on automation using a line-tracing task similar to driving where an operator has to track a moving line with a circle by pressing keys on a keyboard (manual control) or rely on automation (auto control). An operator can switch between auto and manual control during the task. The success probabilities of each control mode were systema...

In social tasks, communication and task execution are often co-dependent, yet they represent a tradeoff. We present a cognitive model of an experimental task consisting of a collaborative and competitive game played by groups of human participants organized in a smallworld graph. In an experiment involving teams of humans playing a cooperative game, the effect of local communication policies on...

In this paper, we present a cognitive model that simulates the processing of subject pronouns in Italian. The model is implemented in the cognitive architecture ACT-R and uses hierarchically ranked constraints to select the most likely referent of a pronoun. When this model is combined with a measure of accessibility in discourse and a processing time limit imposed by the speed of natural langu...

In contrast to the vast amount of modeling work focused on desktop user interfaces, recent work has increasingly focused on “off-the-desktop” interfaces, one prime example being in-vehicle interfaces used while driving. This paper highlights four recent approaches to predicting driver distraction from in-vehicle interfaces as secondary tasks: hand-crafted modeling with the full-fledged ACT-R ar...

Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a tradeoff, however: more detailed models require disproportionately more time and effort to develop than coarser models. In this paper we describe a system, G2A, that automatically produces translations from abstract G...

A class of probability models for inference about alterations in gene expression is reviewed. The class entails discrete mixing over patterns of equivalent and differential expression among different mRNA populations, continuous mixing over latent mean expression values conditional on each pattern, and variation of data conditional on latent means. An R package EBarrays implements inference cal...

This paper explores the benefits and challenges of using the ACT-R cognitive architecture in the development of a largescale, functional, cognitively motivated language analysis model. The paper focuses on chunks, inheritance, production matching and memory, proposing extensions to ACT-R to support multiple inheritance and suggesting a mapping from the focus of attention, working memory and lon...

Research in machine learning is making it possible for instructional developers to perform formative evaluations of different curricula using simulated students (VanLehn, Ohlsson & Nason, 1993). Experiments using simulated students can help clarify issues of instructional design, such as when a complex skill can be better learned by being broken into components. This paper describes two formati...

This is a vignette for the R package CARBayes version 4.1, and is an updated version of a paper in the Journal of Statistical Software in 2013 Volume 55 Issue 13 by the same author. This vignette describes the class of models that can be implemented in CARBayes, and gives 3 worked examples of spatial data analysis using the package.

Mathematics is often seen as the uncovering of eternal truths that exist independently of the human mind. However, even if this epistemological view is correct, the mathematics that humans can know can only be the result of cognitive processes. We investigate this ability of the human mind to make mathematical discoveries. More precisely, we present a cognitive model of how the ability to use m...