Search results for "複雑さ" | NDL Search

Search results 31

Group by title

命題論理の証明の複雑さに関する研究

Paper図書

新井紀子, 国立情報学研究所 [著][新井紀子]2001-2003<Y151-H13680422>

National Diet Library

Subject Heading証明論 / 計算の複雑さ理論 / 証明の複雑さ理論 / 自動証明 / 遠隔教育

wavelet解析におけるアルゴリズム論的定式化

Paper図書

明石, 重男, 新潟大学2000-2001<Y151-H12640109>

National Diet Library

Subject Headingwavelet解析 Fourier解析エントロピー理論計算の複雑さ

代数幾何・代数解析に基づく特異点を持つ学習モデルの予測精度の解明

Paper図書

渡邊, 澄夫, 東京工業大学2000-2002<Y151-H12680370>

National Diet Library

Subject Heading特異点学習理論確率的複雑さ神経回路網代数幾何

構成的数学における計算可能性と計算の複雑さに関する研究

Paper図書

石原哉, 北陸先端科学技術大学院大学 [著][石原哉]2003-2006<Y151-H15500005>

National Diet Library

Subject Heading構成的数学 / 計算可能性 / 計算の複雑さ / 国際研究者交流 / ドイツ: アメリカ: ニュージー

定理自動証明技術の計算論的研究

Paper図書

岩間, 一雄, 京都大学1996-1997<Y151-H08044158>

National Diet Library

Subject Heading定理証明導出原理計算複雑さ

統計的学習理論における代数幾何学的方法の確立

Paper図書

渡邊澄夫, 東京工業大学 [著][渡邊澄夫]2003-2006<Y151-H15500130>

National Diet Library

Subject Heading特異モデル / 代数幾何 / 確率的複雑さ / ベイズ法 / 変分ベイズ法 / ゼータ函数 / 縮小ラ...

生成文法理論における「位相」についての理論的及び実証的研究 : 相対的「位相」の定義を目指して

Paper図書

石井透, 明治大学 [著][石井透]2002-2003<Y151-H14510543>

National Diet Library

Subject Heading生成文法 / 極小モデル / 言語機能 / 認知科学 / 計算の複雑さ / 位相 / WH移動 / Wh島の条件

制約充足問題における相転移現象に関する研究

Paper図書

西原清一, 筑波大学 [著][西原清一]2002-2004<Y151-H14380134>

National Diet Library

Subject Heading制約充足問題 / グラフ色ぬり問題 / 相転移現象 / 計算複雑さ / 組合せ探索 / アルゴリズム / NP完全 / 知識表...

岩石のマイクロメカニックス試験による破壊過程の可視化とシミュレーション

Paper図書

板倉賢一, 室蘭工業大学 [著][板倉賢一]2003-2004<Y151-H15560699>

National Diet Library

Subject Headingマイクロメカニックス試験 / 微小供試体 / き裂成長 / 複雑さ / 可視化 / 個別要素法 / DEM / シミュレーショ...

セル・オートマトンを用いた音声・音楽信号の完全可逆圧縮記述とその複雑さの分析

Paper図書

奈良重俊, 岡山大学 [著][奈良重俊]2001-2003<Y151-H13831008>

National Diet Library

Subject Headingセル・オートマトン / ルールダイナミックス / ビットパターン / 情報圧縮 / 音声・音楽・動画像 / 複雑さ / 圧縮率 / 信号対雑音比

統計的モデル選択の理論と実際

Paper図書

柴田, 里程, 慶応義塾大学1997-1998<Y151-H09680315>

National Diet Library

Subject Heading統計的モデル選択ブートストラツプニユーロネツトワークウエーブレツト複雑さ

デイジタル化した音声・音楽信号のセル・オートマトンによる圧縮記述

Paper図書

奈良, 重俊, 岡山大学1999-2000<Y151-H11837012>

National Diet Library

Subject Headingセル・オートマトンルールダイナミツクスビツトパターン情報圧縮音声・音楽複雑さ圧縮率信号対雑音比

複雑システムの安定性や適応進化に係わる1/fゆらぎの機能の解明とその工学的応用

Paper図書

安久, 正紘, 茨城大学1998-1999<Y151-H10650423>

National Diet Library

Subject Heading1/fゆらぎ複雑さ測度エントロピー時間反転非対称性フラクタル解析 1/...

アスペクト指向プログラム依存性理論とその応用に関する基礎的研究

Paper図書

趙建軍, 福岡工業大学 [著][趙建軍]2003-2004<Y151-H15500027>

National Diet Library

Subject Headingアスペクト指向プログラミング / プログラムの依存性解析 / ソフトウェア開発環境 / ソフトウェアの複雑さ計測 / プログラミングスライシング

離散的多重度解析法における可解モデルの実現

Paper図書

渡邊, 澄夫, 東京工業大学1997-1999<Y151-H09680362>

National Diet Library

Subject Heading多重度解析ウエーブレツトニユーラルネツトワーク代数解析自由エネルギー確率的複雑さ可解モデル

線形ブロツク符号の段階間軟判定出力を利用した多段階復号法に関する研究

Paper図書

嵩, 忠雄, 奈良先端科学技術大学院大学1996-1997<Y151-H08650429>

National Diet Library

Subject Heading多段階復号法軟判定復号法準最尤復号法線形ブロツク符号誤り制御特性復号複雑さ closest-coset法

情報力学の解析的研究とその応用

Paper図書

大矢, 雅則, 東京理科大学1995-1996<Y151-H07640255>

National Diet Library

Subject Heading情報力学エントロピー複雑さ状態チヤネル相互エントロピー状態のフラクタル次元リ...

線形ブロック符号の逐次軟判定復号法に関する研究

Paper図書

嵩忠雄, 奈良先端科学技術大学院大学 [著][嵩忠雄]1994-1995<Y151-H06650416>

National Diet Library

Subject Heading... / 分解可能な符号 / 復号複雑さ / 準最適復号法 / 線形ブロック符号 / 線形符号 / ...

画像やオーデイオデータを利用したSteganographyの研究

Paper図書

河口, 英二, 九州工業大学1998-1998<Y151-H10555127>

National Diet Library

Subject Headingステガノグラフイ電子あぶり出し情報秘匿情報セキユリテイ情報埋込みデイジタル封筒ビツトプレーン分解複雑さの尺度

平均時間的に高速な組合せ最適化アルゴリズムとその実験的評価法の研究

Paper図書

岩間, 一雄, 九州大学1992-1993<Y151-H04650318>

National Diet Library

Subject Heading組合せアルゴリズム実験的評価 NP完全性安全性局所探索計算の複雑さの理論 CAD

RSS