title: Specification and validation of the MODAM module manager

authors: Utting, Mark

subjects: agent-based modelling

abstract: Electricity distribution networks are large complex systems that are continuously evolving. Agent-based models are a useful way of exploring possible future scenarios for these networks. This paper introduces MODAM, a software framework developed to support building large-scale agent-based models for electricity distribution network planning. This paper describes how models can be assembled in an automated manner at runtime, even though an agent may be composed of aspects that come together from separate components. The Module Manager, which weaves the components together in an automated manner, is described in this paper using formal specifications written in Z, and the specification is validated using the ZLive animation tool.

text: Specification and validation of the MODAM module manager Electricity distribution networks are large complex systems that are continuously evolving. Agent-based models are a useful way of exploring possible future scenarios for these networks. This paper introduces MODAM, a software framework developed to support building large-scale agent-based models for electricity distribution network planning. This paper describes how models can be assembled in an automated manner at runtime, even though an agent may be composed of aspects that come together from separate components. The Module Manager, which weaves the components together in an automated manner, is described in this paper using formal specifications written in Z, and the specification is validated using the ZLive animation tool.

year: 2015

title: Improving browsing in digital libraries with keyphrase indexes

authors: Gutwin, Carl

subjects: computer science

abstract: Browsing accounts for much of people's interaction with digital libraries, but it is poorly supported by standard search engines. Conventional systems often operate at the wrong level, indexing words when people think in terms of topics, and returning documents when people want a broader view. As a result, users cannot easily determine what is in a collection, how well a particular topic is covered, or what kinds of queries will provide useful results. We have built a new kind of search engine, Keyphind, that is explicitly designed to support browsing. Automatically extracted keyphrases form the basic unit of both indexing and presentation, allowing users to interact with the collection at the level of topics and subjects rather than words and documents. The keyphrase index also provides a simple mechanism for clustering documents, refining queries, and previewing results. We compared Keyphind to a traditional query engine in a small usability study. Users reported that certain kinds of browsing tasks were much easier with the new interface, indicating that a keyphrase index would be a useful supplement to existing search tools.

text: Improving browsing in digital libraries with keyphrase indexes Browsing accounts for much of people's interaction with digital libraries, but it is poorly supported by standard search engines. Conventional systems often operate at the wrong level, indexing words when people think in terms of topics, and returning documents when people want a broader view. As a result, users cannot easily determine what is in a collection, how well a particular topic is covered, or what kinds of queries will provide useful results. We have built a new kind of search engine, Keyphind, that is explicitly designed to support browsing. Automatically extracted keyphrases form the basic unit of both indexing and presentation, allowing users to interact with the collection at the level of topics and subjects rather than words and documents. The keyphrase index also provides a simple mechanism for clustering documents, refining queries, and previewing results. We compared Keyphind to a traditional query engine in a small usability study. Users reported that certain kinds of browsing tasks were much easier with the new interface, indicating that a keyphrase index would be a useful supplement to existing search tools.

year: 1999

title: Te hau mihi ata mātauranga Māori and science - Literature review on the interface between mātauranga Māori and Science

authors: Joseph, Robert

abstract: The Te Hau Mihi Ata: Mātauranga Māori and Science research project (the research project) will explore ways to link mātauranga Māori and western science. The purpose of the research project is to open a new creative knowledge space to unleash innovative thinking and cross-cultural connection that is unique to New Zealand which can be a source of untapped economic, social, environmental and cultural potential. The historic marginalisation of alternative value and knowledge systems has prevented quality engagement and dialogue between these two knowledge systems in New Zealand. The research project will develop, inter alia, a new inter-cultural dialogue process between Māori educated in western-based science and experts in mātauranga Māori.

text: Te hau mihi ata mātauranga Māori and science - Literature review on the interface between mātauranga Māori and Science The Te Hau Mihi Ata: Mātauranga Māori and Science research project (the research project) will explore ways to link mātauranga Māori and western science. The purpose of the research project is to open a new creative knowledge space to unleash innovative thinking and cross-cultural connection that is unique to New Zealand which can be a source of untapped economic, social, environmental and cultural potential. The historic marginalisation of alternative value and knowledge systems has prevented quality engagement and dialogue between these two knowledge systems in New Zealand. The research project will develop, inter alia, a new inter-cultural dialogue process between Māori educated in western-based science and experts in mātauranga Māori.

year: 2008-11