检索结果-内蒙古大学图书馆

Measurement of the cross section of top quark-antiquark pair production in association with a W boson in proton-proton collisions at s = 13 TeV

引用

Journal of high Energy Physics 2023年第7期2023卷 1-54页

作者： Tumasyan, A. Adam, W. Andrejkovic, J.W. Bergauer, T. Chatterjee, S. Damanakis, K. Dragicevic, M. Escalante Del Valle, A. Hussain, P.S. Jeitler, M. Krammer, N. Lechner, L. Liko, D. Mikulec, I. Paulitsch, P. Pitters, F.M. Schieck, J. Schöfbeck, R. Schwarz, D. Templ, S. Waltenberger, W. Wulz, C.-E. Darwish, M.R. Janssen, T. Kello, T. Rejeb Sfar, H. Van Mechelen, P. Bols, E.S. D’Hondt, J. De Moor, A. Delcourt, M. El Faham, H. Lowette, S. Moortgat, S. Morton, A. Müller, D. Sahasransu, A.R. Tavernier, S. Van Doninck, W. Vannerom, D. Clerbaux, B. De Lentdecker, G. Favart, L. Hohov, D. Jaramillo, J. Lee, K. Mahdavikhorrami, M. Makarenko, I. Malara, A. Paredes, S. Pétré, L. Postiau, N. Starling, E. Thomas, L. Vanden Bemden, M. Vander Velde, C. Vanlaer, P. Dobur, D. Knolle, J. Lambrecht, L. Mestdach, G. Niedziela, M. Rendón, C. Roskas, C. Samalan, A. Skovpen, K. Tytgat, M. Van Den Bossche, N. Vermassen, B. Wezenbeek, L. Benecke, A. Bruno, G. Bury, F. Caputo, C. David, P. Delaere, C. Donertas, I.S. Giammanco, A. Jaffel, K. Jain, Sa. Lemaitre, V. Mondal, K. Prisciandaro, J. Taliercio, A. Tran, T.T. Vischia, P. Wertz, S. Alves, G.A. Coelho, E. Hensel, C. Moraes, A. Rebello Teles, P. Aldá Júnior, W.L. Alves Gallo Pereira, M. Barroso Ferreira Filho, M. Brandao Malbouisson, H. Carvalho, W. Chinellato, J. Da Costa, E.M. Da Silveira, G.G. De Jesus Damiao, D. Dos Santos Sousa, V. Fonseca De Souza, S. Martins, J. Mora Herrera, C. Mota Amarilo, K. Mundim, L. Nogima, H. Santoro, A. Silva Do Amaral, S.M. Sznajder, A. Thiel, M. Torres Da Silva De Araujo, F. Vilela Pereira, A. Bernardes, C.A. Calligaris, L. Fernandez Perez Tomei, T.R. Gregores, E.M. Mercadante, P.G. Novaes, S.F. Padula, Sandra S. Aleksandrov, A. Antchev, G. Hadjiiska, R. Iaydjiev, P. Misheva, M. Rodozov, M. Shopova, M. Sultanov, G. Dimitrov, A. Ivanov, T. Litov, L. Pavlov, B. Petkov, P. Petrov, A. Shumka, E. Thakur, S. Cheng, T. Javaid, T. Mittal, M. Yuan, L. Ahmad, M. Bauer, G. Hu, Z. Lezki, S. Yi, K. Chen, G.M. Chen, H.S. Chen, M. Iemmi, F. Jiang, C.H. Kapoor, A. Kou, Yerevan Physics Institute Yerevan Armenia Institut für Hochenergiephysik Vienna Austria Universiteit Antwerpen Antwerpen Belgium Vrije Universiteit Brussel Brussel Belgium Université Libre de Bruxelles Bruxelles Belgium Ghent University Ghent Belgium Université Catholique de Louvain Louvain-la-Neuve Belgium Centro Brasileiro de Pesquisas Fisicas Rio de Janeiro Brazil Universidade do Estado do Rio de Janeiro Rio de Janeiro Brazil Universidade Estadual Paulista Universidade Federal do ABC São Paulo Brazil Institute for Nuclear Research and Nuclear Energy Bulgarian Academy of Sciences Sofia Bulgaria University of Sofia Sofia Bulgaria Instituto De Alta Investigación Universidad de Tarapacá Casilla 7 D Arica Chile Beihang University Beijing China Department of Physics Tsinghua University Beijing China Institute of High Energy Physics Beijing China State Key Laboratory of Nuclear Physics and Technology Peking University Beijing China Sun Yat-Sen University Guangzhou China Institute of Modern Physics and Key Laboratory of Nuclear Physics and Ion-beam Application (MOE) — Fudan University Shanghai China Zhejiang University Zhejiang Hangzhou China Universidad de Los Andes Bogota Colombia Universidad de Antioquia Medellin Colombia University of Split Faculty of Electrical Engineering Mechanical Engineering and Naval Architecture Split Croatia University of Split Faculty of Science Split Croatia Institute Rudjer Boskovic Zagreb Croatia University of Cyprus Nicosia Cyprus Charles University Prague Czech Republic Escuela Politecnica Nacional Quito Ecuador Universidad San Francisco de Quito Quito Ecuador Academy of Scientific Research and Technology of the Arab Republic of Egypt Egyptian Network of High Energy Physics Cairo Egypt Center for High Energy Physics (CHEP-FU) Fayoum University El-Fayoum Egypt National Institute of Chemical Physics and Biophysics Tallinn Estonia Department of Physics University of Helsinki Helsinki Finland Helsinki Institut

