2502 search results - page 158 / 501 » Using probabilistic model checking in systems biology |
175
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Biologically active sequence motifs often have positional preferences with respect to a genomic landmark. For example, many known transcription factor binding sites (T...
282
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with t...
153
click to vote
IUI
2006
ACM
16 years 11 days ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
163
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
162
click to vote
MEMBRANE
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we introduce a variant of membrane systems with elementary division and without charges. We allow only elementary division where the resulting membranes are identical...