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.

Implementation of individualised medication administration guides for patients with dysphagia: Results from a pilot controlled trial

Introduction Patients with dysphagia (PWDs) have been shown to be four times more likely to suffer medication administration errors (MAEs).1 2 Individualised medication administration guides (I-MAGs) which outline how each formulation should be administered, have been developed to standardise medication administration by nurses on the ward and reduce the likelihood of errors. This pilot study aimed to determine the recruitment rates, estimate effect on errors and develop the intervention to design a future full scale randomised controlled trial to determine the costs and effects of I-MAG implementation. Ethical approval was granted by local ethics committee. Method Software was developed to enable I-MAG production (based on current best practice)3 4 for all PWDs on two care of the older person wards admitted during a six month period from January to July 2011. I-MAGs were attached to the medication administration record charts to be utilised by nurses when administering medicines. Staff training was provided for all staff on the intervention wards. Two care of the older person wards in the same hospital were used for control purposes. All patients with dysphagia were recruited for follow up purposes at discharge. Four ward rounds at each intervention and control ward were observed pre and post I-MAG implementation to determine the level of medication administration errors. NHS ethical approval for the study was obtained. Results 164 I-MAGs were provided for 75 patients with dysphagia (PWDs) in the two intervention wards. At discharge, 23 patients in the intervention wards and 7 patients in the control wards were approached for recruitment of which 17 (74%) & 5 (71.5%) respectively consented. Discussion Recruitment rates were low on discharge due to the dysphagia remitting during hospitalisation. The introduction of the I-MAG demonstrated no effect on the quality of administration on the intervention ward and interestingly practice improved on the control ward. The observation of medication rounds at least one month post I-MAG removal may have identified a reversal to normal practice and ideally observations should have been undertaken with I-MAGs in place. Identification of the reason for the improvement in the control ward is warranted.

Barriers, drivers and enablers for transitioning towards innovation in the Australian water sector

The Australian water sector needs to adapt to effectively deal with the impacts of climate change on its systems. Challenges as a result of climate change include increasingly extreme occurrences of weather events including flooding and droughts (Pittock, 2011). In response to such challenges, the National Water Commission in Australia has identified the need for the water sector to transition towards being readily adaptable and able to respond to complex needs for a variety of supply and demand scenarios (National Water Commission, 2013). To successfully make this transition, the sector will need to move away from business as usual, and proactively pursue and adopt innovative approaches and technologies as a means to successfully address the impacts of climate change on the Australian water sector. In order to effectively respond to specific innovation challenges related to the sector, including climate change, it is first necessary to possess a foundational understanding about the key elements related to innovation in the sector. This paper presents this base level understanding, identifying the key barriers, drivers and enablers, and elements for innovative practise in the water sector. After initially inspecting the literature around the challenges stemming from climate change faced by the sector, the paper then examines the findings from the initial two rounds of a modified Delphi study, conducted with experts from the Australian water sector, including participants from research, government and industry backgrounds. The key barriers, drivers and enablers for innovation in the sector identified during the initial phase of the study formed the basis for the remainder of the investigation. Key elements investigated were: barriers – scepticism, regulation systems, inconsistent policy; drivers – influence of policy, resource scarcity, thought leadership; enablers – framing the problem, effective regulations, community acceptance. There is a convincing argument for the water sector transitioning to a more flexible, adaptive and responsive system in the face of challenges resulting from climate change. However, without first understanding the challenges and opportunities around making this transition, the likelihood of success is limited. For that reason, this paper takes the first step in understanding the elements surrounding innovation in the Australian water sector.

The respiratory health of urban Indigenous children aged less than 5 years: Study protocol for a prospective cohort study

