スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- Constructor-based Institutions
- Overview of Task Scheduling in Grid Computing
- Performance Measurement of the Multi-backup paths Restoration Scheme under Capacity Constraint
- Rearrangeable Nonblocking Optical Multistage Switching Network Under
- An Upper Bound on Blocking Probability for Vertical Stacked Optical Banyan Networks with Extra Stage
- Computer performance of piano music with normative performance data
- ピアノ曲奏者の演奏ルール抽出と自動演奏
- Temporal epistemic logics for multi-agent systems
- 超並列計算機におけるハードウェア高速化によるシステム性能の評価
- Decidable/undecidable properties of conditional term rewriting systems
- 実画像を用いたテクスチャマッピングによる3次元可視化
- Automatic texture mapping for 3-dimensional visualization
- Similarity on algebraic specifications toward specification databases
- The equivalence of the reductions with the E-strategy with and without marks
- Models for Blocking Probability of Hign-Speed Optical Banyan Networks on Vertical Stacking
- Glueing of algebras for substructural logics
- Po-hyperdoctrinal semantics for substructural predicate logics
- Duality in super-intuitionistic and modal predicate logics
- 動的QOS制御をサポートする連続メディア処理に適したプロセッサ管理機構
- 木造仏像のX線CT画像解析に関する研究