As software-intensive systems become more pervasive, more and more safety-critical systems are being developed and deployed. Yet when most people think about safety requirements, they think of safety-critical functional requirements, which are requirements that have critical safety ramifications if not correctly implemented. However, there are actually four major...

In several familiar subcategories of the category Top of topological spaces and continuous maps, embeddings are not pushoutstable. But, an interesting feature, capturable in many categories, namely in categories B of topological spaces, is the following: ForM the class of all embeddings, the subclass of all pushout-stable M-morphisms (that is, of those M-morphisms whose pushout along an arbitra...

OBJECTIVE To determine whether the International Classification of Functioning, Disability and Health (ICF) model is adequate for assessing disability patterns in stroke survivors in the sub-acute rehabilitation setting in terms of potential changes in functional profiles over time. METHODS Functional profiles of 197 stroke patients were assessed using the ICF Checklist and the Functional Ind...

OBJECTIVE Representing roles, i.e. functions of proteins, sequences and structures, is the cornerstone of knowledge representation in functional genomics. The objective of this study is to investigate representation of roles as functional categories or associative relations. We focus on GeneOntology (GO) and the UMLS and take examples from iron metabolism. METHODS The terms corresponding to t...

background: students’ health and future health of the community are related to providing health care in schools and since in every society, different contextual factors affect this matter, the present study aims to recognize the factors influencing the health care elementary students are provided with. methods: this qualitative content analysis was performed in 2014 in isfahan. this study was c...

Differential categories are now an established abstract setting for differentiation. The paper presents the parallel development for integration by axiomatizing an integral transformation, sA : !A→ !A⊗A, in a symmetric monoidal category with a coalgebra modality. When integration is combined with differentiation, the two fundamental theorems of calculus are expected to hold (in a suitable sense...

Article history: Received 27 November 2012 Received in revised form 4 September 2013 Accepted 20 December 2013 Communicated by B.P.F. Jacobs