Patent thickets are unintentionally dense webs of overlapping intellectual property rights owned by different companies that can retard progress. This article begins with a review of existing research on patent thickets, focusing in particular on the problem of patent thickets in nanotechnology, or nanothickets. After presenting visual evidence of the presence of nanothickets using a network an...

We will present some recent results about testing graph properties in sparse graphs and will discuss graph exploration techniques which allow very efficient algorithms for testing graph properties.

This paper studies the regional differences of intellectual property rights (IPRs), revealing IPRs protection’s regional difference in China. By introducing “implementation effect” to adjust G-P Index, it can be realized that China’s IPRs protection have been steadily improved, and there has been obvious and steady differences in IPRs. Developed districts have higher protection level of IPRs th...

“Intellectual property protection is important, but, almost of necessity, imperfect. It is harder and therefore more costly to define than conventional property, and by the same token, it is costlier to enforce intellectual property rights. In some cases, the inventor gets more than his marginal contribution, in other cases, less. Intellectual property protection strengthens dynamic efficiency ...

Imagine you need to develop a new chip and all you have to do is to write its specification. Synthesizing hardware from its specification will take the design process to the next level of abstraction. On the block level, this vision is now getting closer to reality. Given a formal specification written in a temporal logic, property synthesis constructs a design on the RT level that adheres to t...

A set-theoretic property called Property S is introduced as a generalization of the well-known Property B. Property S is named for Schrijver who rst used it in a paper 13] in connection with the Boolean prime ideal theorem. It was independently introduced by Kolany 10] to give a uniform treatment for a variety of satissability problems using an abstract resolution method to determine satissabil...