Mind change complexity of learning logic programs

The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds for learnability of these classes both from positive facts and from positive and negative facts. Building on Angluin’s notion of finite thickness and Wright’s work on finite elasticity, Shinohara defined the property of bounded finite thickness to give a sufficient condition for learnability of indexed families of computable languages from positive data. This paper shows that an effective version of Shinohara’s notion of bounded finite thickness gives sufficient conditions for learnability with ordinal mind change bound, both in the context of learnability from positive data and for learnability from complete (both positive and negative) data. Let Omega be a notation for the first limit ordinal. Then, it is shown that if a language defining framework yields a uniformly decidable family of languages and has effective bounded finite thickness, then for each natural number m >0, the class of languages defined by formal systems of length <= m: • is identifiable in the limit from positive data with a mind change bound of Omega (power)m; • is identifiable in the limit from both positive and negative data with an ordinal mind change bound of Omega × m. The above sufficient conditions are employed to give an ordinal mind change bound for learnability of minimal models of various classes of length-bounded Prolog programs, including Shapiro’s linear programs, Arimura and Shinohara’s depth-bounded linearly covering programs, and Krishna Rao’s depth-bounded linearly moded programs. It is also noted that the bound for learning from positive data is tight for the example classes considered.

The effectiveness of a short-term group music therapy intervention for parents who have a child with a disability

The relationship between the quality of parent-child interactions and positive child developmental trajectories is well established (Guralnick, 2006; Shonkoff & Meissels, 2000; Zubrick et al., 2008). However, a range of parental, family, and socio-economic factors can pose risks to parents’ capacity to participate in quality interactions with their children. In particular, families with a child with a disability have been found to have higher levels of parenting stress, and are more likely to experience economic disadvantage, as well as social isolation. The importance of early interventions to promote positive parenting and child development for these families is widely recognised (Shonkoff & Meissels, 2000). However, to date, there is a lack of evidence about the effectiveness of early parenting programs for families who have a young child with a disability. This thesis investigates the impact of a music therapy parenting program, Sing & Grow, on 201 parent-child dyads who attended programs specifically targeted to parents who had a young child with a disability. Sing & Grow is an Australian national early parenting intervention funded by the Australian Government Department of Families, Housing, Community Services and Indigenous Affairs and delivered by Playgroup Queensland. It is designed and delivered by Registered Music Therapists for families with children aged from birth to three years. It aims to improve parenting skills and confidence, improve family functioning (positive parent-child interactions), enhance child development, and provide social networking opportunities to socially isolated families. The intervention targets a range of families in circumstances that have the potential to impact negatively on family functioning. This thesis uses data from the National Evaluation Study of Sing & Grow from programs which were targeted at families who had a young child with a disability. Three studies were conducted to address the objectives of this thesis. Study 1 examines the effects of the Sing & Grow intervention on parent reported pre and post parent mental health, parenting confidence, parenting skills, and child development, and other parent reported outcomes including social support, use of intervention resources, satisfaction with the intervention and perceived benefits of and barriers to participation. Significant improvements from pre to post were found for parent mental health and parent reported child communication and social skills, along with evidence that parents were very satisfied with the program and that it brought social benefits to families. Study 2 explored the pre to post effects of the intervention on children’s developmental skills and parent-child interactions using observational ratings made by clinicians. Significant pre to post improvements were found for parenting sensitivity, parental engagement with child and acceptance of child as well as for child responsiveness to parent, interest, and participation in the intervention, and social skills. Study 3 examined the nature of child and family characteristics that predicted better outcomes for families while taking account of the level of participation in the program. An overall outcome index was calculated and served as the dependent variable in a logistic regression analysis. Families who attended six or more sessions and mothers who had not completed high school were more likely to have higher outcome scores at post intervention than those who attended fewer sessions and those with more educated mothers respectively. The findings of this research indicate that the intervention had a positive impact on participants’ mental health, parenting behaviours and child development and that level of attendance was associated with better outcomes. There was also evidence that the program reached its target of high risk families (i.e., families in which mothers had lower educational levels) and that for these families better outcomes were achieved. There were also indications that the program was accessible and highly regarded by families and that it promoted social connections for participants. A theoretical model of how the intervention is currently working for families is proposed to explain the connections between early parenting, child development and maternal wellbeing. However, more research is required to further elucidate the mechanisms by which the intervention creates change for families. This research presents promising evidence that a short term group music therapy program can elicit important therapeutic benefits for families who have a child with a disability.

Fostering cultural awareness in pre-service teacher education : an experiment in Asia literacy capacity building in an Australian university

