A tale of two solvers: Eager and lazy approaches to bit-vectors

The standard method for deciding bit-vector constraints is via eager reduction to propositional logic. This is usually done after first applying powerful rewrite techniques. While often efficient in practice, this method does not scale on problems for which top-level rewrites cannot reduce the problem size sufficiently. A lazy solver can target such problems by doing many satisfiability checks, each of which only reasons about a small subset of the problem. In addition, the lazy approach enables a wide range of optimization techniques that are not available to the eager approach. In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are complementary in terms of the types of problems they can efficiently solve. For this reason, we propose a portfolio approach that runs a lazy and eager solver in parallel. Our empirical evaluation shows that the lazy solver can solve problems none of the eager solvers can and that the portfolio solver outperforms other solvers both in terms of total number of problems solved and the time taken to solve them.

Environmental contributions to autism: Explaining the rise in incidence of autistic spectrum disorders

The incidence of autism spectrum disorders, a heterogenous group of neurodevelopmental disorders is increasing. In response, there has been a concerted effort by researchers to identify environmental risk factors that explain the epidemiological changes seen with autism. Advanced parental age, maternal migrant status, maternal gestational stress, pregnancy and birth complications, maternal obesity and gestational diabetes, maternal vitamin D deficiency, use of antidepressants during gestation and exposure to organochlorine pesticides during pregnancy are all associated with an increased risk of autism. Folic acid use prior to pregnancy may reduce the risk of autism. Exposure to antenatal ultrasonography, maternal gestational cigarette and alcohol use do not appear to influence the risk of autism in offspring. There is little evidence that exposure to environmental toxins such as thimerosal, polybrominated diphenyl ethers and di-(2-ethylhexyl) phthalate in early childhood increases the risk of autism. Apart from birth complications, the current evidence suggests that the majority of environmental factors increasing the risk of autism occur in the antenatal period. Consistent with the rise in incidence in autism, some of these environmental factors are now more common in developed nations. Further research is required to determine how these environmental exposures translate to an increased risk of autism. Understanding how these exposures alter neurodevelopment in autistic children may inform both the aetiopathogenesis and the strategies for prevention of autism.

Empirical reference points for Bernstein’s model of pedagogic rights: Recontextualising the reconciliation agenda to Australian schooling

In this chapter we use Bernstein’s (2000) model of pedagogic rights to examine the learning experiences for non-Indigenous teachers in two reconciliation projects. In the context within which we write, reconciliation is the process of establishing a culture of mutual respect between Aboriginal and Torres Strait Islander peoples and non-Indigenous Australians. In 1991, the Royal Commission into Aboriginal Deaths in Custody linked the continuation of racism in Australian society to the weak coverage of Aboriginal and Torres Strait Islander content in the school curriculum (Reconciliation Australia 2010). Nearly two decades later, the Melbourne Declaration on Educational Goals for Young Australians issued by the council of Federal, State and Territory Ministers of Education proclaimed that curriculum should enable all students to ‘understand and acknowledge the value of Indigenous cultures and possess the knowledge, skills and understanding to contribute to, and benefit from reconciliation between Indigenous and non-Indigenous Australians’ (MCEETYA 2008, 9). Education holds out promise not only of better life chances for Indigenous young people, but also of replacing myths with understanding and tackling prejudice and racism within the non-Indigenous population. Bernstein’s (2000) model of pedagogic rights promises some purchase on this pedagogic work by providing concepts for looking systematically at the participation of non-Indigenous teachers in education. As observed by Frandji and Vitale (Chapter 2, this volume), the model is not sufficient to achieve a democratic reality, ‘but simply provides a basis for problematizing reality and considering possibilities’.

Design process

Christina Waterson interviews Queensland interior designer Marisha McAuliffe about her PhD research into process, and why some people are drawn to create.

Submission to KPMG review of the Federal Government Initiative to “analyse dementia program and services funded by the Department of Social Services"

