We designed a small stereovision (SSV) sensor module for easily adding visual functions to a small robot and enabling their use. The SSV sensor module concept includes 1) a vision sensor module containing a camera and a visual processor and 2) connecting to a robot system through general-purpose interface. This design enables the use of visual functions as ordinary sensors such, as touch or ult...

Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input from other modules, while allowing (mutually) recursive module calls. This can be used for more succinct and natural problem representation at the price of an exponential increase of evaluation time. In this paper, we ai...

A millimeter thin rubber-like solid-state lighting module is reported. The fabrication of the lighting module incorporates assembly and electrical connection of light-emitting diodes (LEDs). The assembly is achieved using a roll-to-roll fluidic self-assembly. The LEDs are sandwiched in-between a stretchable top and bottom electrode to relieve the mechanical stress. The top contact is realized u...

The paper presents an efficient low cost clock recovery module used in the Set Top Box for terrestrial television. It addresses the effects of jitter on MPEG-2 Transport streams for DVB-T. Lot of research on algorithms for IP and ATM networks has been carried out but the problem for terrestrial networks has not been sufficiently addressed. These algorithms require more CPU time and involve comp...

A computational model of attention and situation awareness (SA) was developed and used to predict pilot errors in the task of taxiing from runway to terminal. The model incorporates a lowlevel perception/attention module and a higher-level belief-updating module. Attentional scanning is controlled by bottom-up and top-down processes, with the effectiveness of top-down guidance varying as a func...

Abstraction is key to understanding and reasoning about large computer systems. Abstraction is easy to achieve if the relevant data structures are disjoint, but rather difficult when they are partially shared, as is the case for concurrent modules. We present a program logic for reasoning abstractly about data structures that gives us a fiction of disjointness and permits compositional reasonin...

Abstraction is key to understanding and reasoning about large computer systems. Abstraction is simple to achieve if the relevant data structures are disjoint, but rather difficult when they are partially shared, as is often the case for concurrent modules. We present a program logic for reasoning abstractly about data structures that provides a fiction of disjointness and permits compositional ...

A portable thermal chamber with a volume of only 2.5 l capable of reaching temperatures over the −5C to 70C range was designed and constructed. In order to make the thermal chamber lightweight and portable, two series connected thermoelectric modules were used as actuators since their size and performance characteristics allow the portability and precise temperature control. The PID control pro...