Although proven to be an effective way for detecting errors, generic program invariants (also known as fault screeners) entail a considerable runtime overhead, rendering them not useful in practice. This paper studies the impact of using simple variable patterns to detect the so-called system’s collar variables to reduce the number of variables to be monitored (instrumented). Two different patt...

Many recent papers considered the problem of multivariate integration, and studied the tractability of the problem in the worst case setting as the dimensionality d increases. The typical question is: can we find an algorithm for which the error is bounded polynomially in d, or even independently of d? And the general answer is: yes, if we have a suitably weighted function space. Since there ar...

Device and circuit performance such as drain current and delay time varies stochastically due to uncontrollable factors in the fabrication processes. In this paper, a new method that represents the variation of the performance as worst case parameters in a MOSFET model is proposed. The variation of the performance can be expressed as a linear combination of several process-related parameters of...

Two compact H I clouds which seem to belong to the Ophiuchus superbubble were studied at ∼ 30′′ resolution using the Very Large Array (VLA) in C and D configurations together with the Green Bank Telescope (GBT) providing the short-spacing flux. Here we present preliminary results of the data analysis.

This paper presents an econometric analysis of the characteristics of firm’s cooperating with universities using Community Innovation Survey (CIS) data for 14 European countries. Our model incorporates three groups of variables which could be related to the probability to cooperate with universities. The first group of variables is related to the size of a firm, the second group measures differ...

This paper presents a set of Bayesian methods for automatically extending the WORDNET ontology with new concepts and annotating existing concepts with generic property fields, or attributes. We base our approach on Latent Dirichlet Allocation and evaluate along two dimensions: (1) the precision of the ranked lists of attributes, and (2) the quality of the attribute assignments to WORDNET concep...

Adequate encodings for high-level constraints are a key ingredient for the application of SAT technology. In particular, cardinality constraints state that at most (at least, or exactly) k out of n propositional variables can be true. They are crucial in many applications. Although sophisticated encodings for cardinality constraints exist, it is well known that for small n and k straightforward...

Dynamic latent factors estimated from panels of macroeconomic indicators are used to predict future NBER recession dates. Three monthly macro factors are considered: (1) a bond and exchange rates factor extracted from 22 financial time series; (2) a stock market factor extracted from 4 stock market indicators; (3) a real factor extracted from 4 macroeconomic time series. Three main results emer...

Image representation based on image bases provides a framework for understanding neural representation of visual perception. A recent fMRI study has shown that arbitrary contrast-defined visual images can be reconstructed from fMRI activity patterns using a combination of multi-scale local image bases. In the reconstruction model, the mapping from an fMRI activity pattern to the contrasts of th...

This paper presents methods for improving the attention span of workers in tasks that heavily rely on their attention to the occurrence of rare events. The underlying idea in our approach is to dynamically augment the task with some dummy (artificial) events at different times throughout the task, rewarding the worker upon identifying and reporting them. The proposed approach is an alternative ...