The production of a top quark-antiquark pair in association with a W boson (tt¯W) is measured in proton-proton collisions at a center-of-mass energy of 13 TeV. The analyzed data was recorded by the CMS experiment at the CERN LHC and corresponds to an integrated luminosity of 138 fb⁻¹. Events with two or three leptons (electrons and muons) and additional jets are selected. In events with two leptons, a multiclass neural network is used to distinguish between the signal and background processes. Events with three leptons are categorized based on the number of jets and of jets originating from b quark hadronization, and the lepton charges. The inclusive tt¯W production cross section in the full phase space is measured to be 868 ± 40(stat) ± 51(syst) fb. The tt¯W⁺ and tt¯W⁻ cross sections are also measured as 553 ± 30(stat) ± 30(syst) and 343 ± 26(stat) ± 25(syst) fb, respectively, and the corresponding ratio of the two cross sections is found to be 1.61±0.15stat_−0.05^+0.07syst. The measured cross sections are larger than but consistent with the standard model predictions within two standard deviations, and represent the most precise measurement of these cross sections to date. © The Author(s) 2023.

关键词： Hadron-Hadron Scattering Top Physics

来源：评论

学校读者我要写书评

暂无评论

Search for a vector-like quark T′ → tH via the diphoton decay mode of the Higgs boson in proton-proton collisions at √s = 13 TeV

引用

Journal of high Energy Physics 2023年第9期2023卷 1-40页

作者： Tumasyan, A. Adam, W. Andrejkovic, J.W. Bergauer, T. Chatterjee, S. Damanakis, K. Dragicevic, M. Escalante Del Valle, A. Hussain, P.S. Jeitler, M. Krammer, N. Lechner, L. Liko, D. Mikulec, I. Paulitsch, P. Pitters, F.M. Schieck, J. Schöfbeck, R. Schwarz, D. Sonawane, M. Templ, S. Waltenberger, W. Wulz, C.-E. Darwish, M.R. Janssen, T. Kello, T. Rejeb Sfar, H. Van Mechelen, P. Bols, E.S. D’Hondt, J. De Moor, A. Delcourt, M. El Faham, H. Lowette, S. Moortgat, S. Morton, A. Müller, D. Sahasransu, A.R. Tavernier, S. Van Doninck, W. Vannerom, D. Clerbaux, B. De Lentdecker, G. Favart, L. Hohov, D. Jaramillo, J. Lee, K. Mahdavikhorrami, M. Makarenko, I. Malara, A. Paredes, S. Pétré, L. Postiau, N. Thomas, L. Vanden Bemden, M. Vander Velde, C. Vanlaer, P. Dobur, D. Knolle, J. Lambrecht, L. Mestdach, G. Rendón, C. Samalan, A. Skovpen, K. Tytgat, M. Van Den Bossche, N. Vermassen, B. Wezenbeek, L. Benecke, A. Bruno, G. Bury, F. Caputo, C. David, P. Delaere, C. Donertas, I.S. Giammanco, A. Jaffel, K. Jain, Sa. Lemaitre, V. Mondal, K. Taliercio, A. Tran, T.T. Vischia, P. Wertz, S. Alves, G.A. Coelho, E. Hensel, C. Moraes, A. Rebello Teles, P. Aldá Júnior, W.L. Alves Gallo Pereira, M. Barroso Ferreira Filho, M. Brandao Malbouisson, H. Carvalho, W. Chinellato, J. Da Costa, E.M. Da Silveira, G.G. De Jesus Damiao, D. Dos Santos Sousa, V. Fonseca De Souza, S. Martins, J. Mora Herrera, C. Mota Amarilo, K. Mundim, L. Nogima, H. Santoro, A. Silva Do Amaral, S.M. Sznajder, A. Thiel, M. Vilela Pereira, A. Bernardes, C.A. Calligaris, L. Fernandez Perez Tomei, T.R. Gregores, E.M. Mercadante, P.G. Novaes, S.F. Padula, Sandra S. Aleksandrov, A. Antchev, G. Hadjiiska, R. Iaydjiev, P. Misheva, M. Rodozov, M. Shopova, M. Sultanov, G. Dimitrov, A. Ivanov, T. Litov, L. Pavlov, B. Petkov, P. Petrov, A. Shumka, E. Thakur, S. Cheng, T. Javaid, T. Mittal, M. Yuan, L. Ahmad, M. Bauer, G. Hu, Z. Lezki, S. Yi, K. Chen, G.M. Chen, H.S. Chen, M. Iemmi, F. Jiang, C.H. Kapoor, A. Liao, H. Liu, Z.-A. Milosevic, V. Monti, F. Sharma, R. Tao, J. Thomas-Wilsker Yerevan Physics Institute Yerevan Armenia Institut für Hochenergiephysik Vienna Austria Universiteit Antwerpen Antwerpen Belgium Vrije Universiteit Brussel Brussel Belgium Université Libre de Bruxelles Bruxelles Belgium Ghent University Ghent Belgium Université Catholique de Louvain Louvain-la-Neuve Belgium Centro Brasileiro de Pesquisas Fisicas Rio de Janeiro Brazil Universidade do Estado do Rio de Janeiro Rio de Janeiro Brazil Universidade Estadual Paulista Universidade Federal do ABC São Paulo Brazil Institute for Nuclear Research and Nuclear Energy Bulgarian Academy of Sciences Sofia Bulgaria University of Sofia Sofia Bulgaria Instituto De Alta Investigación Universidad de Tarapacá Casilla 7 D Arica Chile Beihang University Beijing China Department of Physics Tsinghua University Beijing China Institute of High Energy Physics Beijing China State Key Laboratory of Nuclear Physics and Technology Peking University Beijing China Sun Yat-Sen University Guangzhou China University of Science and Technology of China Hefei China Institute of Modern Physics and Key Laboratory of Nuclear Physics and Ion-beam Application (MOE) — Fudan University Shanghai China Zhejiang University Zhejiang Hangzhou China Universidad de Los Andes Bogota Colombia Universidad de Antioquia Medellin Colombia University of Split Faculty of Electrical Engineering Mechanical Engineering and Naval Architecture Split Croatia University of Split Faculty of Science Split Croatia Institute Rudjer Boskovic Zagreb Croatia University of Cyprus Nicosia Cyprus Charles University Prague Czech Republic Escuela Politecnica Nacional Quito Ecuador Universidad San Francisco de Quito Quito Ecuador Academy of Scientific Research and Technology of the Arab Republic of Egypt Egyptian Network of High Energy Physics Cairo Egypt Center for High Energy Physics (CHEP-FU) Fayoum University El-Fayoum Egypt National Institute of Chemical Physics and Biophysics Tallinn Estonia Department of Physics

