With the advent of the knowledge economy, knowledge is the principal economic asset and its management and protection have become the cornerstones of an organization strategy. Due to the increasing importance of knowledge, private firms and public institutions such as universities, colleges and research institutes have discovered the importance of protecting and managing their intellectual prop...

We prove that the class of functions with the Baire property has the weak difference property in category sense. That is, every function for which f(x+h)−f(x) has the Baire property for every h ∈ R can be written in the form f = g+H+φ where g has the Baire property, H is additive, and for every h ∈ R we have φ(x+h)−φ(x) 6= 0 only on a meager set. We also discuss the weak difference property of ...

Any recursively enumerable extension of intuitionistic arithmetic which obeys the disjunction property obeys the numerical existence property. Any recursively enumerable extension of intuitionistic arithmetic proves its own disjunction property if and only if it proves its own inconsistency.

If S, T ∈ B(H) have Bishop's property (β), does S + T have Bishop's property (β)? In this paper, a special case of this question is studied. Also given are a necessary and sufficient condition for a 2 × 2 operator matrix to have Bishop's property (β). Finally, the Helton class of an operator which has Bishop's property (β) is studied. 1. Introduction. Let B(H) be the algebra of all bounded line...

We show that the strong approximation property (strong AP) (respectively, strong CAP) and the weak bounded approximation property (respectively, weak BCAP) are equivalent for every Banach space. This gives a negative answer to Oja’s conjecture. As a consequence, we show that each of the spaces c0 and `1 has a subspace which has the AP but fails to have the strong AP.

In this thesis, we study semisimplicity, amalgamation property and finite embeddability property of residuated lattices. We prove semisimplicity and amalgamation property of residuated lattices which are of purely algebraic character, by using proof-theoretic methods and results of substructural logics. On the other hand, we show the finite model property (FMP) for various substructural logics,...

RaptorX Property (http://raptorx2.uchicago.edu/StructurePropertyPred/predict/) is a web server predicting structure property of a protein sequence without using any templates. It outperforms other servers, especially for proteins without close homologs in PDB or with very sparse sequence profile (i.e. carries little evolutionary information). This server employs a powerful in-house deep learnin...

Researchers studying the differential commitment of countries to intellectual property rights, often appear to run into the claim that countries with a relatively higher and significantly changing technological base (the developed countries) opt for relatively stronger protection, whereas those with a relatively low and essentially unchanging technological base (the developing countries) opt fo...