New Tractable Classes From Old

The constraint satisfaction problem is known to be NP-hard in general, but a number of restrictions of the problem have been identified over the years which ensure tractability. This paper introduces two simple methods of combining two or more tractable classes over disjoint domains, in order to synthesise larger, more expressive tractable classes. We demonstrate that the classes so obtained are genuinely novel, and have not been previously identified. In addition, we use algebraic techniques to extend the tractable classes which we identify, and to show that the algorithms for solving these extended classes can be less than obvious.     

How infants perceive a simple causal event.

Four experiments examined 10-mo-old infants' causal event perception. Exp 1 replicated previous studies except that the specific objects used as agent and recipient varied from trial to trial. Under these conditions infants did not process the causality. Instead they keyed on specific temporal and spatial differences among the events. Exp 2 showed that infants notice a change in the particular agent performing either a causal or noncausal action. Exp 3 showed that infants do not notice a change in the type of action done to a particular recipient. Exp 4 demonstrated that infants do not pay attention to the object used as a recipient. As a whole, the results indicate that 10-mo-old infants perceive the causality of simple events by associating a specific agent with the causal action. These results provide more support for an information-processing view than for the view that infants have a causal module. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Dynamic digital holographic wavelength filtering

This paper describes the theory and results of a new generic technology for use in optical telecommunications and wavelength division multiplexing (WDM): dynamic digital holographic wavelength filtering. The enabling component is a polarization-insensitive ferroelectric liquid crystal (FLC) spatial light modulator (SLM) in conjunction with a highly wavelength-dispersive fixed diffractive element. The technology has been used to perform demultiplexing of single or multiple WDM signals, dynamic erbium doped fiber amplifier (EDFA) gain equalization and channel management, and used to tune an erbium-doped fiber laser (EDFL) functioning as a high power, very narrow linewidth WDM source     

Tracking and motion analysis of the left ventricle with deformable superquadrics

We present a new approach to analyse the deformation of the left ventricle of the heart based on a parametric model that gives a compact representation of a set of points in a 3-D image. We present a strategy for tracking surfaces in a sequence of 3-D cardiac images. Following tracking, we then infer quantitative parameters which characterize: left ventricle motion, volume of left ventricle, ejection fraction, amplitude and twist component of cardiac motion. We explain the computation of these parameters using our model. Experimental results are shown in time sequences of two modalities of medical images, nuclear medicine and X-ray computed tomography (CT). Video sequences presenting these results are on the CD-ROM.     

A novel metal-insulator-metal structure for field-programmabledevices

A metal-insulator-metal (MIM) capacitor structure has been developed for use in field-programmable gate arrays (FPGAs) as a voltage-programmable link (VPL). The structure relies on a combination of a refractory metal and aluminum as the lower electrode, and either a similar combination or aluminum alone as the top electrode. The insulator is prepared by means of plasma-enhanced chemical vapor deposition (PECVD). It comprises a sandwich of nearly stoichiometric silicon dioxide interposed between two like layers of silicon-rich silicon nitride. The structure has displayed characteristics desirable for use in emerging FPGA technology, including high density, low on-resistance, reduced capacitance, and low programming voltage     

Discussion of “an interpretation of the carbon redistribution process during aging of high-carbon martensite”

Y. OHMORI and I. TAMURA:Metall. Trans. A, 1992, vol. 23A,     

Software tools for micro-analysis of programs

The paper proposes and describes several tools enabling their user to estimate the efficiency of Pascal or C-like programs. The approach consists of generating symbolic formulas expressing the efficiency of the programs being analyzed. The formulas are applicable to a variety of compiler-machine configurations. The actual numeric values of the variables in the symbolic formula are determined using linear programming techniques. The proposed approach reduces considerably the amount of benchmarking needed to analyze programs. Several examples are presented showing the applicability of the tools. The effort necessary to implement them is considerably reduced by the combined usage of Prolog and a symbolic formula manipulation package (Maple).