SPPF (shared packed parse forest) is the best known graph representation of a parse forest (family of related parse trees) used in parsing with ambiguous/conjunctive grammars. Systematic general purpose transformations of SPPFs have never been investigated and are considered to be an open problem in software language engineering. In this paper, we motivate the necessity of having a transformati...

One of the important characteristics topological phases matter is topology underlying manifold on which they are defined. In this paper, we present sensitivity such to topology, by studying phase transitions induced due change in boundary conditions. We claim that these accompanied broken symmetries excitation space and gain further insight analyze various signatures like ground state degenerac...

Completeness is a well known data quality dimension in the area of databases. Intuitively, a database is complete if it represents every fact of the real world coherent with the database semantics, i.e. its intension. In the paper, we provide a comprehensive framework for characterizing completeness in the relational model, investigating several different paradigms typical of database models, s...

There are numerous advantages of using Electric Vehicles (EVs) as an alternative method of transportation but an increase in EV usage in the existing residential distribution grid poses problems such as overloading the existing infrastructure. In this paper, we have modeled and simulated a residential distribution grid in GridLAB-D (an open-source software tool used to model, simulate, and anal...

Let −∆ denote the Dirichlet Laplace operator on a bounded open set in Rd. We study the sum of the negative eigenvalues of the operator −h∆− 1 in the semiclassical limit h → 0+. We give a new proof that yields not only the first term of the asymptotic formula but also the second term involving the surface area of the boundary of the set. The proof is valid under weak smoothness assumptions on th...

In [8], P. Hájek and V. Švejdar determined normal forms for the system ILF, and showed that we can eliminate the modal operator ¤ from IL–formulas. The normal form for the closed fragment of the interpretability logic IL is an open problem (see [13]). We prove that in some cases we can eliminate the modal operator ¤. We give an example where it is impossible to eliminate ¤. AMS subject classifi...

Open FRW model in Loop Quantum Cosmology is under consideration. The left and right invariant vector fields and holonomies along them are studied. It is shown that in the hyperbolic geometry of k = −1 it is possible to construct a suitable loop which provides us with quantum scalar constraint originally introduced by Vandersloot [19]. Such an operator has correct geometrical interpretation. The...

The ∆-operator of the Batalin-Vilkovisky formalism is the Hamiltonian BRST charge of Abelian shift transformations in the ghost momentum representation. We generalize this ∆-operator, and its associated hierarchy of antibrackets, to that of an arbitrary non-Abelian and possibly open algebra of any rank. We comment on the possible application of this formalism to closed string field theory. NBI-...

Keywords: Operator Hadamard product Bazilevic functions Starlike functions Hypergeometric functions p-valent functions a b s t r a c t Let AðpÞ; p 2 N, be a class of functions f : f ðzÞ ¼ z p þ P 1 k¼pþn a k z k analytic in the open unit disc E. We use Carlson–Shaffer operator for p-valent functions to define and study certain classes of analytic functions. Inclusion results, a radius problem a...

The purpose of this paper is to derive some subordination and superordination results for functions of the form f(z) = zp + ∞ ∑ k=p+1 akz k which are p−valent in the open unit disk U = {z ∈ C : |z| < 1} by using certain differential operator Aλ,p(α, β, μ)f(z) and integral operator F m p (ρ, θ)f(z). Some special cases are also considered.