Analysing student programs in the PHP intelligent tutoring system

Programming is a subject that many beginning students find difficult. The PHP Intelligent Tutoring System (PHP ITS) has been designed with the aim of making it easier for novices to learn the PHP language in order to develop dynamic web pages. Programming requires practice. This makes it necessary to include practical exercises in any ITS that supports students learning to program. The PHP ITS works by providing exercises for students to solve and then providing feedback based on their solutions. The major challenge here is to be able to identify many semantically equivalent solutions to a single exercise. The PHP ITS achieves this by using theories of Artificial Intelligence (AI) including first-order predicate logic and classical and hierarchical planning to model the subject matter taught by the system. This paper highlights the approach taken by the PHP ITS to analyse students’ programs that include a number of program constructs that are used by beginners of web development. The PHP ITS was built using this model and evaluated in a unit at the Queensland University of Technology. The results showed that it was capable of correctly analysing over 96 % of the solutions to exercises supplied by students.

Fuzzy-logic based frequency controller for wind farms augmented with energy storage systems

Displacement of conventional synchronous generators by non-inertial units such as wind or solar generators will result in reduced-system inertia affecting under-frequency response. Frequency control is important to avoid equipment damage, load shedding, and possible blackouts. Wind generators along with energy storage systems can be used to improve the frequency response of low-inertia power system. This paper proposes a fuzzy-logic based frequency controller (FFC) for wind farms augmented with energy storage systems (wind-storage system) to improve the primary frequency response in future low-inertia hybrid power system. The proposed controller provides bidirectional real power injection using system frequency deviations and rate of change of frequency (RoCoF). Moreover, FFC ensures optimal use of energy from wind farms and storage units by eliminating the inflexible de-loading of wind energy and minimizing the required storage capacity. The efficacy of the proposed FFC is verified on the low-inertia hybrid power system.

Information Security and Privacy : Proceedings of the 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004.

Preface The 9th Australasian Conference on Information Security and Privacy (ACISP 2004) was held in Sydney, 13–15 July, 2004. The conference was sponsored by the Centre for Advanced Computing – Algorithms and Cryptography (ACAC), Information and Networked Security Systems Research (INSS), Macquarie University and the Australian Computer Society. The aims of the conference are to bring together researchers and practitioners working in areas of information security and privacy from universities, industry and government sectors. The conference program covered a range of aspects including cryptography, cryptanalysis, systems and network security. The program committee accepted 41 papers from 195 submissions. The reviewing process took six weeks and each paper was carefully evaluated by at least three members of the program committee. We appreciate the hard work of the members of the program committee and external referees who gave many hours of their valuable time. Of the accepted papers, there were nine from Korea, six from Australia, five each from Japan and the USA, three each from China and Singapore, two each from Canada and Switzerland, and one each from Belgium, France, Germany, Taiwan, The Netherlands and the UK. All the authors, whether or not their papers were accepted, made valued contributions to the conference. In addition to the contributed papers, Dr Arjen Lenstra gave an invited talk, entitled Likely and Unlikely Progress in Factoring. This year the program committee introduced the Best Student Paper Award. The winner of the prize for the Best Student Paper was Yan-Cheng Chang from Harvard University for his paper Single Database Private Information Retrieval with Logarithmic Communication. We would like to thank all the people involved in organizing this conference. In particular we would like to thank members of the organizing committee for their time and efforts, Andrina Brennan, Vijayakrishnan Pasupathinathan, Hartono Kurnio, Cecily Lenton, and members from ACAC and INSS.

Futile treatment in hospital: Doctors’ intergroup language

Treatment that will not provide significant net benefit at the end of a person’s life (called futile treatment) is considered by many people to represent a major problem in the health sector, as it can waste resources and raise significant ethical issues. Medical treatment at the end of life involves a complex negotiation that implicates intergroup communication between health professionals, patients, and families, as well as between groups of health professionals. This study, framed by intergroup language theory, analyzed data from a larger project on futile treatment, in order to examine the intergroup language associated with futile treatment. Hospital doctors (N = 96) were interviewed about their understanding of treatment given to adult patients at the end of life that they considered futile. We conducted a discourse analysis on doctors’ descriptions of futile treatment provided by themselves and their in-group and out-group colleagues. Results pointed to an intergroup context, with patients, families, and colleagues as out-groups. In their descriptions, doctors justified their own decisions using the language of logic, ethics, and respect. Patients and families, however, were characterized in terms of wishing and wanting, as were outgroup colleagues. In addition, out-group doctors were described in strongly negative intergroup language.

RuleOMS: A rule-based online management system

