Weakly-Sticky(WS) Datalog+/- is an expressive member of the family program classes that defined on basis conditions stickiness and weak-acyclicity. Conjunctive query answering (QA) over WS programs has been investigated, its tractability in data complexity established. However, design implementation practical QA algorithms their optimizations have open. In order to fill this gap, we first study...

where l is an arbitrary positive integer, where x tin) denotes the vector x tin) = (x~ ml . . . . . x ~ ) of the derivatives of x of order m taken in an arbitrary but fixed order, and where f2 is a bounded open domain in the n-dimensional Euclidean space E" of points t = ( t x . . . . , t,). In certain basic aspects (e.g. in the use of convexity considerations and of the reflexitivity of the So...

We are interested in the following problem: to describe the closed translation-invariant subspaces of lp(Z). For l2 there is a complete solution due to Wiener, in terms of zeros of Fourier transform. However, the situation when p 6= 2 is much harder. In this talk we will present a proof of Malliavin’s theorem which shows the difficulty of characterizing all invariant subspaces of l1. We will us...

We develop the theory of transient electrophoresis a weakly charged, infinitely long cylindrical colloidal particle under an application transverse or tangential step electric field. Transient electrophoretic mobility approaches steady with time. derive closed-form expressions for cylinder without involving numerical inverse Laplace transformations and corresponding time-dependent Henry functio...

Digital signatures have been a hot topic in the e-government era as a key enabler for e-services provided to business and citizens, and secure exchange of e-documents. When this exchange crosses the borders of closed systems or EU’s Member States several interoperability issues arise. In EU many schemes and solutions have been proposed to overcome some problems, yet there is still more to be do...

For the approximation of fixed points of a nonexpansive operator T in a uniformly convex Banach space E the convergence of the Mann-Toeplitz iteration x„+1 = a„T(x„) + (1 a„)xñ is studied. Strong convergence is established for a special class of operators T. Via regularization this result can be used for general nonexpansive operators, if E possesses a weakly sequentially continuous duality map...

in this paper, the dual area vector of a closed dual spherical curve is kinematically generatedand the dual steineer vector of a motion are extensively studied by the methods of differential geometry.jacobi’s theorems, known for real curves, are investigated for closed dual curves. the closed trajectorysurfaces generated by an oriented line are fixed in a moving rigid body in ir3 , in which the...

for fr$acute{mathbf{text{e}}}$chet algebras $(a, (p_n))$ and $(b, (q_n))$, a linear map $t:arightarrow b$ is textit{almost multiplicative} with respect to $(p_n)$ and $(q_n)$, if there exists $varepsilongeq 0$ such that $q_n(tab - ta tb)leq varepsilon p_n(a) p_n(b),$ for all $n in mathbb{n}$, $a, b in a$, and it is called textit{weakly almost multiplicative} with respect to $(p_n)$ and $(q_n)$,...