The Parametric Interpretation Expert System (PIES) is a knowledge system for interpreting the parametric test data collected at the end of complex semiconductor fabrication processes, The system transforms hundreds of measurements into a concise statement of the overall health of the process and the nature and probable cause of any anomalies. A key feature of PIES is the structure of the knowle...

We introduce a non-parametric approach for the segmentation in regime-switching time-series models. The approach is based on spectral clustering of target-regressor tuples and derives a switching regression tree, where regime switches are modeled by oblique splits. Our segmentation method is very parsimonious in the number of splits evaluated during the construction process of the tree–for a ca...

A shear Alfvén wave parametric instability is observed for the first time in the laboratory. When a single finite ω/Ω_{i} kinetic Alfvén wave (KAW) is launched in the Large Plasma Device above a threshold amplitude, three daughter modes are produced. These daughter modes have frequencies and parallel wave numbers that are consistent with copropagating KAW sidebands and a low frequency nonresona...

Specification-based runtime verification is a technique for monitoring program executions against specifications formalized in formal logic. Such logics are usually temporal in nature, capturing the relation between events occurring at different time points. A particular challenge in runtime verification is the elegant specification and efficient monitoring of streams of events that carry data,...

Jack D. Cowan Department of Math University of Chicago Chicago, IL 60637 [email protected] We couple the tasks of source separation and density estimation by extracting the local geometrical structure of distributions obtained from mixtures of statistically independent sources. Our modifications of the self-organizing map (SOM) algorithm results in purely digital learning rules which perform...

In this note, we revisit earlier work on false discovery rate (FDR) and evaluate it in relation to topological inference in statistical parametric mapping. We note that controlling the false discovery rate of voxels is not equivalent to controlling the false discovery rate of activations. This is a problem that is unique to inference on images, in which the underlying signal is continuous (i.e....

In this paper we describe the dynamics of MEMS oscillators that can be used as frequency filters. The unique feature of these devices is that they use parametric resonance, as opposed to the usual linear resonance, for frequency selection. However, their response in the parametric resonance zone has some undesirable features from the standpoint of filter performance, most notably that their ban...

This paper describes a probabilistic multiple-hypothesis framework for tracking highly articulated objects. In this framework, the probability density of the tracker state is represented as a set of modes with piecewise Gaussians characterizing the neighborhood around these modes. The temporal evolution of the probability density is achieved through sampling from the prior distribution, followe...

The probabilistic framework of extreme value theory is well-known: the dependence structure of large events is characterized by an angular measure on the positive orthant of the unit sphere. The family of these angular measures is non-parametric by nature. Nonetheless, any angular measure may be approached arbitrarily well by a mixture of Dirichlet distributions. The semi-parametric Dirichlet m...

Cuxac’s Model predicts that each sign of the LSF lexicon is a combination of morphemic rather than phonemic values. This paper exposes the theoretical principles and conditions of falsifiability we propose to constitute an inventory of morphemic values, their assignation to the parametric components and, in fine, to establish which role is played by the different kinds of constraints exerted on...