Publications

DNA-based nanostructures have been devised that can execute motion through the ap-plication of specific DNA strands.

In this talk we will present how at Bell-Labs (Alcatel-Lucent R&D division) we benefit from using Docker in combination with the SDN solution from Nuage Networks for development and deployment

This article describes a software design method based on the principles of separation of concerns and information hiding. Software design documentation is the medium used to apply the principles.

HE necessity for quality control in a manufacturing plant arises from the fact that all units of product cannot be made identical.

Robotics is a remarkable domain that may be successfully employed in the classroom both to motivate students to tackle hard AI topics and to provide students experience applying AI representations

In this paper we discuss the use of expert system components to enhance reliability analysis software.

This paper describes an ongoing effort to use formal specification as a documentation tool for System V/MLS, an AT&T UNIX(TM) System V-based multi-level secure operating system.

Professional summarizers often reuse original documents to generate summaries.

In this paper, we illustrate for the first time how a thin shell of high relative magnetic permeability can be used to improve the quality factor Q of an electrically small electric-dipole antenna.

Broadcasted television shows are becoming more interactive. Some broadcast TV shows allow even home viewers without professional equipment to be part of them.