Search

Your search keyword '"Huang, Junying"' showing total 243 results
Start Over Author "Huang, Junying"
243 results on '"Huang, Junying"'

3. Enhancing Prototypical Few-Shot Learning by Leveraging the Local-Level Strategy

Author

Huang, Junying, Chen, Fan, Wang, Keze, Lin, Liang, and Zhang, Dongyu

Subjects
Computer Science - Computer Vision and Pattern Recognition
Abstract

Aiming at recognizing the samples from novel categories with few reference samples, few-shot learning (FSL) is a challenging problem. We found that the existing works often build their few-shot model based on the image-level feature by mixing all local-level features, which leads to the discriminative location bias and information loss in local details. To tackle the problem, this paper returns the perspective to the local-level feature and proposes a series of local-level strategies. Specifically, we present (a) a local-agnostic training strategy to avoid the discriminative location bias between the base and novel categories, (b) a novel local-level similarity measure to capture the accurate comparison between local-level features, and (c) a local-level knowledge transfer that can synthesize different knowledge transfers from the base category according to different location features. Extensive experiments justify that our proposed local-level strategies can significantly boost the performance and achieve 2.8%-7.2% improvements over the baseline across different benchmark datasets, which also achieves state-of-the-art accuracy., Comment: 5 pages, 4 figures, submitted to ICASSP 2022

Published
2021

4. Instant Response Few-shot Object Detection with Meta Strategy and Explicit Localization Inference

Author

Huang, Junying, Chen, Fan, Huang, Sibo, and Zhang, Dongyu

Subjects
Computer Science - Computer Vision and Pattern Recognition
Abstract

Aiming at recognizing and localizing the object of novel categories by a few reference samples, few-shot object detection (FSOD) is a quite challenging task. Previous works often depend on the fine-tuning process to transfer their model to the novel category and rarely consider the defect of fine-tuning, resulting in many application drawbacks. For example, these methods are far from satisfying in the episode-changeable scenarios due to excessive fine-tuning times, and their performance on low-quality (e.g., low-shot and class-incomplete) support sets degrades severely. To this end, this paper proposes an instant response few-shot object detector (IR-FSOD) that can accurately and directly detect the objects of novel categories without the fine-tuning process. To accomplish the objective, we carefully analyze the defects of individual modules in the Faster R-CNN framework under the FSOD setting and then extend it to IR-FSOD by improving these defects. Specifically, we first propose two simple but effective meta-strategies for the box classifier and RPN module to enable the object detection of novel categories with instant response. Then, we introduce two explicit inferences into the localization module to alleviate its over-fitting to the base categories, including explicit localization score and semi-explicit box regression. Extensive experiments show that the IR-FSOD framework not only achieves few-shot object detection with the instant response but also reaches state-of-the-art performance in precision and recall under various FSOD settings.

Published
2021

9. Identification of the RRM1 gene family in rice (Oryza sativa) and its response to rice blast.

Author

Jiang, Xinlei, Yu, Shangwei, Huang, Yuhan, Huang, Junying, Liu, Shaochun, Yang, Dewei, Fu, Junru, He, Haohua, and Fu, Haihui

Subjects
RICE blast disease, GENE expression, ALTERNATIVE RNA splicing, GENE families, NUCLEIC acids
Abstract

To better understand RNA-binding proteins in rice, a comprehensive investigation was conducted on the RRM1 gene family of rice. It encompassed genome-wide identification and exploration of its role in rice blast resistance. The physicochemical properties of the rice OsRRM1 gene family were analyzed. There genes were also analyzed for their conserved domains, motifs, location information, gene structure, phylogenetic trees, collinearity, and cis-acting elements. Furthermore, alterations in the expression patterns of selected OsRRM1 genes were assessed using quantitative real-time PCR (qRT-PCR). A total of 212 members of the OsRRM1 gene family were identified, which were dispersed across 12 chromosomes. These genes all exhibit multiple exons and introns, all of which encompass the conserved RRM1 domain and share analogous motifs. This observation suggests a high degree of conservation within the encoded sequence domain of these genes. Phylogenetic analysis revealed the existence of five subfamilies within the OsRRM1 gene family. Furthermore, investigation of the promoter region identified cis-regulatory elements that are involved in nucleic acid binding and interaction with multiple transcription factors. By employing GO and KEGG analyses, four RRM1 genes were tentatively identified as crucial contributors to plant immunity, while the RRM1 gene family was also found to have a significant involvement in the complex of alternative splicing. The qRT-PCR results revealed distinct temporal changes in the expression patterns of OsRRM1 genes following rice blast infection. Additionally, gene expression analysis indicates that the majority of OsRRM1 genes exhibited constitutive expressions. These findings enrich our understanding of the OsRRM1 gene family. They also provide a foundation for further research on immune mechanisms rice and the management of rice blast. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

10. Temperature-dependent transformation thermotics: From switchable thermal cloaks to macroscopic thermal diodes

Author

Li, Ying, Shen, Xiangying, Wu, Zuhui, Huang, Junying, Chen, Yixuan, Ni, Yushan, and Huang, Jiping

Subjects
Condensed Matter - Materials Science
Abstract

The macroscopic control of ubiquitous heat flow remains poorly explored due to the lack of a fundamental theoretical method. Here, by establishing temperature-dependent transformation thermotics for treating materials whose conductivity depends on temperature, we show analytical and simulation evidence for switchable thermal cloaking and a macroscopic thermal diode based on the cloaking. The latter allows heat flow in one direction but prohibits the flow in the opposite direction, which is also confirmed by our experiments. Our results suggest that the temperature-dependent transformation thermotics could be a fundamental theoretical method for achieving macroscopic heat rectification, and provide guidance both for macroscopic control of heat flow and for the design of the counterparts of switchable thermal cloaks or macroscopic thermal diodes in other fields like seismology, acoustics, electromagnetics, or matter waves., Comment: To be published in Phys. Rev. Lett. (2015); 15 pages, 4 figures

Published
2015

32. Changed epidemiology of narcolepsy before, during, and after the 2009 H1N1 pandemic: a nationwide narcolepsy surveillance network study in mainland China, 1990–2017

Author

Wang, Xiling, primary, Xiao, Fulong, additional, Wang, Yiping, additional, Deng, Xiaowei, additional, Chen, Zhiyuan, additional, Dong, Xiaosong, additional, Wang, Wei, additional, Li, Chenyang, additional, Xu, Zhifei, additional, Wu, Huijuan, additional, Yu, Huan, additional, Su, Changjun, additional, Wang, Zan, additional, Tang, Xiangdong, additional, Lv, Yunhui, additional, Li, Yun, additional, Sun, Shuchen, additional, Huang, Junying, additional, Hao, Lijuan, additional, Wei, Xuan, additional, Deng, Liying, additional, Huang, Yu-Shu, additional, Zhang, Jihui, additional, Wing, Yun-Kwok, additional, Zhang, Jun, additional, Mignot, Emmanuel, additional, Han, Fang, additional, and Yu, Hongjie, additional

Published
2023
Full Text
View/download PDF

37. Post-operative cognitive dysfunction in patients following gastrointestinal endoscopic treatment

Author

Wu, Haining, Zhuang, Yingying, Wu, Weiqi, Huang, Junying, Huang, Honghong, and Wang, Lingxing

Subjects
Neuropsychology and Physiological Psychology, Developmental and Educational Psychology
Abstract

We aimed to explore the changes in post-operative cognitive dysfunction (POCD) after gastrointestinal endoscopic treatment using detailed neuropsychological assessments. Patients hospitalized for gastrointestinal endoscopic polypectomy were recruited for neuropsychological evaluations, which included the Chinese version of the Mini-Mental State Examination (MMSE), Auditory-Verbal Learning Test, Digit Span Test (DST), Trail Making Task (TMT), Verbal Fluency Test, Clock Drawing Test, and Stroop test. Cognitive assessments were performed twice: one day before and 24 h after treatment. Healthy control subjects participated in the neuropsychological assessment during the same intervals. Detailed cognitive assessments were performed for 40 patients and 60 control subjects. Based on the Z scores, the incidence of POCD 24 h after gastrointestinal endoscopic treatment was 20%. Patients with POCD had significant impairment in the post-operative MMSE, forward DST, TMT, and Stroop interference effect correct count tests (all p < 0.05). Our preliminary results showed that patients were not fully recovered, and 20% had impairment in multiple cognitive assessments 24 h after a gastrointestinal endoscopy. As attention was affected, safety while discharging those patients should be a concern.

Published
2023
Full Text
View/download PDF

39. An Automatic Placement Algorithm for Superconducting Rapid Single-Flux-Quantum Logic Circuits

Author

Huang Junying, Guang-Ming Tang, Zhimin Zhang, and Rongliang Fu

Subjects
Computer science, Logic level, Condensed Matter Physics, Topology, 01 natural sciences, Longest path problem, Electronic, Optical and Magnetic Materials, CMOS, Logic gate, Rapid single flux quantum, 0103 physical sciences, Simulated annealing, Hardware_INTEGRATEDCIRCUITS, Bipartite graph, Electrical and Electronic Engineering, Routing (electronic design automation), 010306 general physics
Abstract

