| 1. |
- Abelev, Betty, et al.
(författare)
-
Measurement of prompt J/psi and beauty hadron production cross sections at mid-rapidity in pp collisions at root s=7 TeV
- 2012
-
Ingår i: Journal of High Energy Physics. - 1029-8479. ; :11
-
Tidskriftsartikel (refereegranskat)abstract
- The ALICE experiment at the LHC has studied J/psi production at mid-rapidity in pp collisions at root s = 7 TeV through its electron pair decay on a data sample corresponding to an integrated luminosity L-int = 5.6 nb(-1). The fraction of J/psi from the decay of long-lived beauty hadrons was determined for J/psi candidates with transverse momentum p(t) > 1,3 GeV/c and rapidity vertical bar y vertical bar < 0.9. The cross section for prompt J/psi mesons, i.e. directly produced J/psi and prompt decays of heavier charmonium states such as the psi(2S) and chi(c) resonances, is sigma(prompt J/psi) (p(t) > 1.3 GeV/c, vertical bar y vertical bar < 0.9) = 8.3 +/- 0.8(stat.) +/- 1.1 (syst.)(-1.4)(+1.5) (syst. pol.) mu b. The cross section for the production of b-hadrons decaying to J/psi with p(t) > 1.3 GeV/c and vertical bar y vertical bar < 0.9 is a sigma(J/psi <- hB) (p(t) > 1.3 GeV/c, vertical bar y vertical bar < 0.9) = 1.46 +/- 0.38 (stat.)(-0.32)(+0.26) (syst.) mu b. The results are compared to QCD model predictions. The shape of the p(t) and y distributions of b-quarks predicted by perturbative QCD model calculations are used to extrapolate the measured cross section to derive the b (b) over bar pair total cross section and d sigma/dy at mid-rapidity.
|
|
| 2. |
- Abelev, Betty, et al.
(författare)
-
Underlying Event measurements in pp collisions at root s=0.9 and 7 TeV with the ALICE experiment at the LHC
- 2012
-
Ingår i: Journal of High Energy Physics. - 1029-8479. ; :7
-
Tidskriftsartikel (refereegranskat)abstract
- We present measurements of Underlying Event observables in pp collisions at root s = 0 : 9 and 7 TeV. The analysis is performed as a function of the highest charged-particle transverse momentum p(T),L-T in the event. Different regions are defined with respect to the azimuthal direction of the leading (highest transverse momentum) track: Toward, Transverse and Away. The Toward and Away regions collect the fragmentation products of the hardest partonic interaction. The Transverse region is expected to be most sensitive to the Underlying Event activity. The study is performed with charged particles above three different p(T) thresholds: 0.15, 0.5 and 1.0 GeV/c. In the Transverse region we observe an increase in the multiplicity of a factor 2-3 between the lower and higher collision energies, depending on the track p(T) threshold considered. Data are compared to PYTHIA 6.4, PYTHIA 8.1 and PHOJET. On average, all models considered underestimate the multiplicity and summed p(T) in the Transverse region by about 10-30%.
|
|
| 3. |
- Blunden, Jessica, et al.
(författare)
-
State of the Climate in 2012
- 2013
-
Ingår i: Bulletin of The American Meteorological Society - (BAMS). - 0003-0007 .- 1520-0477. ; 94:8, s. S1-S258
-
Tidskriftsartikel (refereegranskat)abstract
- For the first time in serveral years, the El Nino-Southern Oscillation did not dominate regional climate conditions around the globe. A weak La Ni a dissipated to ENSOneutral conditions by spring, and while El Nino appeared to be emerging during summer, this phase never fully developed as sea surface temperatures in the eastern conditions. Nevertheless, other large-scale climate patterns and extreme weather events impacted various regions during the year. A negative phase of the Arctic Oscillation from mid-January to early February contributed to frigid conditions in parts of northern Africa, eastern Europe, and western Asia. A lack of rain during the 2012 wet season led to the worst drought in at least the past three decades for northeastern Brazil. Central North America also experienced one of its most severe droughts on record. The Caribbean observed a very wet dry season and it was the Sahel's wettest rainy season in 50 years. Overall, the 2012 average temperature across global land and ocean surfaces ranked among the 10 warmest years on record. The global land surface temperature alone was also among the 10 warmest on record. In the upper atmosphere, the average stratospheric temperature was record or near-record cold, depending on the dataset. After a 30-year warming trend from 1970 to 1999 for global sea surface temperatures, the period 2000-12 had little further trend. This may be linked to the prevalence of La Ni a-like conditions during the 21st century. Heat content in the upper 700 m of the ocean remained near record high levels in 2012. Net increases from 2011 to 2012 were observed at 700-m to 2000-m depth and even in the abyssal ocean below. Following sharp decreases in to the effects of La Ni a, sea levels rebounded to reach records highs in 2012. The increased hydrological cycle seen in recent years continued, with more evaporation in drier locations and more precipitation in rainy areas. In a pattern that has held since 2004, salty areas of the ocean surfaces and subsurfaces were anomalously salty on average, while fresher areas were anomalously fresh. Global tropical cyclone activity during 2012 was near average, with a total of 84 storms compared with the 1981-2010 average of 89. Similar to 2010 and 2011, the North Atlantic was the only hurricane basin that experienced above-normal activity. In this basin, Sandy brought devastation to Cuba and parts of the eastern North American seaboard. All other basins experienced either near-or below-normal tropical cyclone activity. Only three tropical cyclones reached Category 5 intensity-all in Bopha became the only storm in the historical record to produce winds greater than 130 kt south of 7 N. It was also the costliest storm to affect the Philippines and killed more than 1000 residents. Minimum Arctic sea ice extent in September and Northern Hemisphere snow cover extent in June both reached new record lows. June snow cover extent is now declining at a faster rate (-17.6% per decade) than September sea ice extent (-13.0% per decade). Permafrost temperatures reached record high values in northernmost Alaska. A new melt extent record occurred on 11-12 July on the Greenland ice sheet; 97% of the ice sheet showed some form of melt, four times greater than the average melt for this time of year. The climate in Antarctica was relatively stable overall. The largest maximum sea ice extent since records begain in 1978 was observed in September 2012. In the stratosphere, warm air led to the second smallest ozone hole in the past two decades. Even so, the springtime ozone layer above Antarctica likely will not return to its early 1980s state until about 2060. Following a slight decline associated with the global 2 emissions from fossil fuel combustion and cement production reached a record 9.5 +/- 0.5 Pg C in 2011 and a new record of 9.7 +/- 0.5 Pg C is estimated for 2012. Atmospheric CO2 concentrations increased by 2.1 ppm in 2012, to 392.6 ppm. In spring 2012, 2 concentration exceeded 400 ppm at 7 of the 13 Arctic observation sites. Globally, other greenhouse gases including methane and nitrous oxide also continued to rise in concentration and the combined effect now represents a 32% increase in radiative forcing over a 1990 baseline. Concentrations of most ozone depleting substances continued to fall.
|
|
| 4. |
- Achberger, Christine, 1968, et al.
(författare)
-
State of the Climate in 2011
- 2012
-
Ingår i: Bulletin of the American Meteorological Society. - 0003-0007. ; 93:7
-
Tidskriftsartikel (refereegranskat)abstract
- Large-scale climate patterns influenced temperature and weather patterns around the globe in 2011. In particular, a moderate-to-strong La Nina at the beginning of the year dissipated during boreal spring but reemerged during fall. The phenomenon contributed to historical droughts in East Africa, the southern United States, and northern Mexico, as well the wettest two-year period (2010-11) on record for Australia, particularly remarkable as this follows a decade-long dry period. Precipitation patterns in South America were also influenced by La Nina. Heavy rain in Rio de Janeiro in January triggered the country's worst floods and landslides in Brazil's history. The 2011 combined average temperature across global land and ocean surfaces was the coolest since 2008, but was also among the 15 warmest years on record and above the 1981-2010 average. The global sea surface temperature cooled by 0.1 degrees C from 2010 to 2011, associated with cooling influences of La Nina. Global integrals of upper ocean heat content for 2011 were higher than for all prior years, demonstrating the Earth's dominant role of the oceans in the Earth's energy budget. In the upper atmosphere, tropical stratospheric temperatures were anomalously warm, while polar temperatures were anomalously cold. This led to large springtime stratospheric ozone reductions in polar latitudes in both hemispheres. Ozone concentrations in the Arctic stratosphere during March were the lowest for that period since satellite records began in 1979. An extensive, deep, and persistent ozone hole over the Antarctic in September indicates that the recovery to pre-1980 conditions is proceeding very slowly. Atmospheric carbon dioxide concentrations increased by 2.10 ppm in 2011, and exceeded 390 ppm for the first time since instrumental records began. Other greenhouse gases also continued to rise in concentration and the combined effect now represents a 30% increase in radiative forcing over a 1990 baseline. Most ozone depleting substances continued to fall. The global net ocean carbon dioxide uptake for the 2010 transition period from El Nino to La Nina, the most recent period for which analyzed data are available, was estimated to be 1.30 Pg C yr(-1), almost 12% below the 29-year long-term average. Relative to the long-term trend, global sea level dropped noticeably in mid-2010 and reached a local minimum in 2011. The drop has been linked to the La Nina conditions that prevailed throughout much of 2010-11. Global sea level increased sharply during the second half of 2011. Global tropical cyclone activity during 2011 was well-below average, with a total of 74 storms compared with the 1981-2010 average of 89. Similar to 2010, the North Atlantic was the only basin that experienced above-normal activity. For the first year since the widespread introduction of the Dvorak intensity-estimation method in the 1980s, only three tropical cyclones reached Category 5 intensity level-all in the Northwest Pacific basin. The Arctic continued to warm at about twice the rate compared with lower latitudes. Below-normal summer snowfall, a decreasing trend in surface albedo, and above-average surface and upper air temperatures resulted in a continued pattern of extreme surface melting, and net snow and ice loss on the Greenland ice sheet. Warmer-than-normal temperatures over the Eurasian Arctic in spring resulted in a new record-low June snow cover extent and spring snow cover duration in this region. In the Canadian Arctic, the mass loss from glaciers and ice caps was the greatest since GRACE measurements began in 2002, continuing a negative trend that began in 1987. New record high temperatures occurred at 20 m below the land surface at all permafrost observatories on the North Slope of Alaska, where measurements began in the late 1970s. Arctic sea ice extent in September 2011 was the second-lowest on record, while the extent of old ice (four and five years) reached a new record minimum that was just 19% of normal. On the opposite pole, austral winter and spring temperatures were more than 3 degrees C above normal over much of the Antarctic continent. However, winter temperatures were below normal in the northern Antarctic Peninsula, which continued the downward trend there during the last 15 years. In summer, an all-time record high temperature of -12.3 degrees C was set at the South Pole station on 25 December, exceeding the previous record by more than a full degree. Antarctic sea ice extent anomalies increased steadily through much of the year, from briefly setting a record low in April, to well above average in December. The latter trend reflects the dispersive effects of low pressure on sea ice and the generally cool conditions around the Antarctic perimeter.
|
|
| 5. |
- Adolph, C., et al.
(författare)
-
Azimuthal asymmetries of charged hadrons produced in high-energy muon scattering off longitudinally polarised deuterons
- 2018
-
Ingår i: European Physical Journal C. - : SPRINGER. - 1434-6044 .- 1434-6052. ; 78:11
-
Tidskriftsartikel (refereegranskat)abstract
- Single hadron azimuthal asymmetries of positive and negative hadrons produced in muon semi-inclusive deep inelastic scattering off longitudinally polarised deuterons are determined using the 2006 COMPASS data and also combined all deuteron COMPASS data. For each hadron charge, the dependence of the azimuthal asymmetry on the hadron azimuthal angle f is obtained by means of a fiveparameter fitting function that besides a f-independent term includes four modulations predicted by theory: sin f, sin 2f, sin 3f and cos f. The amplitudes of the five terms have been extracted, first, for the hadrons in the whole available kinematic region. In further fits, performed for hadrons from a restricted kinematic region, the f-dependence is determined as a function of one of three variables (Bjorken-x, fractional energy of virtual photon taken by the outgoing hadron and hadron transverse momentum), while disregarding the others. Except thef-independent term, all themodulation amplitudes are very small, and no clear kinematic dependence could be observed within experimental uncertainties.
|
|
| 6. |
- Adolph, C., et al.
(författare)
-
Final COMPASS results on the deuteron spin-dependent structure function g(1)(d) and the Bjorken sum rule
- 2017
-
Ingår i: Physics Letters B. - : Elsevier BV. - 0370-2693 .- 1873-2445. ; 769, s. 34-41
-
Tidskriftsartikel (refereegranskat)abstract
- Final results are presented from the inclusive measurement of deep-inelastic polarised-muon scattering on longitudinally polarised deuterons using a 6LiD target. The data were taken at 160 GeV beam energy and the results are shown for the kinematic range 1 (GeV/c)2 < Q2 < 100 (GeV/c)2 in photon virtuality, 0.004 < x < 0.7 in the Bjorken scaling variable and W > 4GeV/c2 in the mass of the hadronic final state. The deuteron double-spin asymmetry A(1)(d) and the deuteron longitudinal-spin structure function g(1)(d) are presented in bins of x and Q2. Towards lowest accessible values of x, g(1)(d) decreases and becomes consistent with zero within uncertainties. The presented final g(1)(p) values together with the recently published final g(1)(p) values of COMPASS are used to again evaluate the Bjorken sum rule and perform the QCD fit to the g1 world data at next-to-leading order of the strong coupling constant. In both cases, changes in central values of the resulting numbers are well within statistical uncertainties. The flavour singlet axial charge a0, which is identified in the MS renormalisation scheme with the total contribution of quark helicities to the nucleon spin, is extracted at next-to-leading order accuracy from only the COMPASS deuteron data: a0(Q2 = 3 (GeV/c)2) = 0.32 +/- 0.02stat +/- 0.04syst +/- 0.05evol. Together with the recent results on the proton spin structure function g(1)(p), the results on g(1)(d) constitute the COMPASS legacy on the measurements of g1 through inclusive spin-dependent deep inelastic scattering.
|
|
| 7. |
- Adolph, C., et al.
(författare)
-
First measurement of the Sivers asymmetry for gluons using SIDIS data
- 2017
-
Ingår i: Physics Letters B. - : Elsevier BV. - 0370-2693 .- 1873-2445. ; 772, s. 854-864
-
Tidskriftsartikel (refereegranskat)abstract
- The Sivers function describes the correlation between the transverse spin of a nucleon and the transverse motion of its partons. For quarks, it was studied in previous measurements of the azimuthal asymmetry of hadrons produced in semi-inclusive deep inelastic scattering of leptons off transversely polarised nucleon targets, and it was found to be non-zero. In this letter the evaluation of the Sivers asymmetry for gluons is presented. The contribution of the photon-gluon fusion subprocess is enhanced by requiring two high transverse-momentum hadrons. The analysis method is based on a Monte Carlo simulation that includes three hard processes: photon-gluon fusion, QCD Compton scattering and the leading-order virtual-photon absorption process. The Sivers asymmetries of the three processes are simultaneously extracted using the LEPTO event generator and a neural network approach. The method is applied to samples of events containing at least two hadrons with large transverse momentum from the COMPASS data taken with a 160 GeV/c muon beam scattered off transversely polarised deuterons and protons. With a significance of about two standard deviations, a negative value is obtained for the gluon Sivers asymmetry. The result of a similar analysis for a Collins-like asymmetry for gluons is consistent with zero. (C) 2017 The Author(s). Published by Elsevier B.V.
|
|
| 8. |
- Adolph, C., et al.
(författare)
-
Multiplicities of charged kaons from deep-inelastic muon scattering off an isoscalar target
- 2017
-
Ingår i: Physics Letters B. - : ELSEVIER SCIENCE BV. - 0370-2693 .- 1873-2445. ; 767, s. 133-141
-
Tidskriftsartikel (refereegranskat)abstract
- Precise measurements of charged-kaon multiplicities in deep inelastic scattering were performed. The results are presented in three-dimensional bins of the Bjorken scaling variable x, the relative virtual-photon energy y, and the fraction z of the virtual-photon energy carried by the produced hadron. The data were obtained by the COMPASS Collaboration by scattering 160 GeV muons off an isoscalar (LiD)-Li-6 target. They cover the kinematic domain 1 (GeV/c)(2) < Q(2) < 60 (GeV/c)(2) in the photon virtuality, 0.004 < x < 0.4, 0.1 < y < 0.7, 0.20 < z < 0.85, and W > 5 GeV/c(2) in the invariant mass of the hadronic system. The results from the sum of the z-integrated K+ and K- multiplicities at high x point to a value of the non-strange quark fragmentation function larger than obtained by the earlier DSS fit.
|
|
| 9. |
- Adolph, C., et al.
(författare)
-
Multiplicities of charged pions and charged hadrons from deep-inelastic scattering of muons off an isoscalar target
- 2017
-
Ingår i: Physics Letters B. - : ELSEVIER SCIENCE BV. - 0370-2693 .- 1873-2445. ; 764, s. 1-10
-
Tidskriftsartikel (refereegranskat)abstract
- Multiplicities of charged pions and charged hadrons produced in deep-inelastic scattering were measured in three-dimensional bins of the Bjorken scaling variable x, the relative virtual-photon energy y and the relative hadron energy z. Data were obtained by the COMPASS Collaboration using a 160 GeV muon beam and an isoscalar target ((LiD)-Li-6). They cover the kinematic domain in the photon virtuality Q(2) > 1 (GeV/c) 2, 0.004 < x < 0.4, 0.2 < z < 0.85 and 0.1 < y < 0.7. In addition, a leading-order pQCD analysis was performed using the pion multiplicity results to extract quark fragmentation functions.
|
|
| 10. |
- Adolph, C., et al.
(författare)
-
Sivers asymmetry extracted in SIDIS at the hard scales of the Drell-Yan process at COMPASS
- 2017
-
Ingår i: Physics Letters B. - : Elsevier BV. - 0370-2693 .- 1873-2445. ; 770, s. 138-145
-
Tidskriftsartikel (refereegranskat)abstract
- Eight proton transverse-spin-dependent azimuthal asymmetries are extracted in four regions of the photon virtuality Q(2) from the COMPASS 2010 semi-inclusive hadron measurements in deep inelastic muon nucleon scattering. These Q(2) regions correspond to the four regions of the di-muon mass root Q(2) used in the ongoing analyses of the COMPASS Drell-Yan measurements, which allows for a future direct comparison of the nucleon transverse-momentum-dependent parton distribution functions extracted from these two alternative measurements. In addition, for the azimuthal asymmetries induced by the Sivers transverse-momentum-dependent parton distribution function various two-dimensional kinematic dependences are presented. The integrated Sivers asymmetries are found to be positive with an accutacy that appears to be sufficient to test the sign change of the Sivers function predicted by Quantum Chromodynamics.
|
|
| 11. |
- Adolphi, C., et al.
(författare)
-
Exclusive omega meson muoproduction on transversely polarised protons
- 2017
-
Ingår i: Nuclear Physics B. - : ELSEVIER SCIENCE BV. - 0550-3213 .- 1873-1562. ; 915, s. 454-475
-
Tidskriftsartikel (refereegranskat)abstract
- Exclusive production of omega mesons was studied at the COMPASS experiment by scattering 160GeV/c muons off transversely polarised protons. Five single-spin and three double-spin azimuthal asymmetries were measured in the range of photon virtuality 1(GeV/c)(2) < Q(2) < 10(GeV/c)(2), Bjorken scaling variable 0.003 < xBj < 0.3 and transverse momentum squared of the omega meson 0.05(GeV/c)(2) < p(T)(2) < 0.5(GeV/c)(2). The measured asymmetries are sensitive to the nucleon helicity-flip Generalised Parton Distributions (GPD) Et hat are related to the orbital angular momentum of quarks, the chiral-odd GPDs H-T that are related to the transversity Parton Distribution Functions, and the sign of the pi omega transition form factor. The results are compared to recent calculations of a GPD-based model.
|
|
| 12. |
- Aghasyan, M., et al.
(författare)
-
First Measurement of Transverse-Spin-Dependent Azimuthal Asymmetries in the Drell-Yan Process
- 2017
-
Ingår i: Physical Review Letters. - 0031-9007 .- 1079-7114. ; 119:11
-
Tidskriftsartikel (refereegranskat)abstract
- The first measurement of transverse-spin-dependent azimuthal asymmetries in the pion-induced Drell-Yan (DY) process is reported. We use the CERN SPS 190 GeV/c pi(-) beam and a transversely polarized ammonia target. Three azimuthal asymmetries giving access to different transverse-momentum-dependent (TMD) parton distribution functions (PDFs) are extracted using dimuon events with invariant mass between 4.3 GeV/c(2) and 8.5 GeV/c(2). Within the experimental uncertainties, the observed sign of the Sivers asymmetry is found to be consistent with the fundamental prediction of quantum chromodynamics (QCD) that the Sivers TMD PDFs extracted from DY have a sign opposite to the one extracted from semi-inclusive deep-inelastic scattering (SIDIS) data. We present two other asymmetries originating from the pion Boer-Mulders TMD PDFs convoluted with either the nucleon transversity or pretzelosity TMD PDFs. A recent COMPASS SIDIS measurement was obtained at a hard scale comparable to that of these DY results. This opens the way for possible tests of fundamental QCD universality predictions.
|
|
| 13. |
- Aghasyan, M., et al.
(författare)
-
Light isovector resonances in pi(-) p -> pi(-) pi(-) pi(+)p at 190 GeV/c
- 2018
-
Ingår i: Physical Review D. - : AMER PHYSICAL SOC. - 2470-0010 .- 2470-0029. ; 98:9
-
Tidskriftsartikel (refereegranskat)abstract
- We have performed the most comprehensive resonance-model fit of pi(-)pi(-)pi(+) states using the results of our previously published partial-wave analysis (PWA) of a large data set of diffractive-dissociation events from the reaction pi(-) + p -> pi(-)pi(-)pi(+) +p(recoil) with a 190 GeV/c pion beam. The PWA results, which were obtained in 100 bins of three-pion mass, 0.5 < m(3 pi) < 2.5 GeV/c(2), and simultaneously in 11 bins of the reduced four-momentum transfer squared, 0.1 < t'< 1.0 (GeV/c)(2), are subjected to a resonance-model fit using Breit-Wigner amplitudes to simultaneously describe a subset of 14 selected waves using 11 isovector light-meson states with J(PC) = 0(-+), 1(++), 2(++), 2(-+), 4(++), and spin-exotic 1(-+) quantum numbers. The model contains the well-known resonances pi(1800), a(1)(1260), a(2)(1320), pi(2)(1670), pi(2)(1880), and a(4) (2040). In addition, it includes the disputed pi(1)(1600), the excited states a(1)(1640), a2(1700), and pi(2) (2005), as well as the resonancelike a(1)(1420). We measure the resonance parameters mass and width of these objects by combining the information from the PWA results obtained in the 11 t' bins. We extract the relative branching fractions of the rho(770)pi and f(2)(1270)pi decays of a(2)(1320) and a(4)(2040), where the former one is measured for the first time. In a novel approach, we extract the t' dependence of the intensity of the resonances and of their phases. The t' dependence of the intensities of most resonances differs distinctly from the t' dependence of the nonresonant components. For the first time, we determine the t' dependence of the phases of the production amplitudes and confirm that the production mechanism of the Pomeron exchange is common to all resonances. We have performed extensive systematic studies on the model dependence and correlations of the measured physical parameters.
|
|
| 14. |
- Aghasyan, M., et al.
(författare)
-
Longitudinal double-spin asymmetry A(1)(p) and spin-dependent structure function g(1)(p) of the proton at small values of x and Q(2)
- 2018
-
Ingår i: Physics Letters B. - : ELSEVIER SCIENCE BV. - 0370-2693 .- 1873-2445. ; 781, s. 464-472
-
Tidskriftsartikel (refereegranskat)abstract
- We present a precise measurement of the proton longitudinal double-spin asymmetry A(1)(p) and the proton spin-dependent structure function g(1)(P) at photon virtualities 0.006 (GeV/c)(2) < Q(2) < 1 (GeV/c)(2) in the Bjorken x range of 4 x 10(-5) < x < 4 x 10(-2). The results are based on data collected by the COMPASS Collaboration at CERN using muon beam energies of 160 GeV and 200 GeV. The statistical precision is more than tenfold better than that of the previous measurement in this region. In the whole range of x, the measured values of A(1)(p) and g(1)(P) are found to be positive. It is for the first time that spin effects are found at such low values of x.
|
|
| 15. |
- Aghasyan, M., et al.
(författare)
-
Search for muoproduction of X(3872) at COMPASS and indication of a new state (X)over-tilde(3872)
- 2018
-
Ingår i: Physics Letters B. - : ELSEVIER SCIENCE BV. - 0370-2693 .- 1873-2445. ; 783, s. 334-340
-
Tidskriftsartikel (refereegranskat)abstract
- We have searched for exclusive production of exotic charmonia in the reaction mu N+ -> mu(+)(J/psi pi(+)pi(-))pi N-+/-' using COMPASS data collected with incoming muons of 160 GeV/c and 200 GeV/c momentum. In the J/psi pi(vertical bar)pi mass distribution we observe a signal with a statistical significance of 4.1 sigma. Its mass and width are consistent with those of the X(3872). The shape of the pi(+)pi(-) mass distribution from the observed decay into J/psi pi(+)pi(-) shows disagreement with previous observations for X(3872). The observed signal may be interpreted as a possible evidence of a new charmonium state. It could be associated with a neutral partner of X(3872) with C=-1 predicted by a tetraquark model. The product of cross section and branching fraction of the decay of the observed state into J/psi pi(+)pi(-) is determined to be 71 +/- 28(stat)+/- 39(syst) pb.
|
|
| 16. |
- Aghasyan, M., et al.
(författare)
-
Transverse-momentum-dependent multiplicities of charged hadrons in muon-deuteron deep inelastic scattering
- 2018
-
Ingår i: Physical Review D. - : AMER PHYSICAL SOC. - 2470-0010 .- 2470-0029. ; 97:3
-
Tidskriftsartikel (refereegranskat)abstract
- A semi-inclusive measurement of charged hadron multiplicities in deep inelastic muon scattering off an isoscalar target was performed using data collected by the COMPASS Collaboration at CERN. The following kinematic domain is covered by the data: photon virtuality Q(2) > 1 (GeV/c)(2), invariant mass of the hadronic system W > 5 (GeV/c)(2), Bjorken scaling variable in the range 0.003 < x < 0.4, fraction of the virtual photon energy carried by the hadron in the range 0.2 < z < 0.8, and square of the hadron transverse momentum with respect to the virtual photon direction in the range 0.02 (GeV/c)(2) < P-hT(2) < 3 (GeV/c)(2). The multiplicities are presented as a function of P-hT(2) in three-dimensional bins of x, Q(2), z and compared to previous semi-inclusive measurements. We explore the small-P-hT(2) region, i.e. P-hT(2) < 1 (GeV/c)(2), where hadron transverse momenta are expected to arise from nonperturbative effects, and also the domain of larger P-hT(2), where contributions from higher-order perturbative QCD are expected to dominate. The multiplicities are fitted using a single-exponential function at small P-hT(2) to study the dependence of the average transverse momentum < P-hT(2)> on x, Q(2) and z. The power-law behavior of the multiplicities at large P-hT(2) is investigated using various functional forms. The fits describe the data reasonably well over the full measured range.
|
|
| 17. |
- Aichner, Bernhard, et al.
(författare)
-
Hydroclimate in the Pamirs Was Driven by Changes in Precipitation-Evaporation Seasonality Since the Last Glacial Period
- 2019
-
Ingår i: Geophysical Research Letters. - 0094-8276 .- 1944-8007. ; 46:23, s. 13972-13983
-
Tidskriftsartikel (refereegranskat)abstract
- The Central Asian Pamir Mountains (Pamirs) are a high-altitude region sensitive to climatic change, with only few paleoclimatic records available. To examine the glacial-interglacial hydrological changes in the region, we analyzed the geochemical parameters of a 31-kyr record from Lake Karakul and performed a set of experiments with climate models to interpret the results. delta D values of terrestrial biomarkers showed insolation-driven trends reflecting major shifts of water vapor sources. For aquatic biomarkers, positive delta D shifts driven by changes in precipitation seasonality were observed at ca. 31-30, 28-26, and 17-14 kyr BP. Multiproxy paleoecological data and modelling results suggest that increased water availability, induced by decreased summer evaporation, triggered higher lake levels during those episodes, possibly synchronous to northern hemispheric rapid climate events. We conclude that seasonal changes in precipitation-evaporation balance significantly influenced the hydrological state of a large waterbody such as Lake Karakul, while annual precipitation amount and inflows remained fairly constant.
|
|
| 18. |
- Akhunzyanov, R., et al.
(författare)
-
Transverse extension of partons in the proton probed in the sea-quark range by measuring the DVCS cross section
- 2019
-
Ingår i: Physics Letters B. - : ELSEVIER SCIENCE BV. - 0370-2693 .- 1873-2445. ; 793, s. 188-194
-
Tidskriftsartikel (refereegranskat)abstract
- We report on the first measurement of exclusive single-photon muoproduction on the proton by COMPASS using 160 GeV/c polarised mu(+) and mu(-) beams of the CERN SPS impinging on a liquid hydrogen target. We determine the dependence of the average of the measured mu(+) and mu(-) cross sections for deeply virtual Compton scattering on the squared four-momentum transfer t from the initial to the final proton. The slope B of the t-dependence is fitted with a single exponential function, which yields B = (4.3 +/- 0.6(stat) (+0.1)(-0.3)vertical bar(sys)) (GeV/c)(-2). This result can be converted into a transverse extension of partons in the proton,root(r(perpendicular to)(2)) = (0.58 +/- 0.04(stat) (+0.01)(-0.02)vertical bar(sys) +/- 0.04(model)) fm. For this measurement, the average virtuality of the photon mediating the interaction is < Q(2)> = 1.8 (GeV/c)(2) and the average value of the Bjorken variable is < X-Bj > = 0.056.
|
|
| 19. |
- Bartocci, Ezio, et al.
(författare)
-
TOOLympics 2019 : An overview of competitions in formal methods
- 2019
-
Ingår i: Tools and Algorithms for the Construction and Analysis of Systems. - Cham : Springer. - 9783030175016 ; , s. 3-24
-
Konferensbidrag (refereegranskat)abstract
- Evaluation of scientific contributions can be done in many different ways. For the various research communities working on the verification of systems (software, hardware, or the underlying involved mechanisms), it is important to bring together the community and to compare the state of the art, in order to identify progress of and new challenges in the research area. Competitions are a suitable way to do that.The first verification competition was created in 1992 (SAT competition), shortly followed by the CASC competition in 1996. Since the year 2000, the number of dedicated verification competitions is steadily increasing. Many of these events now happen regularly, gathering researchers that would like to understand how well their research prototypes work in practice. Scientific results have to be reproducible, and powerful computers are becoming cheaper and cheaper, thus, these competitions are becoming an important means for advancing research in verification technology.TOOLympics 2019 is an event to celebrate the achievements of the various competitions, and to understand their commonalities and differences. This volume is dedicated to the presentation of the 16 competitions that joined TOOLympics as part of the celebration of the 25?ℎ anniversary of the TACAS conference.
|
|
| 20. |
- Beckert, Bernhard, et al.
(författare)
-
Taclets: a new paradigm for writing theorem provers : Taclets: Un nuevo paradigma para construir demostradores automáticos interactivos
- 2004
-
Ingår i: REVISTA DE LA REAL ACADEMIA DE CIENCIAS, Serie A: Matemáticas. - 1578-7303. ; 98:1, s. 17-53
-
Tidskriftsartikel (refereegranskat)abstract
- Frameworks for interactive theorem proving give the user explicit control over the construction of proofs based on meta languages that contain dedicated control structures for describing proof construction. Such languages are not easy to master and thus contribute to the already long list of skills required by prospective users of interactive theorem provers. Most users, however, only need a convenient formalism that allows to introduce new rules with minimal overhead. On the the other hand, rules of calculi have not only purely logical content, but contain restrictions on the expected context of rule applications and heuristic information. We suggest a new and minimalist concept for implementing interactive theorem provers called taclet. Their usage can be mastered in a matter of hours, and they are efficiently compiled into the GUI of a prover. We implemented the KeY system, an interactive theorem prover for the full JavaCard language based on taclets.
|
|
| 21. |
- Beckert, Bernhard, et al.
(författare)
-
Taclets: a new paradigm for writing theorem provers
- 2004
-
Ingår i: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas. - 1578-7303 .- 1579-1505. ; 98:1, s. 17-53
-
Tidskriftsartikel (refereegranskat)abstract
- Frameworks for interactive theorem proving give the user explicit control over the construction of proofs based on meta languages that contain dedicated control structures for describing proof construction. Such languages are not easy to master and thus contribute to the already long list of skills required by prospective users of interactive theorem provers. Most users, however, only need a convenient formalism that allows to introduce new rules with minimal overhead. On the the other hand, rules of calculi have not only purely logical content, but contain restrictions on the expected context of rule applications and heuristic information. We suggest a new and minimalist concept for implementing interactive theorem provers called taclet. Their usage can be mastered in a matter of hours, and they are efficiently compiled into the GUI of a prover. We implemented the KeY system, an interactive theorem prover for the full JavaCard language based on taclets.
|
|
| 22. |
- Beckert, Bernhard, et al.
(författare)
-
The KeY system 1.0 (Deduction Component)
- 2007
-
Ingår i: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783540735946 ; 4603, s. 379-384
-
Konferensbidrag (refereegranskat)
|
|
| 23. |
|
|
| 24. |
- Bruno, Raphael Romano, et al.
(författare)
-
Management and outcomes in critically ill nonagenarian versus octogenarian patients
- 2021
-
Ingår i: BMC Geriatrics. - : BMC. - 1471-2318. ; 21:1
-
Tidskriftsartikel (refereegranskat)abstract
- Background: Intensive care unit (ICU) patients age 90 years or older represent a growing subgroup and place a huge financial burden on health care resources despite the benefit being unclear. This leads to ethical problems. The present investigation assessed the differences in outcome between nonagenarian and octogenarian ICU patients. Methods: We included 7900 acutely admitted older critically ill patients from two large, multinational studies. The primary outcome was 30-day-mortality, and the secondary outcome was ICU-mortality. Baseline characteristics consisted of frailty assessed by the Clinical Frailty Scale (CFS), ICU-management, and outcomes were compared between octogenarian (80-89.9 years) and nonagenarian (>= 90 years) patients. We used multilevel logistic regression to evaluate differences between octogenarians and nonagenarians. Results: The nonagenarians were 10% of the entire cohort. They experienced a higher percentage of frailty (58% vs 42%; p < 0.001), but lower SOFA scores at admission (6 +/- 5 vs. 7 +/- 6; p < 0.001). ICU-management strategies were different. Octogenarians required higher rates of organ support and nonagenarians received higher rates of life-sustaining treatment limitations (40% vs. 33%; p < 0.001). ICU mortality was comparable (27% vs. 27%; p = 0.973) but a higher 30-day-mortality (45% vs. 40%; p = 0.029) was seen in the nonagenarians. After multivariable adjustment nonagenarians had no significantly increased risk for 30-day-mortality (aOR 1.25 (95% CI 0.90-1.74; p = 0.19)). Conclusion: After adjustment for confounders, nonagenarians demonstrated no higher 30-day mortality than octogenarian patients. In this study, being age 90 years or more is no particular risk factor for an adverse outcome. This should be considered- together with illness severity and pre-existing functional capacity - to effectively guide triage decisions.
|
|
| 25. |
- Cassel, Sofia, et al.
(författare)
-
A succinct canonical register automaton model
- 2015
-
Ingår i: Journal of Logical and Algebraic Methods in Programming. - : Elsevier BV. - 2352-2208. ; 84:1, s. 54-66
-
Tidskriftsartikel (refereegranskat)
|
|
| 26. |
- Cassel, Sofia, et al.
(författare)
-
A succinct canonical register automaton model
- 2011
-
Ingår i: Automated Technology for Verification and Analysis. - Berlin : Springer-Verlag. - 9783642243714 ; , s. 366-380
-
Konferensbidrag (refereegranskat)abstract
- We present a novel canonical automaton model, based on register automata, that can easily be used to specify protocol or program behavior. More concretely, register automata are reminiscent of controlflow graphs: they comprise a finite control structure, assignments, and conditionals, allowing to assign values of an infinite domain to regis-ters (variables) and to compare them for equality. A major contributionis the definition of a canonical automaton representation of any lan-guage recognizable by a deterministic register automaton, by means of aNerode congruence. Not only is this canonical form easier to comprehend than previous proposals, but it can also be exponentially more succinct than these. Key to the canonical form is the symbolic treatment of data languages, which overcomes the structural restrictions in previous formalisms, and opens the way to new practical applications.
|
|
| 27. |
- Cassel, Sofia, et al.
(författare)
-
A Succinct Canonical Register Automaton Model
- 2013
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- We present a novel canonical automaton model, based on register automata, that can be used to specify protocol or program behavior. Register automata have a finite control structure and a finite number of registers (variables), and process sequences of terms that carry data values from an infinite domain. We consider register automata that compare data values for equality. A major contribution is the definition of a canonical automaton representation of any language recognizable by a deterministic register automaton, by means of a Nerode congruence. This canonical form is well suited for modeling, e.g., protocols or program behavior. Our model can be exponentially more succinct than previous proposals, since it filters out 'accidental' relations between data values. This opens the way to new practical applications, e.g., in automata learning.
|
|
| 28. |
|
|
| 29. |
- Cassel, Sofia, et al.
(författare)
-
Extending Automata Learning to Extended Finite State Machines
- 2018
-
Ingår i: Machine Learning for Dynamic Software Analysis. - Cham : Springer. - 9783319965628 - 9783319965611 ; , s. 149-177
-
Konferensbidrag (refereegranskat)abstract
- Automata learning is an established class of techniques for inferring automata models by observing how they respond to a sample of input words. Recently, approaches have been presented that extend these techniques to infer extended finite state machines (EFSMs) by dynamic black-box analysis. EFSMs model both data flow and control behavior, and their mutual interaction. Different dialects of EFSMs are widely used in tools for model-based software development, verification, and testing. This survey paper presents general principles behind some of these recent extensions. The goal is to elucidate how the principles behind classic automata learning can be maintained and guide extensions to more general automata models, and to situate some extensions with respect to these principles.
|
|
| 30. |
- Cassel, Sofia, et al.
(författare)
-
Learning Extended Finite State Machines
- 2014
-
Ingår i: Software Engineering and Formal Methods. 12th International Conference, SEFM 2014. - Cham : Springer International Publishing. ; , s. 250-264
-
Konferensbidrag (refereegranskat)
|
|
| 31. |
- Cassel, Sofia, et al.
(författare)
-
Learning Extended Finite State Machines (extended version)
- 2015
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- We present a black-box active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Different dialects of EFSMs are widely used in tools for model-based software development, verification, and testing. Our algorithm infers a class of EFSMs called \emphregister automata. Register automata have a finite control structure, extended with variables (registers), assignments, and guards. Our algorithm is parameterized on a particular theory, i.e., a set of operations and tests on the data domain that can be used in guards. Key to our learning technique is a novel learning model based on so-called \emphtree queries. The learning algorithm uses the tree queries to infer symbolic data constraints on parameters, e.g., sequence numbers, time stamps, identifiers, or even simple arithmetic. We describe sufficient conditions for the properties that the symbolic constraints provided by a tree query in general must have to be usable in our learning model. We also show that, under these conditions, our framework induces a generalization of the classical Nerode equivalence and canonical automata construction to the symbolic setting. We have evaluated our algorithm in a black-box scenario, where tree queries are realized through (black-box) testing. Our case studies include connection establishment in TCP and a priority queue from the Java Class Library.
|
|
| 32. |
- Cleaveland, Rance, et al.
(författare)
-
The Concurrency Workbench : A Semantics Based Tool for the Verification of Concurrent Systems
- 1993
-
Ingår i: ACM Transactions on Programming Languages and Systems. - : Association for Computing Machinery (ACM). - 0164-0925 .- 1558-4593. ; 15:1, s. 36-72
-
Tidskriftsartikel (refereegranskat)abstract
- The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in Milner's Calculus of Communicating Systems. Its key feature is its breadth: a variety of different verification methods, including equivalence checking, preorder checking, and model checking, are supported for several different process semantics. One experience from our work is that a large number of interesting verification methods can be formulated as combinations of a small number of primitive algorithms. The Workbench has been applied to the verification of communications protocols and mutual exclusion algorithms and has proven a valuable aid in teaching and research.
|
|
| 33. |
- Cleaveland, Rance, et al.
(författare)
-
The concurrency workbench: A semantics based tool for the verification of concurrent systems
- 1991. - 1
-
Rapport (refereegranskat)abstract
- The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in Milner's Calculus of Communicating Systems. Its key features is its breadht: a variety of different verification methods, including equivalence checking, preorder checking, and model checking, are supported for several different process semantics. One experience from our work is that a large number of interesting verification methods can be formulated as combinations of a small number of primitive algorithms. The Workbench has been applied to the verification of communications protocols and mutual exclusion algorithms and has proven a valuable aid in teaching and research.
|
|
| 34. |
- d'Alessandro, Elisa, et al.
(författare)
-
Thrombo-Inflammation in Cardiovascular Disease : An Expert Consensus Document from the Third Maastricht Consensus Conference on Thrombosis
- 2020
-
Ingår i: Thrombosis and Haemostasis. - : Georg Thieme Verlag KG. - 0340-6245 .- 2567-689X. ; 120:4, s. 538-564
-
Tidskriftsartikel (refereegranskat)abstract
- Thrombo-inflammation describes the complex interplay between blood coagulation and inflammation that plays a critical role in cardiovascular diseases. The third Maastricht Consensus Conference on Thrombosis assembled basic, translational, and clinical scientists to discuss the origin and potential consequences of thrombo-inflammation in the etiology, diagnostics, and management of patients with cardiovascular disease, including myocardial infarction, stroke, and peripheral artery disease. This article presents a state-of-the-art reflection of expert opinions and consensus recommendations regarding the following topics: (1) challenges of the endothelial cell barrier; (2) circulating cells and thrombo-inflammation, focused on platelets, neutrophils, and neutrophil extracellular traps; (3) procoagulant mechanisms; (4) arterial vascular changes in atherogenesis; attenuating atherosclerosis and ischemia/reperfusion injury; (5) management of patients with arterial vascular disease; and (6) pathogenesis of venous thrombosis and late consequences of venous thromboembolism.
|
|
| 35. |
- Deutsch, Eric W., et al.
(författare)
-
Expanding the Use of Spectral Libraries in Proteomics
- 2018
-
Ingår i: Journal of Proteome Research. - : American Chemical Society (ACS). - 1535-3893 .- 1535-3907. ; 17:12, s. 4051-4060
-
Tidskriftsartikel (refereegranskat)abstract
- The 2017 Dagstuhl Seminar on Computational Proteomics provided an opportunity for a broad discussion on ABSTRACT: The 2017 Dagstuhl Seminar on Computational the current state and future directions of the generation and use of peptide tandem mass spectrometry spectral libraries. Their use in proteomics is growing slowly, but there are multiple challenges in the field that must be addressed to further increase the adoption of spectral libraries and related techniques. The primary bottlenecks are the paucity of high quality and comprehensive libraries and the general difficulty of adopting spectral library searching into existing workflows. There are several existing spectral library formats, but none captures a satisfactory level of metadata; therefore, a logical next improvement is to design a more advanced, Proteomics Standards Initiative-approved spectral library format that can encode all of the desired metadata. The group discussed a series of metadata requirements organized into three designations of completeness or quality, tentatively dubbed bronze, silver, and gold. The metadata can be organized at four different levels of granularity: at the collection (library) level, at the individual entry (peptide ion) level, at the peak (fragment ion) level, and at the peak annotation level. Strategies for encoding mass modifications in a consistent manner and the requirement for encoding high-quality and commonly seen but as-yet-unidentified spectra were discussed. The group also discussed related topics, including strategies for comparing two spectra, techniques for generating representative spectra for a library, approaches for selection of optimal signature ions for targeted workflows, and issues surrounding the merging of two or more libraries into one. We present here a review of this field and the challenges that the community must address in order to accelerate the adoption of spectral libraries in routine analysis of proteomics datasets.
|
|
| 36. |
- Dietz, Benedikt, et al.
(författare)
-
Detection of diabetes from whole-body MRI using deep learning
- 2021
-
Ingår i: JCI Insight. - : American Society for Clinical Investigation. - 2379-3708. ; 6:21
-
Tidskriftsartikel (refereegranskat)abstract
- Obesity is one of the main drivers of type 2 diabetes, but it is not uniformly associated with the disease. The location of fat accumulation is critical for metabolic health. Specific patterns of body fat distribution, such as visceral fat, are closely related to insulin resistance. There might be further, hitherto unknown, features of body fat distribution that could additionally contribute to the disease. We used machine learning with dense convolutional neural networks to detect diabetes-related variables from 2371 T1-weighted whole-body MRI data sets. MRI was performed in participants undergoing metabolic screening with oral glucose tolerance tests. Models were trained for sex, age, BMI, insulin sensitivity, HbA1c, and prediabetes or incident diabetes. The results were compared with those of conventional models. The area under the receiver operating characteristic curve was 87% for the type 2 diabetes discrimination and 68% for prediabetes, both superior to conventional models. Mean absolute regression errors were comparable to those of conventional models. Heatmaps showed that lower visceral abdominal regions were critical in diabetes classification. Subphenotyping revealed a group with high future diabetes and microalbuminuria risk. Our results show that diabetes is detectable from whole-body MRI without additional data. Our technique of heatmap visualization identifies plausible anatomical regions and highlights the leading role of fat accumulation in the lower abdomen in diabetes pathogenesis.
|
|
| 37. |
- Gleeson, Tom, et al.
(författare)
-
Illuminating water cycle modifications and Earth system resilience in the Anthropocene
- 2020
-
Ingår i: Water resources research. - 0043-1397 .- 1944-7973. ; 56:4
-
Tidskriftsartikel (refereegranskat)abstract
- Fresh water—the bloodstream of the biosphere—is at the center of the planetary drama of the Anthropocene. Water fluxes and stores regulate the Earth's climate and are essential for thriving aquatic and terrestrial ecosystems, as well as water, food, and energy security. But the water cycle is also being modified by humans at an unprecedented scale and rate. A holistic understanding of freshwater's role for Earth system resilience and the detection and monitoring of anthropogenic water cycle modifications across scales is urgent, yet existing methods and frameworks are not well suited for this. In this paper we highlight four core Earth system functions of water (hydroclimatic regulation, hydroecological regulation, storage, and transport) and key related processes. Building on systems and resilience theory, we review the evidence of regional‐scale regime shifts and disruptions of the Earth system functions of water. We then propose a framework for detecting, monitoring, and establishing safe limits to water cycle modifications and identify four possible spatially explicit methods for their quantification. In sum, this paper presents an ambitious scientific and policy grand challenge that could substantially improve our understanding of the role of water in the Earth system and cross‐scale management of water cycle modifications that would be a complementary approach to existing water management tools.
|
|
| 38. |
- Gollan, Peter, et al.
(författare)
-
Photosynthetic and transcriptome responses to fluctuating light in Arabidopsis thylakoid ion transport triple mutant
- 2023
-
Ingår i: Plant Direct. - 2475-4455. ; 7:10
-
Tidskriftsartikel (refereegranskat)abstract
- Fluctuating light intensity challenges fluent photosynthetic electron transport in plants, inducing photoprotection while diminishing carbon assimilation and growth, and also influencing photosynthetic signaling for regulation of gene expression. Here, we employed in vivo chlorophyll-a fluorescence and P700 difference absorption measurements to demonstrate the enhancement of photoprotective energy dissipation of both photosystems in wild-type Arabidopsis thaliana after 6 h exposure to fluctuating light as compared with constant light conditions. This acclimation response to fluctuating light was hampered in a triple mutant lacking the thylakoid ion transport proteins KEA3, VCCN1, and CLCe, leading to photoinhibition of photosystem I. Transcriptome analysis revealed upregulation of genes involved in biotic stress and defense responses in both genotypes after exposure to fluctuating as compared with constant light, yet these responses were demonstrated to be largely upregulated in triple mutant already under constant light conditions compared with wild type. The current study illustrates the rapid acclimation of plants to fluctuating light, including photosynthetic, transcriptomic, and metabolic adjustments, and highlights the connection among thylakoid ion transport, photosynthetic energy balance, and cell signaling.
|
|
| 39. |
- Hollandsworth, Hannah M., et al.
(författare)
-
Fluorophore-conjugated Helicobacter pylori recombinant membrane protein (HopQ) labels primary colon cancer and metastases in orthotopic mouse models by binding CEA-related cell adhesion molecules
- 2020
-
Ingår i: Translational Oncology. - : Elsevier. - 1944-7124 .- 1936-5233. ; 13:12
-
Tidskriftsartikel (refereegranskat)abstract
- HopQ is an outer-membrane protein of Helicobacter pylori that binds to human carcinoembryonic antigen-related cell-adhesion molecules (CEACAMs) with high specificity. We aimed to investigate fluorescence targeting of CEACAM-expressing colorectal tumors in patient-derived orthotopic xenograft (PDOX) models with fluorescently labeled recombinant HopQ (rHopQ). Western blotting, flow cytometry and ELISA were performed to determine the efficiency of rHopQ binding to CEACAMs. rHopQ was conjugated to IR800DyeCW (rHopQ-IR800). Nude mice received orthotopic implantation of colon cancer tumors. Three weeks later, mice were administered 25 μg or 50 μg HopQ-IR800 and imaged 24 or 48 h later. Intravital images were analyzed for tumor-to-background ratio (TBR). Flow cytometry and ELISA demonstrated binding of HopQ to CEACAM1, 3 and 5. Dose-response intravital imaging in PDOX models demonstrated optimal results 48 h after administration of 50 μg rHopQ-IR800 (TBR = 3.576) in our protocol. Orthotopic models demonstrated clear tumor margins of primary tumors and small regional metastases with a mean TBR = 3.678 (SD ± 1.027). rHopQ showed specific binding to various CEACAMs in PDOX models. rHopQ may be useful for CEACAM-positive tumor and metastasis detection for pre-surgical diagnosis, intra-operative imaging and fluorescence-guided surgery.
|
|
| 40. |
- Howar, Falk, et al.
(författare)
-
Inferring Canonical Register Automata
- 2012
-
Ingår i: Verification, Model Checking, and Abstract Interpretation - 13th International Conference. - Berlin, Heidelberg : Springer. - 9783642279393 ; , s. 251-266
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we present an extension of active automata learning to register automata, an automaton model which is capable of expressing the influence of data on control flow. Register automata operate on an infinite data domain, whose values can be assigned to registers and compared for equality. Our active learning algorithm is unique in that it directly infers the effect of data values on control flow as part of the learning process. This effect is expressed by means of registers and guarded transitions in the resulting register automata models. The application of our algorithm to a small example indicates the impact of learning register automata models: Not only are the inferred models much more expressive than finite state machines, but the prototype implementation also drastically outperforms the classic L* algorithm, even when exploiting optimal data abstraction and symmetry reduction.
|
|
| 41. |
|
|
| 42. |
- Hähnle, Reiner, 1962, et al.
(författare)
-
The KeY Tool
- 2005
-
Ingår i: Software and Systems Modeling. - 1619-1374 .- 1619-1366. ; 4:1, s. 32-54
-
Tidskriftsartikel (refereegranskat)
|
|
| 43. |
|
|
| 44. |
- Jackura, A., et al.
(författare)
-
New analysis of eta pi tensor resonances measured at the COMPASS experiment
- 2018
-
Ingår i: Physics Letters B. - : Elsevier BV. - 0370-2693 .- 1873-2445. ; 779, s. 464-472
-
Tidskriftsartikel (refereegranskat)abstract
- We present a new amplitude analysis of the eta pi D-wave in the reaction pi(-) p -> eta pi(-) p measured by COMPASS. Employing an analytical model based on the principles of the relativistic S-matrix, we find two resonances that can be identified with the a(2)(1320) and the excited a(2)(1700), and perform a comprehensive analysis of their pole positions. For the mass and width of the a(2) we find M = (1307 +/- 1 6) MeV and Gamma=(112 +/- 1 +/- 8) MeV, and for the excited state a(2)' we obtain M = (1720 +/- 10 +/- 60) MeV and Gamma = (280 +/- 10 +/- 70) MeV, respectively.
|
|
| 45. |
- Javaheri, Anahita, et al.
(författare)
-
Helicobacter pylori adhesin HopQ engages in a virulence-enhancing interaction with human CEACAMs
- 2017
-
Ingår i: Nature Microbiology. - : NATURE PUBLISHING GROUP. - 2058-5276. ; 2:1
-
Tidskriftsartikel (refereegranskat)abstract
- Helicobacter pylori specifically colonizes the human gastric epithelium and is the major causative agent for ulcer disease and gastric cancer development. Here, we identify members of the carcinoembryonic antigen-related cell adhesion molecule (CEACAM) family as receptors of H. pylori and show that HopQ is the surface-exposed adhesin that specifically binds human CEACAM1, CEACAM3, CEACAM5 and CEACAM6. HopQ-CEACAM binding is glycan-independent and targeted to the N-domain. H. pylori binding induces CEACAM1-mediated signalling, and the HopQ-CEACAM1 interaction enables translocation of the virulence factor CagA into host cells and enhances the release of pro-inflammatory mediators such as interleukin-8. Based on the crystal structure of HopQ, we found that a beta-hairpin insertion (HopQ-ID) in HopQ's extracellular 3+4 helix bundle domain is important for CEACAM binding. A peptide derived from this domain competitively inhibits HopQ-mediated activation of the Cag virulence pathway, as genetic or antibody-mediated abrogation of the HopQ function shows. Together, our data suggest the HopQ-CEACAM1 interaction to be a potentially promising novel therapeutic target to combat H. pylori-associated diseases.
|
|
| 46. |
- Jung, Christian, et al.
(författare)
-
A comparison of very old patients admitted to intensive care unit after acute versus elective surgery or intervention
- 2019
-
Ingår i: Journal of critical care. - : W B SAUNDERS CO-ELSEVIER INC. - 0883-9441 .- 1557-8615. ; 52, s. 141-148
-
Tidskriftsartikel (refereegranskat)abstract
- Background: We aimed to evaluate differences in outcome between patients admitted to intensive care unit (ICU) after elective versus acute surgery in a multinational cohort of very old patients (80 years; VIP). Predictors of mortality, with special emphasis on frailty, were assessed.Methods: In total, 5063 VIPs were induded in this analysis, 922 were admitted after elective surgery or intervention, 4141 acutely, with 402 after acute surgery. Differences were calculated using Mann-Whitney-U test and Wilcoxon test. Univariate and multivariable logistic regression were used to assess associations with mortality.Results: Compared patients admitted after acute surgery, patients admitted after elective surgery suffered less often from frailty as defined as CFS (28% vs 46%; p < 0.001), evidenced lower SOFA scores (4 +/- 5 vs 7 +/- 7; p < 0.001). Presence of frailty (CFS >4) was associated with significantly increased mortality both in elective surgery patients (7% vs 12%; p = 0.01), in acute surgery (7% vs 12%; p = 0.02).Conclusions: VIPs admitted to ICU after elective surgery evidenced favorable outcome over patients after acute surgery even after correction for relevant confounders. Frailty might be used to guide clinicians in risk stratification in both patients admitted after elective and acute surgery.
|
|
| 47. |
- Kragl, Gabriele, et al.
(författare)
-
Flattening filter free beams in SBRT and IMRT: Dosimetric assessment of peripheral doses
- 2011
-
Ingår i: Zeitschrift für Medizinische Physik. - : Elsevier BV. - 1876-4436 .- 0939-3889. ; 21:2, s. 91-101
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose: Recently, there has been a growing interest in operating medical linear accelerators without a flattening filter Due to reduced scatter, leaf transmission and radiation head leakage a reduction of out-of-field dose is expected for flattening filter free beams. The aim of the present study was to determine the impact of unflattened beams on peripheral dose for advanced treatment techniques with a large number of MUs. Material and methods: An Elekta Precise linac was modified to provide 6 and 10 MV photon beams without a flattening filter Basic beam data were collected and implemented into the TPS Oncentra Masterplan (Nucletron). Leakage radiation, which predominantly contributes to peripheral dose at larger distances from the field edge, was measured using a Farmer type ionisation chamber SBRT (lung) and IMRT (prostate, head&neck) treatment plans were generated for 6 and 10 MV for both flattened and unflattened beams. All treatment plans were delivered to the relevant anatomic region of an anthropomorphic phantom which was extended by a solid water slab phantom. Dosimetric measurements were performed with TLD-700 rods, radiochromic films and a Farmer type ionisation chamber The detectors were placed within the slab phantom and positioned along the isocentric longitudinal axis. Results: Using unflattened beams results in a reduction of treatment head leakage by 52% for 6 and 65% for 10 MV. Thus, peripheral doses were in general smaller for treatment plans calculated with unflattened beams. At about 20 cm distance from the field edge the dose was on average reduced by 23 and 31% for the 6 and 10 MV SBRT plans. For the IMRT plans (10 MV) the average reduction was 16% for the prostate and 18% for the head&neck case, respectively. For all examined cases, the relative deviation between peripheral doses of flattened and unflattened beams was found to increase with increasing distance from the field. Conclusions: Removing the flattening filter lead to reduced peripheral doses for advanced treatment techniques. The relative difference between peripheral doses of flattened and unflattened beams was more pronounced when the nominal beam energy was increased. Patients may benefit by decreased exposure of normal tissue to scattered dose outside the field.
|
|
| 48. |
- Kunnappilly, Ashalatha, et al.
(författare)
-
Analyzing Ambient Assisted Living Solutions : A Research Perspective
- 2017
-
Ingår i: 12th International Conference on Design and Technology of Integrated Systems in Nanoscale Era DTIS 2017. - 9781509063772
-
Konferensbidrag (refereegranskat)abstract
- Typical AAL solutions rely on integrating capabilities for health monitoring, fall detection, communication and social inclusion, supervised physical exercises, vocal interfaces, robotic platforms etc. Ensuring the safe function and quality of service with respect to various extra-functional requirements like timing and security of such AAL solutions is of highest importance. To facilitate analysis, latest system development platforms provide underlying infrastructures for model-driven design (e.g., via the dime{} tool), timing and resource-usage specification (e.g., via the REMES tool), security features (e.g., by employing SECube), and statistical model-checking techniques (e.g, via Plasma). In this paper, we discuss the challenges associated with analyzing complex AAL solutions, from relevant properties to semantic interoperability issues raised by employing various frameworks for modeling and analysis, and applicability to evolving architectures. We take as examples two of the prominent existing AAL architectures and our own prior experience.
|
|
| 49. |
|
|
| 50. |
|
|
