This paper presents a framework for a logical characterization of fault tolerance and its formal analysis based on partial model checking techniques. The framework requires a fault tolerant system to be modeled using a formal calculus, here the CCS process algebra. To this aim we propose a uniform modeling scheme in which to specify a formal model of the system, its failing behaviour and possib...

Recently, in response to industrial demand to develop faster and cheaper methods of descriptive analysis, several methods have been offered as alternatives to conventional profiling. We present three of these methods: sorting tasks, projective mapping, and flash profiling along with a new statistical method to analyze them. This new statistical method, called DISTATIS is a generalization of cla...

BACKGROUND The Canadian Community Health Survey (CCHS) is a cross-sectional survey that has collected information on health determinants, health status and the utilization of the health system in Canada since 2001. Several hundred articles have been written utilizing the CCHS dataset. Previous analyses of statistical methods utilized in the literature have focused on a particular journal or set...

Functional magnetic resonance imaging (fMRI) is a safe and non-invasive way to assess brain functions by using signal changes associated with brain activity. The technique has become a ubiquitous tool in basic, clinical and cognitive neuroscience. This method can measure little metabolism changes that occur in active part of the brain. We process the fMRI data to be able to find the parts of br...