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.

Embracing Philosophy and Raising the Standard of Pre-service Teacher Education Programs

In this chapter, a rationale is developed for incorporating philosophy into teacher training programs as a means of both preparing quality teachers for the 21st century and meeting the expectations detailed in the professional standards established by the statutory authority that regulates the profession in Queensland, the Queensland College of Teaching is presented. Furthermore, in-service teachers from Buranda State School, a Brisbane primary school that has been successfully teaching philosophy to its students for over 10 years, shares their experiences of teaching philosophy and how it has enhanced student learning and the quality of teaching and professionalism of the teachers. Finally, the implications of embedding philosophy into teacher training programs are explored in terms of developing the personal integrity of beginning teachers.

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.

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.

Aesthetic tensions : evaluating outcomes for practice-led research and industry

This paper explores principles of contemporary aesthetics to suggest a basis for determining qualitative outcomes of artistic works in two contexts: the arts industry and the academy setting of practice-led research. Commonly articulated measures of quality—creativity and innovation—are questioned as mere rhetoric if not framed in specific ways in the two discrete settings. The paper also interrogates generally held assumptions that a longer time to develop work and greater periods of self-reflexivity will produce higher calibre artistic outcomes. The unease produced by apparent differences in qualitative outcomes between art works created in an industry setting and those created through practice-led research is analysed through three interconnected framing devices: intention, contextual parameters and criteria for evaluation, in conjunction with the relationships between the art work, the artist and the audience/viewer/listener. Common and differentiated criteria in the two contexts are explored, leading to the conclusion that innovation is more likely to be revealed in the end product in an industry context whereas in practice-led research it may be in the methodological processes of creating the work. While identifying and acknowledging that the two contexts encourage and produce distinctive qualitative artistic outcomes, both of value to the arts and the academy, the paper recommends ways in which closer formal liaison between industry artists and practice-led artists and supervisors might occur in order to ensure ongoing mutual influence and relevance.

Which components of heart failure programs are effective? A meta-analysis of the outcomes of structured telephone support or telemonitoring as the primary component of heart failure management in 9,560 patients (Abridged Cochrane Review)

