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.

International rigid contact lens prescribing

Rigid lenses have been fitted less since the introduction of soft lenses nearly 40 years ago. Data that we have gathered from annual contact lens fitting surveys conducted in Australia, Canada, Japan, the Netherlands, Norway, the UK and the USA between 2000 and 2008 facilitate an accurate characterization of the pattern of the decline of rigid lens fitting during the first decade of this century. There is a trend for rigid lenses to be utilized primarily for refitting those patients who are already successful rigid lens wearers—most typically older females being refit with higher Dk materials. Rigid lenses are generally fitted on a full-time basis (four or more days of wear per week) without a planned replacement schedule. Orthokeratology is especially popular in the Netherlands, but is seldom prescribed in the other countries surveyed.

Key competitiveness indicators for new real estate developers

Purpose – The paper aims to explore the key competitiveness indicators (KCIs) that provide the guidelines for helping new real estate developers (REDs) achieve competitiveness during their inception stage in which the organisations start their business. Design/methodology/approach – The research was conducted using a combination of various methods. A literature review was undertaken to provide a proper theoretical understanding of organisational competitiveness within RED's activities and developed a framework of competitiveness indicators (CIs) for REDs. The Delphi forecasting method is employed to investigate a group of 20 experts' perception on the relative importance between CIs. Findings – The results show that the KCIs of new REDs are capital operation capability, entrepreneurship, land reserve capability, high sales revenue from the first real estate development project, and innovation capability. Originality/value – The five KCIs of new REDs are new. In practical terms, the examination of these KCIs would help the business managers of new REDs to effectively plan their business by focusing their efforts on these key indicators. The KCIs can also help REDs provide theoretical constructs of the knowledge base on organisational competitiveness from a dynamic perspective, and assist in providing valuable experiences and in formulating feasible strategies for survival and growth.

Raman spectroscopic study of the hydroxy-arsenate mineral pharmacolite Ca(HAsO4)•2H2O : implications for aquifer and sediment remediation

The removal of arsenate anions from aqueous media, sediments and wasted soils is of environmental significance. The reaction of gypsum with the arsenate anion results in pharmacolite mineral formation, together with related minerals. Raman and infrared spectroscopy have been used to study the mineral pharmacolite Ca(HAsO4)•2H2O. The mineral is characterised by an intense Raman band at 865 cm-1 assigned to the (AsO4)3- symmetric stretching mode. The equivalent infrared band is found at 864 cm-1. The low intensity Raman band at 886 cm-1 provides evidence for (AsO3OH)2-. A series of overlapping bands in the 300 to 450 cm-1 are attributed to ν2 and ν4 bending modes. Prominent Raman bands at around 3187 cm-1 are assigned to water OH stretching vibrations and the two sharp bands at 3425 and 3526 cm-1 to the OH stretching vibrations of (HOAsO3) units.

Computer simulation and modeling in railway applications

An electrified railway system includes complex interconnections and interactions of several subsystems. Computer simulation is the only viable means for system evaluation and analysis. This paper discusses the difficulties and requirements of effective simulation models for this specialized industrial application; and the development of a general-purpose multi-train simulator.

Anna Clark (2008) History’s Children: History Wars in the Classroom. UNSW Press, Sydney, 178 pages

“History’s Children” stems from Anna Clark’s 2004 postdoctoral research into the ways in which Australian students connect with the past, and aims at bringing some classroom perspectives into the public debates about Australian history education. Although the title makes reference to the “History Wars”, there is little evidence of contestation, engagement, passion or intellectual excitement in Clark’s conclusions about what happens in history classrooms. Rather, Clark’s small focus groups with 182 high school students in 34 high schools around Australia indicate that “it got a bit dismal hearing student after student being so dismissive of Australian history” (p. 143). Apart from some enthusiasm for the study of Australians at war, a sort of resigned boredom seems to characterise what students have to say about learning Australian history, despite their acknowledgement that it is important to “know about” it.

Host use and crop impacts of Oribius Marshall species (Coleoptera: Curculionidae) in Eastern Highlands Province, Papua New Guinea

Oribius species are small flightless weevils endemic to the island of New Guinea and far northern Cape York, Australia. The adults feed externally on leaves, developing fruit and green bark, but their impact as pests and general host use patterns are poorly known. Working in Eastern Highlands Province, Papua New Guinea, we carried out structured host use surveys, farmer surveys, shade-house growth trials, and on-farm and on-station impact trials to: (i) estimate the host range of the local Oribius species; (ii) understand adult daily activity patterns; (iii) elucidate feeding habits of the soil dwelling larvae; and (iv) quantify the impacts of adult feeding damage. Oribius inimicus and O. destructor accounted for nearly all the Oribius species encountered locally: of these two O. inimicus was the most abundant. Weevils were collected from 31 of 33 plants surveyed in the Aiyura Valley and a combination of farmer interviews and literature records provided evidence for the beetles being pestiferous on 43 crops currently or previously grown in the Highlands. Adult weevils had a distinct diurnal pattern of being in the upper plant canopy early in the morning and, to a lesser extent, again late in the afternoon. For the remainder of the day beetles resided within the canopy, or possibly off the plant. Movement of adults between plants appeared frequent. Pot trials confirmed the larvae are root feeders. Quantified impact studies showed that the weevils are damaging to a range of vegetable and orchard crops (broccoli, capsicum, celery, French bean, Irish potato, lettuce, orange and strawberry), causing average yield losses of around 30-40%, but up to 100% on citrus. Oribius weevils pose a significant and apparently growing problem for Highland’s agriculture.

