Sciweavers

1599 search results - page 181 / 320
» Statistic Analysis for Probabilistic Processes
Sort
View
SOFSEM
2007
Springer
15 years 10 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
JUCS
2010
215views more  JUCS 2010»
14 years 10 months ago
A Multidisciplinary Survey of Computational Techniques for the Modelling, Simulation and Analysis of Biochemical Networks
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
James Decraene, Thomas Hinze
DAC
2008
ACM
16 years 4 months ago
The synthesis of robust polynomial arithmetic with stochastic logic
As integrated circuit technology plumbs ever greater depths in the scaling of feature sizes, maintaining the paradigm of deterministic Boolean computation is increasingly challeng...
Weikang Qian, Marc D. Riedel
SSDBM
2006
IEEE
167views Database» more  SSDBM 2006»
15 years 9 months ago
Exploring Data Streams with Nonparametric Estimators
A variety of real-world applications requires a meaningful online analysis of transient data streams. An important building block of many analysis tasks is the characterization of...
Christoph Heinz, Bernhard Seeger
BMCBI
2008
88views more  BMCBI 2008»
15 years 3 months ago
Microarray-based gene set analysis: a comparison of current methods
Background: The analysis of gene sets has become a popular topic in recent times, with researchers attempting to improve the interpretability and reproducibility of their microarr...
Sarah Song, Michael A. Black