Social and Behavioral Sciences Commons^™

Rehabilitation Of Mining Sites: Do Taxation And Accounting Systems Legitimize The Privileged Or Serve Community Interests?, Natalie P. Stoianoff, Mary A. Kaidonis

Faculty of Commerce - Papers (Archive)

Accounting and taxation systems are considered as two coexisting institutional practices which claim to be neutral and to function for the benefit of society. These claims are examined with reference to the natural resources industry and the treatment of rehabilitation costs in Australia, as the impact of this industry, both economic and environmental, is significant. By comparing the practice of accounting in financial reporting and in taxation, the use of calculative and representational practices is exposed to identify contradictions, conflicts and disparities.

Product Systems Over Right-Angled Artin Semigroups, Neal J. Fowler, Aidan Sims

Faculty of Engineering and Information Sciences - Papers: Part A

We build upon MacLane's definition of a tensor category to introduce the concept of a product system that takes values in a tensor groupoid G. We show that the existing notions of product systems fit into our categorical framework, as do the k-graphs of Kumjian and Pask. We then specialize to product systems over right-angled Artin semigroups; these are semigroups that interpolate between free semigroups and free abelian semigroups. For such a semigroup we characterize all product systems which take values in a given tensor groupoid G. In particular, we obtain necessary and sufficient conditions under which a collection of …

A Classification Of Intersection Type Systems, Martin W. Bunder

Faculty of Engineering and Information Sciences - Papers: Part A

The first system of intersection types. Coppo and Dezani [3], extended simple types to include intersections and added intersection introduction and elimination rules ((ΛI ) and (ΛE) ) to the type assignment system. The major advantage of these new types was that they were invariant under β-equality, later work by Barendregt, Coppo and Dezani [1], extended this to include an (η) rule which gave types invariant under βη-reduction.

Urzyczyn proved in [6] that for both these systems it is undecidable whether a given intersection type is empty. Kurata and Takahashi however have shown in [5] …

The Effect Of Individual Psychological Characteristics In The Use Of Computerised Information Systems, Farideh Yaghmaie, Peter Caputi, Rohan Jayasuriya

Faculty of Health and Behavioural Sciences - Papers (Archive)

Investments in computerised information systems in the health industry in evident in most parts of the world. In hospitals and other Healthcare settings, increasingly, hands-on computer use is becoming an important behaviour for effective job perfonnance for health professionals. As the pre-employment (professional) training is provided at a number of different settings the exposure health workers have to computing will vary. Providing training and support to such end-users becomes a complex problem. In addition, based on their prior exposure to computer technology in their work place individuals will have different experiences that make implementation of such systems more complex. Individual …