スポンサーリンク
金沢大学自然科学研究科電子情報工学専攻 | 論文
- 確率時間CEGAR(研究会優秀論文賞,ペトリネット,離散事象システム,一般)
- 確率ゾーングラフを用いた確率時間強模倣関係による検証(ディペンダブルコンピューティング)
- 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- 確率時間インターフェース理論による組込み型システムの設計手法(グラフ, ペトリ, ニューラルネット及び一般)
- スピーカとフル・オープンエア型ヘッドホンを併用した2チャネル再生における両耳間差の補償
- 擬似的不規則画素配置によるジャギー解消効果の評価指標(インタラクティブシステム・画像入力デバイス・方式,及び一般)
- オプティカルフロー演算機能をもつ列並列処理構成Vision Chip(マルチメディア情報入力及び処理方式および一般)
- 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法(検証/テストとデバッグ)
- 離散確率分布を持つリアルタイムシステムの確率時間双模倣関係と確率時同時相論理式の保存(設計手法)
- 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法
- 離散確率分布を持つリアルタイムシステムの詳細化検証手法(検証/テストとデバッグ)
- 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価
- 離散確率分布を持つリアルタイムシステムの詳細化検証手法
- 歌声に含まれる個人性知覚に寄与する音響特徴量の検討(音声生成・知覚,聴覚心理,音声学・音韻論,一般)
- 各論 睡眠時無呼吸症候群 (子どもを蝕む大人の病気)
- 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査(ディペンダブルコンピューティング)
- 情報通信技術のアクセシビリティ (特集 リハビリテーション関連工学の最前線)
- 東洋史研究のためのエージェントとサービス(「エージェント基礎」及び一般)
- コンポーネントウェアによる確率リアルタイムシステムの設計検証手法
スポンサーリンク