Event-related potentials (ERPs) were recorded from epileptic patients with electrodes chronically implanted in the medial temporal lobe (MTL) and other intracranial locations, and from monkeys with epidural, transcortical, and MTL electrodes. For both humans and monkeys, the eliciting events consisted of trains of auditory or visual stimuli in which a random 10-20% deviated in pitch or pattern ...

Many functional neuroimaging studies of biological motion have used as stimuli point-light displays of walking figures and compared the resulting activations with those evoked by the same display elements moving in a random or noncoherent manner. Although these studies have established that biological motion activates the superior temporal sulcus (STS), the use of random motion controls has lef...

The right posterior superior temporal sulcus (pSTS) is a neural region involved in assessing the goals and intentions underlying the motion of social agents. Recent research has identified visual cues, such as chasing, that trigger animacy detection and intention attribution. When readily available in a visual display, these cues reliably activate the pSTS. Here, using functional magnetic reson...

DRAFT Abstract Temporal logic can be used to describe desirable properties of a system in a more abstract, less constructive manner than when using process algebra alone. This is a well researched area for other process algebras, but not so for LOTOS. This paper is an initial attempt to ll that gap by investigating the use of the modal-calculus with Basic LOTOS, laying the groundwork for work o...

Inter-temporal aggregation results in a summarization of information and a natural delay in the release of information. We study a principal-agent model and show that inter-temporal aggregation can be an optimal feature of a performance evaluation system. We also contrast the value of additional information when existing information is inter-temporally aggregated with its value when existing in...

Compliance checking of business process models against regulation is inevitable. Due to various sources of compliance requirements, a conflict of interest of such requirements is very likely. Thus, it is crucial to analyze the relation between compliance rules to discover any possible conflicts before even checking such rules against process models. Although this step is important in the compli...

Trying to understand others is the most pervasive aspect of successful social interaction. To date there is no evidence on whether human products, which signal the workings of a mind in the absence of an explicit agent, also reliably engage neural structures typically associated with mental state attribution. By means of functional magnetic resonance imaging the present study shows that when su...

Quantitative extensions of temporal logics have recently attracted significant attention. In this work, we study frequency LTL (fLTL), an extension of LTL which allows to speak about frequencies of events along an execution. Such an extension is particularly useful for proba-bilistic systems that often cannot fulfil strict qualitative guarantees on the behaviour. It has been recently shown that...

A population of human hippocampal neurons has shown responses to individual concepts (e.g., Jennifer Aniston) that generalize to different instances of the concept. However, recordings from the rodent hippocampus suggest an important function of these neurons is their ability to discriminate overlapping representations, or pattern separate, a process that may facilitate discrimination of simila...

Spatial-temporal processes are prevalent especially in environmental sciences where, under most circumstances, the processes are non-stationary in time so that their temporal-variability must be captured in traditional spatial models for better estimation and prediction. We propose a Bayesian hierarchical spatial-temporal model to describe the dependence of extreme data on spatial locations as ...