Sciweavers

904 search results - page 179 / 181
» Query Graph Visualizer: A Collaborative Querying System
Sort
View
BMCBI
2008
118views more  BMCBI 2008»
14 years 9 months ago
DOVIS: an implementation for high-throughput virtual screening using AutoDock
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...
Shuxing Zhang, Kamal Kumar, Xiaohui Jiang, Anders ...
BMCBI
2008
151views more  BMCBI 2008»
14 years 9 months ago
CMKb: a web-based prototype for integrating Australian Aboriginal customary medicinal plant knowledge
Background: The customary medicinal plant knowledge possessed by the Australian Aboriginal people is a significant resource. Published information on it is scattered throughout th...
Jitendra Gaikwad, Varun Khanna, Subramanyam Vemulp...
BMCBI
2010
219views more  BMCBI 2010»
14 years 4 months ago
BiologicalNetworks 2.0 - an integrative view of genome biology data
Background: A significant problem in the study of mechanisms of an organism's development is the elucidation of interrelated factors which are making an impact on the differe...
Sergey Kozhenkov, Yulia Dubinina, Mayya Sedova, Am...
84
Voted
ATVA
2007
Springer
87views Hardware» more  ATVA 2007»
15 years 3 months ago
Latticed Simulation Relations and Games
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
Orna Kupferman, Yoad Lustig
PODC
2005
ACM
15 years 3 months ago
Routing complexity of faulty networks
One of the fundamental problems in distributed computing is how to efficiently perform routing in a faulty network in which each link fails with some probability. This paper inves...
Omer Angel, Itai Benjamini, Eran Ofek, Udi Wieder