269 research outputs found
Concurrent Bounded Model Checking
The Definitive Version can be found in the ACM Digital Library here: http://dx.doi.org/10.1145/2693208.2693240issue_date: January 2015 numpages: 5 acmid: 2693240 keywords: Bounded Model Checking, Concurrency, Symbolic Executionissue_date: January 2015 numpages: 5 acmid: 2693240 keywords: Bounded Model Checking, Concurrency, Symbolic Executionissue_date: January 2015 numpages: 5 acmid: 2693240 keywords: Bounded Model Checking, Concurrency, Symbolic Executio
Improving biosecurity: A necessity for aquaculture sustainability
The implementation of biosecurity measures is vital to the future development of aquaculture, if the culture of aquatic species is to make it possible to feed the global human population by 2030. Biosecurity includes control of the spread of aquatic plant and animal diseases and invasive pests, and the production of products that are safe to eat. For controls on diseases and invasive pests, it is necessary to implement programmes that involve all regional countries. Lessons from measures implemented in Asia need to be expanded/upscaled in Latin America, Africa and other emerging aquaculture regions. Such development will make countries more self sufficient and will feed local populations.
Globally, there is good evidence that aquatic animal diseases and invasive animal and plant pests are being spread by hull fouling and ballast water in shipping, and serious aquatic animal diseases by the international trade in ornamental fish. While there has been a growing awareness of the danger of ballast water transfer, hull fouling remains a serious problem. It is widely recognized that ornamental fish present a disease risk, but individual countries have tried to address this alone, and there has not been an international effort to control the trade.
Developments in genetics and molecular biology hold great potential for disease control, either by breeding for disease resistance, or by the use of rapid, specific, culture site testing. Currently, there is no evidence that the use of antibiotics in aquaculture poses a threat to human health or that antibiotic-resistant strains have developed; however, the future use of genetically modified aquatic organisms (GMOs) may negate the need for chemotherapy. Cultured aquatic organisms, selected for disease resistance or rapid growth, are likely to become more acceptable, and probably necessary, to feed the rapidly growing global population.
Most global aquaculture occurs in developing Asian countries, in which aquaculture products can harbor zoonotic parasites, and there is a need to treat such products to negate the threat of parasitic zoonoses and permit international export. Climate change is likely to be a major influence on aquaculture in the future, with impacts on coastal aquaculture through increased sea levels affecting coastlines, and acidification. To feed the growing global population, it will be necessary to culture new species, for which research on diseases and invasiveness will be necessary to acquire the information necessary to implement biosecurity measures
Measurement of the branching fraction
The branching fraction is measured in a data sample
corresponding to 0.41 of integrated luminosity collected with the LHCb
detector at the LHC. This channel is sensitive to the penguin contributions
affecting the sin2 measurement from The
time-integrated branching fraction is measured to be . This is the most precise measurement to
date
Measurement of the CP-violating phase \phi s in Bs->J/\psi\pi+\pi- decays
Measurement of the mixing-induced CP-violating phase phi_s in Bs decays is of
prime importance in probing new physics. Here 7421 +/- 105 signal events from
the dominantly CP-odd final state J/\psi pi+ pi- are selected in 1/fb of pp
collision data collected at sqrt{s} = 7 TeV with the LHCb detector. A
time-dependent fit to the data yields a value of
phi_s=-0.019^{+0.173+0.004}_{-0.174-0.003} rad, consistent with the Standard
Model expectation. No evidence of direct CP violation is found.Comment: 15 pages, 10 figures; minor revisions on May 23, 201
Model-independent search for CP violation in D0→K−K+π−π+ and D0→π−π+π+π− decays
A search for CP violation in the phase-space structures of D0 and View the MathML source decays to the final states K−K+π−π+ and π−π+π+π− is presented. The search is carried out with a data set corresponding to an integrated luminosity of 1.0 fb−1 collected in 2011 by the LHCb experiment in pp collisions at a centre-of-mass energy of 7 TeV. For the K−K+π−π+ final state, the four-body phase space is divided into 32 bins, each bin with approximately 1800 decays. The p-value under the hypothesis of no CP violation is 9.1%, and in no bin is a CP asymmetry greater than 6.5% observed. The phase space of the π−π+π+π− final state is partitioned into 128 bins, each bin with approximately 2500 decays. The p-value under the hypothesis of no CP violation is 41%, and in no bin is a CP asymmetry greater than 5.5% observed. All results are consistent with the hypothesis of no CP violation at the current sensitivity
Search for the lepton-flavor-violating decays Bs0→e±μ∓ and B0→e±μ∓
A search for the lepton-flavor-violating decays Bs0→e±μ∓ and B0→e±μ∓ is performed with a data sample, corresponding to an integrated luminosity of 1.0 fb-1 of pp collisions at √s=7 TeV, collected by the LHCb experiment. The observed number of Bs0→e±μ∓ and B0→e±μ∓ candidates is consistent with background expectations. Upper limits on the branching fractions of both decays are determined to be B(Bs0→e±μ∓)101 TeV/c2 and MLQ(B0→e±μ∓)>126 TeV/c2 at 95% C.L., and are a factor of 2 higher than the previous bounds
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
Measurement of the ratio of branching fractions BR(B0 -> K*0 gamma)/BR(Bs0 -> phi gamma) and the direct CP asymmetry in B0 -> K*0 gamma
The ratio of branching fractions of the radiative B decays B0 -> K*0 gamma
and Bs0 phi gamma has been measured using an integrated luminosity of 1.0 fb-1
of pp collision data collected by the LHCb experiment at a centre-of-mass
energy of sqrt(s)=7 TeV. The value obtained is BR(B0 -> K*0 gamma)/BR(Bs0 ->
phi gamma) = 1.23 +/- 0.06(stat.) +/- 0.04(syst.) +/- 0.10(fs/fd), where the
first uncertainty is statistical, the second is the experimental systematic
uncertainty and the third is associated with the ratio of fragmentation
fractions fs/fd. Using the world average value for BR(B0 -> K*0 gamma), the
branching fraction BR(Bs0 -> phi gamma) is measured to be (3.5 +/- 0.4) x
10^{-5}.
The direct CP asymmetry in B0 -> K*0 gamma decays has also been measured with
the same data and found to be A(CP)(B0 -> K*0 gamma) = (0.8 +/- 1.7(stat.) +/-
0.9(syst.))%.
Both measurements are the most precise to date and are in agreement with the
previous experimental results and theoretical expectations.Comment: 21 pages, 3 figues, 4 table
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
- …