433 | -- | 433 | Ying Xu, Liming Cai, Zhiping Weng. Preface |
434 | -- | 438 | Liang Chen, Hongyu Zhao. Integrating mRNA Decay Information into Co-Regulation Study |
439 | -- | 445 | Peter M. Haverty, Zhiping Weng, Ulla Hansen. Transcriptional Regulatory Networks Activated by PI3K and ERK Transduced Growth Signals in Human Glioblastoma Cells |
446 | -- | 453 | Heng Li, Jin-Song Liu, Zhao Xu, Jiao Jin, Lin Fang, Lei Gao, Yu-Dong Li, Zi-Xing Xing, Shao-Gen Gao, Tao Liu, Hai-Hong Li, Yan Li, Li-Jun Fang, Hui-Min Xie, Wei-Mou Zheng, Bai-Lin Hao. Test Data Sets and Evaluation of Gene Prediction Programs on the Rice Genome |
454 | -- | 464 | Yinglei Song, Jizhen Zhao, Chunmei Liu, Kan Liu, Russell L. Malmberg, Liming Cai. RNA Structural Homology Search with a Succinct Stochastic Grammar Model |
465 | -- | 482 | Xiu-Feng Wan, Dong Xu. Intrinsic Terminator Prediction and Its Application in ::::Synechococcus sp.:::: WH8102 |
483 | -- | 490 | Bo Yan, Youxing Qu, Fenglou Mao, Victor Olman, Ying Xu. PRIME: A Mass Spectrum Data Mining Tool for ::::De Nova:::: Sequencing and PTMs Identification |
491 | -- | 495 | Zhi-Ke Zi, Zhirong Sun. Robustness Analysis of the IFN-y Induced JAK-STAT Signaling Pathway |
496 | -- | 513 | Su Feng. Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions |
514 | -- | 525 | Guang-Ping Qin, Jin-Zhao Wu. Action Refinement for Real-Time Concurrent Processes with Urgency |
526 | -- | 535 | Jian-Min Pang, Paul Callaghan, Zhaohui Luo. ::::LFTOP::::: An ::::LF::::-Based Approach to Domain-Specific Reasoning |
536 | -- | 541 | Ping Hou. Some Representation Theorems for Recovering Contraction Relations |
542 | -- | 551 | Huaimin Wang, Yufeng Wang, Yang-Bin Tang. StarBus+: Distributed Object Middleware Practice for Internet Computing |
552 | -- | 558 | Xiaojun Wan, Yuxin Peng. A New Retrieval Model Based on TextTiling for Document Similarity Search |
559 | -- | 566 | Sheng-Zhi Du, Zeng-Qiang Chen, Zhu-Zhi Yuan. Evolutionary Pseudo-Relaxation Learning Algorithm for Bidirectional Associative Memory |
567 | -- | 573 | Hui Wei, Shang-Min Luan. Ganglion-Based Balance Design of Multi-Layer Model and Its Watchfulness-Keeping |
574 | -- | 574 | Xiaoping Sun, Qing Li. The Knowledge Grid |