| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Toshimitsu Ushio (Osaka Univ.) |
| Vice Chair |
|
Kunihiko Hiraishi (JAIST) |
| Secretary |
|
Shingo yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Kanazawa Univ.) |
| Assistant |
|
Tatsushi Yamasaki (Setsunan Univ.) |
|
| Conference Date |
Thu, Aug 6, 2009 13:30 - 17:00
Fri, Aug 7, 2009 09:30 - 12:00 |
| Topics |
Systems Biology, etc |
| Conference Place |
Tokyo Campus, JAIST |
| Transportation Guide |
http://www.jaist.ac.jp/satellite/sate/newcampus |
Contact
Person |
Prof. Kunihiko Hiraishi |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
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  CST2009-12 |
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 CST2009-13 |
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 CST2009-14 |
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 CST2009-15 |
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 CST2009-16 |
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 CST2009-17 |
Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura (Kyoto Univ.) |
| (7) |
11:10-12:00 |
Formal scientific reasoning: what, why, and how |
Rene Vestergaard (JAIST, RCIS) |
| Announcement for Speakers |
| General Talk | Each speech will have 40 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Shingo Yamaguchi (Graduate School of Science and Engineering, Yamaguchi Univ.)
TEL 0836-85-9510, FAX 0836-85-9501
E- :  n    gu -u |
| Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/~cst/ |
Last modified: 2009-07-15 21:37:20
|