スポンサーリンク
金沢大学大学院自然科学研究科電子情報工学専攻 | 論文
- 広帯域指向性アレースピーカの帯域分割設計法
- P123 2D-VDとPOSSによる雨滴サイズ分布と降雨Z-R関係の連続測定
- 平面スピーカアレーによる超指向性ビーム形成
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- 高分子固体パウダとAr誘導熱プラズマ間の熱的相互作用の数値解析
- 円周魚眼カメラのマルチベースラインステレオ法による全天3次元計測(テーマ関連セッション4)
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- 集束ビーム形スピーカアレーを用いたステレオ再生について (応用音響)
- C-3-26 VCSELを用いた高分解能FMCWセンシングシステム(光記録・計測(1),C-3.光エレクトロニクス,一般セッション)
- ニューラルネットワークによるシール型鉛バッテリーの劣化判定および残存容量予測
- 落下中降雪粒子の画像処理による分類(一般セッション,一般物体認識・画像特徴量)
- 六角配列センサとコーンフィルタを用いた指定方向集束コーンビーム形成
- 六角配列センサとコーンフィルタを用いた指定方向集束コーンビーム形成
- 2)海氷状況観測映像の画像処理(〔放送方式研究会 画像処理・コンピュータビジョン研究会 映像表現研究会 画像通信システム研究会 画像応用研究会〕合同)
- 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション)
- 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション,一般,フレッシャーズセッション)
- 動的リアルタイムCEGAR(一般セッション,一般,フレッシャーズセッション)
- 動的再構成可能組込みシステムのモデル化と仕様記述(モデル化・仕様記述)
- 確率時間強模倣検証アルゴリズムの実現
- 時間弱模倣検証に基づくリアルタイムソフトウェアの詳細化設計手法(ディペンダブルコンピューティング)
スポンサーリンク