| 1. |
- Aamodt, K., et al.
(författare)
-
Alignment of the ALICE Inner Tracking System with cosmic-ray tracks
- 2010
-
Ingår i: Journal of Instrumentation. - 1748-0221. ; 5
-
Konferensbidrag (refereegranskat)abstract
- ALICE (A Large Ion Collider Experiment) is the LHC (Large Hadron Collider) experiment devoted to investigating the strongly interacting matter created in nucleus-nucleus collisions at the LHC energies. The ALICE ITS, Inner Tracking System, consists of six cylindrical layers of silicon detectors with three different technologies; in the outward direction: two layers of pixel detectors, two layers each of drift, and strip detectors. The number of parameters to be determined in the spatial alignment of the 2198 sensor modules of the ITS is about 13,000. The target alignment precision is well below 10 mu m in some cases (pixels). The sources of alignment information include survey measurements, and the reconstructed tracks from cosmic rays and from proton-proton collisions. The main track-based alignment method uses the Millepede global approach. An iterative local method was developed and used as well. We present the results obtained for the ITS alignment using about 10(5) charged tracks from cosmic rays that have been collected during summer 2008, with the ALICE solenoidal magnet switched off.
|
|
| 2. |
- Davydov, Roman, et al.
(författare)
-
The application of pesticides and mineral fertilizers in agriculture
- 2018
-
Ingår i: MATEC Web of Conferences. - : EDP Sciences.
-
Konferensbidrag (refereegranskat)abstract
- Regulation of using pesticides and agrochemicals application in agriculture is one of the important problem now, as also the problem of storage of mineral fertilizers and their improper using, which have negative influence on the chemical and the food security of the country. This paper discusses the features and benefits of monodisperse aerosols of pesticides in plant protection after a long-term research. A new line of development of science, engineering, industrial and innovative technologies-the author's project "Monodisperse Anthropogenic Aerosols" is proposed. The measures for its implementation are presented. © The Authors, published by EDP Sciences, 2018.
|
|
| 3. |
- Buss, S., et al.
(författare)
-
Reordering rule makes OBDD proof systems stronger
- 2018
-
Ingår i: Leibniz International Proceedings in Informatics, LIPIcs. - : Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. - 9783959770699 ; , s. 1-24
-
Konferensbidrag (refereegranskat)abstract
- Atserias, Kolaitis, and Vardi showed that the proof system of Ordered Binary Decision Diagrams with conjunction and weakening, OBDD(∧, weakening), simulates CP∗ (Cutting Planes with unary coefficients). We show that OBDD(∧, weakening) can give exponentially shorter proofs than dag-like cutting planes. This is proved by showing that the Clique-Coloring tautologies have polynomial size proofs in the OBDD(∧, weakening) system. The reordering rule allows changing the variable order for OBDDs. We show that OBDD (∧, weakening, reordering) is strictly stronger than OBDD(∧, weakening). This is proved using the Clique-Coloring tautologies, and by transforming tautologies using coded permutations and orification. We also give CNF formulas which have polynomial size OBDD(∧) proofs but require superpolynomial (actually, quasipolynomial size) resolution proofs, and thus we partially resolve an open question proposed by Groote and Zantema. Applying dag-like and tree-like lifting techniques to the mentioned results, we completely analyze which of the systems among CP∗, OBDD(∧), OBDD(∧, reordering), OBDD(∧, weakening) and OBDD (∧, weakening, reordering) polynomially simulate each other. For dag-like proof systems, some of our separations are quasipolynomial and some are exponential; for tree-like systems, all of our separations are exponential.
|
|
