Results 61 to 70 of about 5,710,830 (84)
<p>The logic embedding tool is a tool for embedding non-classical logics into classical logic (primarily higher-order logic (HOL), but also first-order logic in some cases). The tool translates a TPTP problem statement formulated in a non-classical
Alexander Steen
core +1 more source
Virtual network embedding algorithm based on consultant guided search
物联网学报, 2020 Considering at the problem of virtual network embedding,a virtual network embedding algorithm based on consultant guided search was proposed.The CPU of node,node degree and adjacent bandwidth were considered comprehensively,and the virtual network ...
Wentan LIU +5 more
doaj +2 more sources
Oregon Problem Gambling Awareness Week 2003
, 2003 Signs of a problem gambler -- For parents : signs of a possible gambling problem in youth -- For educators : signs of a possible gambling problem in students -- Older adults and gambling -- Problem gambling, signs and symptoms -- Problem gambling and the
core
Community resource packet: 2003 Oregon Problem Gambling Awareness Week
, 2002 Why Oregon Problem Gambling Awareness Week? -- What is Oregon doing about problem gambling -- What materials and resources are ready for me to use for Oregon Problem Gambling Awareness Week?
core
Homeomorphic Embedding for Online Termination of Symbolic Methods
, 2002 Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of
Leuschel, Michael
core +2 more sources
On Weyl’s Embedding Problem in Riemannian Manifolds
, 2018 We consider a priori estimates of Weyl’s embedding problem of $(\mathbb{S}^2, g)$ in general three-dimensional Riemannian manifold $(N^3, \bar g)$. We establish interior $C^2$ estimate under natural geometric assumption. Together with a recent work by Li
Siyuan Lu
core +1 more source
Oregon problem gambling services data book
, 2011 [Parts 1 and 2]. Problem gambling data -- [Part 3]. County problem gambling data.Title from PDF cover (viewed on June 1, 2020)."OHA 9511 (1/2011)"--Back cover.This archived document is maintained by the State Library of Oregon as part of the Oregon ...
core
On Galois cohomology and realizability of 2-groups as Galois groups II
Open Mathematics, 2011 Michailov Ivo
doaj +1 more source
On Galois cohomology and realizability of 2-groups as Galois groups
Open Mathematics, 2011 Michailov Ivo
doaj +1 more source
Galois realizability of groups of orders p 5 and p 6
Open Mathematics, 2013 Michailov Ivo
doaj +1 more source