KUBIC-NII Joint Seminar on Bioinformatics 2012
organized by
Bioinformatics Center, Institute for Chemical Research, Kyoto University and
National Institute of Informatics
Date
Venue
Kyoto University, Uji, Kyoto 611-0011, Japan
Bioinformatics Center, Institute for Chemical Research,
3F, Seminar Room CB316.
Access
Participants (alphabetical order)
| Tatsuya Akutsu | Institute for Chemical Research, Kyoto University, Japan |
| Hei Chan | Institute of Statistical Mathematics, Japan |
| Maxime Folschette | École Centrale de Nantes, France |
| Morihiro Hayashida | Institute for Chemical Research, Kyoto University, Japan |
| Katsumi Inoue | National Institute of Informatics, Japan |
| Jesper Jansson | The Hakubi Project, Kyoto University, Japan |
| Hitoshi Koyano | Institute for Chemical Research, Kyoto University, Japan |
| Le Thi Anh Thư Pham | Ho Chi Minh City University of Information Technology, Vietnam |
| Tony Ribeiro | Université d'Angers, France |
| Nicolas Schwind | National Institute of Informatics, Japan |
| Takehide Soh | Kobe University, Japan |
| Takeyuki Tamura | Institute for Chemical Research, Kyoto University, Japan |
| Tomoya Tanjo | Transdisciplinary Research Integration Center, Japan |
Programme
| *Katsumi Inoue and Chiaki Sakama Oscillating Behavior of Logic Programs | |
| *Takeyuki Tamura Modeling and Analysis of Gene Regulatory Network | |
| *Maxime Folschette, Katsumi Inoue, Olivier Roux, Morgan Magnin, and Loic Pauleve Inferring Thomas' Modeling Interaction Graph and Parametrization from Process Hitting Framework using ASP | |
| *Tatsuya Akutsu Theoretical and Practical Algorithms for Edit Distance between Unordered Trees | |
| Pierre Marquis and *Nicolas Schwind Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging | |
| *Jesper Jansson Fast Algorithms for Computing a Consensus of MUL-Trees | |
| *Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara, and Katsumi Inoue Azucar: A SAT-based CSP Solver using Compact Order Encoding | |
| *Morihiro Hayashida Protein Complex Prediction via Improved Verification Methods using Constrained Domain-Domain Matching | |
| *Hei Chan Representing Causality using Graphs and Identifying the Causal Effects | |
| *Hitoshi Koyano Probability Theory on a Monoid of Strings and its Application to Molecular Evolution | |
| *Tony Ribeiro A Multi-Agent Reasoning Framework using Answer Set Programming in Dynamic Environnement |
Date: 2012-04-16 11:47:55 JST
HTML generated by org-mode 6.33x in emacs 23