We define a notion of equivalence for designs containing black boxes i.e., components whose functionality is not known: these arise naturally in the course of hierarchical design. Using this notion, we describe a sound and complete methodology for optimizing such designs.

The paper presents the abstraction transformation which is a fundamental method for creating functions in ADATE. The use of abstraction turns out to be similar to evolution by gene duplication which is emerging as the most important theory of \building blocks" in natural genomes. We discuss the relationship between abstraction and its natural counterparts, but also give novel technical details ...

The non-stationary nature of image characteristics calls for adaptive processing, based on the local image content. We propose a simple and flexible method to learn local tuning of parameters in adaptive image processing: we extract simple local features from an image and learn the relation between these features and the optimal filtering parameters. Learning is performed by optimizing a user d...

This paper describes a novel filtering method (FIMER) to extract three critical yield loss components: gross yield loss from parametric problems or from clustering of defects, repeated yield loss from mask defects or from lithography margin, and random yield loss mainly from particles. It is shown by simulation that FIMER is not only superior to the conventional windowing method in extracting r...

In many scientific and medical applications wavefront-sensorless adaptive optics (AO) systems are used to correct the wavefront aberration by optimizing a certain target parameter, which is nonlinear with respect to the control signal to the deformable mirror (DM). Hysteresis is the most common nonlinearity of DMs, which can be corrected if the information about the hysteresis behavior is prese...

One of the fundamental aims of prosodic analysis is to provide a reliable means of extracting functional information (what prosody contributes to meaning) directly from prosodic form. It has been argued that an explicit model of the mapping from prosodic function to prosodic form could provide an objective way of approaching this task. In this presentation we look specifically at some of the pr...

Across all sectors of the modern information economy, large unstructured repositories of data are being aggregated at an ever-increasing rate. This move towards ‘big data’ has created an enormous demand for techniques to efficiently extract structure from such data sets. Specific contexts for this demand include natural language models for organizing text corpuses, image feature extraction mode...

the blending of nr and br rubber blend with n330 carbon black is studied on curing behavior and the physico-mechanical properties of a sbr rubber based tire tread compound containing n234 carbon black. the effect of sulphur and accelerator contents on different properties of rubber compound is also tested with a wide range of curing agents. partial substitution of sbr with nr shows significant ...

return real } inline { if (x <= 0.0) { drunerr(205, x); errfail: } if is:null(b) then } inline { return C_double log(x); ) else { if !cnv:C_double(b) then runerr(102, b) b o d y { static double Iastbase = 0.0; static double divisor; if (b <= 1.0) { drunerr(205, b); errfail; } if (b != Iastbase) { divisor = log(b); Iastbase = b; } x = log(x) / divisor; return C_double x;

We present an eecient evaluation technique for modularly stratiied programs for which the local strata level mappings are known at compile time. We present an important subclass of these programs (called EMS-programs) in which one can easily express problems such as shortest distance, company ownership, bill of materials, preferential vote counting, and matrix diagonalization. Programs written ...