The comments I make are based on my nearly twenty years involvement in the dementia cause at both a national and international level. In preparation, I read two papers namely the Ministerial Dementia Forum – Option Paper produced by KPMG Management Consultants (2014) and Analysis of Dementia Programmes and Services Funded by the Department of Social Services: Conversation Starter prepared by KPMG as a preparation document for those attending a workshop in Brisbane on April 22nd 2015. Dementia is a complex “syndrome” and as is often said, “when you meet one person with dementia, you have met one” meaning that no two persons with dementia are the same. Even in dementia care, Australia is a “lucky country” and there is much to be said for the quality and diversity of dementia care available for people living with dementia. Despite this, I agree with the many views expressed in the material I read that there is scope for improvement, especially in the way that services are coordinated. In saying that, I do not purport to have all the solutions nor claim to have the knowledge required to comment on all the programs covered by this review. If I appear to be a “biased” advocate for Alzheimer’s Australia across the States and Territories, it is because I have seen constant evidence of ordinary people doing extraordinary things with inadequate resources. Dementia care is not cheap and if those funding dementia services are primarily only interested in economic outcomes and benefits, the real purpose of this consultation will be defeated. In addition, nowhere in the material I have read is there any recognition that in many instances program funding is a complex mix of government (at all levels) and private funding. This makes reviewing those programs more complex and less able to be coordinated at a Departmental level. It goes without saying therefore that the Federal Government is not” the only player in this game”. Of all those participating in this review, Alzheimer’s Australia is best placed to comment on programs as it is more connected to people living with dementia and has probably the best record of consulting with them. It would appear however that their role has been reduced to that of a “bit player”. Without wanting to be critical, the Forum Report which deals with the comments made at a gathering of 70 individuals and organisations, only three (3) or 4.28% were actual carers of people living with dementia. Even if it is argued that a number of organisations present represented consumers, the percentage goes up only marginally to 8.57% which is hardly an endorsement of the forum being “consumer driven”. The predominance of those present were service providers, each with their own agenda and each seeking advantage for their “business”. The final point I want to make before commenting on more specific, program related issues, is that many programs being reviewed have a much longer history than is reflected in the material I have read. Their growth and development was pioneered by Alzheimer’s Australia organisations across the country often with no government funding. Attempts to bring about better coordination of programs were often at the behest of Alzheimer’s Australia but in the main were ignored. The opportunity to now put this right is long overdue.

Start making sense: Applying a salutogenic model to architectural design for psychiatric care

Purpose This paper aims to look into the significance of architectural design in psychiatric care facilities. There is a strong correlation between perceptual dysfunction and psychiatric illness, and also between the patient and his environment. As such, even minor design choices can be of great consequence in a psychiatric facility. It is of critical importance, therefore, that a psychiatric milieu is sympathetic and does not exacerbate the psychosis. Design/methodology/approach This paper analyses the architectural elements that may influence mental health, using an architectural extrapolation of Antonovsky’s salutogenic theory, which states that better health results from a state of mind which has a fortified sense of coherence. According to the theory, a sense of coherence is fostered by a patient’s ability to comprehend the environment (comprehensibility), to be effective in his actions (manageability) and to find meaning (meaningfullness). Findings Salutogenic theory can be extrapolated in an architectural context to inform design choices when designing for a stress-sensitive client base. Research limitations/implications In the paper an architectural extrapolation of salutogenic theory is presented as a practical method for making design decisions (in praxis) when evidence is not available. As demonstrated, the results appear to reflect what evidence is available, but real evidence is always desirable over rationalist speculation. The method suggested here cannot prove the efficacy or appropriateness of design decisions and is not intended to do so. Practical implications The design of mental health facilities has long been dominated by unsubstantiated policy and normative opinions that do not always serve the client population. This method establishes a practical theoretical model for generating architectural design guidelines for mental health facilities. Originality/value The paper will prove to be helpful in several ways. First, salutogenic theory is a useful framework for improving health outcomes, but in the past the theory has never been applied in a methodological way. Second, there have been few insights into how the architecture itself can improve the functionality of a mental health facility other than improve the secondary functions of hospital services.

Perfusion fMRI evidence for priming of shared feature-to-lexical connections during cumulative semantic interference in spoken word production

The speed at which target pictures are named increases monotonically as a function of prior retrieval of other exemplars of the same semantic category and is unaffected by the number of intervening items. This cumulative semantic interference effect is generally attributed to three mechanisms: shared feature activation, priming and lexical-level selection. However, at least two additional mechanisms have been proposed: (1) a 'booster' to amplify lexical-level activation and (2) retrieval-induced forgetting (RIF). In a perfusion functional Magnetic Resonance Imaging (fMRI) experiment, we tested hypotheses concerning the involvement of all five mechanisms. Our results demonstrate that the cumulative interference effect is associated with perfusion signal changes in the left perirhinal and middle temporal cortices that increase monotonically according to the ordinal position of exemplars being named. The left inferior frontal gyrus (LIFG) also showed significant perfusion signal changes across ordinal presentations; however, these responses did not conform to a monotonically increasing function. None of the cerebral regions linked with RIF in prior neuroimaging and modelling studies showed significant effects. This might be due to methodological differences between the RIF paradigm and continuous naming as the latter does not involve practicing particular information. We interpret the results as indicating priming of shared features and lexical-level selection mechanisms contribute to the cumulative interference effect, while adding noise to a booster mechanism could account for the pattern of responses observed in the LIFG.

Estimating the under-reporting of road crash injuries to police using multiple linked data collections

The reliance on police data for the counting of road crash injuries can be problematic, as it is well known that not all road crash injuries are reported to police which under-estimates the overall burden of road crash injuries. The aim of this study was to use multiple linked data sources to estimate the extent of under-reporting of road crash injuries to police in the Australian state of Queensland. Data from the Queensland Road Crash Database (QRCD), the Queensland Hospital Admitted Patients Data Collection (QHAPDC), Emergency Department Information System (EDIS), and the Queensland Injury Surveillance Unit (QISU) for the year 2009 were linked. The completeness of road crash cases reported to police was examined via discordance rates between the police data (QRCD) and the hospital data collections. In addition, the potential bias of this discordance (under-reporting) was assessed based on gender, age, road user group, and regional location. Results showed that the level of under-reporting varied depending on the data set with which the police data was compared. When all hospital data collections are examined together the estimated population of road crash injuries was approximately 28,000, with around two-thirds not linking to any record in the police data. The results also showed that the under-reporting was more likely for motorcyclists, cyclists, males, young people, and injuries occurring in Remote and Inner Regional areas. These results have important implications for road safety research and policy in terms of: prioritising funding and resources; targeting road safety interventions into areas of higher risk; and estimating the burden of road crash injuries.

Location and labor: Critical crossroads in global film and television

I approached the editorial prompt as an opportunity to work through some of the concerns driving my current research on creative labor in emergent or ‘peripheral’ media hubs, centers of production activity outside established media capitals that are nevertheless increasingly integrated into a global production apparatus. It builds from my research on the role that film, television and digital media production have played in the economic and cultural strategies of Glasgow, Scotland, and extends the focus on media work to other locations, including Prague and Budapest. I am particularly drawn to the spatial dynamics at play in these locations and how local producers, writers, directors and crew negotiate a sense of place and creative identity against the flows and counter-flows of capital and culture. This means not only asking questions about the growing ensemble of people, places, firms and policies that make international productions possible, but also studying the more quotidian relationships between media workers and the locations (both near and far) where they now find work. I do not see these tasks as unrelated. On the one hand, such queries underscore how international production depends on a growing constellation of interchangeable parts and is facilitated by various actors whose agendas may or may not converge. On the other hand, these questions also betray an even more complicated dynamic, a process that is shifting the spatial orientation of both location and labor around uneven and contested scales. As local industries reimagine themselves as global players, media practitioners are caught up in a new geography of creative labor: not only are personnel finding it increasingly necessary to hop from place to place to follow the work, but also place itself is changing, as locations morph into nebulous amalgamations of tax rebates, subsidized facilities, production services and (when it still matters) natural beauty.

Connecting soundscape to landscape: Which acoustic index best describes landscape configuration?

