نتایج جستجو برای: sol space
تعداد نتایج: 510764 فیلتر نتایج به سال:
A fluid drift-reduced description, which accurately describes phenomena occurring on time scales slower than the characteristic gyro-frequencies and space scales longer than the Larmor radii, has been successfully used in recent years to model the dynamics of tokamak scrape-off layer (SOL) [1]. This region controls the tokamak power and particle exhaust and plays an important role in determinin...
LiFePO4/C is synthesized via sol-gel method using Fe3+ as iron sources and different complexing agents, followed by sintering at high temperature for crystallization. The amount of carbon in these composites is less than 6.8 wt.%, and the X-ray diffraction experiment confirms that all samples are pure single phase indexed with the orthorhombic Pnma space group. The particle size of the LiFePO4/...
In this paper, we study the completeness of several types of pruning methods for the logical consequence nding procedure SOL-resolution. The consequence nd-ing problem is a generalization of the refutation nding problem. The SOL-resolution is a Model-Elimination-like calculus with Skip operation, and is one of the most signiicant calculi for consequence nding. The concept \completeness" of cons...
In this paper we investigate the canonical structure of diffeomorphism invariant phase spaces for spatially locally homogeneous spacetimes with 3-dimensional compact closed spaces. After giving a general algorithm to express the diffeomorphisminvariant phase space and the canonical structure of a locally homogeneous system in terms of those of a homogeneous system on a covering space and a modu...
In this paper we investigate the canonical structure of diffeomorphism invariant phase spaces for spatially locally homogeneous spacetimes with 3-dimensional compact closed spaces. After giving a general algorithm to express the diffeomorphisminvariant phase space and the canonical structure of a locally homogeneous system in terms of those of a homogeneous system on a covering space and a modu...
the space now known as complete erdos space ec was introduced by paul erdos in 1940 as the closed subspace of the hilbert space ?2 consisting of all vectors such that every coordinate is in the convergent sequence {0} ? { 1 n : n ? n}. in a solution to a problem posed by lex g. oversteegen we present simple and useful topological characterizations of ec. as an application we determine the ...
INTRODUCTION The aim of this study was to assess the usefulness of 4 clinical prediction rules, the neuroimaging guidelines from the Canadian Consensus Conference on Dementia (CCCAD) and the modified Hachinski's Ischaemic Score (HIS) in identifying patients with suspected dementia who will benefit from neuroimaging. MATERIALS AND METHODS Two hundred and ten consecutive patients were referred ...
Both firstand second-order logic (FOL and SOL, respectively) as we use them today were arguably created by Frege in his Begriffsschrift – if we ignore the notational differences. SOL also suggests itself as a natural, and because of its much greater strength, desirable extension of FOL. But at least since W. V. Quine’s famous claim that SOL is “set theory in sheep’s clothing” it is widely held ...
We report that oxidized multiwalled carbon nanotubes (MWCNTs) can be synchronously dispersed and functionalized in TiO2 sol via an in situ sol-gel process. Transmission electron microscopy (TEM), X-ray photoelectron spectroscopy (XPS), Raman spectroscopy, and atomic force microscopy (AFM) were used to characterize the functionalized MWCNTs. The results revealed that the hydrolysis and condensat...
We show that if M is an oriented closed geometric four manifold the following notions are equivalent, (i) M has zero minimal entropy, h(M) = 0. (ii) M collapses with bounded curvature, VolK(M) = 0. (iii) The simplicial volume of M vanishes, ||M || = 0. (iv) M admits a T -structure. (v) M is modelled on one of the geometries S, CP , S × E, H × E, S̃L2 × E, Nil × E, Nil, Sol 1 , S × E, H × E, Sol ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید