Automatic Synthesis of Process Calculus Using Abstraction

2012 Fiscal Year Final Research Report

• Project/Area Number: 23650066
• Research Category: Grant-in-Aid for Challenging Exploratory Research
• Allocation Type: Multi-year Fund
• Research Field: Intelligent informatics
• Research Institution: The University of Tokyo
• Principal Investigator: HAGIYA Masami 東京大学, 大学院情報理工学系研究科, 教授 (30156252)
• Project Period (FY): 2011 – 2012
• Keywords: 探索 / 論理 / 推論アルゴリズム / プロセス計算 / DNA デバイス

Research Abstract

We developed a method to construct a coarse-grained abstract model of DNA devices in which a graph or a set of graphs that represents DNA structures is approximated by a set of local structures (called abstract nodes). Using the method, we conducted evolutionary search of abstract systems and automatically synthesized DNA devices that implement various circuits and automata. We also applied the abstraction method to simulation of RNAi, and succeeded in simulating complex cases with more than twenty segments, and reproducing distribution of concentrations of siRNA by simulation.

Research Products

• [Journal Article] Towards Co-evolution of Information, Life and Artificial Life, Natural Computing and Beyond (2013)
  • Author(s): Masami Hagiy a and Ibuki Kawamata
  • Journal Title: Proceedings in Information and Communications Technology Volume: Vol.6 Pages: 39-48
• [Journal Article] Abstraction of Graph-Based Models of Bio-Molecular Reaction Systems for Efficient Simulation (2012)
  • Author(s): Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano and Masami Hagiya
  • Journal Title: Computational Methods in Systems Biology, 10th International Conference CMSB 2012,Lecture Notes in Bioinformatics, Volume: Vol.7605 Pages: 187-206
• [Journal Article] In Silico Design Control of the Trade-Off Balance in Robustness and Fragility of Logical Circuits Using DNA Nanostructures, (2012)
  • Author(s): Miki Hirabayashi, Ibuki Kawamata, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa
  • Journal Title: IEEE NANO 2012 Pages: 1-6
• [Journal Article] Tunable synthetic phenotypic diversification on Waddington's landscape through autonomous signaling (2011)
  • Author(s): Ryoji Sekine, Masayuki Yamamura, Shotaro Ayukawa, Kana Ishimatsu,Satoru Akama, Masahiro Takinoue,Masami Hagiya, and Daisuke Kiga:
  • Journal Title: Proceedings of the National Academy of Sciences of the United States of America Volume: Vol.108 Pages: 17969-17973
• [Journal Article] Design of Molecular-Based Network Robots -Toward the Environmental Control (2011)
  • Author(s): Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa
  • Journal Title: IEEE NANO 2011 Pages: 313-318
• [Journal Article] Abstraction of DNA Graph Structures for Efficient Enumeration and Simulation (2011)
  • Author(s): Ibuki Kawamata, Fumiaki Tanaka, and Masami Hagiya
  • Journal Title: The 2011 International Conference on Parallel and Distributed Processing,Techniques and Applications (PDPTA'11), Technical Session on Mathematical Modeling and Problem Solving Pages: 800-806
• [Presentation] Efficiency and Exactness of Simulations by Abstracting Graph Models for DNA and RNA Reaction Systems, (2012)
  • Author(s): Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, and Masami Hagiya
  • Organizer: The 18th International Conference on DNA Computing and Molecular Programming
  • Place of Presentation: Aarhus University, Aarhus, Denmark.
  • Year and Date: 20120814-16
• [Presentation] 化学反応系の複雑さと分子ロボットの知能 (2012)
  • Author(s): 川又生吹, 萩谷昌己
  • Organizer: 人工知能学会合同研究会第 51回分子生物情報研究会
  • Place of Presentation: 慶應義塾大学日吉キャンパス來往舎.
  • Year and Date: 2012-11-15
• [Presentation] Abstraction of Graph-Based Models of Bio-Molecular Reaction Systems for Efficient Simulation (2012)
  • Author(s): Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, and Masami Hagiya
  • Place of Presentation: The Royal Society, London, UK.
  • Year and Date: 2012-10-04
• [Presentation] In Silico Design Control of the Trade-Off Balance in Robustness and Fragility of Logical Circuits Using DNA Nanostructures, (2012)
  • Author(s): Miki Hirabayashi, Ibuki Kawamata, Masami Hagiya, Hiroaki Kojima, andKazuhiro Oiwa
  • Organizer: 12th IEEE Conference on Nanotechnology(IEEE-NANO) 2012
  • Place of Presentation: International Convention Centre,Birmingham, UK.
  • Year and Date: 2012-08-22
• [Presentation] Enforcing Delays in DNA Computing Systems (2012)
  • Author(s): Nathanael Aubert, Yannick Rondelez,Teruo Fujii, and Masami Hagiya
  • Organizer: The 18th International Conference on DNA Computing and Molecular Programming
  • Place of Presentation: Aarhus University, Aarhus, Denmark.
  • Year and Date: 2012-08-16
• [Presentation] Towards Co-evolution of Information, Life and Artificial Life (2012)
  • Author(s): Masami Hagiya and Ibuki Kawamata
  • Organizer: 6th International Workshop on Natural Computing
  • Place of Presentation: University of Tokyo, Tokyo, Japan.
  • Year and Date: 2012-03-29
• [Presentation] Experimental Validation of Automatically Designed DNA Automaton (2011)
  • Author(s): Ibuki Kawamata and M a sa mi H ag i ya
  • Organizer: The 17th International Conference on DNA Computing and Molecular Programming
  • Place of Presentation: Pasadena, USA.
  • Year and Date: 20110919-23
• [Presentation] The 2011 International Conference on Parallel and Distributed Processing (2011)
  • Author(s): Ibuki Kawamata, Fumiaki Tanaka, and Masami Hagiya
  • Organizer: Techniques and Applications
  • Place of Presentation: Las Vegas,USA.
  • Year and Date: 2011-07-18