A search for the electroweak production of a vector-like quark T′, decaying to a top quark and a Higgs boson is presented. The search is based on a sample of proton-proton collision events recorded at the LHC at s = 13 TeV, corresponding to an integrated luminosity of 138 fb¹. This is the first T′ search that exploits the Higgs boson decay to a pair of photons. For narrow isospin singlet T′ states with masses up to 1.1 TeV, the excellent diphoton invariant mass resolution of 1–2% results in an increased sensitivity compared to previous searches based on the same production mechanism. The electroweak production of a T′ quark with mass up to 960 GeV is excluded at 95% confidence level, assuming a coupling strength κ_T = 0.25 and a relative decay width Γ/M_T′ < 5%. [Figure not available: see fulltext.]. © 2023, The Author(s).

关键词： Beyond Standard Model Hadron-Hadron Scattering Top Physics

来源：评论

学校读者我要写书评

暂无评论

FPGA-accelerated deep convolutional neural networks for high throughput and energy efficiency

FPGA-accelerated deep convolutional neural networks for high...

引用

作者： Qiao, Yuran Shen, Junzhong Xiao, Tao Yang, Qianming Wen, Mei Zhang, Chunyuan Department of Computer State Key Laboratory of High Performance Computing National University of Defense Technology ChangshaHunan China

Recent breakthroughs in the deep convolutional neural networks (CNNs) have led to great improvements in the accuracy of both vision and auditory systems. Characterized by their deep structures and large numbers of parameters, deep CNNs challenge the computational performance of today. Hardware specialization in the form of field-programmable gate array offers a promising path towards major leaps in computational performance while achieving high-energy efficiency. In this paper, we focus on accelerating deep CNNs using the Xilinx Zynq-zq7045 FPGA SoC. As most of the computational workload can be converted to matrix multiplications, we adopt a matrix multiplier-based accelerator architecture. Dedicated units are designed to eliminate the conversion overhead. We also design a customized memory system according to the memory access pattern of CNNs. To make the accelerator easily usable by application developers, our accelerator supports Caffe, which is a widely used software framework of deep CNN. Different CNN models can be adopted by our accelerator, with good performance portability. The experimental results show that for a typical application of CNN, image classification, an average throughout of 77.8 GFLOPS is achieved, while the energy efficiency is 4.7× better than an Nvidia K20 GPGPU. © 2016 The Authors. Concurrency and Computation: Practice and Experience Published by John Wiley & Sons Ltd. © 2016 The Authors. Concurrency and Computation: Practice and Experience Published by John Wiley & Sons Ltd

关键词： Matrix algebra

来源：评论

学校读者我要写书评

暂无评论

Bottom quark energy loss and hadronization with B+ and nuclear modification factors using pp and PbPb collisions at = 5.02 TeV

引用

Journal of high Energy Physics 2025年第2期2025卷 1-40页

作者： Hayrapetyan, A. Tumasyan, A. Adam, W. Andrejkovic, J. W. Bergauer, T. Chatterjee, S. Damanakis, K. Dragicevic, M. Hussain, P. S. Jeitler, M. Krammer, N. Li, A. Liko, D. Mikulec, I. Schieck, J. Schöfbeck, R. Schwarz, D. Sonawane, M. Templ, S. Waltenberger, W. Wulz, C.-E. Darwish, M. R. Janssen, T. Van Mechelen, P. Breugelmans, N. D’Hondt, J. Dansana, S. De Moor, A. Delcourt, M. Heyen, F. Lowette, S. Makarenko, I. Müller, D. Tavernier, S. Tytgat, M. Van Onsem, G. P. Van Putte, S. Vannerom, D. Bilin, B. Clerbaux, B. Das, A. K. De Lentdecker, G. Evard, H. Favart, L. Gianneios, P. Jaramillo, J. Khalilzadeh, A. Khan, F. A. Lee, K. Mahdavikhorrami, M. Malara, A. Paredes, S. Shahzad, M. A. Thomas, L. Vanden Bemden, M. Vander Velde, C. Vanlaer, P. De Coen, M. Dobur, D. Gokbulut, G. Hong, Y. Knolle, J. Lambrecht, L. Marckx, D. Mota Amarilo, K. Samalan, A. Skovpen, K. Van Den Bossche, N. van der Linden, J. Wezenbeek, L. Benecke, A. Bethani, A. Bruno, G. Caputo, C. De Favereau De Jeneret, J. Delaere, C. Donertas, I. S. Giammanco, A. Guzel, A. O. Jain, Sa. Lemaitre, V. Lidrych, J. Mastrapasqua, P. Tran, T. T. Wertz, S. Alves, G. A. Alves Gallo Pereira, M. Coelho, E. Correia Silva, G. Hensel, C. Menezes De Oliveira, T. Moraes, A. Rebello Teles, P. Soeiro, M. Vilela Pereira, A. Aldá Júnior, W. L. Barroso Ferreira Filho, M. Brandao Malbouisson, H. Carvalho, W. Chinellato, J. Da Costa, E. M. Da Silveira, G. G. De Jesus Damiao, D. Fonseca De Souza, S. Gomes De Souza, R. Macedo, M. Martins, J. Mora Herrera, C. Mundim, L. Nogima, H. Pinheiro, J. P. Santoro, A. Sznajder, A. Thiel, M. Bernardes, C. A. Calligaris, L. Fernandez Perez Tomei, T. R. Gregores, E. M. Maietto Silverio, I. Mercadante, P. G. Novaes, S. F. Orzari, B. Padula, Sandra S. Aleksandrov, A. Antchev, G. Hadjiiska, R. Iaydjiev, P. Misheva, M. Shopova, M. Sultanov, G. Dimitrov, A. Litov, L. Pavlov, B. Petkov, P. Petrov, A. Shumka, E. Keshri, S. Thakur, S. Cheng, T. Javaid, T. Yuan, L. Hu, Z. Liang, Z. Liu, J. Yi, K. Chen, G. M. Chen, H. S. Chen, M. Iemmi, F. Jiang, C. H. Yerevan Physics Institute Yerevan Armenia Yerevan State University Yerevan Armenia Institut für Hochenergiephysik Vienna Austria TU Wien Vienna Austria Universiteit Antwerpen Antwerpen Belgium Institute of Basic and Applied Sciences Faculty of Engineering Arab Academy for Science Technology and Maritime Transport Alexandria Egypt Vrije Universiteit Brussel Brussel Belgium Ghent University Ghent Belgium Université Libre de Bruxelles Bruxelles Belgium Université Catholique de Louvain Louvain-la-Neuve Belgium Centro Brasileiro de Pesquisas Fisicas Rio de Janeiro Brazil Universidade do Estado do Rio de Janeiro Rio de Janeiro Brazil Universidade Estadual de Campinas Campinas Brazil Federal University of Rio Grande do Sul Porto Alegre Brazil UFMS Nova Andradina Brazil Universidade Estadual Paulista Universidade Federal do ABC São Paulo Brazil Institute for Nuclear Research and Nuclear Energy Bulgarian Academy of Sciences Sofia Bulgaria University of Sofia Sofia Bulgaria Instituto De Alta Investigación Universidad de Tarapacá Arica Chile Beihang University Beijing China Department of Physics Tsinghua University Beijing China Nanjing Normal University Nanjing China The University of Iowa Iowa City USA Institute of High Energy Physics Beijing China University of Chinese Academy of Sciences Beijing China China Center of Advanced Science and Technology Beijing China China Spallation Neutron Source Guangdong China State Key Laboratory of Nuclear Physics and Technology Peking University Beijing China Guangdong Provincial Key Laboratory of Nuclear Science and Guangdong-Hong Kong Joint Laboratory of Quantum Matter South China Normal University Guangzhou China Sun Yat-Sen University Guangzhou China University of Science and Technology of China Hefei China Henan Normal University Xinxiang China Institute of Modern Physics and Key Laboratory of Nuclear Physics and Ion-beam Application (MOE) - Fudan University Shanghai China Zhejiang University Hangzhou Ch

The production cross sections of $$ {\textrm{B}}_{\textrm{s}}^0 $$ and B+ mesons are reported in proton-proton (pp) collisions recorded by the CMS experiment at the CERN LHC with a center-of-mass energy of 5.02 TeV. The data sample corresponds to an integrated luminosity of 302 pb−1. The cross sections are based on measurements of the $$ {\textrm{B}}_{\textrm{s}}^0 $$ → J/ψ(μ+μ−)ϕ(1020)(K+K−) and B+ → J/ψ(μ+μ−)K+ decay channels. Results are presented in the transverse momentum (pT) range 7–50 GeV/c and the rapidity interval |y| < 2.4 for the B mesons. The measured pT-differential cross sections of B+ and $$ {\textrm{B}}_{\textrm{s}}^0 $$ in pp collisions are well described by fixed-order plus next-to-leading logarithm perturbative quantum chromodynamics calculations. Using previous PbPb collision measurements at the same nucleon-nucleon center-of-mass energy, the nuclear modification factors, RAA, of the B mesons are determined. For pT > 10 GeV/c, both mesons are found to be suppressed in PbPb collisions (with RAA values significantly below unity), with less suppression observed for the $$ {\textrm{B}}_{\textrm{s}}^0 $$ mesons. In this pT range, the RAA values for the B+ mesons are consistent with those for inclusive charged hadrons and D0 mesons. Below 10 GeV/c, both B+ and $$ {\textrm{B}}_{\textrm{s}}^0 $$ are found to be less suppressed than either inclusive charged hadrons or D0 mesons, with the $$ {\textrm{B}}_{\textrm{s}}^0 $$ RAA value consistent with unity. The RAA values found for the B+ and $$ {\textrm{B}}_{\textrm{s}}^0 $$ are compared to theoretical calculations, providing constraints on the mechanism of bottom quark energy loss and hadronization in the quark-gluon plasma, the hot and dense matter created in ultrarelativistic heavy ion collisions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Accumulative time-based ranking method to reputation evaluation in information networks

arXiv

引用

arXiv 2019年

