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 #101 to #150.

Terminality implies no-signalling\dots and much more than that: Label: en
Semantics for a quantum programming language by operator algebras: Label: en
A Kochen-Specker system has at least 22 vectors: Label: en
Preface: Special issue on quantum physics and logic: Label: en
An efficient Bayesian network structure learning strategy: Label: en
Joint analysis of multiple algorithms and performance measures: Label: en
Learning causal graphs with latent confounders in weak faithfulness violations: Label: en
On model selection, Bayesian networks, and the Fisher information integral: Label: en
Preface: Special issue on advanced methodologies for Bayesian networks: Label: en
An approach to discovering risks in development process of large and complex systems: Label: en
Chance discovery and learning minority classes: Label: en
Chance discovery in medicine -- detection of rare risky events in chronic diseases: Label: en
Decision process modeling across Internet and real world by double helical model of chance discovery: Label: en
The evolution of stochastic regular motifs for protein sequences: Label: en
Supporting cross-cultural communication with a large-screen system: Label: en
Chance discoveries for making decisions in complex real world: Label: en
Domains of attraction in autoassociative memory networks: Label: en
The query complexity of learning DFA: Label: en
Dynamics of symbol systems: Label: en
Distributed programming with logic tuple spaces: Label: en
Cut and side-effects in a data-driven implementation of Prolog: Label: en
Undecidable goals for completed acyclic programs: Label: en
Implementing specifications by dynamic inheritance: Label: en
Bounded quantifications for iteration and concurrency in logic programming: Label: en
Towards an efficient evaluation of recursive aggregates in deductive databases: Label: en
Well-founded semantics and stratification for ordered logic programs: Label: en
Rendez-vous with metric semantics: Label: en
Mixtus: An automatic partial evaluator for full Prolog: Label: en
Performance of Muse on switch-based multiprocessor machines: Label: en
A general criterion for avoiding infinite unfolding during partial deduction: Label: en
Verifying local stratifiability of logic programs and databases: Label: en
Compositional model-theoretic semantics for logic programs: Label: en
Existential continuation: Label: en
An abstract machine for the implementation of PARLOG on uniprocessors: Label: en
Using Prolog for building FROG, a hybrid knowledge representation system: Label: en
Composing recursive logic programs with clausal join: Label: en
Specialisation of Prolog and FCP programs using abstract interpretation: Label: en
A self-applicable partial evaluator and its use in incremental compilation: Label: en
Partial evaluation with inference rules: Label: en
Partial evaluation of metaprograms in a ``multiple worlds logic language: Label: en
Mixed computation of Prolog programs: Label: en
Opening key-note speech: Label: en
Partial evaluation of queries in deductive databases: Label: en
Unfolding rules for GHC programs: Label: en
Linearity and plan generation: Label: en
Join strategies using data space partitioning: Label: en
The general problem solving algorithm and its implementation: Label: en
Annotated bibliography on partial evaluation and mixed computation: Label: en
A memory organization for parallel computers: Label: en
The recursive resolution method for modal logic: Label: en