We present a technique to predict property violations in multi-threaded programs from successful executions. An appealing aspect of our technique is that it is entirely automatic; another is that no special simulation or modeling infrastructure is needed. All the user needs to do is to provide the multi-threaded system and the property to check. An observer is automatically generated from the p...

introduction: nowadays, it has been known that individuals handle coping strategies when faced with stressful events. these strategies play an important role in individuals. nurses are exposed to high  stress, which directly affects their job satisfaction and the quality of their services. therefore, the present study tried to investigate the effect of yoga on stress coping strategies among nur...

In recent years, supporting intellectual property right has gained more significance. Intellectual property rights could be considered as legal rights resulting from intellectual activities in industrial, scientific, literary and artistic fields. Today, many countries are seeking practical information about using intellectual property to improve economic growth. Intellectual property rights hav...

Based on data provided by the Regional Innovation Scoreboard 23 capital and 184 non-capital regions in Europe, slacks-based models of envelopment analysis (DEA) reveal that efficiency which business research innovation inputs are converted at regional-level aggregated innovative sales output small medium-sized enterprises was significantly lower period 2006–14. In view maximization, a majority ...

alternate of the usurped property is a compensation paid to the owner after unavailability of usurped property. the iranian civil code, following the islamic scholars' famous view, has principally accepted the payment of this compensation but is silent as far as duties and rights of owner and usurper are concerned; hence the judge's obligation to refer to valid verdicts (fatawa) in this regard....

Medical plants have a great value in traditional knowledge related to human health care both used whole plant or consisting in curative remedies. These valuable uses has been led to commercial use of medicinal plants and their derivatives which makes great benefits. Also there is a growing desire to use of completely natural materials as curative drugs around the world. These facts show up a gr...

because of its very dynamic nature and its close ties with global commerce, intellectual property law is one of the liveliest areas of law. the significant of this branch of law is manifested in the debate which is going on between developed and developing countries in terms of the scope of the protection of intellectual property rights. on the one hand, the developed country argue the stronger...