スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- Neuronal cell model with the synaptic interaction, Part 1: neuronal cell modeling and the analysis of single input/output properties
- A parallel learning algorithm to compensate hardware defects for Kohonen's SOM
- The efficient fault-tolerant design of artificial neural networks
- New interconnections for for massively parallel and distributed systems
- Splitting monadic heyting algebras
- Monadic version of Glivenko's theorem
- Varieties of monadic Heyting algebras. Part 1
- Locally finite varieties
- Varieties of monadic Heyting algebras. Part 2 : Duality theory
- Toward an automatic reusable software using textual entailment
- Parallel computation model logPQ and its evaluation
- Single-machine sceduling with fuzzy precedence constraints
- Embedding symmetric simply typed classical lambda calculus into arrow typed lambda calculas with bottom
- Strong pareto optimality of compromise decisions in multi-criteria analysis
- Domain engineering
- An introduction ot the theory of C^*-algebras in constructive mathematics
- Amalgamation property of Commutative Residuated Lattices
- On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management
- Negation-limited circuit complexity of symmetric functions
- Documents : a domain analysis, an experiment in domain engineering