This paper addresses the question “Can the object be pushed from here to there?” We characterize the set of objects that are controllable (can be positioned arbitrarily), with...
We give an explicit construction of a function that is almost a 2-source extractor for linear entropy, it is a condenser where the output has almost full entropy. Given 2 sources w...
- To achieve high performance, the next generation of high-level programming languages should incorporate databases as core technology. Presented here are the design considerations...
— Recent advances in wireless technology make high data rate communication in short ranges feasible. The network instances of short-range paths that may achieve high data rates a...
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...