Background Despite the burden of acute respiratory illnesses (ARI) among Aboriginal and Torres Strait Islander children being a substantial cause of childhood morbidity and associated costs to families, communities and the health system, data on disease burden in urban children are lacking. Consequently evidence-based decision-making, data management guidelines, health resourcing for primary health care services and prevention strategies are lacking. This study aims to comprehensively describe the epidemiology, impact and outcomes of ARI in urban Aboriginal and Torres Strait Islander children (hereafter referred to as Indigenous) in the greater Brisbane area. Methods/design A prospective cohort study of Indigenous children aged less than five years registered with a primary health care service in Northern Brisbane, Queensland, Australia. Children are recruited at time of presentation to the service for any reason. Demographic, epidemiological, risk factor, microbiological, economic and clinical data are collected at enrolment. Enrolled children are followed for 12 months during which time ARI events, changes in child characteristics over time and monthly nasal swabs are collected. Children who develop an ARI with cough as a symptom during the study period are more intensely followed-up for 28(±3) days including weekly nasal swabs and parent completed cough diary cards. Children with persistent cough at day 28 post-ARI are reviewed by a paediatrician. Discussion Our study will be one of the first to comprehensively evaluate the natural history, epidemiology, aetiology, economic impact and outcomes of ARIs in this population. The results will inform studies for the development of evidence-based guidelines to improve the early detection, prevention and management of chronic cough and setting of priorities in children during and after ARI.

Self-reported circumstances and consequences of driving while sleepy

Driver surveys are indispensable sources of information when estimating the role of sleepiness in crash causation. The purpose of the study was to (1) identify the prevalence of driving while sleepy among Finnish drivers, (2) determine the circumstances of such instances, and (3) identify risk factors and risk groups. Survey data were collected from a representative sample of active Finnish drivers (N = 1121). One-fifth of the drivers (19.5%) reported having fallen asleep at the wheel during their driving career, with 15.9% reporting having been close to falling asleep or having difficulty staying awake when driving during the previous twelve months. Epworth Sleepiness Scale scores were found to be associated with both types of sleepiness-related driving instances, while sleep quality was associated only with the latter. Compared to women, men more often reported falling asleep at the wheel; the differences were somewhat smaller with respect to fighting sleep while driving during the previous twelve months. The reported discrepancy in sleepiness-related instances (high prevalence of fighting sleep while driving during the previous twelve months and lower proportion of actually falling asleep) identifies young men (⩽25 years) as one of the main target groups for safety campaigns. Approximately three-quarters of drivers who had fallen asleep while driving reported taking action against falling asleep before it actually happened. Furthermore, almost all drivers who had fallen asleep while driving offered at least one logical reason that could have contributed to their falling asleep. These data indicate some degree of awareness about driving while sleepy and of the potential pre-trip factors that could lead to sleepiness while driving, and supports the notion that falling asleep at the wheel does not come as a (complete) surprise to the driver.

Common psychotic symptoms can be explained by the theory of ecological perception

The symptoms of psychiatric illness are diverse, as are the causes of the illnesses that cause them. Yet, regardless of the heterogeneity of cause and presentation, a great deal of symptoms can be explained by the failure of a single perceptual function – the reprocessing of ecological perception. It is a central tenet of the ecological theory of perception that we perceive opportunities to act. It has also been found that perception automatically causes actions and thoughts to occur unless this primary action pathway is inhibited. Inhibition allows perceptions to be reprocessed into more appropriate alternative actions and thoughts. Reprocessing of this kind takes place over the entire frontal lobe and it renders action optional. Choice about what action to take (if any) is the basis for the feeling of autonomy and ultimately for the sense-of-self. When thoughts and actions occur automatically (without choice) they appear to originate outside of the self, thereby providing prima facie evidence for some of the bizarre delusions that define schizophrenia such as delusional misidentification, delusions of control and Cotard’s delusion. Automatic actions and thoughts are triggered by residual stimulation whenever reprocessing is insufficient to balance automatic excitatory cues (for whatever reason). These may not be noticed if they are neutral and therefore unimportant whereas actions and thoughts with a positive bias are desirable. Responses to negative stimulus, on the other hand, are always unwelcome, because the actions that are triggered will carry the negative bias. Automatic thoughts may include spontaneous positive feelings of love and joy, but automatic negative thoughts and visualisations are experienced as hallucinations. Not only do these feel like they emerge from elsewhere but they carry a negative bias (they are most commonly critical, rude and are irrationally paranoid). Automatic positive actions may include laughter and smiling and these are welcome. Automatic behaviours that carry a negative bias, however, are unwelcome and like hallucinations, occur without a sense of choice. These include crying, stereotypies, perseveration, ataxia, utilization and imitation behaviours and catatonia.

