1. |
- Ahdida, C., et al.
(författare)
-
Track reconstruction and matching between emulsion and silicon pixel detectors for the SHiP-charm experiment
- 2022
-
Ingår i: Journal of Instrumentation. - : IOP Publishing. - 1748-0221. ; 17:3
-
Tidskriftsartikel (refereegranskat)abstract
- In July 2018 an optimization run for the proposed charm cross section measurement for SHiP was performed at the CERN SPS. A heavy, moving target instrumented with nuclear emulsion films followed by a silicon pixel tracker was installed in front of the Goliath magnet at the H4 proton beam-line. Behind the magnet, scintillating-fibre, drift-tube and RPC detectors were placed. The purpose of this run was to validate the measurement's feasibility, to develop the required analysis tools and fine-tune the detector layout. In this paper, we present the track reconstruction in the pixel tracker and the track matching with the moving emulsion detector. The pixel detector performed as expected and it is shown that, after proper alignment, a vertex matching rate of 87% is achieved.
|
|
2. |
- Ahdida, C., et al.
(författare)
-
Sensitivity of the SHiP experiment to light dark matter
- 2021
-
Ingår i: Journal of High Energy Physics (JHEP). - : Springer Nature. - 1126-6708 .- 1029-8479. ; :4
-
Tidskriftsartikel (refereegranskat)abstract
- Dark matter is a well-established theoretical addition to the Standard Model supported by many observations in modern astrophysics and cosmology. In this context, the existence of weakly interacting massive particles represents an appealing solution to the observed thermal relic in the Universe. Indeed, a large experimental campaign is ongoing for the detection of such particles in the sub-GeV mass range. Adopting the benchmark scenario for light dark matter particles produced in the decay of a dark photon, with αD = 0.1 and mA′ = 3mχ, we study the potential of the SHiP experiment to detect such elusive particles through its Scattering and Neutrino detector (SND). In its 5-years run, corresponding to 2 · 1020 protons on target from the CERN SPS, we find that SHiP will improve the current limits in the mass range for the dark matter from about 1 MeV to 300 MeV. In particular, we show that SHiP will probe the thermal target for Majorana candidates in most of this mass window and even reach the Pseudo-Dirac thermal relic.
|
|
3. |
- Ahdida, C., et al.
(författare)
-
Fast simulation of muons produced at the SHiP experiment using Generative Adversarial Networks
- 2019
-
Ingår i: Journal of Instrumentation. - : IOP PUBLISHING LTD. - 1748-0221. ; 14
-
Tidskriftsartikel (refereegranskat)abstract
- This paper presents a fast approach to simulating muons produced in interactions of the SPS proton beams with the target of the SHiP experiment. The SHIP experiment will be able to search for new long-lived particles produced in a 400 GeV/c SPS proton beam dump and which travel distances between fifty metres and tens of kilometers. The SHiP detector needs to operate under ultra-low background conditions and requires large simulated samples of muon induced background processes. Through the use of Generative Adversarial Networks it is possible to emulate the simulation of the interaction of 400 GeV/c proton beams with the SHiP target, an otherwise computationally intensive process. For the simulation requirements of the SHiP experiment, generative networks are capable of approximating the full simulation of the dense fixed target, offering a speed increase by a factor of O(10(6)). To evaluate the performance of such an approach, comparisons of the distributions of reconstructed muon momenta in SHiP's spectrometer between samples using the full simulation and samples produced through generative models are presented. The methods discussed in this paper can be generalised and applied to modelling any non-discrete multi-dimensional distribution.
|
|
4. |
- Ahdida, C., et al.
(författare)
-
Measurement of the muon flux from 400 GeV/c protons interacting in a thick molybdenum/tungsten target
- 2020
-
Ingår i: European Physical Journal C. - : Springer Science and Business Media LLC. - 1434-6044 .- 1434-6052. ; 80:3
-
Tidskriftsartikel (refereegranskat)abstract
- The SHiP experiment is proposed to search for very weakly interacting particles beyond the Standard Model which are produced in a 400 GeV/c proton beam dump at the CERN SPS. About 1011muons per spill will be produced in the dump. To design the experiment such that the muon-induced background is minimized, a precise knowledge of the muon spectrum is required. To validate the muon flux generated by our Pythia and GEANT4 based Monte Carlo simulation (FairShip), we have measured the muon flux emanating from a SHiP-like target at the SPS. This target, consisting of 13 interaction lengths of slabs of molybdenum and tungsten, followed by a 2.4 m iron hadron absorber was placed in the H4 400 GeV/c proton beam line. To identify muons and to measure the momentum spectrum, a spectrometer instrumented with drift tubes and a muon tagger were used. During a 3-week period a dataset for analysis corresponding to (3.27 +/- 0.07)x1011protons on target was recorded. This amounts to approximatively 1% of a SHiP spill.
|
|
5. |
- Ahdida, C., et al.
(författare)
-
Sensitivity of the SHiP experiment to dark photons decaying to a pair of charged particles
- 2021
-
Ingår i: European Physical Journal C. - : Springer Nature. - 1434-6044 .- 1434-6052. ; 81:5
-
Tidskriftsartikel (refereegranskat)abstract
- Dark photons are hypothetical massive vector particles that could mix with ordinary photons. The simplest theoretical model is fully characterised by only two parameters: the mass of the dark photon m(gamma)D and its mixing parameter with the photon, epsilon. The sensitivity of the SHiP detector is reviewed for dark photons in the mass range between 0.002 and 10 GeV. Different productionmechanisms are simulated, with the dark photons decaying to pairs of visible fermions, including both leptons and quarks. Exclusion contours are presented and compared with those of past experiments. The SHiP detector is expected to have a unique sensitivity for m. D ranging between 0.8 and 3.3(-0.5)(+0.2) GeV, and epsilon(2) ranging between 10(-11) and 10(-17).
|
|
6. |
- Ahdida, C., et al.
(författare)
-
Sensitivity of the SHiP experiment to Heavy Neutral Leptons
- 2019
-
Ingår i: Journal of High Energy Physics (JHEP). - 1126-6708 .- 1029-8479. ; :4
-
Tidskriftsartikel (refereegranskat)abstract
- Heavy Neutral Leptons (HNLs) are hypothetical particles predicted by many extensions of the Standard Model. These particles can, among other things, explain the origin of neutrino masses, generate the observed matter-antimatter asymmetry in the Universe and provide a dark matter candidate. The SHiP experiment will be able to search for HNLs produced in decays of heavy mesons and travelling distances ranging between O(50 m) and tens of kilometers before decaying. We present the sensitivity of the SHiP experiment to a number of HNL's benchmark models and provide a way to calculate the SHiP's sensitivity to HNLs for arbitrary patterns of flavour mixings. The corresponding tools and data files are also made publicly available.
|
|
7. |
- Ahdida, C., et al.
(författare)
-
The experimental facility for the Search for Hidden Particles at the CERN SPS
- 2019
-
Ingår i: Journal of Instrumentation. - : Institute of Physics Publishing (IOPP). - 1748-0221. ; 14
-
Tidskriftsartikel (refereegranskat)abstract
- The Search for Hidden Particles (SHiP) Collaboration has shown that the CERN SPS accelerator with its 400 GeV/c proton beam offers a unique opportunity to explore the Hidden Sector [1-3]. The proposed experiment is an intensity frontier experiment which is capable of searching for hidden particles through both visible decays and through scattering signatures from recoil of electrons or nuclei. The high-intensity experimental facility developed by the SHiP Collaboration is based on a number of key features and developments which provide the possibility of probing a large part of the parameter space for a wide range of models with light long-lived super-weakly interacting particles with masses up to O(10) GeV/c(2) in an environment of extremely clean background conditions. This paper describes the proposal for the experimental facility together with the most important feasibility studies. The paper focuses on the challenging new ideas behind the beam extraction and beam delivery, the proton beam dump, and the suppression of beam-induced background.
|
|
8. |
- Ahdida, C., et al.
(författare)
-
The magnet of the scattering and neutrino detector for the SHiP experiment at CERN
- 2020
-
Ingår i: Journal of Instrumentation. - 1748-0221. ; 15:01
-
Tidskriftsartikel (refereegranskat)abstract
- The Search for Hidden Particles (SHiP) experiment proposal at CERN demands a dedicated dipole magnet for its scattering and neutrino detector. This requires a very large volume to be uniformly magnetized at B > 1.2 T, with constraints regarding the inner instrumented volume as well as the external region, where no massive structures are allowed and only an extremely low stray field is admitted. In this paper we report the main technical challenges and the relevant design options providing a comprehensive design for the magnet of the SHiP Scattering and Neutrino Detector.
|
|
9. |
- Ahdida, C., et al.
(författare)
-
The SHiP experiment at the proposed CERN SPS Beam Dump Facility
- 2022
-
Ingår i: European Physical Journal C. - : Springer Nature. - 1434-6044 .- 1434-6052. ; 82:5
-
Tidskriftsartikel (refereegranskat)abstract
- The Search for Hidden Particles (SHiP) Collaboration has proposed a general-purpose experimental facility operating in beam-dump mode at the CERN SPS accelerator to search for light, feebly interacting particles. In the baseline configuration, the SHiP experiment incorporates two complementary detectors. The upstream detector is designed for recoil signatures of light dark matter (LDM) scattering and for neutrino physics, in particular with tau neutrinos. It consists of a spectrometer magnet housing a layered detector system with high-density LDM/neutrino target plates, emulsion-film technology and electronic high-precision tracking. The total detector target mass amounts to about eight tonnes. The downstream detector system aims at measuring visible decays of feebly interacting particles to both fully reconstructed final states and to partially reconstructed final states with neutrinos, in a nearly background-free environment. The detector consists of a 50m\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm { \,m}$$\end{document} long decay volume under vacuum followed by a spectrometer and particle identification system with a rectangular acceptance of 5 m in width and 10 m in height. Using the high-intensity beam of 400GeV\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\,\mathrm {GeV}$$\end{document} protons, the experiment aims at profiting from the 4x1019\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$4\times 10<^>{19}$$\end{document} protons per year that are currently unexploited at the SPS, over a period of 5-10 years. This allows probing dark photons, dark scalars and pseudo-scalars, and heavy neutral leptons with GeV-scale masses in the direct searches at sensitivities that largely exceed those of existing and projected experiments. The sensitivity to light dark matter through scattering reaches well below the dark matter relic density limits in the range from a few MeV/c2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm {\,MeV\!/}c<^>2}$$\end{document} up to 100 MeV-scale masses, and it will be possible to study tau neutrino interactions with unprecedented statistics. This paper describes the SHiP experiment baseline setup and the detector systems, together with performance results from prototypes in test beams, as it was prepared for the 2020 Update of the European Strategy for Particle Physics. The expected detector performance from simulation is summarised at the end.
|
|
10. |
- Milstead, David A., et al.
(författare)
-
The active muon shield in the SHiP experiment
- 2017
-
Ingår i: Journal of Instrumentation. - 1748-0221. ; 12
-
Tidskriftsartikel (refereegranskat)abstract
- The SHiP experiment is designed to search for very weakly interacting particles beyond the Standard Model which are produced in a 400 GeV/c proton beam dump at the CERN SPS. An essential task for the experiment is to keep the Standard Model background level to less than 0.1 event after 2 x 10(20) protons on target. In the beam dump, around 10(11) muons will be produced per second. The muon rate in the spectrometer has to be reduced by at least four orders of magnitude to avoid muon-induced combinatorial background. A novel active muon shield is used to magnetically deflect the muons out of the acceptance of the spectrometer. This paper describes the basic principle of such a shield, its optimization and its performance.
|
|
11. |
- Menden, MP, et al.
(författare)
-
Community assessment to advance computational prediction of cancer drug combinations in a pharmacogenomic screen
- 2019
-
Ingår i: Nature communications. - : Springer Science and Business Media LLC. - 2041-1723. ; 10:1, s. 2674-
-
Tidskriftsartikel (refereegranskat)abstract
- The effectiveness of most cancer targeted therapies is short-lived. Tumors often develop resistance that might be overcome with drug combinations. However, the number of possible combinations is vast, necessitating data-driven approaches to find optimal patient-specific treatments. Here we report AstraZeneca’s large drug combination dataset, consisting of 11,576 experiments from 910 combinations across 85 molecularly characterized cancer cell lines, and results of a DREAM Challenge to evaluate computational strategies for predicting synergistic drug pairs and biomarkers. 160 teams participated to provide a comprehensive methodological development and benchmarking. Winning methods incorporate prior knowledge of drug-target interactions. Synergy is predicted with an accuracy matching biological replicates for >60% of combinations. However, 20% of drug combinations are poorly predicted by all methods. Genomic rationale for synergy predictions are identified, including ADAM17 inhibitor antagonism when combined with PIK3CB/D inhibition contrasting to synergy when combined with other PI3K-pathway inhibitors in PIK3CA mutant cells.
|
|
12. |
- Caswell, J. L., et al.
(författare)
-
The 6-GHz methanol multibeam maser catalogue - I. Galactic Centre region, longitudes 345° to 6°
- 2010
-
Ingår i: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY. - 0035-8711. ; 404:2, s. 1029-1060
-
Tidskriftsartikel (refereegranskat)abstract
- We have conducted a Galactic plane survey of methanol masers at 6668 MHz using a seven-beam receiver on the Parkes telescope. Here we present results from the first part, which provides sensitive unbiased coverage of a large region around the Galactic Centre. Details are given for 183 methanol maser sites in the longitude range 345° through the Galactic Centre to 6°. Within 6° of the Galactic Centre, we found 88 maser sites, of which more than half (48) are new discoveries. The masers are confined to a narrow Galactic latitude range, indicative of many sources at the Galactic Centre distance and beyond, and confined to a thin disc population; there is no high-latitude population that might be ascribed to the Galactic bulge. Within 2° of the Galactic Centre the maser velocities all lie between −60 and +77 km s−1, a range much smaller than the 540 km s−1 range observed in CO. Elsewhere, the maser with highest positive velocity (+107 km s−1) occurs, surprisingly, near longitude 355° and is probably attributable to the Galactic bar. The maser with the most negative velocity (−127 km s−1) is near longitude 346°, within the longitude–velocity locus of the near side of the ‘3-kpc arm’. It has the most extreme velocity of a clear population of masers associated with the near and far sides of the 3-kpc arm. Closer to the Galactic Centre the maser space density is generally low, except within 0.25 kpc of the Galactic Centre itself, the ‘Galactic Centre zone’, where it is 50 times higher, which is hinted at by the longitude distribution, and confirmed by the unusual velocities.
|
|
13. |
- Green, J. A., et al.
(författare)
-
The 6-GHz multibeam maser survey-I. Techniques
- 2009
-
Ingår i: Monthly Notices of the Royal Astronomical Society. - : Oxford University Press (OUP). - 0035-8711 .- 1365-2966. ; 392:2, s. 783-794
-
Tidskriftsartikel (refereegranskat)
|
|
14. |
- Biere, A., et al.
(författare)
-
Experimenting with SAT solvers in vampire
- 2014
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 8856, s. 431-442
-
Tidskriftsartikel (refereegranskat)abstract
- Recently, a new reasoning framework, called AVATAR, integrating first-order theorem proving with SAT solving has been proposed. In this paper, we experimentally analyze the behavior of various SAT solvers within first-order proving. For doing so, we first integrate the Lingeling SAT solver within the firstorder theorem prover Vampire and compare the behavior of such an integration with Vampire using a less efficient SAT solver. Interestingly, our experiments on first-order problems show that using the best SAT solvers within AVATAR does not always give best performance. There are some problems that could be solved only by using a less efficient SAT solver than Lingeling. However, the integration of Lingeling with Vampire turned out to be the best when it came to solving most of the hard problems.
|
|
15. |
- Degtyarev, A, et al.
(författare)
-
A note on semantics of logic programs with equality based on complete sets of E-unifiers
- 1996
-
Ingår i: JOURNAL OF LOGIC PROGRAMMING. - : ELSEVIER SCIENCE INC. - 0743-1066. ; 28:3, s. 207-216
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- We discuss semantics of equational Horn-clause programs based on the notion of a complete set of E-unifiers. We prove incompleteness of SLDE dagger-resolution in the general case. SLDE dagger-resolution was introduced by Gallier and Raatz who proved its c
|
|
16. |
|
|
17. |
- Degtyarev, A, et al.
(författare)
-
Equality elimination for the tableau method
- 1996
-
Ingår i: DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1128, s. 46-60
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- We apply the equality elimination method to semantic tableaux with equality. The resulting logical system is a combination of a goal-directed tableau calculus with a basic superposition calculus. Unlike most other known methods of adding equality to seman
|
|
18. |
- Degtyarev, A, et al.
(författare)
-
Simultaneous rigid E-unification is undecidable
- 1996
-
Ingår i: COMPUTER SCIENCE LOGIC. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1092, s. 178-190
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- Simultaneous rigid E-unification was introduced in 1987 by Gallier, Raatz and Snyder. It is used in the area of automated reasoning with equality in extension procedures, like the tableau method or the connection method. There were several faulty proofs o
|
|
19. |
- Degtyarev, A, et al.
(författare)
-
The decidability of simultaneous rigid E-unification with one variable
- 1998
-
Ingår i: REWRITING TECHNIQUES AND APPLICATIONS. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1379, s. 181-195
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the For All*There Exists For All* fragment of intuitionistic logic with equality is decidable
|
|
20. |
- Degtyarev, A, et al.
(författare)
-
The undecidability of simultaneous rigid E-unification
- 1996
-
Ingår i: THEORETICAL COMPUTER SCIENCE. - : ELSEVIER SCIENCE BV. - 0304-3975. ; 166:1-2, s. 291-300
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- Simultaneous rigid E-unification was introduced in 1987 by Gallier, Raatz and Snyder. It is used in the area of automated reasoning with equality in extension procedures, like the tableau method or the connection method. Many articles in this area assumed
|
|
21. |
- Degtyarev, A, et al.
(författare)
-
What you always wanted to know about rigid E-unification
- 1998
-
Ingår i: JOURNAL OF AUTOMATED REASONING. - : KLUWER ACADEMIC PUBL. - 0168-7433. ; 20:1-2, s. 47-80
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-unification. The use of rigid E-unification and simultaneous rigid E-unification for such methods was propose
|
|
22. |
- Degtyarev, A, et al.
(författare)
-
What you always wanted to know about rigid E-unification
- 1996
-
Ingår i: LOGICS IN ARTIFICIAL INTELLIGENCE. - : SPRINGER-VERLAG BERLIN. ; 1126, s. 50-69
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-unification. The use of rigid E-unification and simultaneous rigid E-unification for such methods has been pr
|
|
23. |
- Gupta, A., et al.
(författare)
-
Extensional crisis and proving identity
- 2014
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. - 9783319119359 ; 8837, s. 185-200
-
Konferensbidrag (refereegranskat)abstract
- Extensionality axioms are common when reasoning about data collections, such as arrays and functions in program analysis, or sets in mathematics. An extensionality axiom asserts that two collections are equal if they consist of the same elements at the same indices. Using extensionality is often required to show that two collections are equal. A typical example is the set theory theorem (∀x)(∀y)x∪y = y ∪x. Interestingly, while humans have no problem with proving such set identities using extensionality, they are very hard for superposition theorem provers because of the calculi they use. In this paper we show how addition of a new inference rule, called extensionality resolution, allows first-order theorem provers to easily solve problems no modern first-order theorem prover can solve. We illustrate this by running the VAMPIRE theorem prover with extensionality resolution on a number of set theory and array problems. Extensionality resolution helps VAMPIRE to solve problems from the TPTP library of first-order problems that were never solved before by any prover.
|
|
24. |
- Dantsin, E, et al.
(författare)
-
A nondeterministic polynomial-time unification algorithm for bags, sets and trees
- 1999
-
Ingår i: FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1578, s. 180-196
-
Tidskriftsartikel (refereegranskat)abstract
- Unification in logic programming deals with tree-like data represented by terms. Some applications, including deductive databases, require handling more complex values, for example finite sets or bags (finite multisets). We extend unification to the combi
|
|
25. |
- Gurevich, J, et al.
(författare)
-
Monadic simultaneous rigid E-unification and related problems
- 1997
-
Ingår i: AUTOMATA, LANGUAGES AND PROGRAMMING. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1256, s. 154-165
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- We study the monadic case of a decision problem know as simultaneous rigid E-unification. We show its equivalence to an extension of word equations. We prove decidability and complexity results for special cases of this problem.
|
|