2009 March 23rd, 24th
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
National Institute of Informatics, 20F, Room 2006
Access MAP
| Katsumi Inoue | National Institute of Informatics, Japan |
| Asao Fujiyama | National Institute of Informatics, Japan |
| Taisuke Sato | Tokyo Institute of Technology, Japan |
| Yoshitaka Kameya | Tokyo Institute of Technology, Japan |
| Koji Iwanuma | University of Yamanashi, Japan |
| Hidetomo Nabeshima | University of Yamanashi, Japan |
| Chiaki Sakama | Wakayama University, Japan |
| Andrei Doncescu | LAAS-CNRS, France |
| Hisao Moriya | Okayama University, Japan |
| Gauvain Bourgne | National Institute of Informatics, Japan |
| Yoshitaka Yamamoto | The Graduate University for Advanced Studies, Japan |
| Petr Buryan | Czech Technical University, Czech |
| Gabriel Synnaeve | TIMC-IMAG, France |
| Masakazu Ishihata | Tokyo Institute of Technology, Japan |
| Takehide Soh | The Graduate University for Advanced Studies, Japan |
23th (Monday)
| 10:00 - 10:40 | Y. Yamamoto and K. Inoue: "CF-induction for Hypothesis Enumeration" [Slide] |
| 10:40 - 11:20 | K. Iwanuma and H. Nabeshima: "SOLAR and Effective Equality Computation: Intermediate Results of Experimental Research" [Slide 1] "SOLAR 2.0 and Effective Equality Computation" [Slide 2] |
| 11:30 - 12:10 | H. Moriya: "In Vivo Robustness Analysis of Eukaryotic Cell Cycle" [Slide] |
| 14:00 - 16:30 | Lecture by Andrei Doncescu (at Room 2004) [Slide] |
| 17:10 - 17:50 | T. Sato, Y. Kameya and M. Ishihata "An EM Algorithm Specialized for Shared BDDs with Negative Edges" [Slide] |
| 17:50 - 18:30 | Discussion of Future Work |
24th (Tuesday)
| 09:30 - 10:10 | T. Soh and K. Inoue: "A Weighted Max-SAT Based Approach for Analyzing Biochemical Pathways" [Slide] |
| 10:10 - 10:50 | C. Sakama: "Inductive negotiation in Answer Set Programming" [Slide] |
| 11:00 - 11:40 | G. Bourgne "Knowledge Discovery in a Society of Agent" [Slide] |
| 11:40 - 12:20 | P. Buryan "XGENE.ORG: Cross-GENome Cross-ORGanism Expression Data Analysis" [Slide 1] "Hypothesis Construction & Genetic Algorithms" [Slide 2] |
| 12:30 - 15:00 | G. Synnaeve and A. Doncescu: "Toward a more Detailled Symbolic Construction of Pathways" [Slide] |
Takehide Soh: soh at nii.ac.jp
Back to Events