introduction: at the end of their education, nursing students have to acquire the minimum capabilities, essential for their professional job. the aim of this study was to determine the achievement of minimum learning requirements by midwifery students in school of nursing and midwifery of isfahan university of medical sciences. methods: a descriptive study as an educational evaluation based on ...

the present study was conducted with the aim of identifying and evaluating the internal and external factors, affecting the sina trauma and surgery research center, affiliated to tehran university of medical sciences and propose some of related strategies to senior managers. we used a combined quantitative and qualitative methodology. our study population consisted of personnel (18 individuals)...

In this paper, we present a new algorithm for program veri cation that runs in polynomial time and space. We are interested in checking that a program satis es a given temporal safety property. Our insight is that by accurately modeling only those branches in a program for which the propertyrelated behaviour of the program di ers along the arms of the branch, we can design an algorithm that is ...

The teaching of the English language to students Islamic Economics should aim provide them with skills needed for completing academic as well professional tasks. purposes this study are twofold: (1) identifying what types need; and (2) figuring out whether current specific (ESP) course offered is relevant their needs. This on-going employs qualitative descriptive methods 200 firstand second-yea...

For processing compiled code, model checkers require accurate model extraction from binaries. We present our fully configurable binary analysis platform JAKSTAB, which resolves indirect branches by multiple rounds of disassembly interleaved with dataflow analysis. We demonstrate that this iterative disassembling strategy achieves better results than the state-of-the-art tool IDA Pro. Introducti...