Sciweavers

1562 search results - page 78 / 313
» Convenience Over Correctness
Sort
View
BMCBI
2010
132views more  BMCBI 2010»
13 years 9 months ago
Consistency, comprehensiveness, and compatibility of pathway databases
Background: It is necessary to analyze microarray experiments together with biological information to make better biological inferences. We investigate the adequacy of current bio...
Donny Soh, Difeng Dong, Yike Guo, Limsoon Wong
BMCBI
2010
149views more  BMCBI 2010»
13 years 9 months ago
RuleMonkey: software for stochastic simulation of rule-based models
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
Joshua Colvin, Michael I. Monine, Ryan N. Gutenkun...
IVC
2007
131views more  IVC 2007»
13 years 9 months ago
Multi-view correspondence by enforcement of rigidity constraints
Establishing the correct correspondence between features in an image set remains a challenging problem amongst computer vision researchers. In fact, the combinatorial nature of fe...
Ricardo Oliveira, João Xavier, João ...
BMCBI
2005
86views more  BMCBI 2005»
13 years 9 months ago
WebArray: an online platform for microarray data analysis
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...
Xiaoqin Xia, Michael McClelland, Yipeng Wang
JFP
2007
111views more  JFP 2007»
13 years 9 months ago
Mechanizing metatheory in a logical framework
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
Robert Harper, Daniel R. Licata