Solutions to timing relationship analysis problems are often reported using symbolic variables and inequalities which specify linear relationships between the variables. Complex relationships can be expressed using Presburger formulas which allow Boolean relations to be specified between the inequalities. This paper develops and applies a highly effective simplification approach for Presburger ...

School is the main scenario of social actions where the foundations of interpersonal relations other than those of the family are laid down; it has therefore become one of the main settings for psychoeducational research. In recent years, the phenomena of poor interpersonal relations, gratuitous and cruel aggression, the resulting victimization, and the construction of a psychopathic and inmora...

OBJECTIVE To analyze the nursing staff opinion about the continuous quality improvement program at a University Hospital. METHODS A descriptive study designed as a case study, analyzing the quality program at a University Hospital, with the opinion of a sample stratified by nursing team category through a self-administered questionnaire, from May to July 2012. The answers were submitted to fa...

The rise of China/East Asia and the perceived decline of the US/West pose an emerging question about how International Relations (IR) Theory should respond to this change. Increasingly, there have been heated discussions within the Chinese IR academia over a desirable Chinese contribution to IR Theory, particularly the possibility of building a distinctive Chinese IR Theory. Inevitably, this dr...

Logic1 GLARF relations are generated from treebank and parses for English, Chinese and Japanese. We focus on evaluation of system output for both input types, often allowing for multiple correct answers.

We present and discuss a simple semantic approach to force step-indexed logical relations to be transitive.

We investigatea simple form of parametricity, based on adding \abstract" copies of pre-existing types. Connections are made with the Reynolds-Ma theory of parametricity by logical relations, with the theory of parametricity via dinaturality, and with the categorical notion of equivalence.

fault tolerance is one of the important issues in industries, such as transportation, military, chemical and nuclear sectors. reliability and safety are two vital attributes of fault tolerant systems, and redundancy is a common way to improve these parameters. this article studies the impact of including cold standby spares in system architecture. to do this, it uses the markov model of the sys...

Software response time distributions can be of high variance and multi-modal. Such characteristics reduce confidence or applicability in various statistical evaluations. We contribute an approach to correlating response times to their corresponding operation execution sequence. This provides calling-context sensitive timing behavior models. The approach is based on three equivalence relations: ...