Statutory verification of water rights: the 'insuperable' difficulties of propertising water entitlements

The abolition of riparian entitlements in the early stages of colonial Australia and the vesting of these rights in the Crown represented a turning point for the evolution of private water rights. The extinguishment of common law rights connected to vested land interests and the introduction of new, unaligned statutory entitlements provided a new and fundamentally different system for the creation and regulation of private water entitlements. Unlike riparian entitlements, in the absence of express definition, statutory water entitlements may only be verified as property where such a construction is consistent with the nature and scope of the entitlement. In this respect, the statutory framework has disaggregated the propertisation of water rights from land ownership and linked the process to broader statutory interpretation principles. The shift away from institutional property has generated concerns about the interpretive approaches appropriate for the verification of legislative water entitlements. This article examines the existing interpretive approaches and argues that the blurring of the propertisation process with the separate issue of whether any change or modification of such water rights attracts s 51(xxxi) of the Commonwealth Constitution has produced a situation where core property indicia is increasingly overshadowed by legislative defeasibility. In the recent High Court decision of ICM Agriculture Pty Ltd v Commonwealth, the focus of the majority judgements upon the inherent susceptibility of legislative entitlements to variation or extinguishment acted as a catalyst for the non-propertisation of statutory bore water licences in New South Wales. The emphasis the majority judgements gave to legislative defeasibility precluded a full and balanced assessment of other highly relevant property indicia, in particular the expectation interests of the holders. Conflating property and constitutional evaluation in this way is inappropriate in an era where entitlements to natural resource interests are increasingly statute based and the verification process has significant social and economic repercussions. Determining whether a statutory entitlement constitutes property requires a careful balancing of legislative intent, social and environmental context and individual expectation and the vicissitudes of a regulatory context should not eclipse this process.

Driver verification based on handgrip recognition on steering wheel

This paper presents a novel driver verification algorithm based on the recognition of handgrip patterns on steering wheel. A pressure sensitive mat mounted on a steering wheel is employed to collect a series of pressure images exerted by the hands of the drivers who intend to start the vehicle. Then, feature extraction from those images is carried out through two major steps: Quad-Tree-based multi-resolution decomposition on the images and Principle Component Analysis (PCA)-based dimension reduction, followed by implementing a likelihood-ratio classifier to distinguish drivers into known or unknown ones. The experimental results obtained in this study show that the mean acceptance rates of 78.15% and 78.22% for the trained subjects and the mean rejection rates of 93.92% and 90.93% to the un-trained ones are achieved in two trials, respectively. It can be concluded that the driver verification approach based on the handgrip recognition on steering wheel is promising and will be further explored in the near future.

A formal model of mixed-initiative interaction in design exploration

Computer-based environments for supporting design are complex software artifacts. These tools need to use sound computational formalisms as well as address issues of human usability. The development of interactive and usable generative systems is a significant research area in design computation. Though classical search techniques play a central role in the generative kernels of these "closed-world" systems, the open-ended exploration of design spaces is the desirable goal. In this paper, we present a formal model of exploration that combines search with user driven exploration. We describe the role of interaction and agency in an experimental mixed-initiative design support system.

Hypothesis verification using parametric models and active vision strategies

This paper proposes a methodology for determining the shape and ultimately the functionality of objects from intensity images; 2D analytic functions are used to track 3D features during known camera motions. Three analytic functions are proposed that describe the relationship between pairs of points that are either stationary or moving depending on whether the points are on occluding boundaries or otherwise. Many of the problems of correspondence are reduced by using foveation, known camera motion, and active vision methods. The three analytic functions are shown to enable hypothesis refinement of the functionality of a number of 3D objects without full 3D information about the shape.

Emerging hypothesis verification using function-based geometric models and active vision strategies

This paper describes an investigation into the use of parametric 2D models describing the movement of edges for the determination of possible 3D shape and hence function of an object. An assumption of this research is that the camera can foveate and track particular features. It is argued that simple 2D analytic descriptions of the movement of edges can infer 3D shape while the camera is moved. This uses an advantage of foveation i.e. the problem becomes object centred. The problem of correspondence for numerous edge points is overcome by the use of a tree based representation for the competing hypotheses. Numerous hypothesis are maintained simultaneously and it does not rely on a single kinematic model which assumes constant velocity or acceleration. The numerous advantages of this strategy are described.

Verification of the vertex powers of varifocal rigid contact lenses

 

Wire - a formal intermediate language for binary analysis

Wire is a intermediate language to enable static program analysis on low level objects such as native executables. It has practical benefit in analysing the structure and semantics of malware, or for identifying software defects in closed source software. In this paper we describe how an executable program is disassembled and translated to the Wire intermediate language. We define the formal syntax and operational semantics of Wire and discuss our justifications for its language features. We use Wire in our previous work Malwise, a malware variant detection system. We also examine applications for when a formally defined intermediate language is given. Our results include showing the semantic equivalence between obfuscated and non obfuscated code samples. These examples stem from the obfuscations commonly used by malware.

Experimental verification of theoretical prediction of fiber to fiber contacts in electrospun multilayer nano-microfibrous assemblies: effect of fiber diameter and network porosity

Average number of fiber-to-fiber contacts in a fibrous structure is a prerequisite to investigate the mechanical, optical and transport properties of stochastic nanomicrofibrous networks. In this research work, based on theoretical analysis presented for the estimation of the number of contacts between fibers in electrospun random multilayer nanofibrous assembles, experimental verification for theoretical dependence of fiber diameter and network porosity on the fiber to fiber contacts has been provided. The analytical model formulated is compared with the existing theories to predict the average number of fiber contacts of nanofiber structures. The effect of fiber diameters and network porosities on average number of fiber contacts of nano-microfiber mats has been investigated. A comparison is also made between the experimental and theoretical number of inter-fiber contacts of multilayer electrospun random nanomicrofibrous networks. It has been found that both the fiber diameter and the network porosity have significant effects on the properties of fiber-to-fiber contacts.

Bridging formal and informal learning : a mobile learning attitude scale for higher education

Problem Statement: Over the past decade there has been an increasing global demand towards the integration of mobile technologies for teaching and learning. There has emerged a need for a survey instrument that can form a solid foundation for objective judgment of leaner perspectives as they begin using mobile applications for learning. The Mobile Learning Scale, a seven-item, Likert-type survey instrument, was developed by the authors in response to this need. Items were drawn from the key points developed for a 2011 paper by the authors on mobile learning prospects for informal learning in higher education [13], with many of these points initially developed during group discussions at the 2011 International Summit on ICT in Education hosted at UNESCO Headquarters, Paris, France. Approach: In order to access the performance of the instrument, data were gathered from 81 undergraduate and graduate university students during August and September of 2011. Follow-up data were also gathered from 19 undergraduates in February, 2012. Results: Initial indications are the instrument has good reliability (Alpha = .80 - .85) as well as acceptable content, construct, and criterion-related validity when used with its intended audience. Conclusions/Recommendations: The authors conclude that the Mobile Learning Scale v1.0 performs well as a unidimensional scale that is capable of assessing pre-post gains resulting from a mobile learning intervention within a university course. The authors propose that this new instrument should be useful for helping guide educators in the process of meaningful integration of Mobile Applications (Apps) into teaching and learning, inside and outside the classroom.