2502 search results - page 192 / 501 » Using probabilistic model checking in systems biology |
171
click to vote
IWINAC
2009
Springer
16 years 1 months ago
2009
Springer
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
203
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
197
click to vote
ISB
2002
15 years 6 months ago
2002
Data Mining and Knowledge Discovery techniques proved to be efficient tools for variety of complex tasks in biology including DNA research. This paper presents implementation of th...
178
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Whereas traditional databases manage only deterministic information, many applications that use databases involve uncertain data. This paper presents a Probabilistic Tree Data Bas...
154
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Whether common ancestors of eukaryotes and prokaryotes had introns is one of the oldest unanswered questions in molecular evolution. Recently completed genome sequences have been u...