10916 search results - page 2169 / 2184 » On Constructive Connectives and Systems |
AML
2005
13 years 6 months ago
2005
It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools for this construction are gre...
BMCBI
2005
13 years 6 months ago
2005
Background: The cellular signaling pathway (network) is one of the main topics of organismic investigations. The intracellular interactions between genes in a signaling pathway ar...
BMCBI
2005
13 years 6 months ago
2005
Background: Gene expression programs depend on recognition of cis elements in promoter region of target genes by transcription factors (TFs), but how TFs regulate gene expression ...
BMCBI
2005
13 years 6 months ago
2005
Background: Enhancements in sequencing technology have recently yielded assemblies of large genomes including rat, mouse, human, fruit fly, and zebrafish. The availability of larg...
BMCBI
2005
13 years 6 months ago
2005
Background: Predicting the subcellular localization of proteins is important for determining the function of proteins. Previous works focused on predicting protein localization in...