during the last years, the concept of input congestion and technical ineff-ciency in data envelopment analysis (dea), have been investigated by manyresearchers. the motivation of this paper is to present models which obtain thedecreased output value due to input congestion and technical ineciency. more-over, we extend the models to estimate input congestion, technical ineciencyand output red...

We designed and implemented a gaze-controlled drawing application that utilizes modifiable and movable shapes. Moving and resizing tools were implemented with gaze gestures. Our gaze gestures are simple one-segment gestures that end outside the screen. Also, we use the closure of the eyes to stop actions in the drawing application. We carried out an experiment to compare gaze gestures with a dw...

This paper presents a study of the use of a digital manipulative developed to promote creative narrative construction and storytelling. The study was carried with 27 groups of preschoolers, of five years of age, who interacted with the digital manipulative during free-play time, during a period of six months. The study sought to access aspects of children’s embodiment of the narratives, and how...

We present a parametric groundness analysis whose input and output are parameterized by a set of groundness parameters. The result of the analysis can be instantiated for different uses of the program. It can also be used to derive sufficient conditions for safely removing groundness checks for built-in calls in the program. The parametric groundness analysis is obtained by generalizing a non-p...

In this study, we present a new framework of runtime enforcement of security policies. Building on previous studies, we examine the enforcement power of monitors capable of transforming their target’s execution. We bound this ability by a restriction stating that any transformation must preserve equivalence between the monitor’s input and output. We proceed by giving examples of meaningful equi...

Article history: Received 11 March 2008 Received in revised form 10 November 2008 Accepted 30 January 2010 Available online xxxx

This paper proposes an input/output interpretation of supervision of discrete event systems. New concepts must be introduced in order to describe the behavior of the closed-loop system of plant and supervisor subject to communication delays. This paper further characterizes the class of supervisors allowed under delays for the general case and for additional assumptions on the plant language.

This paper presents developments in the technology underlying the cyclotactor, a finger-based tactile I/O device for musical interaction. These include significant improvements both in the basic characteristics of tactile interaction and in the related (vibro)tactile sample rates, latencies, and timing precision. After presenting the new prototype's tactile output force landscape, some of the n...

In the modeling of exible structures, there is generally uncertainty in both the frequencies and damping constants , and it is thus important that the control methods for such systems be robust to these uncertainties. Input shapers have been shown to yield good performance while being insensitive to modeling errors. Most previous input shaping studies, however, have addressed only frequency mod...