缺少摘要。
- 布尔网络的推理、分析和控制算法阿克苏Tatsuya Akutsu,森弘·林下,Takeyuki Tamura先生.1-15 [美国国防部]
- 模型检查教程:计算机科学中的建模和验证阿明·比尔.16-21 [美国国防部]
- 细胞生物学中的微分代数与系统建模弗朗索瓦·布利埃,弗朗索瓦·莱梅尔.22-39 [美国国防部]
- 随机pi-Calculus的混合语义卢卡·博托鲁西,阿尔贝托·波利克里蒂.40-55 [美国国防部]
- 应用严格的准稳态近似方法证明遗传电路模型中不存在振荡弗朗索瓦·布利埃,马克·勒弗朗克,弗朗索瓦·莱梅尔,Pierre-Emmanuel Morant公司.56-64 [美国国防部]
- 生物化学的计算能力鲁卡·凯德利,吉安路易吉·扎瓦塔罗.65-80 [美国国防部]
- 小树邻接算法的几何性质科德·艾克迈耶,吉田鲁里科.81-95 [美国国防部]
- 神经代数与意识:神经网络的结构功能理论欧文·恩格勒.96-109 [美国国防部]
- 具有陡峭Sigmoid响应函数的基因调控网络定性模拟算法莉莉亚娜·艾伦尼,路易吉·潘泽里,埃里克·普莱特.110-124 [美国国防部]
- 生物调控网络嵌入过程中的财产保护姆巴尔卡·马布鲁基,马克·艾基尔,Jean-Paul彗星,帕斯卡尔·勒加尔.125-138 [美国国防部]
- 人口动力学的过程代数模型克里斯·麦凯格,雷切尔·诺曼,卡伦·桑克兰.139-155 [美国国防部]
- 生物系统分岔与极限环的代数分析魏牛,王东明.156-171 [美国国防部]
- 最小多稳态质量储备化学反应网络安妮·肖.172-184 [美国国防部]
- 布尔生物调控网络的局部结构与行为海克·西伯特.185-199 [美国国防部]
- 代数生物学中解决Hopf分支问题的通用方法研究托马斯·斯特姆,安德列斯·韦伯.200-215 [美国国防部]
- 一种改进的检测由An/OR节点组成的布尔网络中单个吸引子的算法Takeyuki Tamura先生,阿克苏Tatsuya Akutsu.216-229 [美国国防部]
- 用形式概念分析方法构建基因调控动力学知识库约翰内斯·沃尔博尔德,莱因哈德·古什克,伯恩哈德·甘特.230-244 [美国国防部]