The Abiteboul and Beeri algebra for complex objects can express a query whose meaning is transitive closure, but the algorithm naturally associated to this query needs exponential space. We show that any other query in the algebra which expresses transitive closure needs exponential space, under a \call by value" evaluation strategy. This proves that in general the powerset is an intractable op...

Stomata play a key role in the control of plant water relations and photosynthesis. A rapid non-destructive method to study the stomatal behaviour in aerial parts of plants is important for researchers in plant sciences and agricultural fields. Stomata close in response to drought stress. Stomatal closure causes lower availability of CO2 inside the leaf and thus a decrease in the rate of carbox...

ABSTRACT:In this paper, an improved design of a tunable optical filter device made up of alternating layers of MgF2 and Ta2O5is proposed. Different configurations of this narrow band pass (NBP) optical filter are used for whole visible spectral range (400nm-700nm).We report on the calculated values of the design parameters, such as pass band wavelength, 3-dB bandwidth and quality factor for dif...

This paper presents the algebraic and Kripke model soundness and completeness of a logic over Boolean monoids. An additional axiom added to the logic will cause the resulting monoid models to be representable as monoids of relations. A star operator, interpreted as reflexive, transitive closure, is conservatively added to the logic. The star operator is a relative modal operator, i.e., one that...

We study the problem of listing all closed sets of a closure operator σ that is a partial function on the power set of some finite ground set E, i.e., σ : F → F with F ⊆ P(E). A very simple divide-and-conquer algorithm is analyzed that correctly solves this problem if and only if the domain of the closure operator is a strongly accessible set system. Strong accessibility is a strict relaxation ...

Projection-based reduced order models (PROMs) have shown promise in representing the behavior of multiscale systems using a small set generalized (or latent) variables. Despite their success, PROMs can be susceptible to inaccuracies, even instabilities, due improper accounting interaction between resolved and unresolved scales system (known as closure problem). In current work, we interpret mul...

The results of this paper spring from the elementary fact that an algebraic function satisfies a linear differential equation. Let k0 be a number field and k0 be its algebraic closure. Let P ∈ k0(x)[y] be a squarefree polynomial of degree n in y. The derivation δ = d dx extends uniquely to the algebraic closure k0(x) of k0(x). We define the minimal operator associated with P to be the monic dif...

In this paper, we introduce a new subclasses of univalent functions defined in the open unit disc involving DziokSrivastava Operator . The results on modified Hadamard product ,Holder inequalities and closure properties under integral transforms are discussed.

By a theorem of Sacks, if a real x is recursive relative to all elements of a set of positive Lebesgue measure, x is recursive. This statement, and the analogous statement for non-meagerness instead of positive Lebesgue measure, have been shown to carry over to many models of transfinite computations in [11]. Here, we start exploring another analogue concerning recognizability rather than compu...