作者： Liao, Hao Liu, Qi-Xin Huang, Ze-Cheng Yeung, Chi Ho Zhang, Yi-Cheng National Engineering Laboratory on Big Data System Computing Technology Guangdong Province Engineering Center of China-made High Performance Data Computing System College of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China Institute of Big Data Intelligent Management and Decision Shenzhen University Shenzhen518060 China Department of Science and Environmental Studies The Education University of Hong Kong Hong Kong Hong Kong Department of Physics University of Fribourg Fribourg Switzerland

With the rapid development of modern technology, the Web has become an important platform for users to make friends and acquire information. However, since information on the Web is over-abundant, information filtering becomes a key task for online users to obtain relevant suggestions. As most Websites can be ranked according to users’ rating and preferences, relevance to queries, and recency, how to extract the most relevant item from the over-abundant information is always a key topic for researchers in various fields. In this paper, we adopt tools used to analyze complex networks to evaluate user reputation and item quality. In our proposed accumulative time-based ranking (ATR) algorithm, we incorporate two behavioral weighting factors which are updated when users select or rate items, to reflect the evolution of user reputation and item quality over time. We showed that our algorithm outperforms state-of-the-art ranking algorithms in terms of precision and robustness on empirical datasets from various online retailers and the citation datasets among research publications. Copyright © 2019, The Authors. All rights reserved.

关键词： Information filtering

来源：评论

学校读者我要写书评

暂无评论

How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects

How to Explain a Patch: An Empirical Study of Patch Explanat...

引用

International Symposium on Software Reliability Engineering (ISSRE)

作者： Jingjing Liang Yaozong Hou Shurui Zhou Junjie Chen Yingfei Xiong Gang Huang Key Laboratory of High Confidence Software Technologies (Peking University) MoE Beijing PR China Department of Computer Science and Technology EECS Peking University Beijing PR China Beijing Kuaishou Technology Co. Ltd Beijing PR China Carnegie Mellon University Pittsburgh USA College of Intelligence and Computing Tianjin University Tianjin PR China

ISBN: (纸本)9781728149837

Bugs are inevitable in software development and maintenance processes. Recently a lot of research efforts have been devoted to automatic program repair, aiming to reduce the efforts of debugging. However, since it is difficult to ensure that the generated patches meet all quality requirements such as correctness, developers still need to review the patch. In addition, current techniques produce only patches without explanation, making it difficult for the developers to understand the patch. Therefore, we believe a more desirable approach should generate not only the patch but also an explanation of the patch. To generate a patch explanation, it is important to first understand how patches were explained. In this paper, we explored how developers explain their patches by manually analyzing 300 merged bug-fixing pull requests from six projects on GitHub. Our contribution is twofold. First, we build a patch explanation model, which summarizes the elements in a patch explanation, and corresponding expressive forms. Second, we conducted a quantitative analysis to understand the distributions of elements, and the correlation between elements and their expressive forms.

关键词： Correlation Statistical analysis Maintenance engineering Software Software reliability Software measurement Software development management

来源：评论

学校读者我要写书评

暂无评论

Combining symbolic execution and model checking to verify mpi programs

arXiv

引用

arXiv 2018年

作者： Yu, Hengbiao Chen, Zhenbang Fu, Xianjin Wang, Ji Su, Zhendong Sun, Jun Huang, Chun Dong, Wei College of Computer National University of Defense Technology Changsha China State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China Department of Computer Science ETH Zurich Switzerland School of Information Systems Singapore Management University Singapore

Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the complex program features (such as non-determinism and non-blocking operations). In this work, we present MPI symbolic verifier (MPI-SV), the first symbolic execution based tool for automatically verifying MPI programs with non-blocking operations. MPI-SV combines symbolic execution and model checking in a synergistic way to tackle the challenges in MPI program verification. The synergy improves the scalability and enlarges the scope of verifiable properties. We have implemented MPI-SV1 and evaluated it with 111 real-world MPI verification tasks. The pure symbolic execution-based technique successfully verifies 61 out of the 111 tasks (55%) within one hour, while in comparison, MPI-SV verifies 100 tasks (90%). On average, compared with pure symbolic execution, MPI-SV achieves 19x speedups on verifying the satisfaction of the critical property and 5x speedups on finding violations. Copyright © 2018, The Authors. All rights reserved.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Calibration of the gravitational wave telescope KAGRA 38

Calibration of the gravitational wave telescope KAGRA

引用

38th International Cosmic Ray Conference, ICRC 2023

作者： Chen, Dan Abe, H. Akutsu, T. Ando, M. Aoumi, M. Araya, A. Aritomi, N. Aso, Y. Bae, S. Bajpai, R. Cannon, K. Cao, Z. Chang, R.-J. Chen, A.H.-Y. Chen, D. Chen, H. Chen, Y. Chiba, A. Chiba, R. Chou, C. Eisenmann, M. Fujii, S. Fukunaga, I. Haba, D. Haino, S. Han, W.-B. Hayakawa, H. Hayama, K. Himemoto, Y. Hirata, N. Hirose, C. Hoshino, S. Hsieh, H.-F. Hsiung, C. Hsu, S.-C. Hui, D.C.Y. Inayoshi, K. Itoh, Y. Iwaya, M. Jin, H.B. Jung, K. Kajita, T. Kamiizumi, M. Kanda, N. Kato, J. Kato, T. Kim, S. Kimura, N. Kiyota, T. Kohri, K. Kokeyama, K. Komori, K. Kong, A.K.H. Koyama, N. Kume, J. Kuroyanagi, S. Kuwahara, S. Kwak, K. Lai, S. Lee, H.W. Lee, R. Lee, S. Leonardi, M. Li, K.L. Lin, L.C.-C. Lin, C.-Y. Lin, E.T. Liu, G.C. Ma, L.-T. Maeda, K. Matsuyama, M. Meyer-Conde, M. Michimura, Y. Mio, N. Miyakawa, O. Miyamoto, S. Miyoki, S. Morisaki, S. Moriwaki, Y. Murakoshi, M. Nakamura, K. Nakano, H. Narikawa, T. Nguyen Quynh, L. Nishino, Y. Nishizawa, A. Obayashi, K. Oh, J.J. Oh, K. Ohashi, M. Ohkawa, M. Oohara, K. Oshima, Y. Oshino, S. Page, M.A. Pan, K.-C. Park, J. Peña Arellano, F.E. Saha, S. Sakai, K. Sako, T. Sato, R. Sato, S. Sato, Y. Sawada, T. Sekiguchi, Y. Shao, L. Shikano, Y. Shimode, K. Shinkai, H. Shiota, J. Somiya, K. Suzuki, T. Suzuki, T. Tagoshi, H. Takahashi, H. Takahashi, R. Takamori, A. Takatani, K. Takeda, H. Takeda, M. Tamaki, M. Tanaka, K. Tanaka, S.J. Tanaka, T. Taruya, A. Tomaru, T. Tomita, K. Tomura, T. Toriyama, A. Trani, A.A. Tsuchida, S. Uchikata, N. Uchiyama, T. Uehara, T. Ueno, K. Ushiba, T. van Putten, M.H.P.M. Wang, H. Washimi, T. Wu, C. Wu, H. Yamamoto, K. Yamamoto, M. Yamamoto, T. Yamamoto, T.S. Yamamura, S. Yamazaki, R. Yang, L.-C. Yang, Y. Yeh, S.-W. Yokoyama, J. Yokozawa, T. Yuzurihara, H. Zhao, Y. Zhu, Z.-H. Kamioka Branch National Astronomical Observatory of Japan 238 Higashi-Mozumi Kamioka-cho Hida City Gifu506-1205 Japan Graduate School of Science Tokyo Institute of Technology 2-12-1 Ookayama Meguro-ku Tokyo152-8551 Japan Gravitational Wave Science Project National Astronomical Observatory of Japan 2-21-1 Osawa Mitaka City Tokyo181-8588 Japan Advanced Technology Center National Astronomical Observatory of Japan 2-21-1 Osawa Mitaka City Tokyo181-8588 Japan Department of Physics The University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo113-0033 Japan The University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo113-0033 Japan Institute for Cosmic Ray Research KAGRA Observatory The University of Tokyo 238 Higashi-Mozumi Kamioka-cho Hida City Gifu506-1205 Japan Earthquake Research Institute The University of Tokyo 1-1-1 Yayoi Bunkyo-ku Tokyo113-0032 Japan LIGO Hanford Observatory RichlandWA99352 United States 2-21-1 Osawa Mitaka City Tokyo181-8588 Japan 245 Daehak-ro Yuseong-gu Daejeon34141 Korea Republic of Department of Astronomy Beijing Normal University Xinjiekouwai Street 19 Haidian District Beijing100875 China Department of Physics National Cheng Kung University No.1 University Road Tainan City701 Taiwan Institute of Physics National Yang Ming Chiao Tung University 101 Univ. Street Hsinchu Taiwan Department of Physics National Tsing Hua University No. 101 Section 2 Kuang-Fu Road Hsinchu30013 Taiwan Faculty of Science University of Toyama 3190 Gofuku Toyama City Toyama930-8555 Japan Institute for Cosmic Ray Research KAGRA Observatory The University of Tokyo 5-1-5 Kashiwa-no-Ha Chiba Kashiwa City277-8582 Japan Department of Electrophysics National Yang Ming Chiao Tung University 101 Univ. Street Hsinchu Taiwan Department of Physics Graduate School of Science Osaka Metropolitan University 3-3-138 Sugimoto-cho Sumiyoshi-ku Osaka City Osaka558-8585 Japan Institute of Physics Academia Sinica 128 Sec. 2 Academia Rd. Na

KAGRA is a laser interferometric gravitational wave (GW) telescope in Japan. It joined O4, the fourth international GW observation run, with other telescopes, namely, Laser Interferometer Gravitational Wave Observatory (LIGO) and Virgo. In the previous GW observation runs: O1, O2, and O3, 90 events were reported, and many more events are expected to be observed in O4. With the beginning of GW astronomy, the calibration of observed GW signals is becoming more important than ever before. The main calibration system used in KAGRA, LIGO, and Virgo is a photon calibration system (Pcal), which injects reference signals into a telescope by the radiation pressure of a laser. On the basis of the preparation and operation of KAGRA Pcals in O3, we prepared an upgrading plan for O4. This plan includes three main improvements: improving the Pcal laser beam alignment system, reducing noise, and dereasing uncertainty. Improvement works were conducted between the end of O3 and the start of O4 in accordance with this plan. The following results were obtained: first, precise remote alignment was enabled in the critical Pcal laser path region. Second, a Pcal noise source was identified and noise was significantly improved, resulting in a remarkable 50 dB reduction and sufficient reduction of the Pcal noise below the design sensitivity of KAGRA. Third, studies on the temperature dependence and laser incidence state dependence of the integrating sphere-type power meter were conducted to reduce the uncertainty of the Pcal, which is directly related to the uncertainty of the telescope signal. The details of the KAGRA Pcal and the improvements made between O3 and O4 are reported in this study. © Copyright owned by the author(s) under the terms of the Creative Commons.

关键词： Laser interferometry

来源：评论

学校读者我要写书评

暂无评论

AGlobal benchmark of algorithms for segmentinglate gadolinium-enhanced cardiac magnetic resonance imaging

arXiv

引用

arXiv 2020年

