Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Christopher A. Palm"'
Autor:
Samer Afach, Ben C. Buchler, Dmitry Budker, Conner Dailey, Andrei Derevianko, Vincent Dumont, Nataniel L. Figueroa, Ilja Gerhardt, Zoran D. Grujić, Hong Guo, Chuanpeng Hao, Paul S. Hamilton, Morgan Hedges, Derek F. Jackson Kimball, Dongok Kim, Sami Khamis, Thomas Kornack, Victor Lebedev, Zheng-Tian Lu, Hector Masia-Roig, Madeline Monroy, Mikhail Padniuk, Christopher A. Palm, Sun Yool Park, Karun V. Paul, Alexander Penaflor, Xiang Peng, Maxim Pospelov, Rayshaun Preston, Szymon Pustelny, Theo Scholtes, Perrin C. Segura, Yannis K. Semertzidis, Dong Sheng, Yun Chang Shin, Joseph A. Smiga, Jason E. Stalnaker, Ibrahim Sulai, Dhruv Tandon, Tao Wang, Antoine Weis, Arne Wickenbrock, Tatum Wilson, Teng Wu, David Wurm, Wei Xiao, Yucheng Yang, Dongrui Yu, Jianwei Zhang
Publikováno v:
Nature Physics
Nature physics 17(12), 1396-1401 (2021). doi:10.1038/s41567-021-01393-y
Nature physics 17(12), 1396-1401 (2021). doi:10.1038/s41567-021-01393-y
Ultralight bosons such as axion-like particles are viable candidates for dark matter. They can form stable, macroscopic field configurations in the form of topological defects that could concentrate the dark matter density into many distinct, compact
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57af31b96790f2f2662f9cc3d841f855
https://ruj.uj.edu.pl/xmlui/handle/item/287781
https://ruj.uj.edu.pl/xmlui/handle/item/287781
Publikováno v:
Scopus-Elsevier
ICSE
ICSE
We present an application of software model checking to the analysis of a large industrial software product: Lucent Technologies' CDMA call-processing library. This software is deployed on thousands of base stations in wireless networks world-wide, w