A special organic ligand, 4-carboxypyrazole (4-cpz), is chosen to synthesize a highly stable metal-organic framework (MOF) for selective sorption of light hydrocarbons. The new MOF, (H(3)O)[Zn(3)(OH)(4-cpz)3]·2(DEF)·H(2)O (FIR-51, DEF = N,N-diethylformamide), was synthesized solvothermally and shows unusual chemical stability. This compound exhibits high storage capacity for light hydrocarbons ...

We study the symmetry of divisor sums functions σ−s(n) def = ∑ d|n d −s (for σ = Re(s) > 0) in almost all short intervals; by elementary methods (based on the Large Sieve) we give an exact asymptotic estimate for the mean-square (over N < x ≤ 2N) of their “symmetry sum” ∑ |n−x|≤h sgn(n− x)σ−s(n) (here sgn(0) = 0 and sgn(t) def = t/|t|, for t 6= 0).

state AState ∈ Sets AState def = LState× SState

• General approach for the systematic verification of code generators • Seamless test case derivation (process) based on formal specification (i.e. graph transformation rule) • A method is suggested to create test input data for model and code using automated structural test • Results are suitable for making general assumptions about whether or not the code generator’s behaviour is correct Cont...

Some probability distributions (e.g., Gaussian) are symmetric, some (e.g., lognormal) are non-symmetric (skewed). How can we gauge the skeweness? For symmetric distributions, the third central moment C3 def = E[(x − E(x))] is equal to 0; thus, this moment is used to characterize skewness. This moment is usually estimated, based on the observed (sample) values x1, . . . , xn, as C3 = 1 n · n ∑ i...

Abstract: Wireless sensor networks are vulnerable to false data injection attacks, because they are disseminated in hostile environments. Adversaries can inject false report into the network using compromised nodes, with the goal of deceiving the base station and draining the energy resource of forwarding node. The dynamic en-route filtering scheme (DEF) can detect and drop false date for the f...

Let L be a non empty loop structure. We say that L is add-left-cancelable if and only if: (Def. 1) For all elements a, b, c of L such that a + b = a + c holds b = c. We say that L is add-right-cancelable if and only if: (Def. 2) For all elements a, b, c of L such that b + a = c + a holds b = c. We say that L is add-cancelable if and only if: (Def. 3) For all elements a, b, c of L holds if a + b...

We follow the rules: a, b, c, d, a′, b′, c′, d′, x, y, x1, u, v are real numbers and s, t, h, z, z1, z2, z3, z4, s1, s2, s3, p, q are elements of C. Let a be a real number and let us consider z. Then a · z is an element of C and it can be characterized by the condition: (Def. 1) a · z = (a + 0i) · z. Then a + z is an element of C and it can be characterized by the condition: (Def. 2) a + z = z ...

We isolated PTD, a member of the DEFICIENS (DEF) family of MADS box transcription factors, from the dioecious tree, black cottonwood (Populus trichocarpa). In females, in situ hybridization experiments showed that PTD mRNA was first detectable in cells on the flanks of the inflorescence meristem, before differentiation of individual flowers was visually detectable. In males, the onset of PTD ex...