Thu, Aug 6 PM Systems Biology 1
13:30 - 15:10 |
| (1) |
13:30-14:20 |
Network evaluation from the consistency of the graph structure with gene expression profiles |
Shigeru Saito (INFOCOM/AIST), Katsuhisa Horimoto (AIST) |
| (2) |
14:20-15:10 |
Parameter estimation by combination of differential elimination and genetic algorithm in the biological network including unmeasured variables |
Masahiko Nakatsui, Katsuhisa Horimoto (AIST) |
| |
15:10-15:20 |
Break ( 10 min. ) |
Thu, Aug 6 PM Systems Biology 2
15:20 - 17:00 |
| (3) |
15:20-16:10 |
Polynomial-time Algorithm for Controllability Test of Boolean Networks |
Koichi Kobayashi (JAIST), Jun-ichi Imura (Tokyo Inst. of Tech.), Kunihiko Hiraishi (JAIST) |
| (4) |
16:10-17:00 |
A design and control method for artificial genetic circuits supported by biological experiments |
Ryoji Sekine, Hajime Nakatani (Tokyo Inst. of Tech.), Daisuke Kiga (Tokyo Inst. of Tech./JST), Masayuki Yamamura (Tokyo Inst. of Tech.) |
Fri, Aug 7 AM Systems Biology 3
09:30 - 12:00 |
| (5) |
09:30-10:20 |
An Algorithm to Produce Conditional Equations for Smooth Signal Flows in the Petri Net Model of a Signaling Pathway |
Yoshimasa Miwa (Yamaguchi Univ.), Kanji Hioka (Bab-Hitachi Soft.), Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) |
| (6) |
10:20-11:10 |
Analyzing Boolean Networks by Using Integer Programming |
Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura (Kyoto Univ.) |
| (7) |
11:10-12:00 |
Formal scientific reasoning: what, why, and how |
Rene Vestergaard (JAIST, RCIS) |
: 
n
gu
-u