the right to development is comprised of both national and international dimensions and highlights the right of people to possess all human rights through developmental processes. such a significant aim differentiates the right to development from other instances of human rights. all national and international elements are supposed to cooperate regarding the right to development. the present st...

Due to the Zero-COVID policies implemented in China, students have accepted online education for curriculum learning a considerable period of time. The objective current study was determine relationship between perceived usefulness, ease use, gender, and effectiveness emerging adult learners Guangzhou, who were enrolled continuing program. research framework created accordance with Technology A...

Formal reasoning is notoriously long and arduous; in order to use it to reason eeectively in the construction of programs it is, therefore, paramount that we design our notations to be both clear and economical. Taking examples from AI, from imperative programming, from the use of the Bird-Meertens formalism and from category theory we demonstrate how the right choice of what to denote and how ...

A goal of software product lines is the economical synthesis of programs in a family of programs. In this paper, we explain how theorems about program properties can be integrated into feature-based development of software product lines. As a case study, we analyze an existing Java/JVM compilation correctness proof for defining, interpreting, compiling, and executing bytecode for the Java langu...

BACKGROUND This cross-sectional study was conducted to compare the average costs of breast cancer screening and treatment among women with the age of 25 and over in Shiraz-Iran. METHODS Three majors hospitals affiliated with Shiraz University of Medical Sciences (SUMS) were selected for data collection. Financial documents and interviews with the hospitals' financial officers were used for da...