title: An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis

authors: Mohajerani, Sahar

subjects: computer science

abstract: This paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms, for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 1012 reachable states.

text: An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis This paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms, for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 1012 reachable states.

year: 2012

title: CoRe: A way to build pedagogical content knowledge for beginning teachers

authors: Eames, Chris W.

abstract: Research has shown that one of the factors which enables teachers to be effective is their rich pedagogical content knowledge (PCK). Beginning teachers need support to develop this PCK and recent research in the field has proposed a conceptual tool known as “content representations”, or CoRes, as a model for doing this. The study reported here brought together science and technology experts in content and pedagogy, early career secondary teachers, and researchers to design a CoRe to assist development of teacher PCK. The study then researched the early career teachers’ use of the CoRe in their planning and delivery of a unit in their classrooms to examine the effect of the CoRe on teaching and learning, and on the development of the teachers’ PCK.

text: CoRe: A way to build pedagogical content knowledge for beginning teachers Research has shown that one of the factors which enables teachers to be effective is their rich pedagogical content knowledge (PCK). Beginning teachers need support to develop this PCK and recent research in the field has proposed a conceptual tool known as “content representations”, or CoRes, as a model for doing this. The study reported here brought together science and technology experts in content and pedagogy, early career secondary teachers, and researchers to design a CoRe to assist development of teacher PCK. The study then researched the early career teachers’ use of the CoRe in their planning and delivery of a unit in their classrooms to examine the effect of the CoRe on teaching and learning, and on the development of the teachers’ PCK.

year: 2011

title: Book review:  Ikawai: freshwater fishes in Māori culture and economy

authors: Hicks, Brendan J.

abstract: This article reviews the book : “Ikawai: freshwater fishes in Māori culture and economy”, by RM McDowall.

text: Book review:  Ikawai: freshwater fishes in Māori culture and economy This article reviews the book : “Ikawai: freshwater fishes in Māori culture and economy”, by RM McDowall.

year: 2012