We propose an architecture for a rule-based online management systems (RuleOMS). Typically, many domain areas face the problem that stakeholders maintain databases of their business core information and they have to take decisions or create reports according to guidelines, policies or regulations. To address this issue we propose the integration of databases, in particular relational databases, with a logic reasoner and rule engine. We argue that defeasible logic is an appropriate formalism to model rules, in particular when the rules are meant to model regulations. The resulting RuleOMS provides an efficient and flexible solution to the problem at hand using defeasible inference. A case study of an online child care management system is used to illustrate the proposed architecture.

The eternal return of teaching in the time of the corporation

This article addresses the new conditions under which teachers are making the choice to teach. Our core contention is that the reorganisation of schools according to the logic of the corporation, as described in Deleuze's ‘Postscript’, is changing the flows and forces on the primary surface of ‘the classroom’. These changes block the usual movements of teaching to discipline, normalise and individualise, which was the role of the school as precursor to the factory. Blocked from repeating, or returning, teaching as it has always been done, teachers must actively re-will to teach; teachers cannot use order words to name themselves and direct flows and forces as they have usually been done. While many choices to teach will be undertaken, the most popular being that of choosing to teach toward the corporation, the repetition of teaching toward enclosed spaces becomes less compelling. Like Nietzsche's Zarathustra, teachers, who have the courage to actively choose, face a new dawn in which teaching cannot be what it once was. In that moment they must choose to repeat that choice an infinite number of times, the choice of eternal return, and it is from here that new times might begin.

Who is the good high school student?

Schooling is one of the core experiences of most young people in the Western world. This study examines the ways that students inhabit subjectivities defined in their relationship to some normalised good student. The idea that schools exist to produce students who become good citizens is one of the basic tenets of modernist educational philosophies that dominate the contemporary education world. The school has become a political site where policy, curriculum orientations, expectations and philosophies of education contest for the ‘right’ way to school and be schooled. For many people, schools and schooling only make sense if they resonate with past experiences. The good student is framed within these aspects of cultural understanding. However, this commonsense attitude is based on a hegemonic understanding of the good, rather than the good student as a contingent multiplicity that is produced by an infinite set of discourses and experiences. In this book, author Greg Thompson argues that this understanding of subjectivities and power is crucial if schools are to meet the needs of a rapidly changing and challenging world. As a high school teacher for many years, Thompson often wondered how students responded to complex articulations on how to be a good student. How a student can be considered good is itself an articulation of powerful discourses that compete within the school. Rather than assuming a moral or ethical citizen, this study turns that logic on it on its head to ask students in what ways they can be good within the school. Visions of the good student deployed in various ways in schools act to produce various ways of knowing the self as certain types of subjects. Developing the postmodern theories of Foucault and Deleuze, this study argues that schools act to teach students to know themselves in certain idealised ways through which they are located, and locate themselves, in hierarchical rationales of the good student. Problematising the good student in high schools engages those institutional discourses with the philosophy, history and sociology of education. Asking students how they negotiate or perform their selves within schools challenges the narrow and limiting ways that the good is often understood. By pushing the ontological understandings of the self beyond the modernist philosophies that currently dominate schools and schooling, this study problematises the tendency to see students as fixed, measurable identities (beings) rather than dynamic, evolving performances (becomings). Who is the Good High School Student? is an important book for scholars conducting research on high school education, as well as student-teachers, teacher educators and practicing teachers alike.

Mauve: How one man invented the colour that changed the world