作者： Xiong, Zhaohan Xia, Qing Hu, Zhiqiang Huang, Ning Bian, Cheng Zheng, Yefeng Vesal, Sulaiman Ravikumar, Nishant Maier, Andreas Yang, Xin Heng, Pheng-Ann Ni, Dong Li, Caizi Tong, Qianqian Si, Weixin Puybareau, Elodie Khoudli, Younes Géraud, Thierry Chen, Chen Bai, Wenjia Rueckert, Daniel Xu, Lingchao Zhuang, Xiahai Luo, Xinzhe Jia, Shuman Sermesant, Maxime Liu, Yashu Wang, Kuanquan Borra, Davide Masci, Alessandro Corsi, Cristiana De Vente, Coen Veta, Mitko Karim, Rashed Preetha, Chandrakanth Jayachandran Engelhardt, Sandy Qiao, Menyun Wang, Yuanyuan Tao, Qian Nuñez-Garcia, Marta Camara, Oscar Savioli, Nicolo Lamata, Pablo Zhao, Jichao Auckland Bioengineering Institute University of Auckland Auckland New Zealand State Key Lab of Virtual Reality Technology and Systems Beihang University Beijing China School of Electronics Engineering and Computer Science Peking University Beijing China SenseTime Inc Shenzhen China Tencent Jarvis Laboratory Shenzhen China Pattern Recognition Lab Friedrich-Alexander-Universität Erlangen-Nürnberg Erlangen Germany Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong National-Regional Key Technology Engineering Laboratory for Medical Ultrasound School of Biomedical Engineering Shenzhen University Shenzhen China School of Computer Science Wuhan University Wuhan China Shenzhen Key Laboratory of Virtual Reality and Human Interaction Technology Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen China Epita Research and Development Laboratory Paris France Department of Computing Imperial College London London United Kingdom School of Naval Architecture Shanghai Jiao Tong University Ocean & Civil Engineering Shanghai China School of Data Science Fudan University Shanghai China Epione Research Group Universite Cote d'Azur Inria Sophia Antipolis France Harbin Institute of Technology School of Computer Science and Technology Harbin China Department of Electric University of Bologna Electronic and Information Engineering Cesena Italy Department of Biomedical Engineering Eindhoven University of Technology Eindhoven Netherlands School of Biomedical Engineering and Imaging Sciences Kings College London London United Kingdom Faculty of Electrical Engineering and Information Technology University of Magdeburg Magdeburg Germany Heidelberg University Hospital Germany Biomedical Engineering Center Fudan University Shanghai China Department of Radiology Leiden University Medical Center Leiden Netherlands Department of Information and Communication Technologies Universitat Pompeu Fabra Barcelona Spain D

Segmentation of cardiac images, particularly late gadolinium-enhanced magnetic resonance imaging (LGE-MRI)widely used for visualizing diseased cardiacstructures, is a crucial first step for clinical diagnosis and treatment. However, direct segmentation ofLGE-MRIsischallenging due to *** most clinical studies have relied on manual and labor-intensive approaches, automatic methods are of high interest, particularly optimized machine learning *** address this, we organized the "2018 Left Atrium Segmentation Challenge" using 154 3D LGE-MRIs, currently the world's largest cardiac LGE-MRI dataset, and associated labels of the left atriumsegmented by three medical experts,ultimately attractingthe participation of27 international teams. In this paper, extensive analysis of the submitted algorithms using technical and biological metrics was performed by undergoing subgroup analysis and conducting hyper-parameter analysis,offeringan overall picture ofthe major design choices of convolutional neural networks(CNNs) and practical considerations for achieving state-of-the-art left atrium segmentation. Results show the top methodachieved a dice score of 93.2%and a mean surface to a surface distance of 0.7mm, significantly outperforming prior state-of-the-art. Particularly, our analysisdemonstrated that double, sequentially usedCNNs, in which a first CNN is used for automatic region-of-interestlocalization and a subsequent CNN is used for refinedregional segmentation, achieved far superiorresults than traditional methods and pipelinescontaining *** findings from this study can potentially be extended to other imaging datasets and modalities, having an impact on the wider medical imaging *** large-scale benchmarking study makes a significant step towards much-improved segmentation methods for cardiac LGE-MRIs, and will serveas animportant benchmark for evaluating and comparing the future works in the field. Copyright © 2020, Th

关键词： Magnetic resonance imaging

来源：评论

学校读者我要写书评

暂无评论

Search for CP violation in t t ¯ H and tH production in multilepton channels in proton-proton collisions at √s = 13 TeV

引用

Journal of high Energy Physics 2023年第7期2023卷 1-55页

