スポンサーリンク
National Institute of Informatics | 論文
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- ボース・アインシュタイン凝縮を使用して高速化された最適化問題探索の動的モンテカルロ法の研究
- 高性能量子コンピューティング
- 3P-13 開口合成法による実時間アコースティックイメージングシステムの設計(ポスターセッション)
- CS-6-3 Qubus Computation
- ダイヤモンドにおける量子発光体からの高度化された光子 収集
- 量子情報技術
- インタラクション記述言語IOM/T(モデル/理論, ソフトウェアエージェントとその応用論文)
- Protecting Privacy of GPS Traces against Inference Attacks
- Protecting Privacy of GPS Traces against Inference Attacks
- Hazard Checking of Asynchronous Circuits : A New Approach(高信頼アルゴリズム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- Hazard Checking of Asynchronous Circuits: A New Approach(高信頼アルゴリズム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- Design and Architectural Concepts for Border Model Based IP/Optical Multi-Layer Service Networks(Next Generation Photonic Network Technologies)
- Failure Trace Analysis of Timed Circuits for Automatic Timing Constraints Derivation(Dependable Computing)
- Partial Order Reduction for Timed Circuit Verification Based on Level Oriented Model(Verification and Dependability Analysis)(Dependable Computing)
- Partial Order Reduction for Timed Circuit Verification Based on Level Oriented Model
- Modular Synthesis of Timed Circuits Using Partial Order Reduction
- Design and Implementation of Context-Aware Musuem Guide Agents
- 共著関係に基づくグラフを用いた書誌情報における著者同定手法の提案と評価(データマイニング・学習, 夏のデータベースワークショップDBWS2005)