Sciweavers

415 search results - page 56 / 83
» Regular Processes and Timed Automata
Sort
View
WSC
2007
13 years 11 months ago
A discrete event model of clinical trial enrollment at Eli Lilly and company
Clinical trials constitute large, complex, and resource intensive activities for pharmaceutical companies. Accurate prediction of patient enrollment would represent a major step f...
Bernard M. McGarvey, Nancy J. Dynes, Burch C. Lin,...
ICASSP
2010
IEEE
13 years 8 months ago
Sparse Bayesian step-filtering for high-throughput analysis of molecular machine dynamics
Nature has evolved many molecular machines such as kinesin, myosin, and the rotary flagellar motor powered by an ion current from the mitochondria. Direct observation of the step-...
Max A. Little, Nick S. Jones
AIPS
1994
13 years 10 months ago
Solving Time-critical Decision-making Problems with Predictable Computational Demands
In this work we present an approach to solving time-critical decision-making problems by taking advantage of domain structure to expand the amountof time available for processing ...
Thomas Dean, Lloyd Greenwald
EMSOFT
2005
Springer
14 years 2 months ago
Passive mid-stream monitoring of real-time properties
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan
IFIP
2004
Springer
14 years 2 months ago
Efficient Algorithms for Handling Molecular Weighted Sequences
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
Costas S. Iliopoulos, Christos Makris, Yannis Pana...