Goal-conflict detection based on temporal satisfiability checking

Goal-oriented requirements engineering approaches propose capturing how a system should behave through the speci ca- tion of high-level goals, from which requirements can then be systematically derived. Goals may however admit subtle situations that make them diverge, i.e., not be satis able as a whole under speci c circumstances feasible within the domain, called boundary conditions . While previous work al- lows one to identify boundary conditions for con icting goals written in LTL, it does so through a pattern-based approach, that supports a limited set of patterns, and only produces pre-determined formulations of boundary conditions. We present a novel automated approach to compute bound- ary conditions for general classes of con icting goals expressed in LTL, using a tableaux-based LTL satis ability procedure. A tableau for an LTL formula is a nite representation of all its satisfying models, which we process to produce boundary conditions that violate the formula, indicating divergence situations. We show that our technique can automatically produce boundary conditions that are more general than those obtainable through existing previous pattern-based approaches, and can also generate boundary conditions for goals that are not captured by these patterns

Instruments for investigating fitness to drive - needs and expectations in primary care: a qualitative study

Background: Primary care physicians are often requested to assess their patients' fitness to drive. Little is however known on their needs to help them in this task. Aims: The aim of this study is to develop theories on needs, expectations, and barriers for clinical instruments helping physicians assess fitness to drive in primary care. Methods: This qualitative study used semi-structured interviews to investigate needs and expectations for instruments used to assess fitness to drive. From August 2011 to April 2013, we recorded opinions from five experts in traffic medicine, five primary care physicians, and five senior drivers. All interviews were integrally transcribed. Two independent researchers extracted, coded, and stratified categories relying on multi-grounded theory. All participants validated the final scheme. Results: Our theory suggests that for an instruments assessing fitness to drive to be implemented in primary care, it need to contribute to the decisional process. This requires at least five conditions: 1) it needs to reduce the range of uncertainty, 2) it needs to be adapted to local resources and possibilities, 3) it needs to be accepted by patients, 4) choices of tasks need to adaptable to clinical conditions, 5) and interpretation of results need to remain dependant of each patient's context. Discussion and conclusions: Most existing instruments assessing fitness to drive are not designed for primary care settings. Future instruments should also aim to support patient-centred dialogue, help anticipate driving cessation, and offer patients the opportunity to freely take their own decision on driving cessation as often as possible

The trail making test as a screening instrument for driving performance in older drivers; a translational research.

BACKGROUND: In many countries, primary care physicians determine whether or not older drivers are fit to drive. Little, however, is known regarding the effects of cognitive decline on driving performance and the means to detect it. This study explores to what extent the trail making test (TMT) can provide indications to clinicians about their older patients' on-road driving performance in the context of cognitive decline. METHODS: This translational study was nested within a cohort study and an exploratory psychophysics study. The target population of interest was constituted of older drivers in the absence of important cognitive or physical disorders. We therefore recruited and tested 404 home-dwelling drivers, aged 70 years or more and in possession of valid drivers' licenses, who volunteered to participate in a driving refresher course. Forty-five drivers also agreed to undergo further testing at our lab. On-road driving performance was evaluated by instructors during a 45 minute validated open-road circuit. Drivers were classified as either being excellent, good, moderate, or poor depending on their score on a standardized evaluation of on-road driving performance. RESULTS: The area under the receiver operator curve for detecting poorly performing drivers was 0.668 (CI95% 0.558 to 0.778) for the TMT-A, and 0.662 (CI95% 0.542 to 0.783) for the TMT-B. TMT was related to contrast sensitivity, motion direction, orientation discrimination, working memory, verbal fluency, and literacy. Older patients with a TMT-A ≥ 54 seconds or a TMT-B ≥ 150 seconds have a threefold (CI95% 1.3 to 7.0) increased risk of performing poorly during the on-road evaluation. TMT had a sensitivity of 63.6%, a specificity of 64.9%, a positive predictive value of 9.5%, and a negative predictive value of 96.9%. CONCLUSION: In screening settings, the TMT would have clinicians uselessly consider driving cessation in nine drivers out of ten. Given the important negative impact this could have on older drivers, this study confirms the TMT not to be specific enough for clinicians to justify driving cessation without complementary investigations on driving behaviors

