We develop a general stochastic model of directed search on the job. Directed search allows us to focus on a Block Recursive Equilibrium (BRE) where agents’ value functions, policy functions and market tightness do not depend on the distribution of workers over wages and unemployment. We formally prove existence of a BRE under various specifications of workers’ preferences and contractual envir...

Islam is the world’s fastest growing religion and at its present rate of expansion it will soon be the predominant religion of mankind. This is not a new or unexpected statistic, however it is something that is slowly making people re-examine their understanding of a religion of which many remain ignorant. Some are taking positive step, and by educating themselves they are discovering the truth...

In presenting specifications and specification properties to a theorem prover, there is a tension between convenience for the user and convenience for the theorem prover. A choice of specification formulation that is most natural to a user may not be the ideal formulation for reasoning about that specification in a theorem prover. However, when the theorem prover is being integrated into a syst...

Feature-based process planning has been popular in academia and industry owing to its ability rigorously to integrate design and manufacturing. In spite of this benefit, feature-based process planning has been difficult to implement because it is not easy to extract even simple features from the design data automatically and efficiently. Furthermore, it is even more difficult to construct the t...

In order to make virtual modeling as easy as real clay manipulation, we describe a realtime virtual clay model, specially designed for direct hand manipulation. We build on a previous layered model for clay, extending it to handle local properties such as colour or fluidity, to deal with an arbitrary number of tools, and to capture twist effects due to rotating tools. The resulting clay model i...