Art

J-GLOBAL ID：200902246308301290   Reference number：07A0055955

「バイオインフォマティクスと人工知能の新たなインタラクション」計算機代数に基づく生物学-Algebraic Biology

Author (3)： ANAI HIROKAZU (富士通研) ,  ANAI HIROKAZU (JST-CREST) ,  HORIMOTO KATSUHISA (産業技術総合研 生命情報科学研究セ)
Material： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
Volume： 22  Issue： 1  Page： 77-84  Publication year： Jan. 01, 2007 
JST Material Number： X0330A  ISSN： 0912-8085  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *biology ,...
Semi thesaurus term： HIV protease ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0055955&from=J-GLOBAL&jstjournalNo=X0330A") }}

JST classification (3)： Biological sciences in general  (EA01010W) ,  Symbol manipulation  (JE03000Q) ,  Molecular and genetic information processing  (JE15040B)

Reference (14)：

• 穴井宏和編. 特集 "Quantifier Elimination". 日本数式処理学会誌. 2003, 10, 1, 3-70
• ANAI, H. eds. Algebraic Biology 2005-Computer Algebra in Biology. 2005
• ANAI, H. Symbolic-numeric estimation of parameters in biochemical models by quantifier elimination. J. Bioinfo. Comp. Biol. 2006, 4, 1097-1117
• BARNETT, M. Computer algebra in the life sciences. ACM SIGSAM Bulletin. 2002, 36, 5-33
• CAVINESS, B. eds. Quantifier elimination and cylindrical algebraic decomposition. Texts and Monographs in Symbolic Computation. 1998

Terms in the title (5)： バイオインフォマティクス ,  人工知能 ,  インタラクション ,  計算機代数 ,  生物学