This paper presents the findings of a small pilot study conducted with a group of final year pre-service teachers studying a secondary social science curriculum method unit in an Australian university. One of the study’s research objectives aimed at identifying how students responded to efforts to embed intercultural understanding through Studies of Asia in their final curriculum method unit. The unit was designed and taught by the researcher on the assumption that beginning social science teachers need to be empowered with pedagogical skills and new dispositions to deal with value laden emerging regional and global concerns in their Australian secondary school classrooms. This pilot study’s research methodology was located within the qualitative framework of a participatory action research model whereby the lecturer who designed, coordinated and taught the unit was also the researcher. Its scope was limited to one semester with volunteer students. The pilot study sought to investigate responses to several issues, and this paper reports on pre-service teacher reflections on the content, pedagogy and learning they experienced in their weekly sessions with specific reference to cultural understanding, Studies of Asia and the development of Asia literacy. It also reports on pre-service teacher reflections about their own evolving capacity as beginning teachers. The findings indicate that pre-service teachers valued the opportunity to engage with learning experiences which enhanced their conceptual understandings about culture whilst also extending their pedagogical and content knowledge.

Embedding values through global education in social sciences pre-service teacher education : linking the head and heart

This chapter aims to situate values education as a core component of social science pre-service teacher education. In particular, it reflects on an experiment in embedding a values laden Global Education perspective in a fourth year social science curriculum method unit. This unit was designed and taught by the researcher on the assumption that beginning social science teachers need to be empowered with pedagogical skills and new dispositions to deal with value laden emerging global and regional concerns in their secondary school classrooms. Moreover, it was assumed that when pre-service teachers engage in dynamic and interactive learning experiences in their curriculum unit, they commence the process of ‘capacity building’ those skills which prepare them for their own lifelong professional learning. This approach to values education also aimed at providing pre-service teachers with opportunities to ‘create deep understandings of teaching and learning’ (Barnes, 1989, p. 17) by reflecting on the ways in which ‘pedagogy can be transformative’ (Lovat and Toomey, 2011 add page no from Chapter One). It was assumed that this tertiary experience would foster the sine qua non of teaching – a commitment to students and their learning. Central to fostering new ‘dispositions’ through this approach, was the belief in the power of pedagogy to make the difference in enhancing student participation and learning. In this sense, this experiment in values education in secondary social science pre-service teacher education aligns with the Troika metaphor for a paradigm change, articulated by Lovat and Toomey (2009) in Chapter One.

The Patches program : supporting the development of Malaysian pre-service teachers' academic literacy

The Patches program involves Malaysian pre-service teachers working closely with Australian pre-service teachers on a series of academic and intercultural communication tasks. A recurring problem for international students is the challenge to develop social relationships with Australian students. Similarly, it is often difficult for Australian students to step outside their accustomed social worlds to establish relationships with international students. The Patches Program supported rich cross-cultural social and academic exchanges among the students facilitating the development of students' academic literacy skills, their knowledge of self and knowledge of learning, and their skills in cross-cultural communication.

Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types

Type unions, pointer variables and function pointers are a long standing source of subtle security bugs in C program code. Their use can lead to hard-to-diagnose crashes or exploitable vulnerabilities that allow an attacker to attain privileged access over classified data. This paper describes an automatable framework for detecting such weaknesses in C programs statically, where possible, and for generating assertions that will detect them dynamically, in other cases. Exclusively based on analysis of the source code, it identifies required assertions using a type inference system supported by a custom made symbol table. In our preliminary findings, our type system was able to infer the correct type of unions in different scopes, without manual code annotations or rewriting. Whenever an evaluation is not possible or is difficult to resolve, appropriate runtime assertions are formed and inserted into the source code. The approach is demonstrated via a prototype C analysis tool.

Changing perceptions of preservice teachers : innovations in middle schooling teacher education

For the past twenty years, the disengagement of early adolescents has been the focus of much of the literature related to middle schooling. In response, some universities in Australia have introduced teacher education programs that focus upon graduating specialised middle schooling teachers. The aim of this study was to explore and describe the 38 first-year preservice teachers’ perceptions of their first middle schooling elective unit and ascertain whether the combination of university classes and school-based experiences assisted their development of middle schooling concepts and approaches. Data were gathered using pre-test and post-test questionnaires combined with guided written reflections to record their views before, after and during the unit delivery. Results indicated that initially the preservice teachers had little understanding of middle schooling concepts and pedagogical practices, however, 11 participants recognised that bullying and peer pressure were issues experienced by early adolescents. The reflections, which were presented after their field experiences, focused on teaching, learning, behaviour management, and resources and infrastructure. More school-based experiences linked to theoretical underpinnings can help to facilitate understandings about students in the middle phase.

