نتایج جستجو برای: g atomic system
تعداد نتایج: 2677821 فیلتر نتایج به سال:
In classical LTL model checking, both the system and the specification are over a finite set of atomic propositions. We present a natural extension of this model, in which the atomic propositions are parameterized by variables ranging over some (possibly infinite) domain. For example, by parameterizing the atomic propositions send and receive by a variable x ranging over possible messages, the ...
The Rayleigh-Taylor instability in its highly nonlinear, turbulent stage causes atomic-scale mixing of the shell material with the fuel in the compressed core of inertial-confinement fusion targets. The density of shell material mixed into the outer core of direct-drive plastic-shell spherical-target implosions on the 60-beam, OMEGA laser system is estimated to be 3.4(+/-1.2) g/cm(3) from time-...
sawdust is now being investigated as an adsorbent to remove contaminants from aqueous solution. heavy metals can be decreased very effectively with the organic material. in this research, adsorption of pb (ii) onto modified beech sawdust in a batch system was investigated. sawdust was collected from timber mill of qom, iran, and modified with h2so4 and naoh. then, the effects of various paramet...
Since late 1960's, the emergency location problems, fire stations and medical emergency services have attracted the attention of researchers. Mathematical models, both deterministic and probabilistic, have been proposed and applied to find suitable locations for such facilities in many urban and rural areas. Here, we review some models proposed for finding the location of such facilities, wit...
A class LT 0 of functions computable in a proper sub-class of Lintime is de ned, and formalized in a system LT0 of monadic and atomic (quanti er-free) logic. In spite of its poor computational complexity power and logical apparatus, this system has enough power to describe its own proof-predicate. Therefore it might qualify as smallest known system in which Godel-like diagonalization can be ap...
The force analysis between a macrocyclic hexazole (6OTD) monomer/dimer and telomeric DNA using atomic force microscopy revealed the difference in their binding modes. The 6OTD dimer bound to the G-quadruplex more strongly than the monomer by sandwiching the G-quadruplex.
In this paper, we give characterizations of Riesz bases and near Riesz bases in Banach spaces. The notion of atomic system is defined and a characterization of atomic system has been given. Also results exhibiting relationship between frames, atomic systems and Riesz bases have been proved. Further, we show that every atomic system is a projection of a Riesz basis in Banach spaces. Finally, we ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید