Jump to main content

yr 〜
yr

Search results 9

Effective quantifier elimination with applications to control system design and verification

Effective quantifier elimination with applications to control system design and verification
Paper博士論文
Hirokazu Anai [著][Hirokazu Anai][2008]<UT51-2008-S739>
National Diet Library

Algebraic biology : second international conference, AB 2007 : Castle of Hagenberg, Austria, July 2-4, 2007 : proceedings. : AB2007 : Jul 2007, Hagenberg, Austria. (Lecture Notes in Computer Science ; 4545)

Algebraic biology : second international conference, AB 2007 : Castle of Hagenberg, Austria, July 2-4, 2007 : proceedings. : AB2007 : Jul 2007, Hagenberg, Austria. (Lecture Notes in Computer Science ; 4545)
Paper図書
Springerc2007.<M17-08-151>
National Diet Library
  • Author Heading...sches Rechnen. Anai, Hirokazu. Horimoto, Katsuhisa. Kutsia,...

Two controller design procedures using SDP and QE for a Power Supply Unit

Two controller design procedures using SDP and QE for a Power Supply Unit
Digital文書・図像類
Matsui, Yoshinobu, Iwane, Hidenao, Anai, Hirokazu九州大学マス・フォア・インダストリ研究所2013-08-09COE Lecture Note49p.43-51
Available onlineOther Libraries in Japan
  • Author HeadingMatsui, Yoshinobu Iwane, Hidenao Anai, Hirokazu

ものづくりと数学 : Symbolic Approaches

ものづくりと数学 : Symbolic Approaches
Digital文書・図像類
益岡, 竜介, 穴井, 宏和九州大学マス・フォア・インダストリ研究所2013-02-28COE Lecture Note46p.291-300
Available onlineOther Libraries in Japan

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
Digital文書・図像類
岩根, 秀直, 樋口, 博之, 穴井, 宏和九州大学マス・フォア・インダストリ研究所2013-08-09COE Lecture Note49p.33-42
Available onlineOther Libraries in Japan

数理最適化の実践ガイド

数理最適化の実践ガイド
PaperDigital図書
穴井宏和 著講談社2013.3<MA216-L3>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Anai, Hirokazu

今日から使える!組合せ最適化 : 離散問題ガイドブック

今日から使える!組合せ最適化 : 離散問題ガイドブック
Paper図書
穴井宏和, 斉藤努 著講談社2015.6<MA216-L34>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Anai, Hirokazu

QEの計算アルゴリズムとその応用 : 数式処理による最適化

QEの計算アルゴリズムとその応用 : 数式処理による最適化
Paper図書
穴井宏和, 横山和弘 著東京大学出版会2011.8<MA41-J59>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Anai, Hirokazu K. Yokoyama

Algebraic biology : computer algebra in biology 2005 (Algebraic biology series ; v. 1)

Algebraic biology : computer algebra in biology 2005 (Algebraic biology series ; v. 1)
Paper図書
edited by Hirokazu Anai, Katsuhisa HorimotoUniversal Academy Pressc2005<M18-B620>
National Diet Library
  • Authority（Author Heading/altLabel）Anai, Hirokazu Horimoto, Katsuhisa Katsuhisa...

Reached to the end of result.

RSS