Jump to main content

yr 〜
yr

Search results 126

科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録

科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録
Paper雑誌雑誌タイトル
ERATO湊離散構造処理系プロジェクト2011-2015<Z74-H193>
National Diet Library
  • Is Version Of科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録
  •  
  •  
  •  
  •  
  •  
    •  

科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 CD-ROM版

科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 CD-ROM版
Recording Media雑誌電子資料雑誌タイトル
[科学技術振興機構ERATO湊離散構造処理系プロジェクト]2011-2015<YH247-1147>
National Diet Library
  • Is Version Of科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録
  • Alternative TitleJST ERATO湊離散構造処理系プロジェクト講究録
  • Alternative TitleJST ERATO湊離散構造処理系プロジェクト講究録
  •  
  •  
  •  
  •  
  •  
    •  

ベイジアンネットワークの確率計算とZDD

ベイジアンネットワークの確率計算とZDD
Digitalその他
浜口, 清治ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Note (General)出版タイプ： VoR ERATO湊離散構造処理系プロジェクト : 2010年度初冬のワークショップ（ERATO合宿）. ...
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.395-397.

データ匿名化に関する検討

データ匿名化に関する検討
Digitalその他
白井, 康之ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.38-44.

Challenges for a theory of visualization: what is semantic symmetry?

Challenges for a theory of visualization: what is semantic symmetry?
Digitalその他
Goebel, RandyERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.125-126.

Topological Quantum Computer のための量子回路設計問題

Topological Quantum Computer のための量子回路設計問題
Digitalその他
Choi, Byung-SooERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.96-107.

幾何学的特徴を持つグラフクラスに対する効率のよいアルゴリズムに関する研究

幾何学的特徴を持つグラフクラスに対する効率のよいアルゴリズムに関する研究
Digitalその他
齋藤, 寿樹ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Note (General)出版タイプ： VoR ERATO湊離散構造処理系プロジェクトシンポジウム(第2回) : 第73回情報処理学会全国大会イベ...
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.509.

Prediction of amino acid substitutions on the hemagglutinin molecules of influenza A viruses

Prediction of amino acid substitutions on the hemagglutinin molecules of influenza A viruses
Digitalその他
伊藤, 公人ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.190.

経路のコストに関する回帰問題について

経路のコストに関する回帰問題について
Digitalその他
井手, 剛ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.147.

再生可能エネルギー大量導入に対応した送配電損出最小となる送配電ネットワークの最適構成決定手法の開発への期待

再生可能エネルギー大量導入に対応した送配電損出最小となる送配電ネットワークの最適構成決定手法の開発への期待
Digitalその他
林, 泰弘ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.340-344.

Average-case complexity of detecting cliques

Average-case complexity of detecting cliques
Digitalその他
Rossman, BenjaminERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.248.

ベイジアンネットワークの機械語へのコンパイル

ベイジアンネットワークの機械語へのコンパイル
Digitalその他
高橋, 渉, 湊, 真一, 川原, 純ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Note (General)出版タイプ： VoR ERATO湊離散構造処理系プロジェクト : 2010年度初冬のワークショップ（ERATO合宿）. ...
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.415-417.

通信ネットワークの構造分析について

通信ネットワークの構造分析について
Digitalその他
井上, 武ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.158-169.

幾何的特徴を持つグラフクラスに対する効率のよいアルゴリズムの開発

幾何的特徴を持つグラフクラスに対する効率のよいアルゴリズムの開発
Digitalその他
齋藤, 寿樹ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.315.

Introduction to Symbolic Data Analysis : An interaction movement between statistics and data processing

Introduction to Symbolic Data Analysis : An interaction movement between statistics and data processing
Digitalその他
Brito, PaulaERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.222-224.

研究紹介

研究紹介
Digitalその他
平田, 耕一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.348-350.

Formal Verification of UML-based Specifications

Formal Verification of UML-based Specifications
Digitalその他
Soeken, MathiasERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.205-221.

はしがき

はしがき
Digitalその他
湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.i-ii.

ERATO湊プロジェクト東京オフィス紹介+共同研究の種

ERATO湊プロジェクト東京オフィス紹介+共同研究の種
Digitalその他
津田, 宏治ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.324-325.

ZDDを用いたパスの列挙 : 打倒Knuthを目指して

ZDDを用いたパスの列挙 : 打倒Knuthを目指して
Digitalその他
齋藤, 寿樹, 鈴木, 拡, 湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Note (General)出版タイプ： VoR ERATO湊離散構造処理系プロジェクト : 2010年度初冬のワークショップ（ERATO合宿）. ...
  • Periodical Title2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.428-429.
RSS