Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 16 - 20 of 20.

Add to Quick Collection   All 20 Results

Sort:
 Add All Items to Quick Collection
Date: 2007
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/116418
Description: This article examines the political processes surrounding public sector accounting standard setting, in particular, the Australian decision to adopt sector-neutral International Financial Reporting St ... More
Reviewed: Reviewed
Date: 2007
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/25042
Description: The μ-calculus is a powerful tool for specifying and verifying transition systems, including those with both demonic (universal) and angelic (existential) choice; its quantitative generalization qMμ e ... More
Reviewed: Reviewed
Date: 2007
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/25492
Description: The production and consumption of marketing theories are subject to two different technologies and processes that are not always mutually compatible. This gives rise to various types of discrepancies ... More
Reviewed: Reviewed
Date: 2006
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/13163
Description: Inbreeding is reputed to distort sex-ratios by reducing the proportion of the homogametic sex. However, many data sets do not show such an effect, and there is a known selective publication bias. To r ... More
Authors: McCallum, Scott
Date: 2001
Subject Keyword: performance | reliability | theory | verification
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/16245
Description: Collins [4] observed that quantifier elimination problems often have equational constraints, and he asserted that such constraints can be used to reduce the projection sets required for cylindrical al ... More
Reviewed: Reviewed