スポンサーリンク
九州大学システム情報科学研究院 | 論文
- 精神分裂病患者の視覚注意障害と精神症状及び生活障害との関連-視覚探索課題を用いた分析-
- 鍵交換プロトコルのFunctionality合成について(「さまざまな分野の形式的検証最前線」及びAI一般)
- 鍵交換プロトコルの Functionality 合成について
- ワンタイムID鍵交換プロトコルの設計, および様相論理による安全性検証(さまざまな分野の形式的検証最前線及び一般)
- The 32nd International Colloquium on Automata, Languages and Programming (ICALP2005), およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告
- ID 情報秘匿の安全性定義に関する検討
- ID 情報秘匿の安全性定義に関する検討
- ID 情報秘匿の安全性定義に関する検討
- ID情報秘匿の安全性定義に関する検討
- ID情報秘匿の安全性定義に関する検討
- 常識推論における推論の選択と文脈処理への応用
- 2次元ワープを用いた顔画像処理
- 反復経頭蓋磁気刺激が自発脳波へ与える影響
- オブジェクト指向に基づくスカラ拡張の適用条件のクラス化
- 磁気粒子イメージング用磁気マーカーの高調波信号測定及び解析
- 頭部傾斜におけるNIRSと加速度センサとの関係性
- 名詞シソーラスを用いた派生語の処理
- 無線バックホールにおける直交偏波を用いたマルチアンテナ無線中継伝送に関する検討(無線通信のための信号処理及び一般)
- 無線バックホールにおける直交偏波を用いたマルチアンテナ無線中継伝送に関する検討(無線通信のための信号処理及び一般)
- ストリーム中の頻出アイテム発見に対するO(loglogN) 領域乱択アルゴリズム