スポンサーリンク
九州大学システム情報科学研究院 | 論文
- 四重複合音課題を使用した脳磁図の計測と解析--呈示確率の影響
- 聴性論理課題を使用した脳磁図の計測と解析
- 音列記憶課題を用いた脳磁図の計測と解析
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
- 近距離無線環境のためのローカルクラウドストレージの提案(ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般)
- レーザーアブレーションを応用した固体表面のナノスケール分析法
- パルス色素レーザーの励起波長依存性
- 視覚注意時における Gamma band response の測定
- 視覚注意課題実行時におけるα波およびγ波の位相固定成分と非位相固定成分の解析
- 音源定位時のP300と認識時間の計測
- On Product Formula of Tree Expressions
- 周期1と2のリミットサイクルをもつセルオートマトンについて(アルゴリズムと計算量理論)
- A-028 ある種の不完全情報渋滞ゲームの近似的ナッシュ遷移の収束性(A分野:モデル・アルゴリズム・プログラミング,一般論文)
- 混合ドミノタイリングの連結性
- トーラス型ネットワーク上の効率的なブロードキャスト方式について
- 大規模な産学連携による高度ICT人材教育におけるインターンシップの役割とその効果
- 1. フォーマルメソッドの過去・現在・未来 : 適用の実践に向けて(Part I:歴史と概要,フォーマルメソッドの新潮流)
- ロボット制御ソフトウェアの形式的モデル検証
- 背表紙画像を用いたネットワーク透過な仮想書架