2693 search results - page 539 / 539 » On Computing Complex Navigation Functions |
BMCBI
2007
13 years 4 months ago
2007
Background: The p53 gene family consists of the three genes p53, p63 and p73, which have polyhedral non-overlapping functions in pivotal cellular processes such as DNA synthesis a...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
BMCBI
2010
13 years 4 months ago
2010
Background: Gene silencing using exogenous small interfering RNAs (siRNAs) is now a widespread molecular tool for gene functional study and new-drug target identification. The key...