A coherent presentation of an n-category is a by generators, relations and among relations. Confluent terminating rewriting systems generate presentations, whose are defined confluence diagrams critical branchings. This article introduces procedure to compute presentations when the rewrite modulo set axioms. Our coherence results formulated using structure n-categories enriched in double groupo...

Background: Infertility is recognized as a stressful and critical experience worldwide and across cultures and disrupts individual, marital, family, and social stability. Religion is a source of support in dealing with health-related problems. This study aimed to examine the relationship between religious coping and health-promoting lifestyle (HPL) among Iranian infertile women. Methods: A cro...

The objective of this paper is to define and study new generalized extended gamma functions. A generalized extended gamma probability density function involving generalized hypergeometric function is also defined. Closed form representations of the generalized gamma functions and the moment generating function are derived in the form of H-function using inverse Mellon transform techniques. Inco...

This paper presents a new way to solve the inverse problem of electrocardiography in terms of heart model parameters. The developed event estimation and recognition method is based on an optimization system of heart model parameters. An ANN-based preliminary ECG analyser system has been created to reduce the searching space of the optimization algorithm. The optimal model parameters were determ...

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.