スポンサーリンク
九州大学大学院システム情報科学研究院 | 論文
- 室内に設置された酸化スズ系ガスセンサによる初期火災検知
- タバコ燻焼火災に対するガスセンサ特性
- プログラミング教育のためのWEB上の動作表示システム
- 時間と位置属性に基づくデータ可視化システムの構築
- MIMOベクトル符号化適応変調システムにおける上位ビットスクランブルによるPAPR抑圧方式 (無線通信システム)
- 脂質膜型アルコールセンサを用いた清酒のエタノール測定誤差の低減
- イオン液体含有高分子膜の苦味特異的応答
- WEB検索におけるキーワード関連語提案システム
- シングルサイクルアクセス可能な二階層キャッシュアーキテクチャ(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- シングルサイクルアクセス可能な二階層キャッシュアーキテクチャ(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- Analysis of effects of input arrival time variations on on-chip bus power consumption (VLSI設計技術)
- Analysis of effects of input arrival time variations on on-chip bus power consumption (システムLSI設計技術)
- アイボとの協調操作のためのビデオカメラを用いた動き検出について(「エンタテインメントとヒューマン情報処理」及び一般)
- AIBOを用いた色情報と固有空間法にもとづく位置情報の推定
- 組込みシステムにおけるリソーススケジューリング設計・検査手法とツール(ソフトウェア工学)
- B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
- 鉄道信号システムのモデル検査器SPINによる検証
- 抽象モデル生成による節集合の前処理(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- モデル生成型定理証明手続きによるCTLのモデル検査(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 導出法に基づく定理証明系のJavaによる実現手法について(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
スポンサーリンク