Quantum cognition: A new theoretical approach to psychology

What type of probability theory best describes the way humans make judgments under uncertainty and decisions under conflict? Although rational models of cognition have become prominent and have achieved much success, they adhere to the laws of classical probability theory despite the fact that human reasoning does not always conform to these laws. For this reason we have seen the recent emergence of models based on an alternative probabilistic framework drawn from quantum theory. These quantum models show promise in addressing cognitive phenomena that have proven recalcitrant to modeling by means of classical probability theory. This review compares and contrasts probabilistic models based on Bayesian or classical versus quantum principles, and highlights the advantages and disadvantages of each approach.

Editorial: Structure of the case report

The CJNN is one of only two international nursing journals with a focus on neuroscience nursing. We at CJNN (the editorial staff and CANN board of directors) have had to make the difficult decision to reduce publication frequency from quarterly (four times per year) down to three editions per year. The reason behind this decision relates to the current lack of submitted articles for peer review and potential publication in the journal; it is difficult to put out a quality edition with only one or two new manuscripts. We would like to encourage Canadian neuroscience nurses to share their insights and expertise with colleagues by writing about challenges and achievements in patient care, experiences encountered on a daily basis, or about unique/interesting cases that may inform others in their practice.

Public use and perceptions of emergency departments: A population survey

Objectives To inform demand management strategies aimed at reducing congestion in EDs by: (i) identifying public use of EDs, decision-making and reasons; and (ii) measuring acceptance of alternative care models. Methods A cross-sectional telephone survey of a random sample of Queensland population aged 18 years or older residing in a dwelling unit in Queensland that could be contacted on a land-based telephone service was conducted. One person per household was selected according to a predetermined algorithm to ensure sex and regional balance were interviewed. The main outcome measures were: ED use, attitudes towards ED staff and services, and alternative models of care. Results The final sample included a total of 1256 respondents (response rate = 40.3%). Twenty-one per cent attended EDs in the preceding 12 months. The decision to attend was made by patients (51%), health and medical professionals (31%), and others (18%). The main reasons included perceived severity of the illness (47%), unavailability of alternative services (26%) and better care (11%). Most respondents agreed with more flexible care models of service delivery including incentives for general practitioners (90%), private health insurance coverage for ED use (89%), and enhanced roles for paramedics and nurses. Conclusions Main reason for attending ED is perceived severity of illness, followed by lack of alternative care. The majority of both consumers and the public are in favour of more flexible care models. However, further research is necessary to detail those alternatives and to test and validate their effectiveness.

Capnography monitoring during procedural sedation and analgesia: A systematic review protocol

Background An important potential clinical benefit of using capnography monitoring during procedural sedation and analgesia (PSA) is that this technology could improve patient safety by reducing serious sedation-related adverse events, such as death or permanent neurological disability, which are caused by inadequate oxygenation. The hypothesis is that earlier identification of respiratory depression using capnography leads to a change in clinical management that prevents hypoxaemia. As inadequate oxygenation/ventilation is the most common reason for injury associated with PSA, reducing episodes of hypoxaemia would indicate that using capnography would be safer than relying on standard monitoring alone. Methods/design The primary objective of this review is to determine whether using capnography during PSA in the hospital setting improves patient safety by reducing the risk of hypoxaemia (defined as an arterial partial pressure of oxygen below 60 mmHg or percentage of haemoglobin that is saturated with oxygen [SpO2] less than 90 %). A secondary objective of this review is to determine whether changes in the clinical management of sedated patients are the mediating factor for any observed impact of capnography monitoring on the rate of hypoxaemia. The potential adverse effect of capnography monitoring that will be examined in this review is the rate of inadequate sedation. Electronic databases will be searched for parallel, crossover and cluster randomised controlled trials comparing the use of capnography with standard monitoring alone during PSA that is administered in the hospital setting. Studies that included patients who received general or regional anaesthesia will be excluded from the review. Non-randomised studies will be excluded. Screening, study selection and data extraction will be performed by two reviewers. The Cochrane risk of bias tool will be used to assign a judgment about the degree of risk. Meta-analyses will be performed if suitable. Discussion This review will synthesise the evidence on an important potential clinical benefit of capnography monitoring during PSA within hospital settings. Systematic review registration: PROSPERO CRD42015023740

