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...

This paper will highlight the complicated political contexts that underpin discussions of intellectual property and Indigenous knowledge within Australia. On one level it aims to provide some contextual information about the development of new intellectual property strategies for protecting Indigenous knowledge. It seeks to respond to an increasing disjuncture: where international discussions d...