With the demand for data processing and storage increasing rapidly, the existing CMOS-based computing system is gradually unable to meet the amplification demand because of its high-power consumption. Due to high frequency and low power consumption, superconducting rapid single-flux-quantum (RSFQ) logic circuit technology is an attractive candidate. In this paper, we propose a novel placement method based on the layer layout. We layer the gates according to the logic level, which is the length of the longest path in terms of the number of clocked gates from any primary input (PI) of the circuit to the gate. Dummy gates are inserted so that any two adjacent layers can form a bipartite graph. Then the gates of each layer are reordered to minimize the half-perimeter wirelength (HPWL). Finally, the gates of each layer are assigned vertical positions to make the edges as straight as possible. The distance between adjacent layers is determined by the number of bending points of the edges between layers. We use several superconducting RSFQ logic circuits to evaluate the effectiveness of our proposed placement method, which uses HPWL and area as evaluation metrics. The experimental results show that compared with the Simulated Annealing (SA)-based placement method, the proposed approach can reduce the total HPWL and total area by an average of 77.77% and 57.56%, respectively.

Published
2021

43. The European Physical Journal C

Author

Abed Abud, Adam, Abi, Babak, Acciarri, Roberto, Acero, Mario, Adames, Marcio, Adamov, George, Adamowski, Mark, Adams, David, Adinolfi, Marco, Aduszkiewicz, Antoni, Aguilar, Jessica, Ahmad, Zubayer, Ahmed, Jhanzeb, Aimard, Benjamin, Ali-Mohammadzadeh, Behnam, Alion, Tyler, Allison, Kyle, Alonso Monsalve, Saul, AlRashed, Munera, Alt, Christoph, Alton, Andrew, Alvarez, Rodrigo, Amedo, Pablo, Anderson, John, Andreopoulos, Costas, Andreotti, Mirco, Andrews, Michael P., Andrianala, Fenompanirina, Andringa, Sofia, Anfimov, Nikolay, Ankowski, Artur, Antoniassi, Marcelo, Antonova, Maria, Antoshkin, Alexander, Antusch, Stefan, Aranda-Fernandez, Alfredo, Arellano, Luciano, Arnold, Lukas, Arroyave, Manuel, Asaadi, Jonathan, Asquith, Lily, Aurisano, Adam, Aushev, Vladimir, Autiero, Dario, Ayala Lara, Victor, Ayala-Torres, Marco Alberto, Azfar, Farrukh, Back, Ashley, Back, Henning, Back, John, Backhouse, Chris, Bagaturia, Iuri, Bagby, Linda, Balashov, Nikita, Balasubramanian, Supraja, Baldi, Pierre, Baller, Bruce, Bambah, Bindu, Barao, Fernando, Barenboim, Gabriela, Barham Alzas, Pablo, Barker, Gary J., Barkhouse, Wayne, Barnes, Christopher, Barr, Giles, Barranco Monarca, Juan, Barros, Adilson, Barros, Nuno, Barrow, Joshua, Basharina-Freshville, Anastasia, Bashyal, Amit, Basque, Vincent, Batchelor, Charlie, Batista das Chagas, Ewerton, Battat, J.B. R., Battisti, Federico, Bay, Fatih, Bazetto, Maria Cecilia, Bazo Alba, José Luis, Beacom, John, Bechetoille, Edouard, Behera, Biswaranjan, Beigbeder, Christophe, Bellantoni, Leo, Bellettini, Giorgio, Bellini, Vincenzo, Beltramello, Olga, Benekos, Nektarios, Benitez Montiel, Carlos, Bento Neves, Francisco, Berger, Joshua, Berkman, Sophie, Bernardini, Paolo, Berner, Roman, Bersani, Andrea, Bertolucci, Sergio, Betancourt, Minerba, Betancur Rodríguez, Amalia, Bevan, Adrian, Bezawada, Yashwanth, Bezerra, T.J. C., Bhardwaj, Akhil, Bhatnagar, Vipin, Bhattacharjee, Maharnab, Bhattarai, Devesh, Bhuller, Shyam, Bhuyan, Bipul, Biagi, Simone, Bian, Jianming, Biassoni, Matteo, Biery, Kurt, Bilki, Burak, Bishai, Mary, Bitadze, Alexander, Blake, Andrew, Blaszczyk, Flor de Maria, Blazey, Gerald C., Blucher, Edward, Boissevain, Jan, Bolognesi, Sara, Bolton, Timothy, Bomben, Luca, Bonesini, Maurizio, Bongrand, Mathieu, Bonilla-Diaz, Cesar, Bonini, Filiberto, Booth, Alexander, Boran, Fatma, Bordoni, Stefania, Borkum, Aran, Bostan, Nilay, Bour, Petr, Bourgeois, Christian, Boyden, Daniel, Bracinik, Juraj, Braga, Davide, Brailsford, Dominic, Branca, Antonio, Brandt, Andrew, Bremer, Johan, Breton, Dominique, Brew, Christopher, Brice, Stephen, Brizzolari, Claudia, Bromberg, Carl, Brooke, Jim, Bross, Alan, Brunetti, Giulia, Brunetti, Maria, Buchanan, Norman, Budd, Howard, Butorov, Ilia, Cagnoli, Irene, Cai, Tejin, Caiulo, Davide, Calabrese, Roberto, Calafiura, Paolo, Calcutt, Jacob, Calin, Marius, Calvez, Steven, Calvo, Enrique, Caminata, Alessio, Campanelli, Mario, Caratelli, David, Carber, Daniel, Carceller, J.C., Carceller, Juan Miguel, Carini, Gabriella, Carlus, Bruno, Carneiro, Mateus, Carniti, Paolo, Caro Terrazas, Ivan, Carranza, Hector, Carroll, Thomas, Castaño Forero, Javier, Castillo, Andrés, Castromonte, Cesar, Catano-Mur, Erika, Cattadori, Carla, Cavalier, Fabien, Cavallaro, Giuseppe, Cavanna, Flavio, Centro, Sandro, Cerati, Giuseppe, Cervelli, Alberto, Cervera Villanueva, Anselmo, Chalifour, Michel, Chappell, Andrew, Chardonnet, Etienne, Charitonidis, Nikolas, Chatterjee, Animesh, Chattopadhyay, Subhasish, Chavarry Neyra, Michael Steve, Chen, Hucheng, Chen, Mu-Chun, Chen, Yifan, Chen, Zheyang, Chen-Wishart, Zachary, Cheon, Yoolim, Cherdack, Daniel, Chi, Cheng-Yi, Childress, Sam, Chirco, Robert, Chiriacescu, Ana, Chisnall, Georgia, Cho, Kihyeon, Choate, Sarah, Chokheli, David, Chong, Pooi, Christensen, Anne, Christian, David, Christodoulou, Georgios, Chukanov, Artem, Chung, Moses, Church, Eric, Cicero, Valentina, Clarke, Peter, Cline, Gordon, Coan, Thomas, Cocco, Alfredo, Coelho, J.A. B., Colton, Nicole, Conley, Erin, Conley, Robert, Conrad, Janet M., Convery, Mark, Copello, Simone, Cova, Paolo, Cremaldi, Lucien, Cremonesi, Linda, Crespo-Anadón, José, Crisler, Michael, Cristaldo, Esteban, Crnkovic, Jason, Cross, Ryan, Cudd, Andrew, Cuesta, Clara, Cui, Yanou, Cussans, David, Dalager, Olivia, da Motta, Helio, da Silva Peres, Leonardo, David, Claire, David, Quentin, Davies, Gavin, Davini, Stefano, Dawson, Jaime, De, Kaushik, De, Shruti, Debbins, Paul, De Bonis, Isabelle, Decowski, M. Patrick, de Gouvea, Andre, de Holanda, Pedro, de Icaza Astiz, Iker, Deisting, Alexander, De Jong, Paul, Delbart, Alain, Delepine, David, Delgado, Maritza, Dell'Acqua, Andrea, Delmonte, Nicola, De Lurgio, Patrick, de Mello Neto, J.R. T., DeMuth, David, Dennis, Steve, Densham, Chris, Deptuch, Grzegorz, De Roeck, Albert, De Romeri, Valentina, de Souza, Greg, Devi, Ritu, Dharmapalan, Ranjan, Dias, Marco, Diaz, Felix, Diaz, Jorge S., Di Domizio, Sergio, Di Giulio, Letizia, Ding, Pengfei, Di Noto, Lea, Dirkx, Glenn, Distefano, Carla, Diurba, Richard, Diwan, Milind, Djurcic, Zelimir, Doering, Dionisio, Dolan, Stephen, Dolek, Furkan, Dolinski, Michelle J., Domine, Laura, Donon, Yann, Douglas, Daniel, Douillet, Denis, Dragone, Angelo, Drake, Gary, Drielsma, Francois, Duarte, Laura Cristina, Duchesneau, Dominique, Duffy, Kirsty, Dunne, Patrick, Dutta, Bhaskar, Duyang, Hongyue, Dvornikov, Olexiy, Dwyer, Daniel A., Dyshkant, Alexandre S., Eads, Michael, Earle, Antony, Edmunds, Daniel, Eisch, Jonathan, Emberger, Lorenz, Emery, Sandrine, Englezos, Panagiotis, Ereditato, Antonio, Erjavec, Tyler, Escobar, Carlos O., Eurin, Guillaume, Evans, Justin, Ewart, Erin, Ezeribe, Anthony, Fahey, Kevin, Falcone, Andrea, Fani', Mattia, Farnese, Christian, Farzan, Yasaman, Fedoseev, Dmitry, Felix, Julian, Feng, Yue, Fernandez-Martinez, Enrique, Fernandez Menendez, Pablo, Fernandez Morales, Miguel, Ferraro, Federico, Fields, Laura, Filip, Peter, Filthaut, Frank, Fiorini, Massimiliano, Fischer, Vincent, Fitzpatrick, Rory, Flanagan, Will, Fleming, Bonnie, Flight, Robert, Fogarty, Sam, Foreman, Will, Fowler, Jack, Fox, Walt, Franc, Jiri, Francis, Kurt, Franco, Domenico, Freeman, John, Freestone, Julian, Fried, Jack, Friedland, Alex, Fuentes Robayo, Freddy, Fuess, Stu, Furic, Ivan, Furman, Krzysztof, Furmanski, Andrew, Gabrielli, Alessandro, Gago, A.M., Gallagher, Hugh, Gallas, Alexandre, Gallego-Ros, Ana, Gallice, Niccolo, Galymov, Vyacheslav, Gamberini, Enrico, Gamble, Trevor, Ganacim, Francisco, Gandhi, Raj, Gandrajula, Reddy, Gao, Fan, Gao, Shanshan, Garcia-Gamez, Diego, García-Peris, Miguel, Gardiner, Steven, Gastler, Dan, Gauvreau, Jean-Luc, Ge, Guanqun, Geffroy, Nicolas, Gelli, Bruno, Gendotti, Adamo, Gent, Stephen, Ghorbani-Moghaddam, Zahra, Giammaria, Paola, Giammaria, Tommaso, Giangiacomi, Nico, Gibin, Daniele, Gil-Botella, Ines, Gilligan, Sean, Girerd, Claude, Giri, Anjan Kumar, Gnani, Dario, Gogota, Olga, Gold, Michael, Gollapinni, Sowjanya, Gollwitzer, Keith, Gomes, Ricardo, Gomez Bermeo, Laura Vanessa, Gomez Fajardo, L.S., Gonnella, Francesco, Gonzalez-Diaz, Diego, Gonzalez-Lopez, Manuel, Goodman, Maury, Goodwin, Owen, Goswami, Srubabati, Gotti, Claudio, Goudzovski, Evgueni, Grace, Carl, Gran, Rik, Granados, Everardo, Granger, Pierre, Grant, Alan, Grant, Christopher, Gratieri, Diego, Green, Patrick, Greenler, Leland, Greer, Joel, Grenard, Jean-Louis, Griffith, Clark, Groh, Micah, Grudzinski, James, Grzelak, Katarzyna, Gu, Wenqiang, Guardincerri, Elena, Guarino, Victor, Guarise, Marco, Guenette, Roxanne, Guerard, Eric, Guerzoni, Marco, Guffanti, Daniele, Guglielmi, Alberto, Guo, Bing, Gupta, Aseem, Gupta, Vikas, Guthikonda, K.K., Gutierrez, Rafael, Guzowski, Pawel, Guzzo, Marcelo, Gwon, Sunwoo, Ha, Chang Hyon, Haaf, Kevin, Habig, Alec, Hadavand, Haleh, Haenni, Roger, Hahn, Alan, Haiston, James, Hamacher-Baumann, Philip, Hamernik, Thomas, Hamilton, Philip, Han, Jiyeon, Harris, Deborah, Hartnell, Jeffrey, Hartnett, Trevor, Harton, John, Hasegawa, Takyua, Hasnip, Ciaran, Hatcher, Robert, Hatfield, Kaleb, Hatzikoutelis, Athanasios, Hayes, Christopher, Hayrapetyan, Karen, Hays, Jonathan, Hazen, Eric, He, Muyuan, Heavey, Anne, Heeger, Karsten, Heise, Jaret, Henry, Sarah, Hernandez Morquecho, Miguel Angel, Herner, Kenneth, Hewes, V., Hewes, Jeremy, Hilgenberg, Christopher, Hill, Tony, Hillier, Stephen, Himmel, Alexander, Hinkle, Elise, Hirsch, Luciana, Ho, Johnny, Hoff, James, Holin, Anna, Hoppe, Eric, Horton-Smith, Glenn, Hostert, Matheus, Hourlier, Adrien, Howard, Bruce, Howell, Ryan, Hoyos, Jaime, Hristova, Ivana, Hronek, Maxine, Huang, Junying, Hulcher, Zachary, Iles, Gregory, Ilic, Nikolina, Iliescu, Antoniu, Illingworth, Robert, Ingratta, Gianfranco, Ioannisian, Ara, Irwin, Burke, Isenhower, Larry, Itay, Ran, Jackson, Christopher, Jain, Vivek, James, Eric, Jang, Wooyoung, Jargowsky, Benjamin, Jediny, Filip, Jena, Deepika, Jeong, Yu Seon, Jesús-Valls, César, Ji, Xiangpan, Jiang, Libo, Jiménez, Sergio, Jipa, Alexandru, Johnson, Randy, Johnson, Walker, Johnston, Nicholas, Jones, Benjamin, Jones, Sebastian, Judah, Matthew, Jung, Chang Kee, Junk, Thomas, Jwa, Yeon-jae, Kabirnezhad, Monireh, Kaboth, Asher, Kadenko, I., Kakorin, Igor, Kalitkina, Anastasia, Kalra, Daisy, Kamiya, Felipe, Kaneshige, Nathaniel, Kaplan, Daniel, Karagiorgi, Georgia, Karaman, Gurkan, Karcher, Armin, Karolak, Mark, Karyotakis, Yannis, Kasai, Seiji, Kasetti, Siva, Kashur, Lane, Kazaryan, Narine, Kearns, Edward, Keener, Paul, Kelly, Kevin, Kemp, Ernesto, Kemularia, Otari, Ketchum, Wes, Kettell, Steve, Khabibullin, Marat, Khotjantsev, Alexei, Khvedelidze, Arsen, Kim, Doojin, King, Bonnie, Kirby, Brian, Kirby, Mike, Klein, Joshua, Klustova, Anezka, Kobilarcik, Thomas, Koehler, Kevin, Koerner, Lisa, Koh, D.H., Kohn, Sam, Koller, Patrick, Kolupaeva, Liudmila, Korablev, Denis, Kordosky, Mike, Kosc, Thomas, Kose, Umut, Kostelecky, V. Alan, Kothekar, Kunal, Kralik, Robert, Kreczko, Luke, Krennrich, Frank, Kreslo, Igor, Kropp, William, Kroupova, Tereza, Kubota, Shion, Kudenko, Yury, Kudryavtsev, Vitaly A., Kulagin, Sergey, Kumar, Jason, Kumar, Praveen, Kunze, Pablo, Kurita, Nadine, Kuruppu, Chatura, Kus, Vaclav, Kutter, Thomas, Kvasnicka, Jiri, Kwak, Donghyun, Lambert, Andrew, Land, Benjamin, Lane, Charles, Lang, Karol, Langford, Thomas, Langstaff, Mark, Larkin, Jacob, Lasorak, Pierre, Last, David, Laundrie, Andy, Laurenti, Giuliano, Lawrence, Andrew, Lazanu, Ionel, LaZur, Ryan, Lazzaroni, Massimo, Le, Trung, Leardini, Sara, Learned, John, LeBrun, Patrice, LeCompte, Thomas, Lee, Claire, Lee, Soo Yeon, Lehmann Miotto, Giovanna, Lehnert, Ralf, de Oliveira, M.A. Leigui, Leitner, Matthaeus, Lepin, Luis, Li, Shirley W., Li, Yichen, Liao, Heng-Ye, Lin, Cheng-Ju Stephen, Lin, Qing, Lin, Shih-Kai, Lineros, Roberto, Ling, Jiajie, Lister, Adam, Littlejohn, Bryce, Liu, Junze, Liu, Yinrui, Lockwitz, Sarah, Loew, Timothy, Lokajicek, Milos, Lomidze, Irakli, Long, Ken, Lord, Tom, LoSecco, John M., Louis, William, Lu, Xianguo, Luk, Kam-Biu, Lunday, Benjamin, Luo, Xiao, Luppi, Eleonora, Lux, Thorsten, Luzio, Vitor, Maalmi, Jihane, MacFarlane, David, Machado, Ana Amelia, Machado, Pedro, Macias, Christopher Thomas, Macier, Jolie R., Maddalena, Antonello, Madera, Alfonso, Madigan, Peter, Magill, Steve, Mahn, Kendall, Maio, Amélia, Major, Adryanna, Maloney, James, Mandrioli, Gianni, Mandujano, Roberto, Maneira, José, Manenti, Laura, Manly, Steve, Mann, Anthony, Manolopoulos, Konstantinos, Manrique Plata, Maria, Manyam, Venkata, Manzanillas, Luis, Marchan, Miquel, Marchionni, Alberto, Marciano, William, Marfatia, Danny, Mariani, Camillo, Maricic, Jelena, Marie, Rodolphe, Marinho, Franciole, Marino, Alysia, Marsden, David, Marshak, Marvin, Marshall, Chris, Marshall, John, Marteau, Jacques, Martin-Albo, Justo, Martinez, Norman, Martinez Caicedo, David, Martínez Miravé, Pablo, Martynenko, Sergey, Mascagna, Valerio, Mason, Katie, Mastbaum, Andrew, Matichard, Fabrice, Matsuno, Shigenobu, Matthews, James, Mauger, Christopher, Mauri, Nicoletta, Mavrokoridis, Konstantinos, Mawby, Isobel, Mazza, Roberto, Mazzacane, Anna, Mazzucato, Edoardo, McAskill, Tracy, McCluskey, Elaine, McConkey, Nicola, McFarland, Kevin, McGrew, Clark, McNab, Andrew, Mefodiev, Alexander, Mehta, Poonam, Melas, Pantelis, Mena, Olga, Mendez, Hector, Mendez, Patricia, Méndez, Diana, Menegolli, A., Meng, Guang, Messier, Mark, Metcalf, William, Mettler, Thomas, Mewes, Matthew, Meyer, Holger, Miao, Ting, Michna, Gregory, Miedema, Thijs, Mikola, Veera, Milincic, Radovan, Miller, Graham, Miller, William, Mills, Joshua, Mineev, Oleg, Minotti, Alessandro, Miranda, Omar, Miryala, Sandeep, Mishra, C. Shekhar, Mishra, Sanjib R., Mislivec, Aaron, Mitchell, Mote, Mladenov, Dimitar, Mocioiu, Irina, Moffat, Kristian, Moggi, Niccolo, Mohanta, Rukmani, Mohayai, Tanaz, Mokhov, Nikolai, Molina, Jorge, Molina Bueno, Laura, Montagna, Elisabetta, Montanari, Alessandro, Montanari, Claudio, Montanari, David, Zetina, L.M. Montañno, Moon, Seok Ho, Mooney, Michael, Moor, Alexandra, Moreno, Deywis, Moretti, Davide, Morris, Casandra, Mossey, Chris, Mitchell Mote, Motuk, Erdem, Moura, Célio, Mousseau, Joel, Mouster, Gwenn, Mu, Wei, Mualem, Leon, Mueller, Justin, Muether, Mathew, Mufson, Stuart, Muheim, Franz, Muir, Alan, Mulhearn, Mike, Munford, Donnie, Muramatsu, Hajime, Murphy, Sebastien, Musser, Jim, Nachtman, Jane, Nagu, Srishti, Nalbandyan, Mikayel, Nandakumar, Raja, Naples, Donna, Narita, Shinya, Nath, Atanu, Navrer-Agasson, Anyssa, Nayak, Nitish, Nebot-Guinot, Miquel, Negishi, Kentaro, Nelson, Jeff, Nesbit, Jake, Nessi, Marzio, Newbold, David, Newcomer, Mitch, Newton, Hannah, Nichol, Ryan, Nicolas-Arnaldos, Francisco, Nikolica, Adrian, Niner, Evan, Nishimura, Kurtis, Norman, Andrew, Norrick, Anne, Northrop, Rich, Novella, Pau, Nowak, Jaroslaw, Oberling, Michael, Ochoa-Ricoux, Juan Pedro, Olivier, Andrew, Olshevskiy, Alexander, Onel, Yasar, Onishchuk, Yuriy, Ott, Jordan, Pagani, Luca, Palacio, Guillermo, Palamara, Ornella, Palestini, Sandro, Paley, Jonathan, Pallavicini, Marco, Palomares, Carmen, Panduro Vazquez, William, Pantic, Emilija, Paolone, Vittorio, Papadimitriou, Vaia, Papaleo, Riccardo, Papanestis, Antonis, Paramesvaran, Sudarshan, Parke, Stephen, Parozzi, Elisabetta, Parsa, Zohreh, Parvu, Mihaela, Pascoli, Silvia, Pasqualini, Laura, Pasternak, Jaroslaw, Pater, Joleen, Patrick, Cheryl, Patrizii, Laura, Patterson, Ryan, Patton, Simon John, Patzak, Thomas, Paudel, Ajib, Paulos, Bob, Paulucci, Laura, Pavlovic, Zarko, Pawloski, Greg, Payne, David, Pec, Viktor, Peeters, S.J. M., Pena Perez, Aldo, Pennacchio, Elisabetta, Penzo, Aldo, Peres, Orlando, Perry, James, Pershey, Daniel, Pessina, Gianluigi, Petrillo, Gianluca, Petta, Catia, Petti, Roberto, Valerio Pia, Piastra, Francesco, Pickering, Luke, Pietropaolo, Francesco, Pimentel, Vinicius, Pinaroli, Giovanni, Plows, Komninos-John, Plunkett, Robert, Poling, Ronald, Pompa, Federica, Pons, Xavier, Poonthottathil, Navaneeth, Poppi, Francesco, Pordes, Stephen, Porter, Joshua, Potekhin, Maxim, Potenza, Renato, Potukuchi, B.V. K.S., Pozimski, Juergen, Pozzato, Michele, Prakash, Suprabh, Prakash, Tarun, Prest, Michela, Prince, Sebastien, Psihas, Fernanda, Pugnere, Denis, Qian, Xin, Raaf, Jennifer L., Radeka, Veljko, Rademacker, Jonas, Radics, Balint, Rafique, Aleena, Raguzin, Eric, Rai, Mousam, Rajaoalisoa, Miriama, Rakhno, Igor, Rakotonandrasana, Andrianjafy Michaël, Rakotondravohitra, Laza, Rameika, Regina, Ramirez Delgado, Manuel Alejandro, Ramson, Bryan, Rappoldi, A., Raselli, G.L., Ratoff, Peter, Raut, Sanil, Razakamiandra, Rado Fanantenana, Rea, Eran, Real, Jean-Sebastien, Rebel, Brian, Rechenmacher, Ronald, Reggiani-Guzzo, Marina, Reichenbacher, Juergen, Reitzner, S.D., Rejeb Sfar, Haifa, Renshaw, Andrew, Rescia, Sergio, Resnati, Filippo, Ribas, Marlos, Riboldi, Stefano, Riccio, Ciro, Riccobene, Giorgio, Rice, L.C. J., Ricol, Jean-Stephane, Rigamonti, Alberto, Rigaut, Yann-Axel, Rincón, Edgar, Ritchie-Yates, Harrison, Rivera, David, Robert, Arnaud, Rochester, Leon, Roda, Marco, Rodrigues, Philip, Rodriguez Alonso, Manuel, Rodriguez Bonilla, Engelver, Rodriguez Rondon, Jairo, Rosauro-Alcaraz, Salvador, Rosenberg, Matt, Rosier, Philippe, Roskovec, Bedrich, Rossella, Massimo, Rossi, Marco, Rout, Jogesh, Roy, Palash, Rubbia, Andre, Rubbia, Carlo, Russell, Brooke, Ruterbories, Daniel, Rybnikov, Arseniy, Saa-Hernandez, Angela, Saakyan, Ruben, Sacerdoti, Sabrina, Safford, Twymun, Sahu, Narendra, Sakashita, Ken, Sala, Paola, Samios, Nicholas, Samoylov, Oleg, Sanchez, Mayly, Sandberg, Vern, Sanders, David, Sankey, David, Santana, Samuel, Santos-Maldonado, Marvin, Saoulidou, Niki, Sapienza, Piera, Sarasty, Carlos, Sarcevic, Ina, Savage, Geoffrey, Savinov, Vladimir, Scaramelli, Alberto, Scarff, Andrew, Scarpelli, Andrea, Schefke, Tristan, Schellman, Heidi, Schifano, Sebastiano, Schlabach, Philip, Schmitz, David, Schneider, Austin, Scholberg, Kate, Schukraft, Anne, Segreto, Ettore, Selyunin, Alexander, Senise, C.R., Senise Jr, Carlos, Sensenig, Jon, Sergi, Antonino, Sgalaberna, Davide, Shaevitz, Michael H., Shafaq, Sheeba, Shaker, Fady, Shamma, Michael, Sharankova, Ralitsa, Sharma, Hans, Sharma, Rahul, Sharma, Rajeev, Shaw, Terri, Shchablo, Konstantin, Shepherd-Themistocleous, Claire, Sheshukov, Andrey, Shin, Seodong, Shoemaker, Ian, Shooltz, Dean, Shrock, Robert, Siegel, Harrison, Simard, Laurent, Sinclair, James, Sinev, Gleb, Singh, Jaydip, Singh, Jyotsna, Singh, Lakwinder, Singh, Prabhjot, Singh, Venktesh, Sipos, Roland, Sippach, F.W., Sirri, Gabriele, Sitraka, Andriaseta, Siyeon, Kim, Skarpaas, Knut, Smith, Andrew, Smith, Erica, Smith, Paul, Smolik, Jan, Smy, Michael, Snider, E.L., Snopok, Pavel, Snowden-Ifft, Daniel, Soares Nunes, Mônica, Sobel, Henry, Soderberg, Mitch, Sokolov, Sergei, Solano Salinas, Carlos, Söldner-Rembold, Stefan, Soleti, Stefano Roberto, Solomey, Nicholas, Solovov, Vladimir, Sondheim, Walter, Sorel, Michel, Sotnikov, Albert, Soto-Oton, Jose, Soto Ugaldi, Fidel Antonio, Sousa, Alexandre, Soustruznik, Karel, Spagliardi, Fabio, Spanu, Maura, Spitz, Joshua, Spooner, N.J. C., Spurgeon, Kyle, Stancari, Michelle, Stanco, Luca, Stanford, Chris, Stein, Raul, Steiner, Herbert M., Steklain Lisbôa, André, Stewart, James, Stillwell, Ben, Stock, Jason, Stocker, Francesca, Stokes, Tyler, Strait, Matthew, Strauss, Thomas, Strigari, Louis, Stuart, Alexander, Suarez, Juan, Suárez Sunción, Juan Martín, Sullivan, Hunter, Summers, Don, Surdo, Antonio, Susic, Vasja, Suter, Louise, Sutera, Concetta Maria, Svoboda, Robert, Szczerbinska, Barbara, Szelc, Andrzej, Tanaka, Hirohisa, Tang, Shaochun, Tapia, Alex, Tapia Oregui, Beatriz, Tapper, Alexander, Tariq, Salman, Tarpara, Eaglekumar, Tata, Neeraj, Tatar, Tayloe, Rex, Teklu, Abraham Meles, Tennessen, Peter, Tenti, Matteo, Terao, Kazuhiro, Ternes, Christoph, Terranova, Francesco, Testera, Gemma, Thakore, Tarak, Thea, Alessandro, Thompson, Joshua, Thorn, Craig, Timm, Steven C., Tishchenko, Vladimir, Tomassetti, Luca, Tonazzo, Alessandra, Torbunov, Dmitri, Torti, Marta, Tortola, Mariam, Tortorici, Francesco, Tosi, Nicolo, Totani, Dante, Toups, Matthew, Touramanis, Christos, Travaglini, Riccardo, Trevor, Jason, Trilov, Stoyan, Trzaska, Wladyslaw, Tsai, Yu-Dai, Tsai, Yun-Tse, Tsamalaidze, Zviadi, Tsang, Ka Vang, Tsverava, Nikolozi, Tufanli, Serhan, Tull, Craig, Tyley, E., Tzanov, Martin, Uboldi, Lorenzo, Uchida, Melissa, Urheim, Jon, Usher, Tracy, Uzunyan, Sergey, Vagins, Mark, Vahle, Patricia, Valder, Sammy, Valdiviesso, Gustavo, Valencia, Edgar, Valentim, Rodolfo, Vallari, Zoya, Vallazza, Erik, Valle, J.W. F., Vallecorsa, Sofia, Van Berg, Rick, Van de Water, Richard, Vanegas Forero, David, Vannerom, David, Varanini, Filippo, Vargas, Danaisis, Varner, Gary, Vasel, Justin, Vasina, Svetlana, Vasseur, Georges, Vaughan, Noah, Vaziri, Kamran, Ventura, Sandro, Verdugo, Antonio, Vergani, Stefano, Vermeulen, Milo, Verzocchi, Marco, Vicenzi, Matteo, Vieira de Souza, Henrique, Vignoli, Chiara, Vilela, Cristovao, Viren, Brett, Vrba, Tomas, Wachala, Tomasz, Waldron, Abigail, Wallbank, Michael, Wallis, Connor, Wang, Hanguo, Wang, Jingbo, Wang, Li, Wang, M.H. L.S., Wang, Xiaoran, Wang, Yi, Wang, Yue, Warburton, Karl, Warner, David, Wascko, Morgan, Waters, David, Watson, Alan, Wawrowska, Klaudia, Weatherly, Pierce, Weber, Alfons, Weber, Michele, Wei, Hanyu, Weinstein, Amanda, Wenman, Dan, Wetstein, Matthew, White, Andy, Whitehead, Leigh, Whittington, Denver, Wilking, Michael, Wilkinson, Alexander, Wilkinson, Callum, Williams, Zachary, Wilson, Fergus, Wilson, Robert, Wisniewski, William, Wolcott, Jeremy, Wongjirad, Taritree, Wood, Anthony, Wood, Kevin, Worcester, Elizabeth, Worcester, Matthew, Wresilo, Karolina, Wret, Clarence, Wu, Wanwei, Wu, Wenjie, Xiao, Yiwen, Xie, Fang, Yaeggy, Barbara, Yandel, Erin, Yang, Guang, Yang, Kang, Yang, Tingjun, Yankelevich, Alejandro, Yershov, Nikolai, Yonehara, Katsuya, Yoon, Young Soo, Young, Tim, Yu, Bo, Yu, Haiwang, Yu, Hongzhao, Yu, Jae, Yu, Yiding, Yuan, Wenlong, Zaki, Rowan, Zalesak, Jaroslav, Zambelli, Laura, Zamorano, Bruno, Zani, Andrea, Zazueta, Luis, Zeller, Geralyn, Zennamo, Joseph, Zeug, Kyle, Zhang, Chao, Zhang, Shuaixiang, Zhang, Yuze, Zhao, Manhong, Zhivun, Elena, Zhu, Guanying, Zimmerman, Eric, Zucchelli, Stefano, Zuklin, Josef, Zutshi, Vishnu, Zwaska, Robert, UK Research and Innovation, XENON (IHEF, IoP, FNWI), Other Research IHEF (IoP, FNWI), ATLAS (IHEF, IoP, FNWI), IoP (FNWI), DUNE Collaboration, Laboratoire d'Annecy de Physique des Particules (LAPP), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS), Institut de Physique des 2 Infinis de Lyon (IP2I Lyon), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Physique des 2 Infinis Irène Joliot-Curie (IJCLab), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), AstroParticule et Cosmologie (APC (UMR_7164)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Observatoire de Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de Physique Subatomique et de Cosmologie (LPSC), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), DUNE, Apollo - University of Cambridge Repository, Abud, A Abed, Abi, B, Acciarri, R, Acero, M A, Adames, M R, Adamov, G, Adamowski, M, Adams, D, Adinolfi, M, Aduszkiewicz, A, Aguilar, J, Ahmad, Z, Ahmed, J, Aimard, B, Ali-Mohammadzadeh, B, Alion, T, Allison, K, Monsalve, S Alonso, AlRashed, M, Alt, C, Alton, A, Alvarez, R, Amedo, P, Anderson, J, Andreopoulos, C, Andreotti, M, Andrews, M, Andrianala, F, Andringa, S, Anfimov, N, Ankowski, A, Antoniassi, M, Antonova, M, Antoshkin, A, Antusch, S, Aranda-Fernandez, A, Arellano, L, Arnold, L O, Arroyave, M A, Asaadi, J, Asquith, L, Aurisano, A, Aushev, V, Autiero, D, Lara, V Ayala, Ayala-Torres, M, Azfar, F, Back, A, Back, H, Back, J J, Backhouse, C, Bagaturia, I, Bagby, L, Balashov, N, Balasubramanian, S, Baldi, P, Baller, B, Bambah, B, Barao, F, Barenboim, G, Alzas, P Barham, Barker, G, Barkhouse, W, Barnes, C, Barr, G, Monarca, J Barranco, Barros, A, Barros, N, Barrow, J L, Basharina-Freshville, A, Bashyal, A, Basque, V, Batchelor, C, Chagas, E Batista da, Battat, J B R, Battisti, F, Bay, F, Bazetto, M C Q, Alba, J L L Bazo, Beacom, J F, Bechetoille, E, Behera, B, Beigbeder, C, Bellantoni, L, Bellettini, G, Bellini, V, Beltramello, O, Benekos, N, Montiel, C Benitez, Neves, F Bento, Berger, J, Berkman, S, Bernardini, P, Berner, R M, Bersani, A, Bertolucci, S, Betancourt, M, Rodríguez, A Betancur, Bevan, A, Bezawada, Y, Bezerra, T J C, Bhardwaj, A, Bhatnagar, V, Bhattacharjee, M, Bhattarai, D, Bhuller, S, Bhuyan, B, Biagi, S, Bian, J, Biassoni, M, Biery, K, Bilki, B, Bishai, M, Bitadze, A, Blake, A, Blaszczyk, F, Blazey, G C, Blucher, E, Boissevain, J, Bolognesi, S, Bolton, T, Bomben, L, Bonesini, M, Bongrand, M, Bonilla-Diaz, C, Bonini, F, Booth, A, Boran, F, Bordoni, S, Borkum, A, Bostan, N, Bour, P, Bourgeois, C, Boyden, D, Bracinik, J, Braga, D, Brailsford, D, Branca, A, Brandt, A, Bremer, J, Breton, D, Brew, C, Brice, S J, Brizzolari, C, Bromberg, C, Brooke, J, Bross, A, Brunetti, G, Brunetti, M, Buchanan, N, Budd, H, Butorov, I, Cagnoli, I, Cai, T, Caiulo, D, Calabrese, R, Calafiura, P, Calcutt, J, Calin, M, Calvez, S, Calvo, E, Caminata, A, Campanelli, M, Caratelli, D, Carber, D, Carceller, J C, Carini, G, Carlus, B, Carneiro, M F, Carniti, P, Terrazas, I Caro, Carranza, H, Carroll, T, Forero, J F Castaño, Castillo, A, Castromonte, C, Catano-Mur, E, Cattadori, C, Cavalier, F, Cavallaro, G, Cavanna, F, Centro, S, Cerati, G, Cervelli, A, Villanueva, A Cervera, Chalifour, M, Chappell, A, Chardonnet, E, Charitonidis, N, Chatterjee, A, Chattopadhyay, S, Neyra, M S S Chavarry, Chen, H, Chen, M, Chen, Y, Chen, Z, Chen-Wishart, Z, Cheon, Y, Cherdack, D, Chi, C, Childress, S, Chirco, R, Chiriacescu, A, Chisnall, G, Cho, K, Choate, S, Chokheli, D, Chong, P S, Christensen, A, Christian, D, Christodoulou, G, Chukanov, A, Chung, M, Church, E, Cicero, V, Clarke, P, Cline, G, Coan, T E, Cocco, A G, Coelho, J A B, Colton, N, Conley, E, Conley, R, Conrad, J, Convery, M, Copello, S, Cova, P, Cremaldi, L, Cremonesi, L, Crespo-Anadón, J I, Crisler, M, Cristaldo, E, Crnkovic, J, Cross, R, Cudd, A, Cuesta, C, Cui, Y, Cussans, D, Dalager, O, da Motta, H, Da Silva Peres, L, David, C, David, Q, Davies, G S, Davini, S, Dawson, J, De, K, De, S, Debbins, P, De Bonis, I, Decowski, M P, De Gouvêa, A, De Holanda, P C, De Icaza Astiz, I L, Deisting, A, De Jong, P, Delbart, A, Delepine, D, Delgado, M, Dell'Acqua, A, Delmonte, N, De Lurgio, P, de Mello Neto, J R T, DeMuth, D M, Dennis, S, Densham, C, Deptuch, G W, De Roeck, A, De Romeri, V, De Souza, G, Devi, R, Dharmapalan, R, Dias, M, Diaz, F, Díaz, J S, Domizio, S Di, Giulio, L Di, Ding, P, Noto, L Di, Dirkx, G, Distefano, C, Diurba, R, Diwan, M, Djurcic, Z, Doering, D, Dolan, S, Dolek, F, Dolinski, M, Domine, L, Donon, Y, Douglas, D, Douillet, D, Dragone, A, Drake, G, Drielsma, F, Duarte, L, Duchesneau, D, Duffy, K, Dunne, P, Dutta, B, Duyang, H, Dvornikov, O, Dwyer, D, Dyshkant, A, Eads, M, Earle, A, Edmunds, D, Eisch, J, Emberger, L, Emery, S, Englezos, P, Ereditato, A, Erjavec, T, Escobar, C, Eurin, G, Evans, J J, Ewart, E, Ezeribe, A C, Fahey, K, Falcone, A, Fani', M, Farnese, C, Farzan, Y, Fedoseev, D, Felix, J, Feng, Y, Fernandez-Martinez, E, Menendez, P Fernandez, Morales, M Fernandez, Ferraro, F, Fields, L, Filip, P, Filthaut, F, Fiorini, M, Fischer, V, Fitzpatrick, R S, Flanagan, W, Fleming, B, Flight, R, Fogarty, S, Foreman, W, Fowler, J, Fox, W, Franc, J, Francis, K, Franco, D, Freeman, J, Freestone, J, Fried, J, Friedland, A, Robayo, F Fuente, Fuess, S, Furic, I K, Furman, K, Furmanski, A P, Gabrielli, A, Gago, A, Gallagher, H, Gallas, A, Gallego-Ros, A, Gallice, N, Galymov, V, Gamberini, E, Gamble, T, Ganacim, F, Gandhi, R, Gandrajula, R, Gao, F, Gao, S, Garcia-Gamez, D, García-Peris, M Á, Gardiner, S, Gastler, D, Gauvreau, J, Ge, G, Geffroy, N, Gelli, B, Gendotti, A, Gent, S, Ghorbani-Moghaddam, Z, Giammaria, P, Giammaria, T, Giangiacomi, N, Gibin, D, Gil-Botella, I, Gilligan, S, Girerd, C, Giri, A K, Gnani, D, Gogota, O, Gold, M, Gollapinni, S, Gollwitzer, K, Gomes, R A, Bermeo, L V Gomez, Fajardo, L S Gomez, Gonnella, F, Gonzalez-Diaz, D, Gonzalez-Lopez, M, Goodman, M C, Goodwin, O, Goswami, S, Gotti, C, Goudzovski, E, Grace, C, Gran, R, Granados, E, Granger, P, Grant, A, Grant, C, Gratieri, D, Green, P, Greenler, L, Greer, J, Grenard, J, Griffith, W C, Groh, M, Grudzinski, J, Grzelak, K, Gu, W, Guardincerri, E, Guarino, V, Guarise, M, Guenette, R, Guerard, E, Guerzoni, M, Guffanti, D, Guglielmi, A, Guo, B, Gupta, A, Gupta, V, Guthikonda, K K, Gutierrez, R, Guzowski, P, Guzzo, M M, Gwon, S, Ha, C, Haaf, K, Habig, A, Hadavand, H, Haenni, R, Hahn, A, Haiston, J, Hamacher-Baumann, P, Hamernik, T, Hamilton, P, Han, J, Harris, D A, Hartnell, J, Hartnett, T, Harton, J, Hasegawa, T, Hasnip, C, Hatcher, R, Hatfield, K W, Hatzikoutelis, A, Hayes, C, Hayrapetyan, K, Hays, J, Hazen, E, He, M, Heavey, A, Heeger, K M, Heise, J, Henry, S, Morquecho, M A Hernandez, Herner, K, Hewes, J, Hilgenberg, C, Hill, T, Hillier, S J, Himmel, A, Hinkle, E, Hirsch, L R, Ho, J, Hoff, J, Holin, A, Hoppe, E, Horton-Smith, G A, Hostert, M, Hourlier, A, Howard, B, Howell, R, Hoyos, J, Hristova, I, Hronek, M S, Huang, J, Hulcher, Z, Iles, G, Ilic, N, Iliescu, A M, Illingworth, R, Ingratta, G, Ioannisian, A, Irwin, B, Isenhower, L, Itay, R, Jackson, C M, Jain, V, James, E, Jang, W, Jargowsky, B, Jediny, F, Jena, D, Jeong, Y S, Jesús-Valls, C, Ji, X, Jiang, L, Jiménez, S, Jipa, A, Johnson, R, Johnson, W, Johnston, N, Jones, B, Jones, S, Judah, M, Jung, C K, Junk, T, Jwa, Y, Kabirnezhad, M, Kaboth, A, Kadenko, I, Kakorin, I, Kalitkina, A, Kalra, D, Kamiya, F, Kaneshige, N, Kaplan, D M, Karagiorgi, G, Karaman, G, Karcher, A, Karolak, M, Karyotakis, Y, Kasai, S, Kasetti, S P, Kashur, L, Kazaryan, N, Kearns, E, Keener, P, Kelly, K J, Kemp, E, Kemularia, O, Ketchum, W, Kettell, S H, Khabibullin, M, Khotjantsev, A, Khvedelidze, A, Kim, D, King, B, Kirby, B, Kirby, M, Klein, J, Klustova, A, Kobilarcik, T, Koehler, K, Koerner, L W, Koh, D H, Kohn, S, Koller, P P, Kolupaeva, L, Korablev, D, Kordosky, M, Kosc, T, Kose, U, Kostelecký, V A, Kothekar, K, Kralik, R, Kreczko, L, Krennrich, F, Kreslo, I, Kropp, W, Kroupova, T, Kubota, S, Kudenko, Y, Kudryavtsev, V A, Kulagin, S, Kumar, J, Kumar, P, Kunze, P, Kurita, N, Kuruppu, C, Kus, V, Kutter, T, Kvasnicka, J, Kwak, D, Lambert, A, Land, B, Lane, C E, Lang, K, Langford, T, Langstaff, M, Larkin, J, Lasorak, P, Last, D, Laundrie, A, Laurenti, G, Lawrence, A, Lazanu, I, LaZur, R, Lazzaroni, M, Le, T, Leardini, S, Learned, J, LeBrun, P, LeCompte, T, Lee, C, Lee, S Y, Miotto, G Lehmann, Lehnert, R, de Oliveira, M A Leigui, Leitner, M, Lepin, L M, Li, S W, Li, Y, Liao, H, Lin, C S, Lin, Q, Lin, S, Lineros, R A, Ling, J, Lister, A, Littlejohn, B R, Liu, J, Liu, Y, Lockwitz, S, Loew, T, Lokajicek, M, Lomidze, I, Long, K, Lord, T, LoSecco, J M, Louis, W C, Lu, X-G, Luk, K B, Lunday, B, Luo, X, Luppi, E, Lux, T, Luzio, V P, Maalmi, J, MacFarlane, D, Machado, A A, Machado, P, Macias, C T, Macier, J R, Maddalena, A, Madera, A, Madigan, P, Magill, S, Mahn, K, Maio, A, Major, A, Maloney, J A, Mandrioli, G, Mandujano, R C, Maneira, J, Manenti, L, Manly, S, Mann, A, Manolopoulos, K, Plata, M Manrique, Manyam, V N, Manzanillas, L, Marchan, M, Marchionni, A, Marciano, W, Marfatia, D, Mariani, C, Maricic, J, Marie, R, Marinho, F, Marino, A D, Marsden, D, Marshak, M, Marshall, C, Marshall, J, Marteau, J, Martín-Albo, J, Martinez, N, Caicedo, D A Martinez, Miravé, P Martínez, Martynenko, S, Mascagna, V, Mason, K, Mastbaum, A, Matichard, F, Matsuno, S, Matthews, J, Mauger, C, Mauri, N, Mavrokoridis, K, Mawby, I, Mazza, R, Mazzacane, A, Mazzucato, E, McAskill, T, McCluskey, E, McConkey, N, McFarland, K S, McGrew, C, McNab, A, Mefodiev, A, Mehta, P, Melas, P, Mena, O, Mendez, H, Mendez, P, Méndez, D P, Menegolli, A, Meng, G, Messier, M D, Metcalf, W, Mettler, T, Mewes, M, Meyer, H, Miao, T, Michna, G, Miedema, T, Mikola, V, Milincic, R, Miller, G, Miller, W, Mills, J, Mineev, O, Minotti, A, Miranda, O G, Miryala, S, Mishra, C S, Mishra, S R, Mislivec, A, Mitchell, M, Mladenov, D, Mocioiu, I, Moffat, K, Moggi, N, Mohanta, R, Mohayai, T A, Mokhov, N, Molina, J, Bueno, L Molina, Montagna, E, Montanari, A, Montanari, C, Montanari, D, Zetina, L M Montañno, Moon, S H, Mooney, M, Moor, A F, Moreno, D, Moretti, D, Morris, C, Mossey, C, Mote, M, Motuk, E, Moura, C A, Mousseau, J, Mouster, G, Mu, W, Mualem, L, Mueller, J, Muether, M, Mufson, S, Muheim, F, Muir, A, Mulhearn, M, Munford, D, Muramatsu, H, Murphy, S, Musser, J, Nachtman, J, Nagu, S, Nalbandyan, M, Nandakumar, R, Naples, D, Narita, S, Nath, A, Navrer-Agasson, A, Nayak, N, Nebot-Guinot, M, Negishi, K, Nelson, J K, Nesbit, J, Nessi, M, Newbold, D, Newcomer, M, Newton, H, Nichol, R, Nicolas-Arnaldos, F, Nikolica, A, Niner, E, Nishimura, K, Norman, A, Norrick, A, Northrop, R, Novella, P, Nowak, J A, Oberling, M, Ochoa-Ricoux, J, Olivier, A, Olshevskiy, A, Onel, Y, Onishchuk, Y, Ott, J, Pagani, L, Palacio, G, Palamara, O, Palestini, S, Paley, J M, Pallavicini, M, Palomares, C, Vazquez, W Panduro, Pantic, E, Paolone, V, Papadimitriou, V, Papaleo, R, Papanestis, A, Paramesvaran, S, Parke, S, Parozzi, E, Parsa, Z, Parvu, M, Pascoli, S, Pasqualini, L, Pasternak, J, Pater, J, Patrick, C, Patrizii, L, Patterson, R B, Patton, S J, Patzak, T, Paudel, A, Paulos, B, Paulucci, L, Pavlovic, Z, Pawloski, G, Payne, D, Pec, V, Peeters, S J M, Perez, A Pena, Pennacchio, E, Penzo, A, Peres, O L G, Perry, J, Pershey, D, Pessina, G, Petrillo, G, Petta, C, Petti, R, Pia, V, Piastra, F, Pickering, L, Pietropaolo, F, Pimentel, V L, Pinaroli, G, Plows, K, Plunkett, R, Poling, R, Pompa, F, Pons, X, Poonthottathil, N, Poppi, F, Pordes, S, Porter, J, Potekhin, M, Potenza, R, Potukuchi, B V K S, Pozimski, J, Pozzato, M, Prakash, S, Prakash, T, Prest, M, Prince, S, Psihas, F, Pugnere, D, Qian, X, Raaf, J L, Radeka, V, Rademacker, J, Radics, B, Rafique, A, Raguzin, E, Rai, M, Rajaoalisoa, M, Rakhno, I, Rakotonandrasana, A, Rakotondravohitra, L, Rameika, R, Delgado, M A Ramirez, Ramson, B, Rappoldi, A, Raselli, G, Ratoff, P, Raut, S, Razakamiandra, R F, Rea, E M, Real, J S, Rebel, B, Rechenmacher, R, Reggiani-Guzzo, M, Reichenbacher, J, Reitzner, S D, Sfar, H Rejeb, Renshaw, A, Rescia, S, Resnati, F, Ribas, M, Riboldi, S, Riccio, C, Riccobene, G, Rice, L C J, Ricol, J S, Rigamonti, A, Rigaut, Y, Rincón, E V, Ritchie-Yates, H, Rivera, D, Robert, A, Rochester, L, Roda, M, Rodrigues, P, Alonso, M J Rodriguez, Bonilla, E Rodriguez, Rondon, J Rodriguez, Rosauro-Alcaraz, S, Rosenberg, M, Rosier, P, Roskovec, B, Rossella, M, Rossi, M, Rout, J, Roy, P, Rubbia, A, Rubbia, C, Russell, B, Ruterbories, D, Rybnikov, A, Saa-Hernandez, A, Saakyan, R, Sacerdoti, S, Safford, T, Sahu, N, Sakashita, K, Sala, P, Samios, N, Samoylov, O, Sanchez, M C, Sandberg, V, Sanders, D A, Sankey, D, Santana, S, Santos-Maldonado, M, Saoulidou, N, Sapienza, P, Sarasty, C, Sarcevic, I, Savage, G, Savinov, V, Scaramelli, A, Scarff, A, Scarpelli, A, Schefke, T, Schellman, H, Schifano, S, Schlabach, P, Schmitz, D, Schneider, A W, Scholberg, K, Schukraft, A, Segreto, E, Selyunin, A, Senise, C R, Sensenig, J, Sergi, A, Sgalaberna, D, Shaevitz, M H, Shafaq, S, Shaker, F, Shamma, M, Sharankova, R, Sharma, H R, Sharma, R, Sharma, R K, Shaw, T, Shchablo, K, Shepherd-Themistocleous, C, Sheshukov, A, Shin, S, Shoemaker, I, Shooltz, D, Shrock, R, Siegel, H, Simard, L, Sinclair, J, Sinev, G, Singh, J, Singh, L, Singh, P, Singh, V, Sipos, R, Sippach, F W, Sirri, G, Sitraka, A, Siyeon, K, Skarpaas, K, Smith, A, Smith, E, Smith, P, Smolik, J, Smy, M, Snider, E, Snopok, P, Snowden-Ifft, D, Nunes, M Soare, Sobel, H, Soderberg, M, Sokolov, S, Salinas, C J Solano, Söldner-Rembold, S, Soleti, S R, Solomey, N, Solovov, V, Sondheim, W E, Sorel, M, Sotnikov, A, Soto-Oton, J, Ugaldi, F A Soto, Sousa, A, Soustruznik, K, Spagliardi, F, Spanu, M, Spitz, J, Spooner, N J C, Spurgeon, K, Stancari, M, Stanco, L, Stanford, C, Stein, R, Steiner, H M, Lisbôa, A F Steklain, Stewart, J, Stillwell, B, Stock, J, Stocker, F, Stokes, T, Strait, M, Strauss, T, Strigari, L, Stuart, A, Suarez, J G, Sunción, J M Suárez, Sullivan, H, Summers, D, Surdo, A, Susic, V, Suter, L, Sutera, C M, Svoboda, R, Szczerbinska, B, Szelc, A M, Tanaka, H, Tang, S, Tapia, A, Oregui, B Tapia, Tapper, A, Tariq, S, Tarpara, E, Tata, N, Tatar, E, Tayloe, R, Teklu, A M, Tennessen, P, Tenti, M, Terao, K, Ternes, C A, Terranova, F, Testera, G, Thakore, T, Thea, A, Thompson, J L, Thorn, C, Timm, S C, Tishchenko, V, Tomassetti, L, Tonazzo, A, Torbunov, D, Torti, M, Tortola, M, Tortorici, F, Tosi, N, Totani, D, Toups, M, Touramanis, C, Travaglini, R, Trevor, J, Trilov, S, Trzaska, W H, Tsai, Y, Tsai, Y-T, Tsamalaidze, Z, Tsang, K V, Tsverava, N, Tufanli, S, Tull, C, Tyley, E, Tzanov, M, Uboldi, L, Uchida, M A, Urheim, J, Usher, T, Uzunyan, S, Vagins, M R, Vahle, P, Valder, S, Valdiviesso, G D A, Valencia, E, Valentim, R, Vallari, Z, Vallazza, E, Valle, J W F, Vallecorsa, S, Berg, R Van, de Water, R G Van, Forero, D Vanega, Vannerom, D, Varanini, F, Oliva, D Varga, Varner, G, Vasel, J, Vasina, S, Vasseur, G, Vaughan, N, Vaziri, K, Ventura, S, Verdugo, A, Vergani, S, Vermeulen, M A, Verzocchi, M, Vicenzi, M, de Souza, H Vieira, Vignoli, C, Vilela, C, Viren, B, Vrba, T, Wachala, T, Waldron, A V, Wallbank, M, Wallis, C, Wang, H, Wang, J, Wang, L, Wang, M H L S, Wang, X, Wang, Y, Warburton, K, Warner, D, Wascko, M O, Waters, D, Watson, A, Wawrowska, K, Weatherly, P, Weber, A, Weber, M, Wei, H, Weinstein, A, Wenman, D, Wetstein, M, White, A, Whitehead, L H, Whittington, D, Wilking, M J, Wilkinson, A, Wilkinson, C, Williams, Z, Wilson, F, Wilson, R J, Wisniewski, W, Wolcott, J, Wongjirad, T, Wood, A, Wood, K, Worcester, E, Worcester, M, Wresilo, K, Wret, C, Wu, W, Xiao, Y, Xie, F, Yaeggy, B, Yandel, E, Yang, G, Yang, K, Yang, T, Yankelevich, A, Yershov, N, Yonehara, K, Yoon, Y S, Young, T, Yu, B, Yu, H, Yu, J, Yu, Y, Yuan, W, Zaki, R, Zalesak, J, Zambelli, L, Zamorano, B, Zani, A, Zazueta, L, Zeller, G P, Zennamo, J, Zeug, K, Zhang, C, Zhang, S, Zhang, Y, Zhao, M, Zhivun, E, Zhu, G, Zimmerman, E D, Zucchelli, S, Zuklin, J, Zutshi, V, Zwaska, R, Abud, A, Acero, M, Adames, M, Monsalve, S, Alrashed, M, Arnold, L, Arroyave, M, Lara, V, Back, J, Alzas, P, Monarca, J, Barrow, J, Chagas, E, Battat, J, Bazetto, M, Alba, J, Beacom, J, Montiel, C, Neves, F, Berner, R, Rodriguez, A, Bezerra, T, Blazey, G, Brice, S, Carceller, J, Carneiro, M, Terrazas, I, Forero, J, Villanueva, A, Neyra, M, Chong, P, Coan, T, Cocco, A, Coelho, J, Crespo-Anadon, J, Davies, G, Decowski, M, De Gouvea, A, De Holanda, P, De Icaza Astiz, I, de Mello Neto, J, Demuth, D, Deptuch, G, Diaz, J, Domizio, S, Giulio, L, Noto, L, Evans, J, Ezeribe, A, Menendez, P, Morales, M, Fitzpatrick, R, Robayo, F, Furic, I, Furmanski, A, Garcia-Peris, M, Giri, A, Gomes, R, Bermeo, L, Fajardo, L, Goodman, M, Griffith, W, Guthikonda, K, Guzzo, M, Harris, D, Hatfield, K, Heeger, K, Morquecho, M, Hillier, S, Hirsch, L, Horton-Smith, G, Hronek, M, Iliescu, A, Jackson, C, Jeong, Y, Jesus-Valls, C, Jimenez, S, Jung, C, Kaplan, D, Kasetti, S, Kelly, K, Kettell, S, Koerner, L, Koh, D, Koller, P, Kostelecky, V, Kudryavtsev, V, Lane, C, Lazur, R, Lebrun, P, Lecompte, T, Lee, S, Miotto, G, de Oliveira, M, Lepin, L, Li, S, Lin, C, Lineros, R, Littlejohn, B, Losecco, J, Louis, W, Lu, X, Luk, K, Luzio, V, Macfarlane, D, Machado, A, Macias, C, Macier, J, Maloney, J, Mandujano, R, Plata, M, Manyam, V, Marino, A, Martin-Albo, J, Caicedo, D, Mirave, P, Mcaskill, T, Mccluskey, E, Mcconkey, N, Mcfarland, K, Mcgrew, C, Mcnab, A, Mendez, D, Messier, M, Miranda, O, Mishra, C, Mishra, S, Mohayai, T, Bueno, L, Zetina, L, Moon, S, Moor, A, Moura, C, Nelson, J, Nowak, J, Paley, J, Vazquez, W, Patterson, R, Patton, S, Peeters, S, Perez, A, Peres, O, Pimentel, V, Potukuchi, B, Raaf, J, Razakamiandra, R, Rea, E, Real, J, Reitzner, S, Sfar, H, Rice, L, Ricol, J, Rincon, E, Alonso, M, Bonilla, E, Rondon, J, Sanchez, M, Sanders, D, Schneider, A, Senise, C, Shaevitz, M, Sharma, H, Sippach, F, Nunes, M, Salinas, C, Soldner-Rembold, S, Soleti, S, Sondheim, W, Ugaldi, F, Spooner, N, Steiner, H, Lisboa, A, Suarez, J, Suncion, J, Sutera, C, Szelc, A, Oregui, B, Teklu, A, Ternes, C, Thompson, J, Timm, S, Trzaska, W, Tsang, K, Uchida, M, Vagins, M, Valdiviesso, G, Valle, J, Berg, R, de Water, R, Forero, D, Oliva, D, Vermeulen, M, de Souza, H, Waldron, A, Wang, M, Wascko, M, Whitehead, L, Wilking, M, Wilson, R, Yoon, Y, Zeller, G, and Zimmerman, E

