Sciweavers

2607 search results - page 461 / 522
» Complete Functional Synthesis
Sort
View
APAL
2007
78views more  APAL 2007»
13 years 10 months ago
Partial Horn logic and cartesian categories
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
Erik Palmgren, Steven J. Vickers
BIODATAMINING
2008
178views more  BIODATAMINING 2008»
13 years 10 months ago
Clustering-based approaches to SAGE data mining
Serial analysis of gene expression (SAGE) is one of the most powerful tools for global gene expression profiling. It has led to several biological discoveries and biomedical appli...
Haiying Wang, Huiru Zheng, Francisco Azuaje
BMCBI
2007
105views more  BMCBI 2007»
13 years 10 months ago
HoxPred: automated classification of Hox proteins using combinations of generalised profiles
Background: Correct identification of individual Hox proteins is an essential basis for their study in diverse research fields. Common methods to classify Hox proteins focus on th...
Morgane Thomas-Chollier, Luc Leyns, Valérie...
BMCBI
2008
142views more  BMCBI 2008»
13 years 10 months ago
Identification of biomarkers for genotyping Aspergilli using non-linear methods for clustering and classification
Background: In the present investigation, we have used an exhaustive metabolite profiling approach to search for biomarkers in recombinant Aspergillus nidulans (mutants that produ...
Irene Kouskoumvekaki, Zhiyong Yang, Svava Ó...
BMCBI
2010
125views more  BMCBI 2010»
13 years 10 months ago
Compartmentalization of the Edinburgh Human Metabolic Network
Background: Direct in vivo investigation of human metabolism is complicated by the distinct metabolic functions of various sub-cellular organelles. Diverse micro-environments in d...
Tong Hao, Hongwu Ma, Xue-Ming Zhao, Igor Goryanin