2062 search results - page 376 / 413 » Derivatives of Logical Formulas |
124
click to vote
TASE
2010
IEEE
14 years 7 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
112
Voted
BMCBI
2011
14 years 4 months ago
2011
Background: The cost efficient two-stage design is often used in genome-wide association studies (GWASs) in searching for genetic loci underlying the susceptibility for complex di...
97
Voted
SWAP
2008
15 years 2 months ago
2008
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...
128
click to vote
TMC
2012
13 years 2 months ago
2012
Abstract—In order to achieve data delivery in Delay Tolerant Networks (DTN), researchers have proposed the use of store-carryand-forward protocols: a node there may store a messa...
111
Voted
RECOMB
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...