Sciweavers

4355 search results - page 723 / 871
» Increasing Kolmogorov Complexity
Sort
View
77
Voted
BMCBI
2010
91views more  BMCBI 2010»
14 years 10 months ago
Ranked retrieval of Computational Biology models
Background: The study of biological systems demands computational support. If targeting a biological problem, the reuse of existing computational models can save time and effort. ...
Ron Henkel, Lukas Endler, Andre Peters, Nicolas Le...
BMCBI
2007
81views more  BMCBI 2007»
14 years 10 months ago
PADB : Published Association Database
Background: Although molecular pathway information and the International HapMap Project data can help biomedical researchers to investigate the aetiology of complex diseases more ...
Hwanseok Rhee, Jin-Sung Lee
BMCBI
2008
130views more  BMCBI 2008»
14 years 10 months ago
FAF-Drugs2: Free ADME/tox filtering tool to assist drug discovery and chemical biology projects
Background: Drug discovery and chemical biology are exceedingly complex and demanding enterprises. In recent years there are been increasing awareness about the importance of pred...
David Lagorce, Olivier Sperandio, Hervé Gal...
82
Voted
CORR
2010
Springer
116views Education» more  CORR 2010»
14 years 10 months ago
Where are the hard manipulation problems?
One possible escape from the Gibbard-Satterthwaite theorem is computational complexity. For example, it is NP-hard to compute if the STV rule can be manipulated. However, there is...
Toby Walsh
ENTCS
2008
103views more  ENTCS 2008»
14 years 10 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...