Sciweavers

27756 search results - page 600 / 5552
» Process Query Systems
Sort
View
212
Voted
SCS
2001
15 years 8 months ago
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence
This paper describes recently developed policy and procedures for safety management during system acquisition within the Australian government's Defence Materiel Organisation...
Peter A. Lindsay
BMCBI
2007
113views more  BMCBI 2007»
15 years 7 months ago
miRAS: a data processing system for miRNA expression profiling study
Background: The study of microRNAs (miRNAs) is attracting great considerations. Recent studies revealed that miRNAs play as important regulators of gene expression and some even a...
Feng Tian, Huayue Zhang, Xinyu Zhang, Chi Song, Yo...
QEST
2008
IEEE
16 years 1 months ago
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
Kousha Etessami, Dominik Wojtczak, Mihalis Yannaka...