In an essay, "The Books of Last Things", Delia Falconer discusses the emergence of a new genre in publishing - microhistories. She cites a number of recent titles in non-fiction and fiction - Longitude, Cod, Tulips, Pushkin's Button, Nathaniel's Nutmeg, Zarafa, The Surgeon of Crowthorne, The Potato, The Perfect Storm. Delia Falconer observes of this tradition: "One has the sense, reading these books, of a surprising weight, of pleasant shock. In part, it is because we are looking at things which are generally present around us, but modestly out of sight and mind - historical nitty gritty like cod, potatoes, longitudinal clocks - which the authors have thrust suddenly, like a Biblical visitation of frogs or locusts, in our face. Things like spice and buttons and clocks are generally seen to enable history on the large scale, but are not often viewed as its worthy subjects. And by the same grand logic of history, more unusual phenomena like cabinets of curiosities or glass-making or farm lore or sailors' knots are simply odd blips on its radar screen, interesting footnotes. These new books, microhistories, reverse the usual order of history, which argues from the general to the particular, in order to prove its inevitable progress. They start from the footnotes. But by reversing the process, and walking through the back door of history, you don't necessarily end up at the front of the same house." Delia Falconer speculates about the reasons for the popularity of microhistories. She concludes: "I would like to think that reading them is not simply an exercise in nostalgia, but a challenge to the present". In Mauve, Simon Garfield provides a new way of thinking and writing about the history of intellectual property. Instead of providing a grand historical narrative of intellectual property, he tells the story of a particular invention, and its exploitation. Simon Garfield relates how English chemist William Perkin accidentally discovered a way to mass-produce colour mauve in a factory. Working on a treatment for malaria in his London home laboratory, Perkin failed to produce artificial quinine. Instead he created a dark oily sludge that turned silk a beautiful light purple. The colour was unique and became the most desirable shade in the fashion houses of Paris and London. ... The book Mauve will have a number of contemporary resonances for intellectual property lawyers and academics. Simon Garfield emphasizes the difficulties inherent in commercialising an invention and managing intellectual property. He investigates the uneasy collaboration between industry and science. Simon Garfield suggests that complaints about the efficacy of patent offices are perennial. He also highlights the problems faced by courts and law-makers in accommodating new technologies within the logic of patent law. In his elegant microhistory of the colour mauve, Simon Garfield confirms the conclusion of Brad Sherman and Lionel Bently that many aspects of modern intellectual property law can only be understood through an understanding of the past: "The image of intellectual property law that developed during the 19th century and the narrative of identity which this engendered played and continue to play an important role in the way we think about and understand intellectual property law".

'As many options as there are, there are just not enough for me': Contraceptive use and barriers to access among Australian women

OBJECTIVE A comprehensive life course perspective of women's experiences in obtaining and using contraception in Australia is lacking. This paper explores free-text comments about contraception provided by women born between 1973 and 1978 who participated in the Australian Longitudinal Study on Women's Health (ALSWH). METHODS The ALSWH is a national population-based cohort study involving over 40,000 women from three age groups, who are surveyed every three years. An initial search identified 1600 comments from 690 women across five surveys from 1996 (when they were aged 18-23 years) to 2009 (31-36 years). The analysis included 305 comments from 289 participants. Factors relating to experiences of barriers to access and optimal contraceptive use were identified and explored using thematic analysis. RESULTS Five themes recurred across the five surveys as women aged: (i) side effects affecting physical and mental health; (ii) lack of information about contraception; (iii) negative experiences with health services; (iv) contraceptive failure; and (v) difficulty with accessing contraception. CONCLUSION Side effects of hormonal contraception and concerns about contraceptive failure influence women's mental and physical health. Many barriers to effective contraception persist throughout women's reproductive lives. Further research is needed into reducing barriers and minimising negative experiences, to ensure optimal contraceptive access for Australian women.

Fuzzy Logic-Based Approaches in Water Resource System Modelling

Recent research in modelling uncertainty in water resource systems has highlighted the use of fuzzy logic-based approaches. A number of research contributions exist in the literature that deal with uncertainty in water resource systems including fuzziness, subjectivity, imprecision and lack of adequate data. This chapter presents a broad overview of the fuzzy logic-based approaches adopted in addressing uncertainty in water resource systems modelling. Applications of fuzzy rule-based systems and fuzzy optimisation are then discussed. Perspectives on the scope for further research are presented.

Rhetoric and Representation : Exploring the Cultural Meaning of the Natural Sciences in Contemporary Popular Science Writing and Literature

