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

UWE has obtained warranties from all depositors as to their title in the material deposited and as to their right to deposit such material. UWE makes no representation or warranties of commercial utility, title, or fitness for a particular purpose or any other warranty, express or implied in respect of any material deposited. UWE makes no representation that the use of the materials will not in...

After the Agreement on the Trade-Related Aspects of Intellectual Property Rights (TRIPS) came into operation in 1995 developing countries have found themselves in a process of continual negotiation over intellectual property rights and access to medicines. These negotiations have taken place in the World Trade Organization and in the context of free trade agreements. The paper suggests that the...

• This work is protected by copyright and other intellectual property rights, which are retained by the thesis author, unless otherwise stated. • A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. • This thesis cannot be reproduced or quoted extensively from without first obtaining permission in writing from the author. • The content must...