Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Spectacle acceptance among secondary school students in rural China: the Xichang Pediatric Refractive Error Study (X-PRES)--report 5.

PURPOSE: To assess determinants of spectacle acceptance and use among rural Chinese children. METHODS: Children with uncorrected acuity < or = 6/12 in either eye and whose presenting vision could be improved > or = 2 lines with refraction were identified from a school-based sample of 1892 students. Information on obtaining glasses and the benefits of spectacles was provided to children, families, and teachers. Purchase of new spectacles and reasons for nonpurchase were assessed by direct inspection and interview 3 months later. RESULTS: Among 674 (35.6%) children requiring spectacles (mean age, 14.7 +/- 0.8 years), 597 (88.6%) were followed up. Among 339 children with no glasses at baseline, 30.7% purchased spectacles, whereas 43.2% of 258 children with inaccurate glasses replaced them. Most (70%) subjects paid US$13 to $26. Among children with bilateral vision < or = 6/18, 45.6% bought glasses. In multivariate models, presenting vision < 6/12 (P < 0.009), refractive error < -2.0 D (P < 0.001), and amount willing to pay for glasses (P = 0.01) were predictors of purchase. Reasons for nonpurchase included satisfaction with current vision (78% of those with glasses at baseline, 49% of those without), concerns over price or parental refusal (18%), and fear glasses would weaken the eyes (13%). Only 26% of children stated that they usually wore their new glasses. CONCLUSIONS: Many families in rural China will pay for glasses, though spectacle acceptance was < 50%, even among children with poor vision. Acceptance could be improved by price reduction, education showing that glasses will not harm the eyes, and parent-focused interventions.

Sources of patient knowledge and financing of cataract surgery in rural China: the Sanrao Study of Cataract Outcomes and Up-Take of Services (SCOUTS), report 6.

AIM: To study patient sources of knowledge about cataract surgical services, and strategies for financing surgery in rural China. DESIGN: Cross-sectional case series. METHODS: Patients undergoing cataract surgery by local surgeons in a government, village-level facility in Sanrao, Guangdong between 8 August and 31 December 2005 were examined and had standardised interviews an average of 12 months after surgery. RESULTS: Of 313 eligible patients, 239 (76%) completed the questionnaire. Subjects had a mean (SD) age of 69.9 (10.2) years, 36.4% (87/239) were male, and 87.0% (208/239) had been blind (presenting visual acuity < or = 6/60) before surgery. Word-of-mouth advertising was particularly important: 198 (85.0%) of the subjects knew a person who had undergone cataract surgery, of whom 191 (96.5%) had had cataract surgery at Sanrao itself. Over 70% of subjects (166/239) watched TV daily, whereas 80.0% (188/239) "never" read the newspaper. Nearly two-thirds of suggestions from participants (n = 211, 59.6%) favoured either TV advertisements or word-of-mouth to publicise the programme. While the son or daughter had paid for surgery in over 70% of cases (164/233), the patient's having paid without help was the sole predictor of undergoing second-eye surgery (OR 2.27 (95% CI 1.01 to 5.0, p = 0.04)). DISCUSSION: Strategies to increase uptake of cataract surgery in rural China may benefit from enhancing word-of-mouth advertising (such as with pseudophakic motivators), using television advertising where affordable, and micro-credit or other programmes to enable patients to pay their own fees, thus increasing uptake of second-eye surgery.

Cataract surgical outcomes, visual function and quality of life in four rural districts in Vietnam.

BACKGROUND: To evaluate cataract surgical outcomes in four rural districts of Ha Tinh Province, Vietnam. DESIGN: Cross-sectional study. PARTICIPANTS: Post-cataract surgery patients sampled randomly from facilities in four rural districts of Ha Tinh Province >3 months after surgery. MAIN OUTCOME MEASURES: Postoperative visual acuity (VA), visual function and quality of life. RESULTS: Among 412 patients, the mean age was 74.5 ± 9.4 years, 67% (276) were female, and 377 (91.5%) received intraocular lenses (IOL). Nearly two-thirds of patients had no postoperative visits after discharge. Postoperatively, more than 40% of eyes had presenting VA <6/18, while 20% remained <6/60. The mean self-reported visual function and quality of life for all patients were 68.7 ± 23.8 and 73.8 ± 21.6, respectively. Most patients (89.5%) were satisfied with surgery and the majority (94.4%) would recommend surgery to others. One-third of patients paid ≥$US50 for surgery. In multiple regression modelling, older age (P < 0.01), intraoperative complications (P < 0.01) and failure to receive an IOL (P < 0.01) were associated with postoperative VA <6/60. CONCLUSION: Satisfaction with surgery was high, and many patients were willing to pay for their operations. Poor visual outcomes were common; however, and better surgical training is needed to reduce complications and their impact on visual outcomes. More intensive postoperative follow-up may also be beneficial. © 2011 The Authors. Clinical and Experimental Ophthalmology © 2011 Royal Australian and New Zealand College of Ophthalmologists.

