Let v and ω be the velocity and the vorticity of the a suitable weak solution of the 3D Navier-Stokes equations in a space-time domain containing z0 = (x0, t0), and Qz0,r = Bx0,r×(t0−r 2, t0) be a parabolic cylinder in the domain. We show that if v × ω |ω| ∈ L γ,α x,t (Qz0,r) or ω × v |v| ∈ L γ,α x,t (Qz0,r), where L γ,α x,t denotes the Serrin type of class, then z0 is a regular point for v. Th...

A language in which we can express arithmetic and which contains its own satisfaction predicate (in the style of Kripke’s theory of truth) can be formulated using just two nonlogical primitives: ′ (the successor function) and Sat (a satisfaction predicate). Let L be a language with vocabulary: , ( ) ∃ ¬ ∨ = ′ Sat plus the variables x0, x1, x2, . . .. A term is a variable followed by zero or mor...

La respuesta fenológica del manzano (Malus domestica Borkh) a la aplicación de promotores brotación (PB), ha sido ampliamente documentada. Sin embargo, existe escasa información sobre los cambios metabólicos inducidos en las yemas por PB. En este estudio se evaluó metabólica y brindillas coronadas cultivar Golden Delicious, cianamida hidrogenada (CNH) tidiazurón (TDZ), 45 días antes normal. act...

This paper gives three versions of the small gain theorem with restrictions for uncertain time-varying nonlinear systems. The result can be viewed as an extension of the small gain theorem with restrictions for time-invariant nonlinear systems or the small gain theorem without restrictions for time-varying nonlinear systems. The result can be applied to study the stabilization problem or the ou...

By a classical result of P. L evy, the Brownian motion (B t) t0 on R may be characterized as a continuous process on R such that (B t) t0 and (B 2 t ?t) t0 are martingales. Generalizations of this result are usually obtained in the setting of the so-called martingale problem. This paper contains a variant of the martingale problem for stochastic processes on compact groups with independent stat...

Dimeric motifs formed by silver(I) carboxylates, illustrated here by the unit Ag2(CF3CO2)2, resemble the well known dimerization of carboxylic acids, i.e. 'H2(RCO2)2', but exhibit greater flexibility, while permitting further elaboration into neutral coordination networks through linkage of the silver centres via ditopic ligands.

The problem of identifying correlations between catalytic and electrocatalytic processes is one the fundamental problems catalysis among “simple” organic substances, oxidation CO rCO2 great interest, since CO2 are considered in pairs both during transformations. In case electrocatalysis, this analysis important study fuel cells. paper, we studied correlation reduced forms (rCO2) under potentiod...

subject to (tf , x(tf )) ∈ S = [t0,∞)× S1 where S1 is a k dimensional manifold in Rn S1 = {x ∈ R : h1(x) = h2(x) = · · · = hn−k(x) = 0} where hi are C1 functions from Rn to R subject to ẋ = f(x, u), x(t0) = x0 for u ∈ C[t0, T ] and u(t) ∈ U ⊂ Rm with f and L being C1 functions. Let u∗ : [t0, tf ] → R be an optimal control with state trajectory x∗ : [t0, tf ] → Rn and a constant. Then there exis...