Epileptogenic human hippocampus generates spontaneous energy fluctuations with a wide range of amplitude and temporal variation, which are often assumed to be entirely random. However, the temporal dynamics of these fluctuations are poorly understood, and the question of whether they exhibit persistent long-range temporal correlations (LRTC) remains unanswered. In this paper we use detrended fl...

A long standing open problem in the theory of (Mazurkiewicz) traces has been the question whether LTL (Linear Temporal Logic) is expressively complete with respect to the first order theory. We solve this problem positively for finite and infinite traces and for the simplest temporal logic, which is based only on next and until modalities. Similar results were established previously, but they w...

Transfer protocols are composed from basic protocol mechanisms and accordingly a complex protocol can be veriied by a series of relatively simple mechanism proofs. Our approach applies L. Lamport's Temporal Logic of Actions (TLA). It is based on a modular compositional TLA-style and supports the analysis of exibly conngured high-speed transfer protocols.

BACKGROUND AND OBJECTIVE Visual object naming traditionally has been used to identify cortical areas essential for naming (i.e., word retrieval), and investigators have found critical naming sites in the middle and posterior temporal region in most patients. Based on clinical observation, empirical findings, and the pathophysiology of temporal lobe epilepsy, the authors hypothesized that naming...

Six hypotheses about the relation between the temporal content of perception and the temporality of perceptual processes are identified and discussed. The positions are determined by different stands on three questions: whether the content of perception is an interval or an instant; whether it is a passive reflection or an active construction, and whether or not it is purposefully delayed. The ...

We present the TARSQI Toolkit (TTK), a modular system for automatic temporal and event annotation of natural language texts. TTK identifies temporal expressions and events in natural language texts, and parses the document to order events and to anchor them to temporal expressions.

We used fMRI to study the organization of brain responses to different types of complex visual motion. In a rapid event-related design, subjects viewed video clips of humans performing different whole-body motions, video clips of manmade manipulable objects (tools) moving with their characteristic natural motion, point-light displays of human whole-body motion, and point-light displays of manip...

Temporal bone chondroblastoma is an extremely rare benign bone tumor. We encountered two cases showing similar imaging findings on computed tomography (CT), magnetic resonance imaging (MRI), and dual-time-point 18F-fluorodeoxyglucose (18F-FDG) positron emission tomography (PET)/CT. In both cases, CT images revealed temporal bone defects and sclerotic changes around the tumor. Most parts of the ...