Modal Logics of Topological Relations

Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity

Evidence-based policy on dietary calcium and vitamin D

Copyright © 2011 American Society for Bone and Mineral Research.Peer reviewedPostprin

Current conservation in two-dimensional AC-transport

The electric current conservation in a two-dimensional quantum wire under a time dependent field is investigated. Such a conservation is obtained as the global density of states contribution to the emittance is balanced by the contribution due to the internal charge response inside the sample. However when the global partial density of states is approximately calculated using scattering matrix only, correction terms are needed to obtain precise current conservation. We have derived these corrections analytically using a specific two-dimensional system. We found that when the incident energy $E$ is near the first subband, our result reduces to the one-dimensional result. As $E$ approaches to the $n$-th subband with $n>1$, the correction term diverges. This explains the systematic deviation to precise current conservation observed in a previous numerical calculation.Comment: 12 pages Latex, submitted to Phys. Rev.

Search for WW and WZ production in lepton plus jets final state at CDF

We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in sqrt(s) = 1.96 TeV ppbar collisions at the Fermilab Tevatron, using data corresponding to 1.2 fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of sigma_{WW}* BR(W->lnu,W->jets)+ sigma_{WZ}*BR(W->lnu,Z->jets)We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in √s=1.96  TeV pp̅ collisions at the Fermilab Tevatron, using data corresponding to 1.2  fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of σWW×BR(W→ℓνℓ,W→jets)+σWZ×BR(W→ℓνℓ,Z→jets)<2.88  pb, which is consistent with the standard model next-to-leading-order cross section calculation for this decay channel of 2.09±0.12  pb.Peer reviewe

On-line case discussion assessment in Ultrasound: The effect on student centred and inter-professional learning

In 2009 an asynchronous on-line case discussion assessment was introduced, to replace an existing traditional case-study assessment, within the Medical Ultrasound Programmes at City University London, to help extend collaborative, interprofessional student-led learning skills. Two clinical modules were used to develop the on-line learning method with associated assessments. Students selected and led a clinical case from their department, uploaded anonymised images and case details with questions, to encourage interaction from other colleagues. Thirty students participated in the on-line case discussions. The assessment was evaluated via informal feedback, end of module feedback and an on-line questionnaire. Some students completed two modules, using the on-line discussion, others were involved in only one module, of which 21 out of 26 students completed end of module feedback for the 1st module and 18 out of 20 students completed feedback from the 2nd module. Twelve students out of 30 completed the on-line questionnaire. Feedback suggested that the on-line case discussions were a good learning tool, providing a wide range of cases for students to participate in or read and learn from each other. All students found the cases interesting, engaging and useful, but time consuming. Despite the small numbers involved, useful feedback was provided to assist further development of the assessment, particularly in relation to the number of cases being assessed and length of availability. On-line case discussions are an innovative, engaging method to encourage self directed, collaborative learning which could be utilised in the health care setting to share interesting cases, promote inter-professional and self-directed learning

Spectro-microscopy of single and multi-layer graphene supported by a weakly interacting substrate

We report measurements of the electronic structure and surface morphology of exfoliated graphene on an insulating substrate using angle-resolved photoemission and low energy electron diffraction. Our results show that although exfoliated graphene is microscopically corrugated, the valence band retains a massless fermionic dispersion, with a Fermi velocity of ~10^6 m/s. We observe a close relationship between the morphology and electronic structure, which suggests that controlling the interaction between graphene and the supporting substrate is essential for graphene device applications.Comment: 10 pages of text, 4 JPEG figure

Is the Framingham Coronary Heart Disease Absolute Risk Function Applicable to Aboriginal People?

Objective: To determine the extent to which the Framingham function predicts the risk of coronary heart disease (CHD) in Aboriginal people. Design and setting: Cohort study in an Aboriginal community in the Northern Territory. Participants: 687 Aboriginal people aged 20-74 years were followed up from a baseline examination in 1992-1995 through to 31 December 2003. Main outcome measure: First CHD events were identified through hospital and death records during the follow-up period. Methods: An original Framingham function was used to predict CHD risk according to the duration of follow-up and the values of traditional risk factors, which included age, sex, total cholesterol level, high-density lipoprotein (HDL) cholesterol level, blood pressure, the presence of diabetes, and smoking status. The predicted CHD incidence using the Framingham function was 4.4 per 1000 person-years, while the observed incidence was 11.0 (95% CI, 8.7-13.9) per 1000 person-years. The observed number of CHD events (68) was 2.5 times the number predicted (27) using the Framingham function. The observed incidence was about four and three times the predicted incidence for age groups < 35 and 35-44 years, respectively, and about twice the predicted incidence for those over 45 years of age. The Framingham function was a particularly unreliable predictor for women, especially younger women, in whom the observed CHD rate was 30 times the predicted rate. Conclusions: The Framingham function substantially underestimates the actual risk of CHD observed in Aboriginal people in a remote community, especially for women and younger adults. This implies that traditional risk factors have different degrees of impact and/or that other factors are contributing to risk. A population-specific risk function is needed

