スポンサーリンク
金沢大学自然科学研究科電子情報工学専攻 | 論文
- 確率時間オートマトンの確率時間強模倣検証アルゴリズム (計算機科学基礎理論とその応用)
- 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法
- 確率線形ハイブリッドオートマトンの到達可能性検証
- 歌声における印象評価と音響特徴量の関係について(聴覚・音声,聴覚・音声・言語とその障害/一般)
- 時間オートマトンによるソフトリアルタイムシステムのスケジューリング解析(スケジューリング, VLSI 設計とテスト及び一般)
- 急速眼球運動対応の視線検出Vision Chipの速度仕様(インタラクティブシステム・画像入力デバイス・方式,バイオメトリクス,及び一般)
- 歌声における裏声と地声を識別するための音響特徴量の検討
- 音楽療法士を対象とした発声訓練プログラム:─開発に向けた予備的研究─