Kirjallisuuden- ja kulttuurintutkimus on viimeisten kolmen vuosikymmenen aikana tullut yhä enenevässä määrin tietoiseksi tieteen ja taiteen suhteen monimutkaisesta luonteesta. Nykyään näiden kahden kulttuurin tutkimus muodostaa oman kenttänsä, jolla niiden suhdetta tarkastellaan ennen kaikkea dynaamisena vuorovaikutuksena, joka heijastaa kulttuurimme kieltä, arvoja ja ideologisia sisältöjä. Toisin kuin aiemmat näkemykset, jotka pitävät tiedettä ja taidetta toisilleen enemmän tai vähemmän vastakkaisina pyrkimyksinä, nykytutkimus lähtee oletuksesta, jonka mukaan ne ovat kulttuurillisesti rakentuneita diskursseja, jotka kohtaavat usein samankaltaisia todellisuuden mallintamiseen liittyviä ongelmia, vaikka niiden käyttämät metodit eroavatkin toisistaan. Väitöskirjani keskittyy yllä mainitun suhteen osa-alueista popularisoidun tietokirjallisuuden (muun muassa Paul Davies, James Gleick ja Richard Dawkins) käyttämän kielen ja luonnontieteistä ideoita ammentavan kaunokirjallisuuden (muun muassa Jeanette Winterson, Tom Stoppard ja Richard Powers) hyödyntämien keinojen tarkasteluun nojautuen yli 30 teoksen kattavaa aineistoa koskevaan tyylin ja teemojen tekstianalyysiin. Populaarin tietokirjallisuuden osalta tarkoituksenani on osoittaa, että sen käyttämä kieli rakentuu huomattavassa määrin sellaisille rakenteille, jotka tarjoavat mahdollisuuden esittää todellisuutta koskevia argumentteja mahdollisimman vakuuttavalla tavalla. Tässä tehtävässä monilla klassisen retoriikan määrittelemillä kuvioilla on tärkeä rooli, koska ne auttavat liittämään sanotun sisällön ja muodon tiukasti toisiinsa: retoristen kuvioiden käyttö ei näin ollen edusta pelkkää tyylikeinoa, vaan se myös usein kiteyttää argumenttien taustalla olevat tieteenfilosofiset olettamukset ja auttaa vakiinnuttamaan argumentoinnin logiikan. Koska monet aikaisemmin ilmestyneistä tutkimuksista ovat keskittyneet pelkästään metaforan rooliin tieteellisissä argumenteissa, tämä väitöskirja pyrkii laajentamaan tutkimuskenttää analysoimalla myös toisenlaisten kuvioiden käyttöä. Osoitan myös, että retoristen kuvioiden käyttö muodostaa yhtymäkohdan tieteellisiä ideoita hyödyntävään kaunokirjallisuuteen. Siinä missä popularisoitu tiede käyttää retoriikkaa vahvistaakseen sekä argumentatiivisia että kaunokirjallisia ominaisuuksiaan, kuvaa tällainen sanataide tiedettä tavoilla, jotka usein heijastelevat tietokirjallisuuden kielellisiä rakenteita. Toisaalta on myös mahdollista nähdä, miten kaunokirjallisuuden keinot heijastuvat popularisoidun tieteen kerrontatapoihin ja kieleen todistaen kahden kulttuurin dynaamisesta vuorovaikutuksesta. Nykyaikaisen populaaritieteen retoristen elementtien ja kaunokirjallisuuden keinojen vertailu näyttää lisäksi, kuinka tiede ja taide osallistuvat keskusteluun kulttuurimme tiettyjen peruskäsitteiden kuten identiteetin, tiedon ja ajan merkityksestä. Tällä tavoin on mahdollista nähdä, että molemmat ovat perustavanlaatuisia osia merkityksenantoprosessissa, jonka kautta niin tieteelliset ideat kuin ihmiselämän suuret kysymyksetkin saavat kulttuurillisesti rakentuneen merkityksensä.

A study of placement algorithms through trial interchange of logic modules

Based on trial interchanges, this paper develops three algorithms for the solution of the placement problem of logic modules in a circuit. A significant decrease in the computation time of such placement algorithms can be achieved by restricting the trial interchanges to only a subset of all the modules in a circuit. The three algorithms are simulated on a DEC 1090 system in Pascal and the performance of these algorithms in terms of total wirelength and computation time is compared with the results obtained by Steinberg, for the 34-module backboard wiring problem. Performance analysis of the first two algorithms reveals that algorithms based on pairwise trial interchanges (2 interchanges) achieve a desired placement faster than the algorithms based on trial N interchanges. The first two algorithms do not perform better than Steinberg's algorithm1, whereas the third algorithm based on trial pairwise interchange among unconnected pairs of modules (UPM) and connected pairs of modules (CPM) performs better than Steinberg's algorithm, both in terms of total wirelength (TWL) and computation time.

Pedagogical tools designed to promote engagement and active learning in the biomedical sciences and allied health disciplines