Relationship between spatial proximity and travel-to-work distance : the effect of the compact city

In this paper, an assessment is made of the relationship between selected aspects of spatial proximity (density, diversity, minimum commuting distance, jobs-housing balance and job accessibility) and reported commuting distances in Flanders (Belgium). Results show that correlations may depend on the considered trip end. For example, a high residential density, a high degree of spatial diversity and a high level of job accessibility are all associated with a short commute by residents, while a high job density is associated with a long commute by employees. A jobs-housing balance close to one is associated with a short commute, both by residents and by employees. In general, it appears that the alleged sustainability benefits of the compact city model are still valid in a context of continuously expanding commuting trip lengths

Callers’ attitudes and experiences of UK breastfeeding helpline support

Background: Breastfeeding peer support, is considered to be a key intervention for increasing breastfeeding duration rates. Whilst a number of national organisations provide telephone based breastfeeding peer support, to date there have been no published evaluations into callers’ experiences and attitudes of this support. In this study we report on the descriptive and qualitative insights provided by 908 callers as part of an evaluation of UK-based breastfeeding helpline(s). Methods: A structured telephone interview, incorporating Likert scale responses and open-ended questions was undertaken with 908 callers over May to August, 2011 to explore callers’ experiences of the help and support received via the breastfeeding helpline(s). Results: Overall satisfaction with the helpline was high, with the vast majority of callers’ recalling positive experiences of the help and support received. Thematic analysis was undertaken on all qualitative and descriptive data recorded during the evaluation, contextualised within the main areas addressed within the interview schedule in terms of ‘contact with the helplines’; ‘experiences of the helpline service’, ‘perceived effectiveness of support provision’ and ‘impact on caller wellbeing’. Conclusion: Callers valued the opportunity for accessible, targeted, non-judgmental and convenient support. Whilst the telephone support did not necessarily influence women’s breastfeeding decisions, the support they received left them feeling reassured, confident and more determined to continue breastfeeding. We recommend extending the helpline service to ensure support can be accessed when needed, and ongoing training and support for volunteers. Further advertising and promotion of the service within wider demographic groups is warranted

The Mesozoic along-strike tectono-metamorphic segmentation of Longmen Shan (eastern Tibetan plateau)

The Longmen Shan belt (eastern border of the Tibetan plateau) constitutes a tectonically active region as demonstrated by the occurrence of the unexpected 2008 Mw 7.9 Wenchuan and 2013 Mw 6.6 Lushan earthquakes in the central and southern parts of the belt respectively. These events revealed the necessity of a better understanding of the long‐term geological evolution of the belt and its effect on the present dynamics and crustal structure. New structural and thermobarometric data offer a comprehensive dataset of the paleo‐temperatures across the belt and P‐T estimates for low‐grade metamorphic domains. In the central Longmen Shan, two metamorphic jumps of 150‐200°C, 5‐6 kbar and ~50 °C, 3‐5 kbar acquired during the Early Mesozoic are observed across the Wenchuan and Beichuan faults respectively, attesting to their thrusting movement and unrevealing a major decollement between the allochtonous Songpan‐Garze metasedimentary cover (at T > 500°C) and the autochtonous units and the basement (T < 400°C). In the southern Longmen Shan, the only greenschist‐facies metamorphism is observed both in the basement (360 ± 30°C, 6 ± 2 kbar) and in the metasedimentary cover (350 ± 30°C, 3 ± 1 kbar). Peak conditions were reached at c. 80‐60 Ma in the basement and c. 55‐33 Ma in the cover, c. 50 Ma after the greenschist‐facies metamorphic overprint observed in the central Longmen Shan (c. 150‐120 Ma). This along‐strike metamorphic segmentation coincides well with the present fault segmentation and reveals that the central and southern Longmen Shan experienced different tectono‐metamorphic histories since the Mesozoic