9405 search results - page 379 / 1881 » Computing a Model of Set Theory |
203
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
188
click to vote
GRID
2004
Springer
16 years 5 days ago
2004
Springer
— DIRAC (Distributed Infrastructure with Remote Agent Control) has been developed by the CERN LHCb physics experiment to facilitate large scale simulation and user analysis tasks...
159
click to vote
BIB
2007
15 years 7 months ago
2007
Being a relatively new addition to the ‘omics’ field, metabolomics is still evolving its own computational infrastructure and assessing its own computational needs. Due to its...
184
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Whole genome comparison based on gene order has become a popular approach in comparative genomics. An important task in this field is the detection of gene clusters, i.e. sets of g...
186
click to vote
FOCS
2006
IEEE
16 years 25 days ago
2006
IEEE
We show that quantum circuits cannot be made faulttolerant against a depolarizing noise level of ˆθ = (6 − 2 √ 2)/7 ≈ 45%, thereby improving on a previous bound of 50% (du...