スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- Possible collaborative "domain" projects
- Verified software for ubiquitous computing : a proposed VSTTE/ubiquitous computing foothill project
- The triptych process model : process assessment and improvement
- センター長からのメッセージ (I. はじめに)
- eポートフォリオ構築の検討 (II. 活動報告 . (4)eポートフォリオ構築の検討)
- 大学院教育の質保証フレームワーク策定までの道程 (II. 活動報告 . (2)質保証枠組みの方策)
- 教員・職員・学生が一緒になるFD・SD (II. 活動報告 . (1) FD・SD の取組)
- 自己組織化ニューラルネットワークの並列学習シミュレーション
- Modeling and analyzing the impact of software fault tolerance techniques on the reliability of component-based systems
- Using shallow semantic parsing and relation extraction for finding contradiction in text
- HR-crossed cube interconnection and WSI implementation
- The 3D-mesh array architecture on stacked Wafers
- Applications of Shimura's methods of canonical model to intermediate infinitary logics
- Tele-Handshake: Cooperative Shared Haptic Virtual Environment
- A Type Theory for Krivine-style Evaluation and Compilation
- nCUBE2上への並列ハッシュジョインアルゴリズムの実装
- スケーラブルメディアを扱うためのReal-Time Mach上の連続メディアツールキット
- Linear programming with inexact coefficients : some results in computational complexity
- Approximating set cover via local improvements
- Varieties of monadic heyting algebras.Part III