A. Silverberg (IEEE Trans. Inform. Theory 49, 2003) proposed a question on the equivalence of identifiable parent property and traceability property for Reed-Solomon code family. Earlier studies on Silverberg’s problem motivate us to think of the stronger version of the question on equivalence of separation and traceability properties. Both, however, still remain open. In this article, we integ...

Many real life situations can be described using twice continuously differentiable functions over convex sets with interior points. Such functions have an interesting separation property: At every interior point of the set they separate particular classes of quadratic convex functions from classes of quadratic concave functions. Using this property we introduce new characterizations of the deri...

We define an observational equivalence for Lafont’s interaction combinators, which we prove to be the least discriminating non-trivial congruence on total nets (nets admitting a deadlock-free normal form) respecting reduction. More interestingly, this equivalence enjoys an internal separation property similar to that of Böhm’s Theorem for the λ-calculus.

Nanocellulose membranes could efficiently separate oily wastewater because of their super-hydrophilic and underwater super-oleophobic property nano-porous structure. However, the practical application storage nanocellulose is limited by low water permeation flux easy corrosion bacteria, respectively. Herein, with high permeate antibacterial were fabricated grafting tetrakis(hydroxymethyl) phosp...

In this paper, fully connected recurrent neural networks are investigated for blind separation of sources. For these networks, a new class of unsupervised on-line learning algorithms are proposed. These algorithms are the generalization of the Hebbian/anti-Hebbian rule. They are not only biologically plausible but also theoretically sound. An important property of these algorithms is that the p...

We present instances of the following phenomenon: if a product of topological spaces satisfies some given compactness property then the factors satisfy a stronger compactness property, except possibly for a small number of factors. The first known result of this kind, a consequence of a theorem by A. H. Stone, asserts that if a product is regular and Lindelöf then all but at most countably many...