title: A logic for specifying and reasoning about cooperative environments

authors: Reeves, Steve

subjects: computer science

abstract: In this paper we describe the current progress of an attempt to develop a logic which will allow us to specify required properties of systems which typically consist of a single interactive program being used, probably simultaneously, by several agents, usually people. The logic is a development of ideas from modal logic and their more recent developments to describe computation. Since modal logic (and its extensions) are still relatively new to most people we give introductions to these logics in this paper, assuming only a familiarity with classical first-order logic and some proof theory. We also give an account of some of the sorts of situations that we want to specify. Finally, we consider what work will be needed in the future, building on what we present here, in order to achieve our goal of providing a language in which to specify and reason about systems intended to support co-operative working.

text: A logic for specifying and reasoning about cooperative environments In this paper we describe the current progress of an attempt to develop a logic which will allow us to specify required properties of systems which typically consist of a single interactive program being used, probably simultaneously, by several agents, usually people. The logic is a development of ideas from modal logic and their more recent developments to describe computation. Since modal logic (and its extensions) are still relatively new to most people we give introductions to these logics in this paper, assuming only a familiarity with classical first-order logic and some proof theory. We also give an account of some of the sorts of situations that we want to specify. Finally, we consider what work will be needed in the future, building on what we present here, in order to achieve our goal of providing a language in which to specify and reason about systems intended to support co-operative working.

year: 1995-08

title: Source code for "Parallel computing efficiency of SWAN"

authors: Rautenbach, Christo

subjects: SWAN

abstract: Source code for  the paper "Rautenbach, C., Mullarney, J. C., and Bryan, K. R.: Parallel computing efficiency of SWAN, Geosci. Model Dev. Discuss. [preprint], https://doi.org/10.5194/gmd-2020-314, in review, 2020."

text: Source code for "Parallel computing efficiency of SWAN" Source code for  the paper "Rautenbach, C., Mullarney, J. C., and Bryan, K. R.: Parallel computing efficiency of SWAN, Geosci. Model Dev. Discuss. [preprint], https://doi.org/10.5194/gmd-2020-314, in review, 2020."

year: 2020

title: Language, mātauranga Māori . . . and technology?

authors: Selby, Mereana

subjects: Māori language

abstract: In this paper, I report on a research project involving the creation of an e-learning environment for the teaching and learning of an aspect of te reo Māori, that is the preparation of mihi. It was found that learning in the context of an e-learning environment in which anonymity was assured, learners could learn in their own spaces and at their own pace and there was no pressure to perform in front of peers and tutors had the potential to reduce the potentially negative effects of whakamā.

text: Language, mātauranga Māori . . . and technology? In this paper, I report on a research project involving the creation of an e-learning environment for the teaching and learning of an aspect of te reo Māori, that is the preparation of mihi. It was found that learning in the context of an e-learning environment in which anonymity was assured, learners could learn in their own spaces and at their own pace and there was no pressure to perform in front of peers and tutors had the potential to reduce the potentially negative effects of whakamā.

year: 2006-09