スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- A Polynomial Time Algorithm for a Just-In-Time Scheduling Problem with Periodic Time Slots
- Construction of Rule Base for the Control of Discrete Event Dynamic
- Synthesis of supervisors using learning algorithm of regular languages
- ピアノ演奏における音楽要素と聴取印象との関係
- 楽曲構造・情動解析による人間らしい情緒あるコンピュータミュージック
- On monotone undirected contact networks computing T^n_
- Greed is good : approximating independent sets in sparse and bounded-degree graphs
- Unique normal proof property for implicational minimal formulas in the intuitionistic logic
- Pathway alignment through contxt similarity
- 計算機を介した共同作業の評価と共同ソフトウエア開発におけるグループウエア利用の検討
- The tool that supports highly reliable component-based software developme
- On the Proof of the Interpolation Theorem without using Constants
- Lemmon-Scott Axioms for Relevant Modal Logics
- Some Topics on Relevant Modal Matrices
- A control method combining EP-map and λ model for a 3D physiological articulatory simulator
- A quantum algorithm for finding the κ-th smallest member
- An implementation of logical variable reference in a concurrent logic programming language by using channel variables
- Fault tolerant software in parallel logic programming languages
- 並列論理型言語におけるフォールトトレラントソフトウェアの構成
- On the finite model property of intuitionistic modal logics over MIPC