A number of definitions can be found for the term. The Web site http://whatis.techtarget.com explains that the term “describes the fact that the world can be divided into people who do and people who don't have access to and the capability to use modern information technology, such as the telephone, television, or the Internet...The digital divide also exists between the educated and the uneduc...

We employ a sequence of Doppler images obtained with the Coronal Multi-channel Polarimeter (CoMP) instrument to perform time-distance seismology of the solar corona. We construct the first k−ω diagrams of the region. These allow us to separate outward and inward propagating waves and estimate the spatial variation of the plane-of-sky projected phase speed, and the relative amount of outward and...

Quantum computation faces considerable hurdles, one of the most serious being engineering physical systems performing coherent operations without the deleterious effects of decoherence,1 particularly in the solid state. However by isolation and manipulation of states of quantum dot QD structures,2 it may be possible to perform many unitary operations within the dephasing time, a pre-requisite f...

This paper proposes the virtual flux based direct power control for Vienna rectifier. No need for the input voltage sensors, the current regulation loop and PWM voltage modulation block along with the active and reactive power decoupling are some of the salient advantages of this method that make it suitable for controlling the conventional active rectifiers. However, due to the three-level nat...

Constrained encoding has several applications in the synthesis of finite state machines (FSMs). E.g., it can be used to generate asynchronous FSM state assignment that guarantees a critical hazard-free implementation, or to generate synchronous FSM state assignment with minimum PLA implementation. This paper presents ZEDICHO, an original zero-suppressed binary decision diagram (ZBDD) based algo...

The CtCoq system is a graphical user-interface using a distributed architecture adapted to the Coq proof system 3]. Basic features provided by this graphical interface are direct manipulation of formulas and commands using the mouse, mathematical notations with an extended character set and colors, menus for guiding users in their manipulations of commands and formulas. More advanced features a...

One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rather than linear specifications. A disparity has traditionally been perceived between the language spoken by customers who specify the system and the language required to construct models of that system. The dynamic na...

This paper presents a multiagent system that can process stereoscopic images and detect people with a stereo camera. In the first of two phases, the system creates a model of the environment using a disparity map. It can be constructed in real time, even if there are moving objects present in the area (such as people passing by). In the second phase, the system is able to detect people by combi...

This paper deals with the CBIR of old printed graphics (of XVI◦ and XVII◦ centuries) like the headpieces, the pictures and the ornamental letters. These graphical parts are previously segmented from digitized old books in order to constitute image databases for the historians. Today, large databases exist and involves to use automatic retrieval tools able to process large amounts of data. For t...

We present a new variable-length encoding scheme for sequences of integers, Directly Addressable Codes (DACs), which enables direct access to any element of the encoded sequence without the need of any sampling method. Our proposal is a kind of implicit data structure that introduces synchronism in the encoded sequence without using asymptotically any extra space. We show some experiments demon...