98 search results - page 14 / 20 » From Uncertainty to Belief: Inferring the Specification With... |
BMCBI
2008
13 years 7 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
In this paper, we describe a new force-feedback technique termed "inverted damping", which aids users in manually selecting specific items from within a range of possibl...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Agility is a facet of software development attracting increasing interest. The purpose of this paper is to investigate the value of agility in practice. Data collected from senior...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
BMCBI
2008
13 years 7 months ago
2008
Background: Integrating data from multiple global assays and curated databases is essential to understand the spatiotemporal interactions within cells. Different experiments measu...