A novel TRNSYS type for short-term borehole heat exchanger simulation: B2G model

Models of ground source heat pump (GSHP) systems are used as an aid for the correct design and optimization of the system. For this purpose, it is necessary to develop models which correctly reproduce the dynamic thermal behavior of each component in a short-term basis. Since the borehole heat exchanger (BHE) is one of the main components, special attention should be paid to ensuring a good accuracy on the prediction of the short-term response of the boreholes. The BHE models found in literature which are suitable for short-term simulations usually present high computational costs. In this work, a novel TRNSYS type implementing a borehole-to-ground (B2G) model, developed for modeling the short-term dynamic performance of a BHE with low computational cost, is presented. The model has been validated against experimental data from a GSHP system located at Universitat Politècnica de València, Spain. Validation results show the ability of the model to reproduce the short-term behavior of the borehole, both for a step-test and under normal operating conditions.

A closer look at Carver and White's BIS/BAS scales: Factor analysis and age group differences

The Behavioural Inhibition and Behavioural Activation System (BIS/BAS) scales were developed by Carver and White (1994) and comprise four scales which measure individual differences in personality (Gray 1982, 1991). More recent modifications, namely the five-factor model derived from Gray and McNaughton's (2000) revised Reward Sensitivity Theory (RST) suggests that Anxiety and Fear are separable components of inhibition. This study employed exploratory and confirmatory factor analyses on the scales in order to test whether the four or five-factor model was the better fit in a sample of 994 participants aged 11–30 years. Consistent with RST, superior model fit was shown for the five-factor model with all variables correlated. Significant age effects were observed for BIS Fear and BIS Anxiety, with scores peaking in middle and late adolescence respectively. The BAS subscales showed differential effects of age group. Significantly increasing scores from early to mid and from mid to late adolescence were found for Drive, but the effect of age on Fun Seeking and Reward Responsiveness was not significant.

Reliability and factorial validity of Adolescent Time Inventory-Time Attitude (ATI-TA) Scores in Scottish and Northern Irish adolescents

The contemporary literature investigating the construct broadly known as time perspective is replete with methodological and conceptual concerns. These concerns focus on the reliability and factorial validity of measurement tools, and the sample-specific modification of scales. These issues continue to hamper the development of this potentially useful psychological construct. An emerging body of evidence has supported the six-factor structure of scores on the Adolescent Time Inventory-Time Attitudes Scale, as well as their reliability. The present study utilized data from the first wave of a longitudinal study in the United Kingdom to examine the reliability, validity, and cross-cultural invariance of the scale. Results showed that the hypothesized six-factor model provided the best fit for the data; all alpha and omega estimates were >. .70; scores on ATI-TA factors related meaningfully to self-efficacy scores; and the factor structure was invariant across both research sites. Results are discussed in the context of the extant temporal literature.

Integrated techno-economic and environmental assessments of sixty scenarios for co-firing biomass with coal and natural gas

Displacement of fossil fuel-based power through biomass co-firing could reduce the greenhouse gas (GHG) emissions from fossil fuels. In this study, data-intensive techno-economic models were developed to evaluate different co-firing technologies as well as the configurations of these technologies. The models were developed to study 60 different scenarios involving various biomass feedstocks (wood chips, wheat straw, and forest residues) co-fired either with coal in a 500 MW subcritical pulverized coal (PC) plant or with natural gas in a 500 MW natural gas combined cycle (NGCC) plant to determine their technical potential and costs, as well as to determine environmental benefits. The results obtained reveal that the fully paid-off coal-fired power plant co-fired with forest residues is the most attractive option, having levelized costs of electricity (LCOE) of $53.12–$54.50/MW h and CO2 abatement costs of $27.41–$31.15/tCO2. When whole forest chips are co-fired with coal in a fully paid-off plant, the LCOE and CO2 abatement costs range from $54.68 to $56.41/MW h and $35.60 to $41.78/tCO2, respectively. The LCOE and CO2 abatement costs for straw range from $54.62 to $57.35/MW h and $35.07 to $38.48/tCO2, respectively.

Can publicly available webcameras and mechanical Turks be used to evaluate physical activity policy and built environment change?

