The following pages link to New Generation Computing (Q169889):
Displaying 50 items.
- Quantum set theory extending the standard probabilistic interpretation of quantum theory (Q1670508) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- A short cut to optimal sequences (Q1758658) (← links)
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- On the decidability of subtyping with bounded existential types and implementation constraints (Q1758661) (← links)
- Function approximation with complex neuro-fuzzy system using complex fuzzy sets -- a new approach (Q1758663) (← links)
- Boosting-based sequential output prediction (Q1758664) (← links)
- Modeling and analysis of grid service reliability considering fault recovery (Q1758666) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- A polymorphic type dependency analysis for logic programs (Q1758668) (← links)
- Proofs of a set of hybrid let-polymorphic type inference algorithms (Q1762932) (← links)
- Circular attribute grammars with remote attribute references and their evaluators (Q1762933) (← links)
- Tutorial on ontological engineering. II: Ontology development, tools and languages (Q1762934) (← links)
- Minimizing evolution communication P systems and automata (Q1762935) (← links)
- Languages generated by P systems with active membranes (Q1762936) (← links)
- Hierarchies of parallel rewriting P systems -- a survey (Q1762937) (← links)
- A Prolog simulator for deterministic P systems with active membranes (Q1762939) (← links)
- P systems with local graph productions (Q1762940) (← links)
- Results on catalytic and evolution-communication P systems (Q1762941) (← links)
- Semantic web: a road to the knowledge infrastructure on the internet (Q1762942) (← links)
- Metacognitive and computational aspects of chance discovery (Q1811279) (← links)
- Chance discovery and scenario analysis (Q1811280) (← links)
- An information management system with the facility to support long-term creative thinking (Q1811282) (← links)
- PAI: Automatic indexing for extracting asserted keywords from a document (Q1811284) (← links)
- Web information visualization method employing immune network model for finding topic stream from document-set sequence (Q1811285) (← links)
- The role of abduction in chance discovery (Q1811287) (← links)
- Creative communication for chance discovery in shopping (Q1811289) (← links)
- How to invent a Prolog machine (Q1819928) (← links)
- P-Prolog: A parallel logic language based on exclusive relation (Q1819929) (← links)
- Compiling OR-parallelism into AND-parallelism (Q1819930) (← links)
- The Alexander Method - a technique for the processing of recursive axioms in deductive databases (Q1820593) (← links)
- ALTEP - a cellular processor for high-speed pattern matching (Q1821568) (← links)
- Logic program forms (Q1822224) (← links)
- Mathematical models of quantum computation (Q1862645) (← links)
- Functional queries in datalog (Q1862647) (← links)
- PAN: A portable, parallel Prolog: Its design, realisation and performance. (Q1862650) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- A general framework for reasoning about change (Q1877375) (← links)
- Belief revision via Lamarckian evolution (Q1877376) (← links)
- Quantum entanglement as a new information processing resource (Q1880335) (← links)
- Transformation rules for CNOT-based quantum circuits and their applications (Q1880336) (← links)
- A new quantum claw-finding algorithm for three functions (Q1880337) (← links)
- Efficient algorithms for NMR quantum computers with small qubits (Q1880338) (← links)
- Quantum bit-commitment for small storage based on quantum one-way permutations (Q1880339) (← links)
- A quantum algorithm using NMR computers to break secret-key cryptosystems (Q1880342) (← links)
- Tutorial on ontological engineering. I: Introduction to ontological engineering (Q1880343) (← links)
- Q-WSL: A quick Web services lookup model based on hierarchical registration (Q1882548) (← links)
- Selecting potentially relevant records using re-identification methods (Q1882549) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Procedural texture using multi-objective optimization (Q1882551) (← links)