Subjects
Physics - Instrumentation and Detectors, Science & Technology, Physics and Astronomy (miscellaneous), Regular Article - Experimental Physics, Physics::Instrumentation and Detectors, 530 Physics, Physics, Settore FIS/01 - Fisica Sperimentale, FOS: Physical sciences, neutrino detector, dual phase liquid argon TPC, scintillation light, Instrumentation and Detectors (physics.ins-det), Nuclear & Particles Physics, Settore FIS/04 - Fisica Nucleare e Subnucleare, Physics, Particles & Fields, neutrino, DUNE Collaboration, Physical Sciences, SIMULATION, 0202 Atomic, Molecular, Nuclear, Particle and Plasma Physics, [PHYS.PHYS.PHYS-INS-DET]Physics [physics]/Physics [physics]/Instrumentation and Detectors [physics.ins-det], High Energy Physics, Detectors and Experimental Techniques, Engineering (miscellaneous), physics.ins-det, 0206 Quantum Physics
Abstract

Funder: Ministerio de Ciencia e Innovación; doi: http://dx.doi.org/10.13039/501100004837, Funder: Xunta de Galicia; doi: http://dx.doi.org/10.13039/501100010801, Funder: Conselho Nacional de Desenvolvimento Científico e Tecnológico; doi: http://dx.doi.org/10.13039/501100003593, Funder: Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro; doi: http://dx.doi.org/10.13039/501100004586, Funder: Instituto Nazionale di Fisica Nucleare; doi: http://dx.doi.org/10.13039/501100004007, Funder: Fundação Amazônia Paraense de Amparo à Pesquisa; doi: http://dx.doi.org/10.13039/501100005288, Funder: Junta de Andalucia-FEDER, Funder: Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada; doi: http://dx.doi.org/10.13039/501100002790, Funder: “la Caixa” Foundation; doi: http://dx.doi.org/10.13039/100010434, Funder: Canada Foundation for Innovation; doi: http://dx.doi.org/10.13039/501100000196, Funder: UK Research and Innovation; doi: http://dx.doi.org/10.13039/100014013, Funder: Royal Society; doi: http://dx.doi.org/10.13039/501100000288, Funder: IPP, Funder: Centre National de la Recherche Scientifique; doi: http://dx.doi.org/10.13039/501100004794, Funder: CEA, Funder: National Science Foundation; doi: http://dx.doi.org/10.13039/100000001, Funder: Türkiye Bilimsel ve Teknolojik Arastirma Kurumu; doi: http://dx.doi.org/10.13039/501100004410, Funder: MSMT, Funder: CERN; doi: http://dx.doi.org/10.13039/100012470, Funder: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung; doi: http://dx.doi.org/10.13039/501100001711, Funder: Comunidad de Madrid; doi: http://dx.doi.org/10.13039/100012818, Funder: Fundação de Amparo à Pesquisa do Estado de Goiá s; doi: http://dx.doi.org/10.13039/501100005285, Funder: FCT, Funder: National Research Foundation; doi: http://dx.doi.org/10.13039/501100001321, Funder: U.S. Department of Energy; doi: http://dx.doi.org/10.13039/100000015, Funder: Marie Sklodowska-Curie Actions; doi: http://dx.doi.org/10.13039/100018694, Funder: Science and Technology Facilities Council; doi: http://dx.doi.org/10.13039/501100000271, Funder: European Regional Development Fund; doi: http://dx.doi.org/10.13039/501100008530, DUNE is a dual-site experiment for long-baseline neutrino oscillation studies, neutrino astrophysics and nucleon decay searches. ProtoDUNE Dual Phase (DP) is a 6 × 6 × 6 m 3 liquid argon time-projection-chamber (LArTPC) that recorded cosmic-muon data at the CERN Neutrino Platform in 2019-2020 as a prototype of the DUNE Far Detector. Charged particles propagating through the LArTPC produce ionization and scintillation light. The scintillation light signal in these detectors can provide the trigger for non-beam events. In addition, it adds precise timing capabilities and improves the calorimetry measurements. In ProtoDUNE-DP, scintillation and electroluminescence light produced by cosmic muons in the LArTPC is collected by photomultiplier tubes placed up to 7 m away from the ionizing track. In this paper, the ProtoDUNE-DP photon detection system performance is evaluated with a particular focus on the different wavelength shifters, such as PEN and TPB, and the use of Xe-doped LAr, considering its future use in giant LArTPCs. The scintillation light production and propagation processes are analyzed and a comparison of simulation to data is performed, improving understanding of the liquid argon properties.

