8月6日(木) 午後 システムバイオロジー? 13:30 - 15:10 |
(1) |
13:30-14:20 |
遺伝子発現プロファイルによるネットワーク構造評価 |
○齊藤 秀(インフォコム/産総研)・堀本勝久(産総研) |
(2) |
14:20-15:10 |
代数的アプローチと遺伝的アルゴリズムの組み合わせによる計測不能変数を含むネットワークのパラメータ最適化 |
○中津井雅彦・堀本勝久(産総研) |
|
15:10-15:20 |
休憩 ( 10分 ) |
8月6日(木) 午後 システムバイオロジー? 15:20 - 17:00 |
(3) |
15:20-16:10 |
ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム |
○小林孝一(北陸先端大)・井村順一(東工大)・平石邦彦(北陸先端大) |
(4) |
16:10-17:00 |
ウェット実験に基づく人工遺伝子回路の設計と制御 |
○関根亮二・中谷 元(東工大)・木賀大介(東工大/JST)・山村雅幸(東工大) |
8月7日(金) 午前 システムバイオロジー? 09:30 - 12:00 |
(5) |
09:30-10:20 |
シグナル伝達経路のペトリネット表現に基づく反応パラメータ条件式導出アルゴリズムの提案 |
○三輪良雅(山口大)・樋岡幹司(バブ日立ソフト)・葛 崎偉・松野浩嗣(山口大) |
(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) |