Karen Villaverde

MaRDI QIDQ861920zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Ordering subsets of (partially) ordered sets: representation theorems	2010-07-22	Paper
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters Theory and Practice of Logic Programming	2007-12-10	Paper
From intervals to domains: towards a general description of validated uncertainty, with potential applications to geospatial and meteorological data Journal of Computational and Applied Mathematics	2007-02-02	Paper
Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms Journal of Parallel and Distributed Computing	2006-10-27	Paper
Checking if there exist a monotonic function that is consistent with the measurements: an efficient algorithm Reliable Computing	2005-11-07	Paper
scientific article; zbMATH DE number 2085267 (Why is no real title available?)	2004-08-09	Paper
Hyper-spectral satellite images: Interval methods may be helpful Reliable Computing	1999-11-08	Paper
Robust algorithms that locate local extrema of a function of one variable from interval measurement results: A remark Reliable Computing	1997-03-25	Paper
A quadratic-time algorithm for smoothing interval functions Reliable Computing	1997-03-25	Paper
scientific article; zbMATH DE number 804633 (Why is no real title available?)	1996-01-22	Paper

Research outcomes over time

This page was built for person: Karen Villaverde