We describe our development and use of DescriptiveEnvironment (DE). This is a program to aid researchers in Finite Model Theory and students of logic to automatically generate examples, counterexamples of conjectures, reductions between problems, and visualizations of structures and queries. DescriptiveEnvironment is available for free use under an ISC license at http://www.cs.umass.edu/∼immerm...

Temporal information in the document is a demanding dimension to be discovered. Recently, many works from board research areas such as database, information retrieval, text mining pay attention to a temporal aspect. In this paper, we give a survey of state-of-art in extracting temporal information from document collections. As it is quite a new discipline, there is no standard comparison scheme...

OBJECTIVE This study has been carried out with the purpose of determining the belief and attitude of women regarding breast cancer and breast self-exam and the factors which affect the performance frequency of breast self-exam and it is a descriptive kind of study. MATERIALS AND METHODS Data has been collected through questionnaire forms created by the researchers based on literature informat...

Essentially, there exists just the dimension segregating (square) matrix subspaces. In view of algebraic operations, this quantity is not particularly descriptive. For differential geometric information on matrix inversion, the second fundamental form is found for the set of inverses of the invertible elements of a matrix subspace. Several conditions for this form to vanish are given, such as b...

Many theories about the process of design have been derived from prescriptive or descriptive analysis. There have been few attempts to empirically test these theories. Protocol analysis facilitates detailed inspection of the design process allowing design task analysis across the temporal dimension. Some hypotheses about the design process, derived from the literature, are objectively tested us...

The aim is to develop an integrated indicator that characterizes the degree of satisfaction population with medical services. Materials and methods: was formed in terms three stages for 24 regions Ukraine Kyiv. At first stage, expediency using five influential groups input indicators (behavioral, physical, economic, social legal orientation) a total 59 features descriptive modeling substantiate...

Background: Patients with degenerative knee joint disease may ultimately undergo Total Knee Replacement (TKR) surgery. However, they need enough knowledge about self-care. The current study aimed at determining the knowledge score of patients undergoing TKR. Methods: The current descriptive, cross sectional study was conducted on 140 patients underwent TKR referring to selected hospitals affil...

We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics. We start by considering the classic linear timebranching time spectrum developed by R.J. van Glabbeek. He provided a logical characterization of most of the semantics in his spectrum but, without following a unique pattern. In this paper, we pres...