Profit Sharing and Training We analyze the impact of profit sharing on the share of workers receiving training. An effect is plausible because: 1) profit sharing is a credible commitment by firms to reward firmspecific skills acquired by formal or informal training, 2) profit sharing may reduce turnover and increase the returns to training, 3) a common payment for the whole workforce leads to p...

hakim sanaie lived in last parts of fifth and first of sixth centuries. he used and compiled the mystical, ethical and quranic concepts in his poetry. he influenced attar and molavi. sanaie started to compose the mystical and ethical versified story. he has used some parts of verses, themes, definition, words and composition of quran in his poetry. the present essay deals with introducing sanai...

The classic dichotomy between proof discovery and proof presentation resurfaces in automated deduction. The LCF style of theorem proving offers a promising way to integrate formal deductive proof with higher-level algorithmic or heuristic forms of mathematical activity. One way of dealing with the potential inefficiency of a reduction to a formal deductive system is to exploit the separation of...

This paper concerns the relation between a proof’s beauty and its explanatory power — that is, its capacity to go beyond proving a given theorem to explaining why that theorem holds. Explanatory power and beauty are among the many virtues that mathematicians value and seek in various proofs, and it is important to come to a better understanding of the relations among these virtues. Mathematical...

the proofs of god's existence are among the main questions of philosophers. this question has a special importance in spinoza's works, because it constitutes the basis of his philosophy. in his main work, ethics, he initiates the discussion with the definition of god and ends it up with man's noblest happiness, namely love of god. he deals with the issue in his different works an...

The algebraic-group model (AGM), which lies between the generic group and standard of computation, provides a means by to analyze security cryptosystems against so-called algebraic adversaries. We formalize AGM within framework universal composability, providing formal definitions for this setting proving an appropriate composition theorem. This extends applicability more-complex protocols, lay...

Along with the fast growth of networks and mobile devices, cloud computing has become one of the most attractive and effective technologies and business solutions nowadays. Increasing numbers of organizations and customers are migrating their businesses and data to the cloud due to the flexibility and cost-efficiency of cloud systems. Preventing unauthorized access of sensitive data in the clou...