作者： Tumasyan, A. Adam, W. Andrejkovic, J.W. Bergauer, T. Chatterjee, S. Damanakis, K. Dragicevic, M. Escalante Del Valle, A. Hussain, P.S. Jeitler, M. Krammer, N. Lechner, L. Liko, D. Mikulec, I. Paulitsch, P. Pitters, F.M. Schieck, J. Schöfbeck, R. Schwarz, D. Templ, S. Waltenberger, W. Wulz, C.-E. Darwish, M.R. Janssen, T. Kello, T. Rejeb Sfar, H. Van Mechelen, P. Bols, E.S. D’Hondt, J. De Moor, A. Delcourt, M. El Faham, H. Lowette, S. Moortgat, S. Morton, A. Müller, D. Sahasransu, A.R. Tavernier, S. Van Doninck, W. Vannerom, D. Clerbaux, B. De Lentdecker, G. Favart, L. Jaramillo, J. Lee, K. Mahdavikhorrami, M. Makarenko, I. Malara, A. Paredes, S. Pétré, L. Postiau, N. Starling, E. Thomas, L. Vanden Bemden, M. Vander Velde, C. Vanlaer, P. Dobur, D. Knolle, J. Lambrecht, L. Mestdach, G. Niedziela, M. Rendón, C. Roskas, C. Samalan, A. Skovpen, K. Tytgat, M. Van Den Bossche, N. Vermassen, B. Wezenbeek, L. Benecke, A. Bruno, G. Bury, F. Caputo, C. David, P. Delaere, C. Donertas, I.S. Giammanco, A. Jaffel, K. Jain, Sa. Lemaitre, V. Mondal, K. Prisciandaro, J. Taliercio, A. Tran, T.T. Vischia, P. Wertz, S. Alves, G.A. Coelho, E. Hensel, C. Moraes, A. Rebello Teles, P. Aldá Júnior, W.L. Alves Gallo Pereira, M. Barroso Ferreira Filho, M. Brandao Malbouisson, H. Carvalho, W. Chinellato, J. Da Costa, E.M. Da Silveira, G.G. De Jesus Damiao, D. Dos Santos Sousa, V. Fonseca De Souza, S. Martins, J. Mora Herrera, C. Mota Amarilo, K. Mundim, L. Nogima, H. Santoro, A. Silva Do Amaral, S.M. Sznajder, A. Thiel, M. Torres Da Silva De Araujo, F. Vilela Pereira, A. Bernardes, C.A. Calligaris, L. Fernandez Perez Tomei, T.R. Gregores, E.M. Mercadante, P.G. Novaes, S.F. Padula, Sandra S. Aleksandrov, A. Antchev, G. Hadjiiska, R. Iaydjiev, P. Misheva, M. Rodozov, M. Shopova, M. Sultanov, G. Dimitrov, A. Ivanov, T. Litov, L. Pavlov, B. Petkov, P. Petrov, A. Shumka, E. Cheng, T. Javaid, T. Mittal, M. Yuan, L. Ahmad, M. Bauer, G. Hu, Z. Lezki, S. Yi, K. Chen, G.M. Chen, H.S. Chen, M. Iemmi, F. Jiang, C.H. Kapoor, A. Liao, H. Liu, Z.-A. Milose Yerevan Physics Institute Yerevan Armenia Institut für Hochenergiephysik Vienna Austria Universiteit Antwerpen Antwerpen Belgium Vrije Universiteit Brussel Brussel Belgium Université Libre de Bruxelles Bruxelles Belgium Ghent University Ghent Belgium Université Catholique de Louvain Louvain-la-Neuve Belgium Centro Brasileiro de Pesquisas Fisicas Rio de Janeiro Brazil Universidade do Estado do Rio de Janeiro Rio de Janeiro Brazil Universidade Estadual Paulista Universidade Federal do ABC São Paulo Brazil Institute for Nuclear Research and Nuclear Energy Bulgarian Academy of Sciences Sofia Bulgaria University of Sofia Sofia Bulgaria Beihang University Beijing China Department of Physics Tsinghua University Beijing China Institute of High Energy Physics Beijing China State Key Laboratory of Nuclear Physics and Technology Peking University Beijing China Sun Yat-Sen University Guangzhou China Institute of Modern Physics and Key Laboratory of Nuclear Physics and Ion-beam Application (MOE) — Fudan University Shanghai China Zhejiang University Zhejiang Hangzhou China Universidad de Los Andes Bogota Colombia Universidad de Antioquia Medellin Colombia University of Split Faculty of Electrical Engineering Mechanical Engineering and Naval Architecture Split Croatia University of Split Faculty of Science Split Croatia Institute Rudjer Boskovic Zagreb Croatia University of Cyprus Nicosia Cyprus Charles University Prague Czech Republic Escuela Politecnica Nacional Quito Ecuador Universidad San Francisco de Quito Quito Ecuador Academy of Scientific Research and Technology of the Arab Republic of Egypt Egyptian Network of High Energy Physics Cairo Egypt Center for High Energy Physics (CHEP-FU) Fayoum University El-Fayoum Egypt National Institute of Chemical Physics and Biophysics Tallinn Estonia Department of Physics University of Helsinki Helsinki Finland Helsinki Institute of Physics Helsinki Finland Lappeenranta-Lahti University of Technology Lappeen

The charge-parity (CP) structure of the Yukawa interaction between the Higgs (H) boson and the top quark is measured in a data sample enriched in the t t ¯ H and tH associated production, using 138 fb⁻¹ of data collected in proton-proton collisions at s = 13 TeV by the CMS experiment at the CERN LHC. The study targets events where the H boson decays via H → WW or H → ττ and the top quarks decay via t → Wb: the W bosons decay either leptonically or hadronically, and final states characterized by the presence of at least two leptons are studied. Machine learning techniques are applied to these final states to enhance the separation of CP -even from CP -odd scenarios. Two-dimensional confidence regions are set on κ _t and κ~ _t, which are respectively defined as the CP -even and CP -odd top-Higgs Yukawa coupling modifiers. No significant fractional CP -odd contributions, parameterized by the quantity | fCPHtt | are observed;the parameter is determined to be | fCPHtt | = 0.59 with an interval of (0.24, 0.81) at 68% confidence level. The results are combined with previous results covering the H → ZZ and H → γγ decay modes, yielding two- and one-dimensional confidence regions on κ _t and κ~ _t, while | fCPHtt | is determined to be | fCPHtt | = 0.28 with an interval of | fCPHtt | < 0.55 at 68% confidence level, in agreement with the standard model CP -even prediction of | fCPHtt | = 0. [Figure not available: see fulltext.]. © 2023, The Author(s).

关键词： CP Violation Hadron-Hadron Scattering Higgs Physics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：