‘True Blood’ the critical care story: An audit of blood sampling practice across three adult, paediatric and neonatal intensive care settings

Background Anaemia is common in critically ill patients, and has a significant negative impact on patients' recovery. Blood conservation strategies have been developed to reduce the incidence of iatrogenic anaemic caused by sampling for diagnostic testing. Objectives Describe practice and local guidelines in adult, paediatric and neonatal Australian intensive care units (ICUs) regarding blood sampling and conservation strategies. Methods Cross-sectional descriptive study, conducted July 2013 over one week in single adult, paediatric and neonatal ICUs in Brisbane. Data were collected on diagnostic blood samples obtained during the study period, including demographic and acuity data of patients. Institutional blood conservation practice and guidelines were compared against seven evidence-based recommendations. Results A total of 940 blood sampling episodes from 96 patients were examined across three sites. Arterial blood gas was the predominant reason for blood sampling in each unit, accounting for 82% of adult, 80% of paediatric and 47% of neonatal samples taken (p <. 0.001). Adult patients had significantly more median [IQR] samples per day in comparison to paediatrics and neonates (adults 5.0 [2.4]; paediatrics 2.3 [2.9]; neonatal 0.7 [2.7]), which significantly increased median [IQR] blood sampling costs per day (adults AUD$101.11 [54.71]; paediatrics AUD$41.55 [56.74]; neonatal AUD$8.13 [14.95]; p <. 0.001). The total volume of samples per day (median [IQR]) was also highest in adults (adults 22.3. mL [16.8]; paediatrics 5.0. mL [1.0]; neonates 0.16. mL [0.4]). There was little information about blood conservation strategies in the local clinical practice guidelines, with the adult and neonatal sites including none of the seven recommendations. Conclusions There was significant variation in blood sampling practice and conservation strategies between critical care settings. This has implications not only for anaemia but also infection control and healthcare costs.

Development of a new design expression for the in-plane shear capacity of the partially grouted concrete masonry walls

Partially grouted masonry walls subjected to in-plane shear exhibit a complex behaviour because of the influence of the aspect ratio, the pre-compression, the grouting pattern, the ratios of the horizontal and the vertical reinforcements, the boundary conditions and the characteristics of the constituent materials. The existing in-plane shear expressions for the partially grouted masonry are formulated as sum of strength of three parameters, namely, the masonry, the reinforcement and the axial force. The parameter ‘masonry’ includes the wall aspect ratio and the masonry compressive strength; the aspect ratio of the unreinforced panel inscribed into the grouted cores and bond beams are not considered, although failure is often dominated by these unreinforced masonry panels. This paper describes the dominance of these panels, particularly those that are squat, to the shear capacity of whole of shear walls. Further, the current design formulae are shown highly un-conservative by many researchers; this paper provides a potential reason for this un-conservativeness. It is shown that by including an additional term of the unreinforced panel aspect ratio a rational design formula could be established. This new expression is validated with independent test results reported in the literature – both Australian and overseas; the predictions are shown to be conservative.

Why do Queenslanders seek care in emergency departments? A population study

