Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 9 of 9.

Add to Quick Collection   All 9 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Date: 2016
Language: eng
Resource Type: Thesis PhD
Identifier: http://hdl.handle.net/1959.14/1261186
Description: Theoretical thesis.
Full Text: Full Text
Authors: Burke, Matthew
Date: 2015
Language: eng
Resource Type: Thesis PhD
Identifier: http://hdl.handle.net/1959.14/1068205
Description: Empirical thesis.
Full Text: Full Text
Date: 2012
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/180343
Description: A mathematical formalism is developed for RF/microwave design flows using category theory as a means for creating a formal foundation for their analytical and empirical, rather than anecdotal, study. ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/120200
Description: In this chapter we review a category theoretic approach to ontology engineering. Using ideas from universal algebra, we carefully distinguish presentations of ontologies from the ontologies themselves ... More
Date: 2008
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/148334
Description: The algebraic specification of information systems (including databases) has been advanced by the introduction of category theoretic sketches and in particular by the authors’ Sketch Data Model (SkDM) ... More
Reviewed: Reviewed
Date: 2008
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/161027
Description: The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) and mathematically de ... 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: 2003
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/6706
Description: Partial information is common in real-world databases. Yet the theoretical foundations of data models are not designed to support references to missing data (often termed nulls). Instead, we usually a ... More
Reviewed: Reviewed
Date: 2001
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/7751
Description: Information system software productivity can be increased by improving the maintainability and modifiability of the software produced. This latter in turn can be achieved by the provision of comprehen ... More
  • First
  • Previous
  • 1
  • Next
  • Last