Perceiving students, science students especially, as mere consumers of facts and information belies the importance of a need to engage them with the principles underlying those facts and is counter-intuitive to the facilitation of knowledge and understanding. Traditional didactic lecture approaches need a re-think if student classroom engagement and active learning are to be valued over fact memorisation and fact recall. In our undergraduate biomedical science programs across Years 1, 2 and 3 in the Faculty of Health at QUT, we have developed an authentic learning model with an embedded suite of pedagogical strategies that foster classroom engagement and allow for active learning in the sub-discipline area of medical bacteriology. The suite of pedagogical tools we have developed have been designed to enable their translation, with appropriate fine-tuning, to most biomedical and allied health discipline teaching and learning contexts. Indeed, aspects of the pedagogy have been successfully translated to the nursing microbiology study stream at QUT. The aims underpinning the pedagogy are for our students to: (1) Connect scientific theory with scientific practice in a more direct and authentic way, (2) Construct factual knowledge and facilitate a deeper understanding, and (3) Develop and refine their higher order flexible thinking and problem solving skills, both semi-independently and independently. The mindset and role of the teaching staff is critical to this approach since for the strategy to be successful tertiary teachers need to abandon traditional instructional modalities based on one-way information delivery. Face-to-face classroom interactions between students and lecturer enable realisation of pedagogical aims (1), (2) and (3). The strategy we have adopted encourages teachers to view themselves more as expert guides in what is very much a student-focused process of scientific exploration and learning. Specific pedagogical strategies embedded in the authentic learning model we have developed include: (i) interactive lecture-tutorial hybrids or lectorials featuring teacher role-plays as well as class-level question-and-answer sessions, (ii) inclusion of “dry” laboratory activities during lectorials to prepare students for the wet laboratory to follow, (iii) real-world problem-solving exercises conducted during both lectorials and wet laboratory sessions, and (iv) designing class activities and formative assessments that probe a student’s higher order flexible thinking skills. Flexible thinking in this context encompasses analytical, critical, deductive, scientific and professional thinking modes. The strategic approach outlined above is designed to provide multiple opportunities for students to apply principles flexibly according to a given situation or context, to adapt methods of inquiry strategically, to go beyond mechanical application of formulaic approaches, and to as much as possible self-appraise their own thinking and problem solving. The pedagogical tools have been developed within both workplace (real world) and theoretical frameworks. The philosophical core of the pedagogy is a coherent pathway of teaching and learning which we, and many of our students, believe is more conducive to student engagement and active learning in the classroom. Qualitative and quantitative data derived from online and hardcopy evaluations, solicited and unsolicited student and graduate feedback, anecdotal evidence as well as peer review indicate that: (i) our students are engaging with the pedagogy, (ii) a constructivist, authentic-learning approach promotes active learning, and (iii) students are better prepared for workplace transition.

What counts as English in the internationalised Australian university: Implications for teaching and learning

English is currently ascendant as the language of globalisation, evident in its mediation of interactions and transactions worldwide. For many international students, completion of a degree in English means significant credentialing and increased job prospects. Australian universities are the third largest English-speaking destination for overseas students behind the United States and the United Kingdom. International students comprise one-fifth of the total Australian university population, with 80% coming from Asian countries (ABS, 2010). In this competitive higher education market, English has been identified as a valued ‘good’. Indeed, universities have been critiqued for relentlessly reproducing the “hegemony and homogeneity of English” (Marginson, 2006, p. 37) in order to sustain their advantage in the education market. For international students, English is the gatekeeper to enrolment, the medium of instruction and the mediator of academic success. For these reasons, English is not benign, yet it remains largely taken-for-granted in the mainstream university context. This paper problematises the naturalness of English and reports on a study of an Australian Master of Education course in which English was a focus. The study investigated representations of English as they were articulated across a chain of texts including the university strategic plan, course assessment criteria, student assignments, lecturer feedback, and interviews. Critical Discourse Analysis (CDA) and Foucault’s work on discourse enabled understandings of how a particular English is formed through an apparatus of specifications, exclusionary thresholds, strategies for maintenance (and disruption), and privileged concepts and speaking positions. The findings indicate that English has hegemonic status within the Australian university, with material consequences for students whose proficiency falls outside the thresholds of accepted English practice. Central to the constitution of what counts as English is the relationship of equivalence between standard written English and successful academic writing. International students’ representations of English indicate a discourse that impacts on identities and practices and preoccupies them considerably as they negotiate language and task demands. For the lecturer, there is strategic manoeuvring within the institutional regulative regime to support students’ English language needs using adapted assessment practices, explicit teaching of academic genres and scaffolded classroom interaction. The paper concludes with the implications for university teaching and learning.

A Design for Testability of Undetectable Crosspoint Faults in Programmable Logic Arrays

In this paper, the validity of'single fault assumption in deriving diagnostic test sets is examined with respect to crosspoint faults in programmable logic arrays (PLA's). The control input procedure developed here can be used to convert PLA's having undetectable crosspoint faults to crosspoint-irredundant PLA's for testing purposes. All crosspoints will be testable in crosspoint-irredundant PLA's. The control inputs are used as extra variables during testing. They are maintained at logic I during normal operation. A useful heuristic for obtaining a near-minimal number of control inputs is suggested. Expressions for calculating bounds on the number of control inputs have also been obtained.