Soundscape assessment has been proposed as a remote ecological monitoring tool for measuring biodiversity, but few studies have examined how soundscape patterns vary with landscape configuration and condition. The goal of our study was to examine a suite of published acoustic indices to determine whether they provide comparable results relative to varying levels of landscape fragmentation and ecological condition in nineteen forest sites in eastern Australia. Our comparison of six acoustic indices according to time of day revealed that two indices, the acoustic complexity and the bioacoustic index, presented a similar pattern that was linked to avian song intensity, but was not related to landscape and biodiversity attributes. The diversity indices, acoustic entropy and acoustic diversity, and the normalized difference soundscape index revealed high nighttime sound, as well as a dawn and dusk chorus. These indices appear to be sensitive to nocturnal biodiversity which is abundant at night in warm, subtropical environments. We argue that there is need to better understand temporal partitioning of the soundscape by specific taxonomic groups, and this should involve integrated research on amphibians, insects and birds during a 24 h cycle. The three indices that best connected the soundscape with landscape characteristics, ecological condition and bird species richness were acoustic entropy, acoustic evenness and the normalized difference soundscape index. This study has demonstrated that remote soundscape assessment can be implemented as an ecological monitoring tool in fragmented Australian forest landscapes. However, further investigation should be dedicated to refining and/or combining existing acoustic indices and also to determine if these indices are appropriate in other landscapes and for other survey purposes.

The equity and efficiency of the Australian share market with respect to director trading

Purpose – The purpose of this paper is to investigate the extent of directors breaching the reporting requirements of the Australian Stock Exchange (ASX) and the Corporations Act in Australia. Further, it seeks to assess whether directors in Australia achieve abnormal returns from trades in their own companies. Design/methodology/approach – Using an event study approach on an Australian sample, abnormal returns for a range of situations were estimated. Findings – A total of 13 (seven) per cent of own‐company directors trades do not meet the ASX (Corporations Act) requirement of reporting within five (14) business days. Directors do achieve abnormal returns through trading in shares of their own companies. Ignoring transaction costs, outsiders can achieve abnormal returns by imitating directors' trades. Analysis of returns to directors after they trade but before they announce the trade to the market shows that directors are making small but statistically significant returns that are not available to the market. Analysis of returns to directors subsequent to the ASX reporting requirement up to the day the trade is reported shows that directors are making small but statistically significant returns that should be available to the market. Research limitations/implications – Future research should investigate the linkages between late reporting by directors and disadvantages to outside shareholders and the implementation of internal policies implemented to mitigate insider trading. Practical implications – Market participants should remain vigilant regarding the potential for late/non‐reporting of directors' trades. Originality/value – Uncovering breaches of reporting regulations are particularly important given that directors tend to purchase (sell) shares when the price is low (high), thereby achieving abnormal returns.

Groundwater balance research to improve the accuracy of drawdown predictions in the Surat Basin, Queensland

Groundwater modelling studies rely on an accurate determination of inputs and outputs that make up the water balance. Often there is large uncertainty associated with estimates of recharge and unmetered groundwater use. This can translate to equivalent uncertainty in the forecasting of sustainable yields, impacts of extraction, and susceptibility of groundwater dependent ecosystems. In the case of Coal Seam Gas, it is important to characterise the temporal and special distribution of depressurisation in the reservoir and how this may or may not extend to the adjacent aquifers. A regional groundwater flow model has been developed by the Queensland Government to predict drawdown impacts due to Coal Seam Gas activities in the Surat basin. This groundwater model is undergoing continued refinement and there is currently scope to address some of the key areas of uncertainty including better quantification of groundwater recharge and unmetered groundwater extractions. Research is currently underway to improve the accuracy of estimates of both of these components of the groundwater balance in order to reduce uncertainty in predicted groundwater drawdowns due to CSG activities.

Introduction to "Learning Chinese as a Heritage Language : An Australia Perspective"