Objective This study aims to identify the main reasons for which first time and multiple users seek medical care through Queensland emergency departments (ED). Methods A cross-sectional survey was conducted at eight public EDs among presenting patients (n = 911). The questions measured the socio-demographic characteristics of patients, their beliefs and attitudes towards EDs services, and perceptions of health status. Bivariate and binary logistic regression analyses were performed to examine the differences between first time and multiple users of EDs. Results First time and multiple users accounted for 55.5% and 44.5%, respectively. Multiple users themselves believed to be sicker, have poorer health status, and additional and/or chronic health conditions. Multiple users more strongly believed that their condition required treatment at an ED and perceived their condition as being very serious. Multiple users reported weekly household incomes below $600, and half of the multiple users were not working as compared to 35% first time users. Multivariate analysis showed that multiple use was significantly associated with the existence of additional health problems, having chronic condition, lower self-efficacy, and need for ED treatment. Conclusions Patients who sought care for multiple times at EDs more often than first time users suffered from additional and chronic conditions. Their opinion of an ED as the most suitable place to address their current health problem was stronger than first time users. Any proposed demand management strategies need to address these beliefs together with the reasoning of patients to provide effective and appropriate care outside or within ED services.

Sports anti-siphoning laws and the controversy of sports broadcasting: A case study of Pakistan

Controversies between private and public broadcasters over the broadcasting of live sports, especially cricket, during important sports events have emerged as a serious legal issue in Pakistan. Controversy between Geo Super and Pakistan Television over live telecast of the ICC Cricket World Cup is a typical example of such controversies. An aggressive legal battle, during a most important cricketing event, not only hampered the enjoyment of cricket viewers across the country but also gave Pakistan a bad name across the globe. This article discusses in detail this controversy and highlights lacunas in the existing sports broadcasting regime of Pakistan. There are no clear and well defined sports broadcasting laws in Pakistan. The Pakistan Electronic Media Regulatory Authority (PEMRA) rules are of general nature. Secondly, PEMRA rules are not comprehensive and explicit enough to provide clear guidelines about sports broadcasting. This may be a possible reason why sports broadcasting controversies reach the highest court in Pakistan, the Supreme Court of Pakistan. Despite these ugly battles between broadcasters, the government of Pakistan has never given due importance to this issue and no efforts have been made at any level to come up with legislation on sports broadcasting to avoid such controversies or to resolve them amicably in the light of well-defined laws on this subject. The purpose of this article is to draw the attention of the concerned authorities towards this important issue because in future more such controversies may be expected in the absence of a sports broadcasting regime in the country.

Identifying vertebral end plate lesions (schmorl's nodes) using a semi-automatic method

INTRODUCTION There is a large range in the reported prevalence of end plate lesions (EPLs), sometimes referred to as Schmorl's nodes in the general population (3.8-76%). One possible reason for this large range is the differences in definitions used by authors. Previous research has suggested that EPLs may potentially be a primary disturbance of growth plates that leads to the onset of scoliosis. The aim of this study was to develop a technique to measure the size, prevalence and location of EPLs on Computed Tomography (CT) images of scoliosis patients in a consistent manner. METHODS A detection algorithm was developed and applied to measure EPLs for five adolescent females with idiopathic scoliosis (average age 15.1 years, average major Cobb 60°). In this algorithm, the EPL definition was based on the lesion depth, the distance from the edge of the vertebral body and the gradient of the lesion edge. Existing low-dose, CT scans of the patients' spines were segmented semi-automatically to extract 3D vertebral endplate morphology. Manual sectioning of any attachments between posterior elements of adjacent vertebrae and, if necessary, endplates was carried out before the automatic algorithm was used to determine the presence and position of EPLs. RESULTS EPLs were identified in 15 of the 170 (8.8%) endplates analysed with an average depth of 3.1mm. 73% of the EPLs were seen in the lumbar spines (11/15). A sensitivity study demonstrated that the algorithm was most sensitive to changes in the minimum gradient required at the lesion edge. CONCLUSION An imaging analysis technique for consistent measurement of the prevalence, location and size of EPLs on CT images has been developed. Although the technique was tested on scoliosis patients, it can be used to analyse other populations without observer errors in EPL definitions.