Published
2022

48. Equivalence Checking for Superconducting RSFQ Logic Circuits

Author

Huang Junying, Zhimin Zhang, and Rongliang Fu

Subjects
Structure (mathematical logic), Digital electronics, Computer science, business.industry, Formal equivalence checking, 01 natural sciences, Computer Science::Hardware Architecture, Computer Science::Emerging Technologies, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Rapid single flux quantum, Satisfiability modulo theories, Logic gate, Component (UML), 0103 physical sciences, Arithmetic, 010306 general physics, business, Hardware_LOGICDESIGN, Electronic circuit
Abstract

Equivalence checking is a key component of the verification methodology for digital circuit designs. In this paper, we propose an equivalence checking framework for superconducting rapid single-flux-quantum (RSFQ) logic circuits which include acyclic circuits and bit-slice-based cyclic circuits. It consists of a structure checker and a logic checker. The structure checker is used to check whether the circuit meets the design rules of superconducting RSFQ logic circuits. The logic checker can be used to check whether two RSFQ gate-level circuits have the same logic function. For the logic checker, we propose a logic equivalence checking method based on logic cone partition. The circuit network is simplified layer by layer and iteratively partitioned into logic cones, each of which is verified by the SMT solver. The experimental results show the feasibility of our approach on superconducting RSFQ logic circuits.

Published
2021

Catalog

Books, media, physical & digital resources
See catalog results