As a Matter of Factions: The Budgetary Implications of Shifting Factional Control in Japan’s LDP

For 38 years, the Liberal Democratic Party (LDP) maintained single-party control over the Japanese government. This lack of partisan turnover in government has frustrated attempts to explain Japanese government policy changes using political variables. In this paper, we look for intraparty changes that may have led to changes in Japanese budgetary policy. Using a simple model of agenda-setting, we hypothesize that changes in which intraparty factions “control” the LDP affect the party’s decisions over spending priorities systematically. This runs contrary to the received wisdom in the voluminous literature on LDP factions, which asserts that factions, whatever their raison d’être, do not exhibit different policy preferences. We find that strong correlations do exist between which factions comprise the agenda-setting party “mainstream” and how the government allocates spending across pork-barrel and public goods items

Single-photon-emitting optical centers in diamond fabricated upon Sn implantation

The fabrication of luminescent defects in single-crystal diamond upon Sn implantation and annealing is reported. The relevant spectral features of the optical centers (emission peaks at 593.5 nm, 620.3 nm, 630.7 nm and 646.7 nm) are attributed to Sn-related defects through the correlation of their photoluminescence (PL) intensity with the implantation fluence. Single Sn-related defects were identified and characterized through the acquisition of their second-order auto-correlation emission functions, by means of Hanbury-Brown-Twiss interferometry. The investigation of their single-photon emission regime as a function of excitation laser power revealed that Sn-related defects are based on three-level systems with a 6 ns radiative decay lifetime. In a fraction of the studied centers, the observation of a blinking PL emission is indicative of the existence of a dark state. Furthermore, absorption dependence from the polarization of the excitation radiation with about 45 percent contrast was measured. This work shed light on the existence of a new optical center associated with a group-IV impurity in diamond, with similar photo-physical properties to the already well-known Si-V and Ge-V emitters, thus providing results of interest from both the fundamental and applicative points of view.Comment: 10 pages, 4 figure

Little-studied arc-backarc system in the spotlight

A research cruise has documented changes in rift tectonics, volcanism, and hydrothermalism along the least studied and most enigmatic sector of a crustal complex in the southwest Pacific Ocean. Results from the longitudinal transect are expected to provide insight into processes involving the Kermadec arc-Havre backarc (KAHB) system, a continuum from oceanic spreading to continental rifting at a convergent plate boundary KAHB forms the central sector of an active, 2000-km arc-backarc complex between Tonga and New Zealand (Figure 1). The expedition also engaged in the first comprehensive survey of submarine vents in the Taupo Volcanic Zone (TVZ) at the south end of the KAHB system. Identified in the off-shore segment of TVZ were three major hydrothermal vent areas associated with late Quaternary fault structures. Data from the expedition and from other recent research in the same area addressed questions concerning the type of hydrothermal venting, magmatic heterogeneity along and across KAHB, the style of backarc rifting, and tectonic and magmatic consequences of anomalous terranes colliding with the subduction margin

Content of Iodine in Broiler Meat

The present study brings current information on providing broilers with the required iodine level by the determination of its content in breast and leg muscles and on the relationship between those concentrations and iodine intake by the human population. The iodine content was assessed by the Sandell-Kolthoff method in 84 samples of broiler breast and leg muscles from seven farms in four districts of the Czech Republic, collected during the period from August to September 2004. Average iodine content in broiler breast and leg muscles was 18.9 ± 6.71 μg I kg-1 and 38.1 ± 19.79 μg I kg-1, respectively, and coefficient of variation was 35.5% and 52.0%, respectively. Iodine concentration in leg muscles was statistically significantly higher (P -1 and 18.3 to 61.2 μg I kg-1 in breast and leg muscles, respectively. The detected variations might have been caused by different iodine saturation of broilers from different herds, manifestation of physiological ability of respective animals to utilize the iodine source, potential effect of goitrogens and environmental conditions. Statistical significance of correlation (P -1 and 38.1 μg kg-1 in breast and leg muscles, respectively, the annual iodine intake is 452 to 911 μg; that represents 0.8 to 1.7% of the requirement per year, which is 150 μg day-1 for an adult person