Results 1 to 10 of about 12,710,536 (264)
The greening of industrial property developments in South Africa [PDF]
The greening of industrial property in the developing world context of South Africa is under examination. In particular, the focus is specifically on green property developments and planning for eco-industrial parks.
Desire A. Greenberg, Jayne M. Rogerson
core +3 more sources
Economy Law and Economic Analysis of Law and the Impact on Intellectual Property in the Common Law System [PDF]
This article analyses the concept of economics applied to law in order to understand the school's analysis of legal phenomena by economic principles that emerged in 1960 in the United States of America, tracing the impacts on intellectual property law in
Kauffman, Marcos +2 more
core +2 more sources
Progressive events in supervisory control and compositional verification [PDF]
This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results.
Malik, Robi, Ware, Simon
core +2 more sources
Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]
This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core +2 more sources
Molecular catalysis for precise olefin polymerization and ROP 2015 [PDF]
The growth of emerging markets, particularly in the Far East, has fuelled the demand for new plastic materials. This in turn has stimulated both academic and industrial interest in the design of catalyst systems for which new Intellectual Property (IP ...
Redshaw, Carl
core +3 more sources
Copyright as Property in the Post-Industrial Economy: A Research Agenda [PDF]
The incentives-for-authors formulation of copyright’s purpose is so deeply ingrained in our discourse and our thought processes that it is astonishingly hard to avoid invoking, even when one is consciously trying not to do so.
Cohen, Julie E.
core +1 more source
The application of GIS to analyse occupier chains and property market filtering [PDF]
With funding from the RICS Education Trust, Paul Greenhalgh and Helen King of Northumbria University, UK sought to investigate whether using Geographic Information System (GIS) can enhance the representation and analysis of property occupier chaining ...
Greenhalgh, Paul +2 more
core +1 more source
Analog Property Checkers: A Ddr2 Case Study [PDF]
The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be ...
D Drusinsky +10 more
core +1 more source
Since April 2008, when the Rating (Empty Properties) Act came into effect in England and Wales, empty commercial property has been liable for the full business rate following an initial rate-free period of three months, or six months for industrial ...
Pugalis, Lee
core
On the Hardness of SAT with Community Structure
Recent attempts to explain the effectiveness of Boolean satisfiability (SAT) solvers based on conflict-driven clause learning (CDCL) on large industrial benchmarks have focused on the concept of community structure.
C Ansótegui +13 more
core +1 more source

