OBJECTIVES Patients with intractable epilepsy may benefit from epilepsy surgery especially if they have a radiologically demonstrable cerebral lesion. Dedicated magnetic resonance imaging (MRI) protocols as performed at epilepsy surgery centres can detect epileptogenic abnormalities with great sensitivity and specificity. However, many patients with epilepsy are investigated with standard MRI s...

Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for non-expert users. This paper describes a paper and pencil HCI experiment, in which (non-expert) students were asked to make suggestions for a GUI for an interactive system for mathematical proofs. They had to explain t...

We suggest a test for discovering whether a potential expert is informed of the distribution of a stochastic process. In a non-Bayesian non-parametric setting, the expert is asked to make a prediction which is tested against a single realization of the stochastic process. It is shown that by asking the expert to predict a “small” set of sequences, the test will assure that any informed expert c...

We suggest a test for discovering whether a potential expert is informed of the distribution of a stochastic process. In a non-Bayesian non-parametric setting, the expert is asked to make a prediction which is tested against a single realization of the stochastic process. It is shown that by asking the expert to predict a “small” set of sequences, the test will assure that any informed expert c...