"Computer Science (CS) Unplugged"is an educational method for introducing non-specialists to concepts of CS through hands-on activities that don't require the use o...
Despite their rapid proliferation, there has been little examination of the coordination and social practices of cyberinfrastructure projects. We use the notion of "human inf...
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...
: Out-of-Home (OOH) advertising is currently advancing into a new era: “pervasive advertising” is one of the buzz words describing a soft change from the traditional push-only ...
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
Dexter Kozen, Jens Palsberg, Michael I. Schwartzba...