Introduction: Fewer than 50% of adults and 40% of youth meet US CDC guidelines for physical activity (PA) with the built environment (BE) a culprit for limited PA. A challenge in evaluating policy and BE change is the forethought to capture a priori PA behaviors and the ability to eliminate bias in post-change environments. The present objective was to analyze existing public data feeds to quantify effectiveness of BE interventions. The Archive of Many Outdoor Scenes (AMOS) has collected 135 million images of outdoor environments from 12,000 webcams since 2006. Many of these environments have experienced BE change. Methods: One example of BE change is the addition of protected bike lanes and a bike share program in Washington, DC.Weselected an AMOS webcam that captured this change. AMOS captures a photograph from eachwebcamevery half hour.AMOScaptured the 120 webcam photographs between 0700 and 1900 during the first work week of June 2009 and the 120 photographs from the same week in 2010. We used the Amazon Mechanical Turk (MTurk) website to crowd-source the image annotation. MTurk workers were paid US$0.01 to mark each pedestrian, cyclist and vehicle in a photograph. Each image was coded 5 unique times (n=1200). The data, counts of transportation mode, was downloaded to SPSS for analysis. Results: The number of cyclists per scene increased four-fold between 2009 and 2010 (F=36.72, p=0.002). There was no significant increase in pedestrians between the two years, however there was a significant increase in number of vehicles per scene (F=16.81, p

Autonomous COLREGs Compliant Ship Navigation, Using BridgeSimulators and an Unmanned Vessel

This paper presents an approach to COLREGs compliant ship navigation. A system architecture is proposed, which will be implemented and tested on two platforms: networked bridge simulators and at sea trials using an autonomous unmanned surface vessel. Attention is paid to collision avoidance software and its risk mitigation.

Evidence for the reliability and validity, but not the practical utility of the two-factor Consideration of Future Consequences Scale-14

Researchers have proposed 1-factor, 2-factor, and bifactor solutions to the 12-item Consideration of Future Consequences Scale (CFCS-12). In order to overcome some measurement problems and to create a robust and conceptually useful two-factor scale the CFCS-12 was recently modified to include two new items and to become the CFCS-14. Using a University sample, we tested four competing models for the CFCS-14: (a) a 12-item unidimensional model, (b) a model fitted for two uncorrelated factors (CFC-Immediate and CFC-Future), (c) a model fitted for two correlated factors (CFC-I and CFC-F), and (d) a bifactor model. Results suggested that the addition of the two new items has strengthened the viability of a two factor solution of the CFCS-14. Results of linear regression models suggest that the CFC-F factor is redundant. Further studies using alcohol and mental health indicators are required to test this redundancy.

The relationship between time attitudes profiles and self-efficacy, sensation seeking, and alcohol use: An exploratory study

A growing body of research has begun to report on time attitudes which specifically refers to an individual's emotional and evaluative feelings toward the past, the present, and the future. The present study used data from the first wave of a longitudinal cohort study in the United Kingdom. Sample 1 consisted of 1580 adolescents (40% female, 1.7% unreported) in Northern Ireland, while Sample 2 consisted of 813 adolescents (46.7% female, 1.4% unreported) in Scotland. Five similar time attitudes profiles emerged in both countries, with one additional "balanced" profile in Scotland. Results show that there were no substantive differences between profiles in terms of socio-demographic indicators. However, in respect of academic, social and emotional self-efficacy, best results were observed for those with Positive, Ambivalent, and Balanced profiles, with the reverse true for those with Negative, Past Negative, and Pessimistic profiles. Positives were also less likely to report using alcohol.

Experiencing Youth Justice and Penality

Much of the recent literature on youth justice has focused on administrative aspects of the system and the socio-political contexts that have led to the ‘production’ of the youthful offender as a subject and locus of intervention. This has largely been driven by the extent to which youth justice has been crafted as a distinct penal sphere, evident in its unyoking from universal children’s services (Muncie and Goldson, 2013) and the establishment of separate agencies to administer and govern this ‘system’ (Souhami, 2014). Driven by policy hyperactivity and a plethora of legislation expanding the reach of the system, for much of the 1990s and 2000s increasing numbers of young people were brought under its gaze.

Particular attention has been paid to the impact of neo-liberal governance on the discourses, rationales and philosophies underpinning contemporary youth justice policy and practice. Writing specifically in the English and Welsh context, several authors have identified that the resulting ‘system’ embodies multiple, contradictory and competing discourses (Muncie, 2006; Fergusson, 2007; Gray, 2013). Within this ‘melting pot’ Fergusson (2007) notes the disjuncture between policy rhetoric, implementation and lived experience and Phoenix (2015) argues that systems-based analyses, much in favour amongst academics, foreclose a wider consideration of questions of what ‘justice’ actually means.

Recent attention towards the perspectives of practitioners working in this sphere has pointed to greater nuances than broader penal narratives suggest (see: Field, 2007; Briggs, 2013; Gray, 2013; Kelly and Armitage, 2015). Yet similar attention has not been given to experiences of youth justice (for an exception see – Phoenix and Kelly, 2013). However, it is precisely young people’s experiences, which would add significantly to current knowledge and potentially bridge the gap between discussions about penal philosophies, how youth justice policies are framed, how they are enacted and how they are experienced.

This chapter provides an overview of recent developments in the field of youth justice and penality in the United Kingdom. The chapter argues that a theoretical focus on macro-level trends (Hannah-Moffat and Lynch, 2012), alongside a narrowly defined research agenda, have largely excluded young people’s experiences of justice and punishment from contemporary analysis. Drawing on young people experiences of different aspects of youth justice in Northern Ireland and beyond, the chapter illuminates what a close understanding of lived experience can add to knowledge. In particular it demonstrates that the effects of interventions can be different to their aims and intentions; and that re-instating the youth experience can add support to calls for greater attention to wider issues of social justice.