نتایج جستجو برای: order free
تعداد نتایج: 1376149 فیلتر نتایج به سال:
We use high precision lattice simulations to calculate the plaquette expectation value in three-dimensional SU(Nc) gauge theory for Nc = 2, 3, 4, 5, 8. Using these results, we study the Nc-dependence of the first non-perturbative coefficient in the weak-coupling expansion of hot QCD. We demonstrate that, in the limit of large Nc, the functional form of the plaquette expectation value with ultra...
It is well known that a tachyonic mode appears in the spectrum of Yang—Mills theory with a static uniform magnetic field, and that the free energy has an (unstable) minimum at finite magnetic field. It is argued that spontaneous generation of magnetic field does not take place at high temperature due to nonperturbative magnetic screening. Furthermore, the dispersion relation for gauge field flu...
We consider push-down automata with data (PDAD) that operate on variables ranging over the set of natural numbers. The conditions on variables are defined via gap-order constraint. Gap-order constraints allow to compare variables for equality, or to check that the gap between the values of two variables exceeds a given natural number. The messages inside the stack are equipped with values that ...
We investigate the ground and low energy states of a one dimensional non local free energy functional describing at a mean field level a spin system with both ferromagnetic and antiferromagnetic interactions. In particular, the antiferromagnetic interaction is assumed to have a range much larger than the ferromagnetic one. The competition between these two effects is expected to lead to the spo...
In this paper we present an approach to specifying operator precedence based on declarative disambiguation constructs and an implementation mechanism based on grammar rewriting. We identify a problem with existing generalized context-free parsing and disambiguation technology: generating a correct parser for a language such as OCaml using declarative precedence specification is not possible wit...
Abstract We consider a model of bilayer lipid membrane with bola-lipids. The bola-lipid is modeled by linking tails of the hydrophobic chains in the opposite monolayers within bilayer as a first approximation. A number of thermodynamical characteristics are calculated analytically and compared with the ones of a regular membrane without chains linkage. Pronounced difference between lateral pres...
Abstract-In order to adequately reproduce the thermo-mechanical behaviour of metals under finite volume reduction and large temperature increase, it is necessary to use the second order thermoelastic analysis, i.e. to use the free energy function expanded up to the third degree in strain and tcmpcrature. Determination of the corresponding material constants is given and the resulting expression...
We observe quasistatic deformation of lipid vesicles from within, due to the polymerization of confined microtubules. A pair of long, narrow membrane sleeves appears, sheathing the microtubule ends as they grow. Spontaneous buckling reveals that the force generated can be greater than 2 pN. The evolution of shape and magnitude of force are consistent with a simple theory for the membrane free e...
I t is wel] known tha t context-sensitive languages can be generated by means of monotonic grammars (see Ginsburg, Greibach, 1966) i.e. grammars whose rules have the form f --~ g, where I f ] , the length of f, is not greater than I g I . Such a g rammar generates the language, but almost no grammatical structure of the language is given. When such a structure is also investigated the original ...
Higher-order grammars are an extension of regular and context-free grammars, where nonterminals may take parameters. They have been extensively studied in 1980’s, and restudied recently in the context of model checking and program verification. We show that the class of unsafe order-(n+1) word languages coincides with the class of frontier languages of unsafe order-n tree languages. We use inte...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید