title: Modal restriction semigroups: towards an algebra of functions

authors: Jackson, Marcel

subjects: restriction semigroups

abstract: Restriction semigroups model algebras of partial maps under composition and domain. Here we consider restriction semigroups for which the usual Boolean operations on domains are modeled. Such algebras are capable of modeling the usual modal operators considered in dynamic logic. Indeed adding a natural functional variant of union to the signature gives a deterministic version of the modal semirings of Möller and Struth, but also a monoidal version of the classical restriction categories of Cockett and Manes. Other operations modeled are intersection and (in the finite case) functional iteration. In each case, axiomatizations of the concrete functional examples are given, leading to algebraic models of partial maps incorporating all the domain-related and set-theoretic operations previously considered. Our algebras furnish natural algebraic semantics for the logics of deterministic computer programs, leading to new results for some variants of propositional dynamic logic.

text: Modal restriction semigroups: towards an algebra of functions Restriction semigroups model algebras of partial maps under composition and domain. Here we consider restriction semigroups for which the usual Boolean operations on domains are modeled. Such algebras are capable of modeling the usual modal operators considered in dynamic logic. Indeed adding a natural functional variant of union to the signature gives a deterministic version of the modal semirings of Möller and Struth, but also a monoidal version of the classical restriction categories of Cockett and Manes. Other operations modeled are intersection and (in the finite case) functional iteration. In each case, axiomatizations of the concrete functional examples are given, leading to algebraic models of partial maps incorporating all the domain-related and set-theoretic operations previously considered. Our algebras furnish natural algebraic semantics for the logics of deterministic computer programs, leading to new results for some variants of propositional dynamic logic.

year: 2011

title: Dynamic digital library construction and configuration

authors: Bainbridge, David

subjects: computer science

abstract: This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it provides. The design manifests itself as a network of modules that communicate in terms of XML messages. All modules characterize the functionality they implement in response to a  describe yourself  message, and can transform messages using XSLT to support different levels of configurability. Traditional library values such as backwards compatibility and multiplatform operation are combined with the ability to add new collections and services adaptively. The paper describes the new design and shows how it can be used to build four different digital library systems. We conclude by showing how the design fits existing interoperability frameworks.

text: Dynamic digital library construction and configuration This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it provides. The design manifests itself as a network of modules that communicate in terms of XML messages. All modules characterize the functionality they implement in response to a  describe yourself  message, and can transform messages using XSLT to support different levels of configurability. Traditional library values such as backwards compatibility and multiplatform operation are combined with the ability to add new collections and services adaptively. The paper describes the new design and shows how it can be used to build four different digital library systems. We conclude by showing how the design fits existing interoperability frameworks.

year: 2004

title: He whakanui i ēnei tau, e rima tekau o Te Whare Wānanga o Waikato

authors: Rewi, Poia

subjects: Tohu mātauranga

abstract: Aku tau ki Waikato: 1986-2003

A Block

Koia tērā, ko te Tari Māori (Māori Department), ko Timoti Kāretu te tumuaki, ko tōna kāhui kawe i ngā mahi ko te momo he wā tōna he pūkenga, he ahonuku, he ahorangi, he tākuta, he tohunga; he wā anō he pāpā, he whaea, he matua kēkē, he whaea kēkē; he wā anō he haututū, he hangarau, he whakatoi, he hoa tonu. Ko te tohu kē ia e whakaatuhia nei, ko te mātau o tēnei hanga ki te hāpai i te momo taera e hua ai te pai ki te ākonga, ki te mahi, ki te hapori.

Koia hoki te momo e whakamātauhia ana e te ao Pākehā; te mōhio kē, te tirohanga kē, te pōhēhē, te ture, te kawa me ngā tini aha kē. Koia tonu te momo e whakamātauhia ana e te ao Māori; ōna manako, ōna wawata, ōna taumahatanga, ōna piki, ōna heke. Ko te wā hui ki ngā kaimahi i Te Tari Māori he whakamoemoe i ngā utanga a te whare wānanga me ā te iwi kia whakapōtaehia he ākonga, me te mea, kia puta tonu hei tamāhine, hei tāhae, hei irāmutu, hei mokopuna e “toa ai rātou hei iti kotahi harakoa mō te iwi”. Kātahi nā te whiu ko tēnā, he taumahatanga kāore e pērā rawa te wahatanga e ngā kaimahi Pākehā i roto i ngā kura wānanga pēnei. Heoi anō, ko ia tērā ngā wheako o te wā, ahakoa nō nākua rawa nei i mārama ai taua here ki aua kaimahi, ka mahara iho au ki taua wā, ka mīharo tonu i te kaha o ērā pūkenga2 ki te whakatutuki i te wāhi ki a rātou. I tēnei punua hokinga mahara, ka aro ki ēnei mātua marau e rua, arā, ko te kawea o ngā mahi e taea ai e te Māori, ākonga mai, pūkenga mai, kaupapa mai, i te ao whare wānanga Pākehā, ka tahi; ka rua, ka aro ki ētahi o ngā āhuatanga e honohono ana ki te iwi.

text: He whakanui i ēnei tau, e rima tekau o Te Whare Wānanga o Waikato Aku tau ki Waikato: 1986-2003

A Block

Koia tērā, ko te Tari Māori (Māori Department), ko Timoti Kāretu te tumuaki, ko tōna kāhui kawe i ngā mahi ko te momo he wā tōna he pūkenga, he ahonuku, he ahorangi, he tākuta, he tohunga; he wā anō he pāpā, he whaea, he matua kēkē, he whaea kēkē; he wā anō he haututū, he hangarau, he whakatoi, he hoa tonu. Ko te tohu kē ia e whakaatuhia nei, ko te mātau o tēnei hanga ki te hāpai i te momo taera e hua ai te pai ki te ākonga, ki te mahi, ki te hapori.

Koia hoki te momo e whakamātauhia ana e te ao Pākehā; te mōhio kē, te tirohanga kē, te pōhēhē, te ture, te kawa me ngā tini aha kē. Koia tonu te momo e whakamātauhia ana e te ao Māori; ōna manako, ōna wawata, ōna taumahatanga, ōna piki, ōna heke. Ko te wā hui ki ngā kaimahi i Te Tari Māori he whakamoemoe i ngā utanga a te whare wānanga me ā te iwi kia whakapōtaehia he ākonga, me te mea, kia puta tonu hei tamāhine, hei tāhae, hei irāmutu, hei mokopuna e “toa ai rātou hei iti kotahi harakoa mō te iwi”. Kātahi nā te whiu ko tēnā, he taumahatanga kāore e pērā rawa te wahatanga e ngā kaimahi Pākehā i roto i ngā kura wānanga pēnei. Heoi anō, ko ia tērā ngā wheako o te wā, ahakoa nō nākua rawa nei i mārama ai taua here ki aua kaimahi, ka mahara iho au ki taua wā, ka mīharo tonu i te kaha o ērā pūkenga2 ki te whakatutuki i te wāhi ki a rātou. I tēnei punua hokinga mahara, ka aro ki ēnei mātua marau e rua, arā, ko te kawea o ngā mahi e taea ai e te Māori, ākonga mai, pūkenga mai, kaupapa mai, i te ao whare wānanga Pākehā, ka tahi; ka rua, ka aro ki ētahi o ngā āhuatanga e honohono ana ki te iwi.

year: 2016