ion and Completeness for Real-Time Maude Peter Csaba Ölveczky a,b and José Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, University of Illinois at Urbana-Champaign Abstract This paper presents criteria that guarantee completeness of Real-Time Maude search and temporal logic model checking analyses, under the maximal time sampling strategy, for a la...

The following framework of theses, roughly hewn, shapes contemporary discussion of the problem of mental causation: (1) Non-Identity of the Mental and the Physical Mental properties and states cannot be identified with specific physical properties and states. (2) Causal Closure (Completeness) of the Physical The objective probability of every physical event is fixed by prior physical events and...

BACKGROUND In recent years, it has been increasingly recognized that the absence of mental disorder is not the same as the presence of positive mental health (PMH). With the PMH-scale we propose a short, unidimensional scale for the assessment of positive mental health. The scale consists of 9 Likert-type items. METHODS The psychometric properties of the PMH-scale were tested in a series of s...

Completeness is an important attribute of data quality. This paper discusses the measures of completeness of data in a data set. It proposes a data mining model based on self-organizing maps (SOM) to visualize the patterns of missing values in a data set to assess the data quality in completeness.

We consider a chain of feed-forward connected recurrent networks of leaky-integrate-andre neurons with membrane potential bistability. It is shown that lump neural activation, lasting for several seconds at each recurrent network, is gradually relayed along the chain. The time scale of the lump activation and its propagation along the chain agrees with that characterizing mental process. These ...