This paper presents the design of a stable non-linear control system for the remote visual tracking of cellular robots. The robot is controlled through visual feedback based on th...
We clarify a financial meaning of duality in the semi-infinite programming problem which emerges in the context of determining a derivative price range based only on the no-arbi...
A number of recent scams and security attacks (phishing, spyware, fake terminals, ...) hinge on a crook's ability to observe user behavior. In this paper, we describe the des...
In this paper, we describe various setups that allow usability professionals to conduct effective user studies on mobile devices. We describe the factors relevant when building a ...
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...