スポンサーリンク
金沢大学工学部情報システム工学科 | 論文
- マルチエージェントを用いた停止回数削減のための交通信号制御
- 強化学習型マルチエージェントによる交通信号制御
- 離散確率分布を持つリアルタイムシステムの詳細化検証手法(検証/テストとデバッグ)
- 離散確率分布を持つリアルタイムシステムの詳細化検証手法
- HDTV対応低消費電力MPEG2 MP@HL動き検出LSIの開発
- 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査(ディペンダブルコンピューティング)
- 指尖血流量変動解析による糖尿病性神経障害者の自律神経機能評価
- 循環系リズム解析による自律神経機能評価
- 血流速度変動解析による自律神経機能評価
- 東洋史研究のためのエージェントとサービス(「エージェント基礎」及び一般)
- コンポーネントウェアによる確率リアルタイムシステムの設計検証手法
- 強化学習型マルチエージェントによる交通信号制御
- 確率ゲーム理論による組込みシステムのモデル化とモデル検査
- 心拍変動解析による自律神経機能の推定
- 動的リアルタイムCEGAR(一般セッション)
- B-4-12 ダイポール波源を考慮した電波吸収体の性能に関する検討(B-4.環境電磁工学,一般講演)
- 動的再構成可能プロセッサの離散シミュレータの開発(コンカレントシステム,離散事象システム及び一般)
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- 確率時間CEGAR (理論計算機科学の深化と応用)
- いま医療の現場ではエレクトロニクスがどのように活用されているのか