Modelling is for reasoning

In a broad sense, computing is an area of knowledge from which a popular and effective technology emerged long before a solid, specific, scientific methodology, let alone formal foundations, had been put forward. This might explain some of the weaknesses in the software industry, on the one hand, as well as an excessively technology-oriented view which dominates computer science training at pre-university and even undergraduate teaching, on the other. Modelling, understood as the ability to choose the right abstractions for a problem domain, is consensually recognised as essential for the development of true engineering skills in this area, as it is in all other engineering disciplines. But, how can the basic problem-solving strategy, one gets used to from school physics: understand the problem, build a mathematical model, reason within the model, calculate a solution, be taken (and taught) as the standard way of dealing with software design problems? This paper addresses this question, illustrating and discussing the interplay between modelling and reasoning.(undefined

Public health system partnerships and the scope of maternal and child services: a longitudinal study

Local health departments (LHDs) struggle to serve their communities in the face of ongoing fiscal constraints. Fiscal constraints have led to the elimination and reduction of maternal and child health services (MCH). LHDs have used various strategies to minimize the negative impact fiscal constraints of elimination or reduction of services provided to their communities. Many LHDs have used strategies such as developing partnerships. While these strategies are assumed to increase the delivery of services and improve outcomes, there is limited research on the type of partnerships needed to service delivery. Our interest was identifying the type of partnerships associated with an increase in MCH service delivery. We found that our method for identifying partnership types was effective, and that partnerships types are associated with the delivery of maternal and child services. The next step in our work is to conduct in-depth analysis with LHDs to understand the partnership characteristics and MCH services and practices they use to increase service delivery and achieve exceptional health outcomes

Opposite-side flavour tagging of B mesons at the LHCb experiment

The calibration and performance of the oppositeside flavour tagging algorithms used for the measurements of time-dependent asymmetries at the LHCb experiment are described. The algorithms have been developed using simulated events and optimized and calibrated with B + →J/ψK +, B0 →J/ψK ∗0 and B0 →D ∗− μ + νμ decay modes with 0.37 fb−1 of data collected in pp collisions at √ s = 7 TeV during the 2011 physics run. The oppositeside tagging power is determined in the B + → J/ψK + channel to be (2.10 ± 0.08 ± 0.24) %, where the first uncertainty is statistical and the second is systematic

Strong constraints on the rare decays Bs -> mu+ mu- and B0 -> mu+ mu-

A search for Bs -> mu+ mu- and B0 -> mu+ mu- decays is performed using 1.0 fb^-1 of pp collision data collected at \sqrt{s}=7 TeV with the LHCb experiment at the Large Hadron Collider. For both decays the number of observed events is consistent with expectation from background and Standard Model signal predictions. Upper limits on the branching fractions are determined to be BR(Bs -> mu+ mu-) mu+ mu-) < 1.0 (0.81) x 10^-9 at 95% (90%) confidence level.Comment: 2+6 pages; 4 figures; Accepted for publication in Physical Review Letter

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

Determination of the X(3872) meson quantum numbers

The quantum numbers of the X(3872) meson are determined to be JPC=1++ based on angular correlations in B+→X(3872)K+ decays, where X(3872)→π+π-J/ψ and J/ψ→μ+μ-. The data correspond to 1.0  fb-1 of pp collisions collected by the LHCb detector. The only alternative assignment allowed by previous measurements JPC=2-+ is rejected with a confidence level equivalent to more than 8 Gaussian standard deviations using a likelihood-ratio test in the full angular phase space. This result favors exotic explanations of the X(3872) stat

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

Experiences of dental behaviour support techniques: a qualitative systematic review

Background Little is known about patients' or carers' reported experiences of dental care provided using dental behaviour support (DBS) techniques. Qualitative literature can provide unique insight into these experiences. Aim To explore and synthesize qualitative literature related to patient experience of dental behaviour support. Methods A PROSPERO-registered systematic review of qualitative articles was undertaken. Studies were identified through MEDLINE, Embase and PsycINFO. Abstracts were screened by two reviewers and data were extracted to summarize the qualitative findings included within them. A thematic summary approach was used to synthesize the qualitative data identified. Results Twenty-three studies were included. Studies primarily explored experiences of dental care of children by speaking to their parents (n = 16), particularly regarding paediatric dental general anaesthesia (DGA) (n = 8). Studies of adults' experiences of DBS (n = 7) covered a range of techniques. Nine studies explored broader dental care experiences and did not study specific DBS approaches. A thematic synthesis identified five themes applicable across the studies identified: Trust and the therapeutic alliance supporting effective care delivery; considered information sharing often alleviated anticipatory anxiety; control and autonomy-reduced anxieties; variations in the perceived treatment successes and failures of DBS techniques; and DBS techniques produced longer positive and negative impacts on patients beyond direct care provision. Conclusion Qualitative research has been under-utilized in research on DBS techniques. Care experiences of most DBS techniques outside of paediatric DGA are poorly understood. Building trust with patients and enabling autonomy appear to support positive patient-reported experiences of care

First evidence of direct CP violation in charmless two-body decays of Bs0 mesons

Using a data sample corresponding to an integrated luminosity of 0.35 fb(-1) collected by LHCb in 2011, we report the first evidence of CP violation in the decays of B-s(0) mesons to K-+/-pi(-/+)pairs, A(CP)(B-s(0) -> K pi) = 0.27 +/- 0.08(stat) +/- 0.02(syst), with a significance of 3.3 sigma. Furthermore, we report the most precise measurement of CP violation in the decays of B-0 mesons to K-+/-pi(-/+) pairs, A(CP)(B-0 -> K pi) = -0.088 +/- 0.011(stat) +/- 0.008(syst), with a significance exceeding 6 sigma. RI Galli, Domenico/A-1606-2012; Coca, Cornelia/B-6015-2012; Petrolini, Alessandro/H-3782-2011; Sarti, Alessio/I-2833-2012; Carbone, Angelo/C-8289-2012; manca, giulia/I-9264-2012; de Paula, Leandro/I-9278-2012; Patrignani, Claudia/C-5223-2009; Marconi, Umberto/J-2263-2012; de Simone, Patrizia/J-3549-2012; Cardini, Alessandro/J-5736-2012; Teodorescu, Eliza/K-3044-201