Aims--Telemonitoring (TM) and structured telephone support (STS) have the potential to deliver specialised management to more patients with chronic heart failure (CHF), but their efficacy is still to be proven. Objectives To review randomised controlled trials (RCTs) of TM or STS on all- cause mortality and all-cause and CHF-related hospitalisations in patients with CHF, as a non-invasive remote model of specialised disease-management intervention.--Methods and Results--Data sources:We searched 15 electronic databases and hand-searched bibliographies of relevant studies, systematic reviews, and meeting abstracts. Two reviewers independently extracted all data. Study eligibility and participants: We included any randomised controlled trials (RCT) comparing TM or STS to usual care of patients with CHF. Studies that included intensified management with additional home or clinic visits were excluded. Synthesis: Primary outcomes (mortality and hospitalisations) were analysed; secondary outcomes (cost, length of stay, quality of life) were tabulated.--Results: Thirty RCTs of STS and TM were identified (25 peer-reviewed publications (n=8,323) and five abstracts (n=1,482)). Of the 25 peer-reviewed studies, 11 evaluated TM (2,710 participants), 16 evaluated STS (5,613 participants) and two tested both interventions. TM reduced all-cause mortality (risk ratio (RR 0•66 [95% CI 0•54-0•81], p<0•0001) and STS showed similar trends (RR 0•88 [95% CI 0•76-1•01], p=0•08). Both TM (RR 0•79 [95% CI 0•67-0•94], p=0•008) and STS (RR 0•77 [95% CI 0•68-0•87], p<0•0001) reduced CHF-related hospitalisations. Both interventions improved quality of life, reduced costs, and were acceptable to patients. Improvements in prescribing, patient-knowledge and self-care, and functional class were observed.--Conclusion: TM and STS both appear effective interventions to improve outcomes in patients with CHF.

Implementing the international : challenges and approaches

This paper documents some preliminary findings arising from our Creative Industries Faculty’s invitation to academics to submit suitable proposals for Internationalising the Curriculum, an initiative that aligns with the University’s recognition of the importance of “building international components into their teaching programs” Our research project involves revisiting the literature on internationalising the curriculum with a view to implementing pedagogic and assessment strategies that respect and encourage intercultural and international understandings and competencies. The paper addresses the problems in designing such a unit; in this case an American Literature unit which will be taught and studied in Australia at QUT in 2011. The challenges inherent in the task of internationalising the curriculum stem from the ‘traditional’ and accepted ways of structuring and delivering such units. While the content may be international, the problem remains as to how to go about teaching and assessing the unit to achieve a global approach. How can it be taught in a way that steps outside the borders of our national teaching practices and understanding of western epistemology and becomes far more inclusive of other modes of knowledge?

Contemporary take on deconstructed Medea : a review

THEATRE: The New Dead: Medea Material. By Heiner Muller. Stella Electrika in association with La Boite Theatre Company, Brisbane, November 19. THERE has been a lot of intensity in independent theatre in Brisbane during the past year, as companies, production houses and producers have begun building new programs and platforms to support an expansion of pathways within the local theatre ecology. Audiences have been exposed to works signalling the diversity of what Brisbane theatre makers want to see on stage, from productions of new local and international pieces to new devised works, and the results of residencies and development programs. La Boite Theatre Company closes its inaugural indie season with a work that places it at the contemporary, experimental end of the spectrum. The New Dead: Medea Material is emerging director Kat Henry's interpretation of Heiner Muller's 1981 text Despoiled Shore Medea Material Landscape with Argonauts. Start of sidebar. Skip to end of sidebar. End of sidebar. Return to start of sidebar. Muller is known for his radical adaptations of historical dramas, from the Greeks to Shakespeare, and for deconstructed texts in which the characters - in this case, Medea - violently reject the familial, cultural and political roles society has laid out for them. Muller's combination of deconstructed characters, disconnected poetic language and constant references to aspects of popular culture and the Cold War politics he sought to abjure make his texts challenging to realise. The poetry entices but the density, together with the increasing distance of the Cold War politics in the texts, leaves contemporary directors with clear decisions to make about how to adapt these open texts. In The New Dead: Medea Material, Henry works with some interesting imagery and conceptual territory. Lucinda Shaw as Medea, Guy Webster as Jason and Kimie Tsukakoshi as King Creon's daughter Glauce, the woman for whom Jason forsakes his wife Medea, each reference different aspects of contemporary culture. Medea is a bitter, drunken, satin-gowned diva with bite; Jason - first seen lounging in front of the television with a beer in an image reminiscent of Sarah Kane's in-yer-face characterisation of Hippolytus in Phaedra's Love - has something of the rock star about him; and Glauce is a roller-skating, karaoke-singing, pole-dancing young temptress. The production is given a contemporary tone, dominated by Medea's twisted love and loss, rather than by any commentary on her circumstances. Its strength is the aesthetic Henry creates, supported by live electro-pop music, a band stage that stands as a metaphor for Jason's sea voyage, and multimedia that inserts images of the story unfolding beyond these characters' speeches as sorts of subconscious flashes. While Tsukakoshi is engaging throughout, there are moments when Shaw and Webster's performances - particularly in the songs - are diminished by a lack of clarity. The result is a piece that, while slightly lacking in its realisation at times, undoubtedly flags Henry's facility as an emerging director and what she wants to bring to the Brisbane theatre scene.

An evidence-based approach to professional development planning in large state educational systems

This paper presents a systems-level approach for adjudicating the prioritization, selection, and planning of inservcie professional development (PD) for teachers. We present a step-by-step model for documenting and assessing system-wide 'bids' for professional development programs

European advanced driver training programs : reasons for optimism

Post license advanced driver training programs in the US and early programs in Europe have often failed to accomplish their stated objectives because, it is suspected, that drivers gain self perceived driving skills that exceed their true skills—leading to increased post training crashes. The consensus from the evaluation of countless advanced driver training programs is that these programs are a detriment to safety, especially for novice, young, male drivers. Some European countries including Sweden, Finland, Austria, Luxembourg, and Norway, have continued to refine these programs, with an entirely new training philosophy emerging around 1990. These ‘post-renewal’ programs have shown considerable promise, despite various data quality and availability concerns. These programs share in common a focus on teaching drivers about self assessment and anticipation of risk, as opposed to teaching drivers how to master driving at the limits of tire adhesion. The programs focus on factors such as self actualization and driving discipline, rather than low level mastery of skills. Drivers are meant to depart these renewed programs with a more realistic assessment of their driving abilities. These renewed programs require considerable specialized and costly infrastructure including dedicated driver training facilities with driving modules engineered specifically for advanced driver training and highly structured curricula. They are conspicuously missing from both the US road safety toolbox and academic literature. Given the considerable road safety concerns associated with US novice male drivers in particular, these programs warrant further attention. This paper reviews the predominant features and empirical evidence surrounding post licensing advanced driver training programs focused on novice drivers. A clear articulation of differences between the renewed and current US advanced driver training programs is provided. While the individual quantitative evaluations range from marginally to significantly effective in reducing novice driver crash risk, they have been criticized for evaluation deficiencies ranging from small sample sizes to confounding variables to lack of exposure metrics. Collectively, however, the programs sited in the paper suggest at least a marginally positive effect that needs to be validated with further studies. If additional well controlled studies can validate these programs, a pilot program in the US should be considered.

Enhancing pathways for ACE learners : Building the capacity of Adult and Community Education (ACE) providers to offer non-accredited courses and VET modules with pathways into VET programs.

This report presents findings from a project that considered a) the current capacity of Adult and Community Education (ACE) providers to offer non-accredited courses and single modules of accredited learning that provide pathways into full scale accredited VET programs, and b) the factors that aid and inhibit this from occurring. Based on the findings, suggestions are made as to what needs to be done to extend this capacity and thereby to achieve the goals outlined in the 2008 Ministerial Declaration on Adult Community Education.

A Data Picture of Australia's Arts and Entertainment Sector 2010

Australia’s Arts and Entertainment Sector underpins cultural and social innovation, improves the quality of community life, is essential to maintaining our cities as world class attractors of talent and investment, and helps create ‘Brand Australia’ in the global marketplace of ideas (QUT Creative Industries Faculty 2010). The sector makes a significant contribution to the Australian economy. So what is the size and nature of this contribution? The Creative Industries Faculty at Queensland University of Technology recently conducted an exercise to source and present statistics in order to produce a data picture of Australia’s Arts and Entertainment Sector. The exercise involved gathering the latest statistics on broadcasting, new media, performing arts, and music composition, distribution and publishing as well as Australia’s performance in world markets.