Sciweavers

81 search results - page 7 / 17
» rc 2006
Sort
View
RC
2002
96views more  RC 2002»
13 years 7 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz
RC
2007
128views more  RC 2007»
13 years 7 months ago
Bounds on Generalized Linear Predictors with Incomplete Outcome Data
This paper develops easily computed, tight bounds on Generalized Linear Predictors and instrumental variable estimators when outcome data are partially identi…ed. A salient exam...
Jörg Stoye
RC
2007
64views more  RC 2007»
13 years 7 months ago
Unimodality, Independence Lead to NP-Hardness of Interval Probability Problems
In many real-life situations, we only have partial information about probabilities. This information is usually described by bounds on moments, on probabilities of certain events,...
Daniel Berleant, Olga Kosheleva, Vladik Kreinovich...
RC
2007
78views more  RC 2007»
13 years 7 months ago
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...
Vladik Kreinovich, Jan Beck, Carlos Ferregut, Arac...
RC
2007
83views more  RC 2007»
13 years 7 months ago
Computing the Pessimism of Inclusion Functions
Abstract. “Computing the pessimism” means bounding the overestimation produced by an inclusion function. There are two important distinctions with classical error analysis. Fir...
Gilles Chabert, Luc Jaulin