スポンサーリンク
金沢大学理工研究域電子情報学系 | 論文
- 確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
- コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 疎な光線空間に対応した構造的特徴に基づく補間法(インタラクティブシステム・画像入力デバイス・方式、及び一般)
- 動的再構成可能プロセッサ向け仕様記述言語の開発と実問題の適用 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- 確率ゲーム理論による組込みシステムのモデル化とモデル検査
- 3.核融合炉のトリチウム蓄積・排出評価のための理論およびシミュレーションコードの開発(核融合炉実現を目指したトリチウム研究の新展開)
- 2. 熱プラズマの熱力学・輸送・放射特性(材料プロセッシングを支える熱プラズマの新展開)
- エネルギー最小化項を組み込んだ地形図を用いたWatershedアルゴリズムによる動オブジェクト抽出
- 時間変化する高気圧熱プラズマの基礎と応用
- x-meansクラスタリングによるクラスタ数を用いた動オブジェクト抽出 (スマートインフォメディアシステム)
- 大域的輝度変化に対応したハードウェア実装が容易な高速オプティカルフロー演算(画像認識,コンピュータビジョン)
- アフィンパラメータの2段クラスタリングによる動オブジェクト抽出の改善(ネット,ゲーム等,仮想空間における映像メディアの処理,表現,応用,及び一般)
- 並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- マルチエージェントシステムの合意問題と協調取り囲み
- 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)
- 自然VLF放射強度と銀河雑音電波吸収(CNA)の相関関係を用いた下部電離層電子密度の推定(英文)
- 空間の概念を持つコスト付き確率時間オートマトンの提案とセンサネットワークへの適用(ペトリネット,離散事象システム,一般)
- 確率時間CEGAR(研究会優秀論文賞,ペトリネット,離散事象システム,一般)
スポンサーリンク