The home marking problem and some related concepts

In this paper we study the home marking problem for Petri nets, and some related concepts to it like confluence, noetherianity, and state space inclusion. We show that the home marking problem for inhibitor Petri nets is undecidable. We relate then the existence of home markings to confluence and noetherianity and prove that confluent and noetherian Petri nets have an unique home marking. Finally, we define some versions of the state space inclusion problem related to the home marking and sub-marking problems, and discuss their decidability status

National literacy and numeracy framework and tests

"The recently published National Literacy Programme and the soon to be published National Numeracy Programme set out the actions the Welsh Government intends to implement to improve literacy and numeracy standards in Wales. The plans for a statutory national framework and for a system of national testing are integral to both programmes" - inside front cove

Metacognition and transfer within a course or instructional design rules and metacognition

A metacognitive strategy for doing research, included transfer, was taught in a course of nine afternoons. The success of this course raised some questions. How do the students learn? How does metacognition play a role? The course was designed in accordance with several instructional principles. The course was divided into three domains in which the strategy was introduced, practised, and applied respectively. Literature research revealed four possible metacognitive variants that correlate so it was supposed that implementing them all helped to reach the objectives of the course. The relation of the metacognitive variants with the instructional principles is described. To study learning the students were divided into three groups (weak, moderate, good) by their marks for other courses. The performance of the groups in each domain was monitored by their marks, scoring of metacognitive skills, questionnaires, observations, and time keeping. The moderate students scored as high as the good ones for the strategy in the last domain, a unique result. The metacognitive development of the other metacognitive skills was not linear. The conclusions are that the success of this course can be explained by a system of double sequencing and an interaction of all metacognitive variants, and that instructional design rules for metacognitive and cognitive objectives are differen

TLAD 2010 Proceedings:8th international workshop on teaching, learning and assesment of databases (TLAD)

This is the eighth in the series of highly successful international workshops on the Teaching, Learning and Assessment of Databases (TLAD 2010), which once again is held as a workshop of BNCOD 2010 - the 27th International Information Systems Conference. TLAD 2010 is held on the 28th June at the beautiful Dudhope Castle at the Abertay University, just before BNCOD, and hopes to be just as successful as its predecessors.The teaching of databases is central to all Computing Science, Software Engineering, Information Systems and Information Technology courses, and this year, the workshop aims to continue the tradition of bringing together both database teachers and researchers, in order to share good learning, teaching and assessment practice and experience, and further the growing community amongst database academics. As well as attracting academics from the UK community, the workshop has also been successful in attracting academics from the wider international community, through serving on the programme committee, and attending and presenting papers.This year, the workshop includes an invited talk given by Richard Cooper (of the University of Glasgow) who will present a discussion and some results from the Database Disciplinary Commons which was held in the UK over the academic year. Due to the healthy number of high quality submissions this year, the workshop will also present seven peer reviewed papers, and six refereed poster papers. Of the seven presented papers, three will be presented as full papers and four as short papers. These papers and posters cover a number of themes, including: approaches to teaching databases, e.g. group centered and problem based learning; use of novel case studies, e.g. forensics and XML data; techniques and approaches for improving teaching and student learning processes; assessment techniques, e.g. peer review; methods for improving students abilities to develop database queries and develop E-R diagrams; and e-learning platforms for supporting teaching and learning