The book grapples with the complex entanglement of identity construction, language choice, cultural heritage, and social orders. Specifically, the book investigates how Chinese Australians negotiate their Chineseness and capitalise on resources through learning Chinese as a heritage language in Australia and beyond. Though the book is concerned with Chinese Australians, knowledge built and lessons learned can provide insight into other multicultural settings where people of Chinese descent are becoming increasingly prominent in representing the cultural and linguistic diversity of the society, and more recently, in contributing to the economic dynamics of the society. In addition, the focus on the potholes and distractions as well as the benefits and gains of heritage language learning is not restricted to Chinese diaspora, but relevant to ethnic minority individuals and communities elsewhere.

A randomized controlled trial of a multiple health behavior change intervention delivered to colorectal cancer survivors: Effects on sedentary behavior

BACKGROUND Sedentary behavior may independently contribute to morbidity and mortality among survivors of colorectal cancer. In the current study, the authors assessed whether a telephone-delivered multiple health behavior change intervention had an effect on the sedentary behavior of recently diagnosed colorectal cancer survivors. METHODS A total of 410 participants were recruited through the Queensland Cancer Registry and randomized to the health coaching (intervention) or usual-care (control) group. Eleven health coaching sessions addressing multiple health behaviors, including sedentary behavior, were delivered over a period of 6 months. Data were collected at baseline (before randomization), at 6 months, and at 12 months via a telephone interview. RESULTS At 12 months, there was a significant decrease noted in the hours per day of sedentary time in both the health coaching (−1.21; 95% confidence interval [95% CI], −1.71 to −0.70) and usual-care groups (−0.55; 95% CI, −1.06 to −0.05), but the between-group difference was not found to be statistically significant (−0.65; 95% CI, −1.37 to 0.06 [P = .07]). In stratified subgroup analyses, the multiple health behavior change intervention was found to have a significant effect on total sedentary time (hours/day) at 12 months in survivors of colorectal cancer who were aged > 60 years (−0.90; 95% CI, −1.80 to −0.01 [P = .05]), male (−1.33; 95% CI, −2.44 to −0.21 [P = .02]), and nonobese (−1.10; 95% CI, −1.96 to −0.25; [P = .01]). CONCLUSIONS Incorporating simple messages about limiting sedentary behaviors into a multiple health behavior change intervention was found to have modest effects on sedentary behavior. A sedentary behavior-specific intervention strategy may be required to achieve substantial changes in sedentary behavior among colorectal cancer survivors

Grant application: QUT Learning and Teaching scheme 2012 Cracking the Code - A checklist to complement CRAs for first year Justice students.

Widening participation brings with it increasing diversity, increased variation in the level of academic preparedness (Clarke, 2011; Nelson, Clarke, & Kift 2010). Cultural capital coupled with negotiating the academic culture creates an environment based on many assumptions about academic writing and university culture. Variations in staff and student expectations relating to the teaching and learning experience is captured in a range of national and institutional data (AUSSE, CEQ, LEX). Nationally, AUSSE data (2009) indicates that communication, writing, speaking and analytic skills, staff expectations are quite a bit higher than students. The research team noted a recognisable shift in the changing cohort of students and their understanding and engagement with feedback and CRAs, as well as variations in teaching staff and student expectations. The current reality of tutor and student roles is that: - Students self select when/how they access lectures and tutorials. - Shorter tutorial times result in reduced opportunity to develop rapport with students. - CRAs are not always used consistently by staff (different marking styles and levels of feedback). - Marking is not always undertaken by the student’s tutor/lecturer. - Student support services might be recommended to students once a poor grade has been given. Students can perceive this as remedial and a further sense of failure. - CRA sheet has a mark /grade attached to it. Stigma attached to low mark. Hard to focus on the CRA feedback with a poor mark etched next to it. - Limited opportunities for sessionals to access professional development to assist with engaging students and feedback. - FYE resources exist, however academic time is a factor in exploring and embedding these resources. Feedback is another area with differing expectations and understandings. Sadler (2009) contends that students are not equipped to decode the statements properly. For students to be able to apply feedback, they need to understand the meaning of the feedback statement. They also need to identify, the particular aspects of their work that need attention. The proposed Checklist/guide would be one page and submitted with each assessment piece thereby providing an interface to engage students and tutors in managing first year understandings and expectations around CRAs, feedback, and academic practice.