Integrating mRNA Decay Information into Co-Regulation Study Liang ChenHong-Yu Zhao Regular Paper Pages: 434 - 438
Transcriptional Regulatory Networks Activated by PI3K and ERK Transduced Growth Signals in Human Glioblastoma Cells Peter M. HavertyZhi-Ping WengUlla Hansen Regular Paper Pages: 439 - 445
Test Data Sets and Evaluation of Gene Prediction Programs on the Rice Genome Heng LiJin-Song LiuBai-Lin Hao Regular Paper Pages: 446 - 453
RNA Structural Homology Search with a Succinct Stochastic Grammar Model Ying-Lei SongJi-Zhen ZhaoLi-Ming Cai Regular Paper Pages: 454 - 464
Intrinsic Terminator Prediction and Its Application in Synechococcus sp. WH8102 Xiu-Feng WanDong Xu Regular Paper Pages: 465 - 482
PRIME: A Mass Spectrum Data Mining Tool for De Nova Sequencing and PTMs Identification Bo YanYou-Xing QuYing Xu Regular Paper Pages: 483 - 490
Robustness Analysis of the IFN-γ Induced JAK-STAT Signaling Pathway Zhi-Ke ZiZhi-Rong Sun Regular Paper Pages: 491 - 495
Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions Su Feng Regular Paper Pages: 496 - 513
Action Refinement for Real-Time Concurrent Processes with Urgency Guang-Ping QinJin-Zhao Wu Regular Paper Pages: 514 - 525
LFTOP: An LF-Based Approach to Domain-Specific Reasoning Jian-Min PangPaul CallaghanZhao-Hui Luo Regular Paper Pages: 526 - 535
Some Representation Theorems for Recovering Contraction Relations Ping Hou Regular Paper Pages: 536 - 541
StarBus+: Distributed Object Middleware Practice for Internet Computing Huai-Min WangYu-Feng WangYang-Bin Tang Regular Paper Pages: 542 - 551
A New Retrieval Model Based on TextTiling for Document Similarity Search Xiao-Jun WanYu-Xin Peng Regular Paper Pages: 552 - 558
Evolutionary Pseudo-Relaxation Learning Algorithm for Bidirectional Associative Memory Sheng-Zhi DuZeng-Qiang ChenZhu-Zhi Yuan Regular Paper Pages: 559 - 566
Ganglion-Based Balance Design of Multi-Layer Model and Its Watchfulness-Keeping Hui WeiShang-Min Luan Regular Paper Pages: 567 - 573