Changing perceptions of preservice teachers : innovations in middle schooling teacher education

For the past twenty years, the disengagement of early adolescents has been the focus of much of the literature related to middle schooling. In response, some universities in Australia have introduced teacher education programs that focus upon graduating specialised middle schooling teachers. Constructing such programs is at the centre of much debate and discussion, however, it is advocated that positive futures for early adolescents can be enhanced through quality middle schooling teacher education programs (Education Queensland, 2004). At a Queensland university campus, middle schooling elective units were introduced as part of the Bachelor of Education (primary) degree. The design of the units was to support preservice teachers to gain the theoretical and pedagogical knowledge to engage and promote early adolescent learning. An innovative approach to the delivery of the units was promoted by a partnership agreement between local schools and the campus. The partnership allowed preservice teachers to combine university classes with opportunities to visit exemplary classrooms to observe, participate and reflect upon middle school teaching practices. The aim of this study was to explore and describe the 38 first-year preservice teachers’ perceptions of their first middle schooling elective unit and to ascertain whether the combination of university classes and school-based experiences assisted their development of middle schooling concepts and approaches. Data were gathered using pre-test and post-test questionnaires combined with guided written reflections to record their views before, after and during the unit delivery. Results indicated that initially 34 preservice teachers had little understanding of middle schooling concepts and pedagogical practices, however, 11 participants recognised that bullying and peer pressure were issues experienced by early adolescents. The collation of the written reflections supported the combined delivery of the middle years unit further supporting the inclusion of school experiences with university delivered units.

Who has rights to what? Inclusion in Australian early childhood programs

In early childhood settings prior to school and in the early years of primary school, debate continues over the meaning of inclusion and its scope in terms of the groups under consideration. The genealogies of early childhood education and care, early primary school, special education and cultural education were examined to identify recurring and emerging approaches to inclusion within Australian programs for children aged birth to eight years. Approaches to inclusion encompassing multiple forms of diversity co-exist in the Australian educational literature with targeted approaches focused on disabilities or risk. These differing approaches reflect underlying ideological divisions and varying assumptions about diversity. Multiple approaches, including the expansion of early childhood services, reflect tensions over children’s rights, conceptualisations of inclusion, expectations of teachers, system coordination, economic constraints and political pressure to cater for a complex range of young children in varied settings. The paper incorporates discussion on underlying philosophical tensions within the early childhood field.

When sparks fly : developing formal mentoring programs for the career development of young and emerging artists

Formal mentoring programs are accepted as a valuable strategy for developing young and emerging artists. This thesis presents the results of an evaluation of the SPARK National Young Artists Mentoring Program (SPARK). SPARK was a ten-month formal mentoring program managed by Youth Arts Queensland (YAQ) on behalf of the Australia Council for the Arts from 2003-2009. The program aimed to assist young and emerging Australian artists between the ages of 18-26 to establish a professional career in the arts. It was a highly successful formal arts mentoring program that facilitated 58 mentorships between young and emerging artists and professional artists from across Australia in five program rounds over its seven year lifespan. Interest from other cultural organisations looking to develop their own formal mentoring programs encouraged YAQ to commission this research to determine how the program works to achieve its effects. This study was conducted with young and emerging artists who participated in SPARK from 2003 to 2008. It took a theory-driven evaluation approach to examine SPARK as an example of what makes formal arts mentoring programs effective. It focused on understanding the program’s theory or how the program worked to achieve its desired outcomes. The program activities and assumed responses to program activities were mapped out in a theories of change model. This theoretical framework was then used to plan the points for data collection. Through the process of data collection, actual program developments were compared to the theoretical framework to see what occurred as expected and what did not. The findings were then generalised for knowledge and wider application. The findings demonstrated that SPARK was a successful and effective program and an exemplar model of a formal mentoring program preparing young and emerging artists for professional careers in the arts. They also indicate several ways in which this already strong program could be further improved, including: looking at the way mentoring relationships are set up and how the mentoring process is managed; considering the balance between artistic and professional development; developing career development competencies and networking skills; taking into account the needs of young and emerging artists to develop their professional identity and build confidence; and giving more thought to the desired program outcomes and considering the issue of timeliness and readiness for career transition. From these findings, together with principles outlined in the mentoring and career development literature, a number of necessary conditions have been identified for developing effective mentoring programs in the career development of young and emerging artists.