Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 15 of 42.

Add to Quick Collection   All 42 Results

Sort:
 Add All Items to Quick Collection
Date: 2009
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228501
Description: The nonlinear congruential method is an attractive alternative to the classical linear congruential method for pseudorandom number generation. In this paper we present new discrepancy bounds for seque ... More
Reviewed: Reviewed
Authors: Johnson, Michael
Date: 2008
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/74875
Description: We study some of the mathematical challenges presented by the need to support ensemble engineering, concentrating on likely contributions from category theory and universal algebra. Particular attenti ... More
Date: 2008
Language: eng
Resource Type: conference proceedings editorship
Identifier: http://hdl.handle.net/1959.14/1251926
Description: 428 page(s)
Date: 2006
Language: eng
Resource Type: book
Identifier: http://hdl.handle.net/1959.14/16968
Description: This book constitutes the thoroughly refereed post-proceedings of the 2006 Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, held in Guilin, China in August 2006 as part of 9th Pacific Rim Intern ... More
Date: 2006
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/12202
Description: Requirements Engineering is a process for determining stakeholder needs during the development of a software system. Requirements Engineering process quality influences the quality of the software pro ... More
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/9989
Description: We construct systems of bases of ℂ<sup>n</sup> which are mutually almost orthogonal and which might turn out to be useful for quantum computation. Our constructions are based on bounds of classical ex ... More
Reviewed: Reviewed
Date: 2006
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/10711
Description: As explained in Chapter 1, Dijkstra’s guarded-command language, which we call <i>GCL</i>, was introduced as an intellectual framework for rigorous reasoning about imperative sequential programs; one o ... More
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/29240
Description: Knowledge Update (respectively Erasure) and Forgetting are two very different concepts, with very different underlying motivation. Both are tools for knowledge management; however while the former is ... More
Reviewed: Reviewed
Authors: McIver, A. K
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/29233
Description: For standard (ie non-probabilistic) systems of reasonable size, correctness is analysed by simulation and/or model checking, possibly with standard program-logical arguments beforehand to reduce the p ... More
Reviewed: Reviewed
Authors: McIver, A. K
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/29228
Description: An important concern in wireless network technology is battery conservation. A promising approach to saving energy is to allow nodes periodically to enter a “low power mode”, however this strategy con ... More
Reviewed: Reviewed
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/12038
Description: Most work on iterated belief change has focused on iterated belief revision, namely how to compute (K*ₓ)*y. Historically however, belief revision can be defined in terms of belief expansion and belief ... More
Reviewed: Reviewed
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/12091
Description: We describe pKA, a probabilistic Kleene-style algebra, based on a well known model of probabilistic/demonic computation. Our technical aim is to express probabilistic versions of Cohen’s separation th ... More
Reviewed: Reviewed
Date: 2004
Subject Keyword: 080300 Computer Software
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1244923
Description: 9 page(s)
Reviewed: Reviewed
Date: 2004
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1245460
Description: 15 page(s)
Reviewed: Reviewed
Date: 2004
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1245465
Description: 13 page(s)
Reviewed: Reviewed