Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
Many common objects have highly reflective metallic or painted finishes. Their appearance is primarily defined by the distortion the curved shape of the surface introduces in the ...
E. Tosun, Yotam I. Gingold, Jason Reisman, Denis Z...
We consider (uniform) reductions from computing a function f to the task of distinguishing the output of some pseudorandom generator G from uniform. Impagliazzo and Wigderson [IW]...
Recent advances of robotic/mechanical devices enable us to measure a subject's performance in an objective and precise manner. The main issue of using such devices is how to r...
Jae-Yoon Jung, Janice I. Glasgow, Stephen H. Scott