Sciweavers

2049 search results - page 74 / 410
» Normalization and Partial Evaluation
Sort
View
BMCBI
2008
121views more  BMCBI 2008»
13 years 9 months ago
GeneTrailExpress: a web-based pipeline for the statistical evaluation of microarray experiments
Background: High-throughput methods that allow for measuring the expression of thousands of genes or proteins simultaneously have opened new avenues for studying biochemical proce...
Andreas Keller, Christina Backes, Maher Al-Awadhi,...
AICOM
2005
91views more  AICOM 2005»
13 years 8 months ago
Multiagent systems for cardiac pacing simulation and control
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
Francesco Amigoni, Alessandro Beda, Nicola Gatti
CIE
2006
Springer
14 years 17 days ago
Inverting Monotone Continuous Functions in Constructive Analysis
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg
SCALESPACE
2009
Springer
14 years 3 months ago
Image Denoising Using TV-Stokes Equation with an Orientation-Matching Minimization
Abstract. In this paper, we propose an orientation-matching minimization for denoising digital images with an additive noise. Inspired by the two-step algorithm in the TV-Stokes de...
Xue-Cheng Tai, Sofia Borok, Jooyoung Hahn
AIPS
2003
13 years 10 months ago
A Framework for Planning with Extended Goals under Partial Observability
Planning in nondeterministic domains with temporally extended goals under partial observability is one of the most challenging problems in planning. Subsets of this problem have b...
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pis...