Program verification aims at statically discovering properties on programs, such as the values that can take the different variables during execution. Abstract Interpretation is a technique that computes an over-approximation of the set of these values, since it is impossible to compute the real set in general. This report takes place in the many attempts to improve the precision of static Anal...

today, given the pervasive role of organizations in human lives and the status of justice in islamic culture, the importance of justice in organizations has become more apparent than ever before. the aim of this research is to offer practical solutions to improve staff performance of university of tabriz based on organizational justice. the research is applied in terms of objective, and its met...

organizations are networks of unites and individuals enhancing organizational performance through cooperation and synergy. it is achieved by developing meaningful and purposeful communications of unites and individuals .thus, it is essential to make organizational communications efficient in order to achieve organizational purposes. in this essay, we examined the variables and factors affecting...

Russian forest resources are important for global carbon cycling. In contrast to traditional analyses that focus on the harvest and direct use of Russian timber resources (a.k.a. production-based accounting), this study investigates how the consumption of nations drives Russian timber harvest (a.k.a. consumption-based accounting or the Russian timber footprint). China is the biggest direct impo...

Pearl has provided the back door criterion, the front door criterion and the conditional instrumental variable (IV) method as identifiability criteria for total effects. In some situations, these three criteria can be applied to identifying total effects simultaneously. For the purpose of increasing estimating accuracy, this paper compares the three ways of identifying total effects in terms of...

The purpose of the study was to investigate how computer anxiety is associated with computer task complexity in teaching and learning computer programming and related skills. The study also examined the effects of computer confidence and computer liking on user perception of task complexity. The study referred to the literature concerning whether enhancing computer experience may be the remedy ...

This study found evidence for a viable social cognitive model of software piracy intention using path analysis. Compared to outcome expectations, moral disengagement emerged as the stronger significant mediator in the model exerting its influence on the relationships between past behaviour and future intention and between past behaviour and outcome expectations. This study found weak evidence f...

Prior research demonstrates the great potential of social network sites (SNSs) to international students’ cross-cultural adaptation, but fails to explain how specific dimensions of SNS use may be related to crosscultural adaptation. Extending anxiety/uncertainty management (AUM) theory, we added new antecedents about social ties on SNSs distinguished by cultural origins and geographic locations...

Despite the availability of extensive facilities for children, the effect of environment on creativityof children is often ignored. It is a fact that children can attend the playgrounds in city parks, independently, from age6, therefore they become exposed to influence of the environment during this age period. It is necessary to designplaygrounds for children to improve their creativity. The o...

The present study was designed to initially test a model of the role of a set of cognitive (namely, aptitude and working memory) and motivational (namely, language learning goals, self-efficacy beliefs and self-regulation strategy use) individual differences variables in writing performance of a group of Iranian undergraduate EFL learners and, subsequently, to identify the possible differences ...