Ability of silver-impregnated contact lenses to control microbial growth and colonisation

Purpose: To examine the ability of silver nano-particles to prevent the growth of Pseudomonas aeruginosa and Staphylococcus aureus in solution or when adsorbed into contact lenses. To examine the ability of silver nano-particles to prevent the growth of Acanthamoeba castellanii. ----- ----- Methods: Etafilcon A lenses were soaked in various concentrations of silver nano-particles. Bacterial cells were then exposed to these lenses, and numbers of viable cells on lens surface or in solution compared to etafilcon A lenses not soaked in silver. Acanthamoeba trophozoites were exposed to silver nano-particles and their ability to form tracks was examined. ----- ----- Results: Silver nano-particle containing lenses reduced bacterial viability and adhesion. There was a dose-dependent response curve, with 10 ppm or 20 ppm silver showing > 5 log reduction in bacterial viability in solution or on the lens surface. For Acanthamoeba, 20 ppm silver reduced the ability to form tracks by approximately 1 log unit. ----- ----- Conclusions: Silver nanoparticles are effective antimicrobial agents, and can reduce the ability of viable bacterial cells to colonise contact lenses once incorporated into the lens.----- ----- Resumen: Objetivos: Examinar la capacidad de las nanopartículas de plata para prevenir el crecimiento de Pseudomonas aeruginosa y Staphylococcus aureus en soluciones para lentes de contacto o cuando éstas las adsorben. Examinar la capacidad de las nanopartículas de plata para prevenir el crecimiento de Acanthamoeba castellanii.----- ----- Métodos: Se sumergieron lentes etafilcon A en diversas concentraciones de nanopartículas de plata. Las células bacterianas fueron posteriormente expuestas a dichas lentes, y se compararon cantidades de células viables en la superficie de la lente o en la solución con las presentes en lentes etafilcon A que no habían sido sumergidas en plata. Trofozoítos de Acanthamoeba fueron expuestos a nanopartículas de plata y se examinó su capacidad para formar quistes.----- ----- Resultados: Las lentes que contienen nanopartículas de plata redujeron la viabilidad bacteriana y la adhesión. Hubo una curva de respuesta dependiente de la dosis, en la que 10 ppm o 20 ppm de plata mostró una reducción logarítmica > 5 en la viabilidad bacteriana tanto en la solución como en la superficie de la lente. Para Acanthamoeba, 20 ppm de plata redujeron la capacidad de formar quistes en aproximadamente 1 unidad logarítmica.----- ----- Conclusiones: Las nanopartículas de plata son agentes antimicrobianos eficaces y pueden reducir la capacidad de células bacterianas viables para colonizar las lentes de contacto una vez que se han incorporado en la lente.

Spatiotemporal investigations of DNA damage repair using microbeams

Cellular response to radiation damage is made by a complex network of pathways and feedback loops whose spatiotemporal organisation is still unclear despite its decisive role in determining the fate of the damaged cell. Revealing the dynamic sequence of the repair proteins is therefore critical in understanding how the DNA repair mechanisms work. There are also still open questions regarding the possible movement of damaged chromatin domains and its role as trigger for lesion recognition and signalling in the DNA repair context. The single-cell approach and the high spatial resolution offered by microbeams provide the perfect tool to study and quantify the dynamic processes associated with the induction and repair of DNA damage. We have followed the development of radiation-induced foci for three DNA damage markers (i.e. γ-H2AX, 53BP1 and hSSB1) using normal fibroblasts (AG01522), human breast adenocarcinoma cells (MCF7) and human fibrosarcoma cells (HT1080) stably transfected with yellow fluorescent protein fusion proteins following irradiation with the QUB X-ray microbeam (carbon X-rays <2 µm spot). The size and intensity of the foci has been analysed as a function of dose and time post-irradiation to investigate the dynamics of the above-mentioned DNA repair processes and monitor the remodelling of chromatin structure that the cell undergoes to deal with DNA damage.

Detecting collusive fraud in enterprise resource planning systems

In today's technological age, fraud has become more complicated, and increasingly more difficult to detect, especially when it is collusive in nature. Different fraud surveys showed that the median loss from collusive fraud is much greater than fraud perpetrated by a single person. Despite its prevalence and potentially devastating effects, collusion is commonly overlooked as an organizational risk. Internal auditors often fail to proactively consider collusion in their fraud assessment and detection efforts. In this paper, we consider fraud scenarios with collusion. We present six potentially collusive fraudulent behaviors and show their detection process in an ERP system. We have enhanced our fraud detection framework to utilize aggregation of different sources of logs in order to detect communication and have further enhanced it to render it system-agnostic thus achieving portability and making it generally applicable to all ERP systems.

Project alliancing at National Museum of Australia : the collaborative process

Project alliancing is a new alternative to traditional project delivery systems, especially in the commercial building sector. The Collaborative Process is a theoretical model of people and systems characteristics that are required to reduce the adversarial nature of most construction projects. Although developed separately, both are responses to the same pressures. Project alliancing was just used successfully to complete the National Museum of Australia. This project was analyzed as a case study to determine the extent to which it could be classified as a “collaborative project”. Five key elements of The Collaborative Process were reviewed and numerous examples from the management of this project were cited that support the theoretical recommendations of this model. In the case of this project, significant added value was delivered to the client and many innovations resulted from the collective work of the parties to the contract. It was concluded that project alliances for commercial buildings offer many advantages over traditional project delivery systems, which are related to increasing the levels of collaboration among a project management team.