Recent theoretical and empirical work in cognitive science and neuroscience is brought into contact with the concept of the flow experience. After a brief exposition of brain function, the explicit-implicit distinction is applied to the effortless information processing that is so characteristic of the flow state. The explicit system is associated with the higher cognitive functions of the fron...

Real-time optical spectrum analysis is an essential tool in observing ultrafast phenomena, such as the dynamic monitoring of spectrum evolution. However, conventional method such as optical spectrum analyzers disperse the spectrum in space and allocate it in time sequence by mechanical rotation of a grating, so are incapable of operating at high speed. A more recent method all-optically stretch...

background: with regard to the high prevalence of schizophrenia, research on brain structural changes in this disease has been one of the interesting issues among the medical scientists. in this research, brain mri findings of schizophrenic patients have been compared with non-schizophrenic ones. methods: this study was an analytic-comparative one in which two groups of schizophrenic and non-sc...

objective:  the aim of the research was investigating and visualizing the intellectual structure of thermodynamics subject area based on outputs of iranian scholars of the field indexed in thomson reuters web of science during time span of 1990-2009.   method: the population of the research was all references of the mentioned publications. the sample was the top 1 percent cited scholars of the ...

This research aims to obtain 3D information by using spatio-temporal analysis of omni images for outdoor navigation and map-making in the intelligent transportation system (ITS) application. Two types of omnidirectional cameras are employed to make a spatio-temporal volume, which is a sequence of omni images stacked in the spatio-temporal space. For the spatio-temporal analysis of an omni image...

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. An algorithm which takes a past time LTL formula and generates an efficient dynamic prog-ramming algorithm is presented. The generated algorithm tests whether the formula is satisfied by a finite trace of events ...

In this paper, we discuss some of the challenges of adequately applying a specification language to an annotation task, as embodied in a specific guideline. In particular, we discuss some issues with TimeML motivated by error analysis on annotated TLINKs in TimeBank. We introduce a document level information structure we call a narrative container (NC), designed to increase informativeness and ...

In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized by the size of the backdoor. We distinguish between backdoor detection and evaluation of backdoors into the fragments of Horn and Krom formulas. Here we classify the opera...

PURPOSE To assess the ability of neuropsychological tests to determine the side of seizure onset for preoperative assessment in patients with drug-resistant temporal lobe epilepsy. METHODS Twenty-nine consecutive patients diagnosed with temporal lobe epilepsy (TLE), in whom the epileptogenic focus was clearly identified and localized to either the right or left hemisphere. Patients underwent ...

Model checking is the process of establishing whether a certain formula is satisfied by a given structure, and it is usually associated with point-based temporal logics. Recently, the question of how to correctly define and study the model checking problem for interval-based temporal logics has been raised. In this paper, we focus on a very natural finite version of the model checking problem f...