Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #51 to #100.

Life sciences grid in EUROGRID and GRIP projects: Label: en
Parameter scan of an effective group difference pseudopotential using grid computing: Label: en
The encyclopedia of life project: Grid software and deployment: Label: en
A survey of life sciences applications on the grid: Label: en
Tutorial on ontological engineering. I: Introduction to ontological engineering: Label: en
A quantum algorithm using NMR computers to break secret-key cryptosystems: Label: en
Quantum bit-commitment for small storage based on quantum one-way permutations: Label: en
Efficient algorithms for NMR quantum computers with small qubits: Label: en
A new quantum claw-finding algorithm for three functions: Label: en
Transformation rules for CNOT-based quantum circuits and their applications: Label: en
Quantum entanglement as a new information processing resource: Label: en
Belief revision via Lamarckian evolution: Label: en
A general framework for reasoning about change: Label: en
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy: Label: en
PAN: A portable, parallel Prolog: Its design, realisation and performance.: Label: en
Functional queries in datalog: Label: en
Mathematical models of quantum computation: Label: en
Logic program forms: Label: en
ALTEP - a cellular processor for high-speed pattern matching: Label: en
The Alexander Method - a technique for the processing of recursive axioms in deductive databases: Label: en
Compiling OR-parallelism into AND-parallelism: Label: en
P-Prolog: A parallel logic language based on exclusive relation: Label: en
How to invent a Prolog machine: Label: en
Creative communication for chance discovery in shopping: Label: en
The role of abduction in chance discovery: Label: en
Web information visualization method employing immune network model for finding topic stream from document-set sequence: Label: en
PAI: Automatic indexing for extracting asserted keywords from a document: Label: en
An information management system with the facility to support long-term creative thinking: Label: en
Chance discovery and scenario analysis: Label: en
Metacognitive and computational aspects of chance discovery: Label: en
Semantic web: a road to the knowledge infrastructure on the internet: Label: en
Results on catalytic and evolution-communication P systems: Label: en
P systems with local graph productions: Label: en
A Prolog simulator for deterministic P systems with active membranes: Label: en
Hierarchies of parallel rewriting P systems -- a survey: Label: en
Languages generated by P systems with active membranes: Label: en
Minimizing evolution communication P systems and automata: Label: en
Tutorial on ontological engineering. II: Ontology development, tools and languages: Label: en
Circular attribute grammars with remote attribute references and their evaluators: Label: en
Proofs of a set of hybrid let-polymorphic type inference algorithms: Label: en
A polymorphic type dependency analysis for logic programs: Label: en
Paraconsistent computation tree logic: Label: en
Modeling and analysis of grid service reliability considering fault recovery: Label: en
Boosting-based sequential output prediction: Label: en
Function approximation with complex neuro-fuzzy system using complex fuzzy sets -- a new approach: Label: en
On the decidability of subtyping with bounded existential types and implementation constraints: Label: en
Classical natural deduction for S4 modal logic: Label: en
A short cut to optimal sequences: Label: en
Weak updates and separation logic: Label: en
Quantum set theory extending the standard probabilistic interpretation of quantum theory: Label: en