スポンサーリンク
電子技術総合研究所 | 論文
- 3P219 立体構造解析に向けたほ乳類Exocyst複合体の調製(細胞生物的課題(接着・運動・骨格・伝達・膜)))
- 極限作業ロボットのための教示ツリーを用いた面ベースの環境モデリング
- Si基板上に製作したAu/n-Geショットキー障壁ダイオードの電気的特性
- 31aSC-3 D-D 系ミュオン触媒核融合のオルソ・パラ効果
- 論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて
- 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
- 論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)
- 最小汎化の組合せ探索による帰納推論
- 帰納推論による論理プログラムと規則性の学習
- 代数知識のデータベース化の試み(数式処理と数学研究への応用)
- 遺伝的探索に基づく"虫"の進化(1) : ビジュアライズによる行動解析
- 説明に基づく一般化≠部分計算
- N-クイーン問題の解の1つを線形時間で求めるアルゴリズムについて
- 類推における類似性と写像の相互関係に関する考察
- フレームの表示形式を用いた : IXLの意味ネットワークの表示
- デモンストレーション:若手による研究紹介IV
- Hardwareでの動画処理における動的再構成の有意性について
- データ駆動計算機のアーキテクチャ最適化に関する考察
- データ駆動計算機EM-4の負荷分散
- データ駆動計算機EM-4のパイプライン構成