スポンサーリンク
金沢大学工学部情報システム工学科 | 論文
- 自然VLF放射強度と銀河雑音電波吸収(CNA)の相関関係を用いた下部電離層電子密度の推定(英文)
- 南極自然ELF/VLF波動多点観測の初期報告(研究速報)
- LF及びMF電波のロケット観測による冬季夜間下部電離層の電子密度推定(アンテナ・伝搬)
- クランク素子と反射板を有するチルトビーム切換ループアンテナ(アンテナ・伝搬)
- B-1-56 EBG反射板上チルトビームスロットアンテナの放射特性(B-1.アンテナ・伝播B(アンテナ一般),一般講演)
- 多段接続迂回素子装荷ループアレーアンテナ(アンテナ設計解析技術, 一般)
- 空間の概念を持つコスト付き確率時間オートマトンの提案とセンサネットワークへの適用(ペトリネット,離散事象システム,一般)
- 確率時間CEGAR(研究会優秀論文賞,ペトリネット,離散事象システム,一般)
- 確率ゾーングラフを用いた確率時間強模倣関係による検証(ディペンダブルコンピューティング)
- 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- DNA配列決定におけるMAX-MIN Ant Systemの適用とその改良(アルゴリズム理論)
- 時間枠制約付き配送計画問題におけるアントコロニー最適化に関する研究
- 卒業研究達成度評価の実施
- (59)卒業研究達成度評価実施例(第16セッション 教育評価・自己点検・評価システム(I))
- 降雪のZ-R関係の時系列解析
- 落下中の降雪粒子の密度測定 : 視聴覚技術
- 落下中の降雪粒子の密度測定
- 仮説推論の反復に対する高速化
- 癒し型ロボットの飼い主判別手法
スポンサーリンク