background: abnormal placental invasion has increased parallel with persistent rise in caesarean delivery. management relies on accurate diagnosis and delivery should be planned at an institution with appropriate expertise and resources for managing this condition.   case: we present a case of a placenta invasion anomaly which is the major risk factors of peripartum deaths. in this case we try ...

We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wir 91]. Following Goguen and Burstall, the notion of an underlying logical system over which we build specifications is formalized as an institution and extended to a more general notion, called (D, T )-institution. We ...

The increasing complexity of decision making in a severely dynamic competitive environment of the universe has urged the wise managers to have relevant strategic plans for their firms. Strategy is not formulated from one criterion but from multiple criteria in environmental scanning, and often, considering all of them is not possible. A list of criteria utilizing Delphi was selected by consu...

There are huge amounts of biomedical data generated by research labs in each cancer institution. The data are stored in various formats and accessed through numerous interfaces. It is very difficult to exchange and integrate the data among different cancer institutions, even among different research labs within the same institution, in order to discover useful biomedical knowledge for the healt...

Ontology has an important role in Multi-Agent Systems communication once it provides a vocabulary to be used in the communication between agents. It is hard to find out two agents using precisely the same vocabulary. They usually have a heterogeneous private vocabulary defined in their own private ontology. In order to provide help in the conversation among different agents, we are proposing wh...

This study aims to analyze the factors that justify the low use of a mechanical transfer in the context of a long-term institution. It is a device intended for internal transportation of individuals who have mobility problems. The analysis involves researchers from the fields of health and engineering in order to generate design criteria that consider the needs of caregivers and patients of thi...