Zobrazeno 1 - 10
of 1 213
pro vyhledávání: '"P Naus"'
Guarded Kleene Algebra with Tests (GKAT) provides a sound and complete framework to reason about trace equivalence between simple imperative programs. However, there are still several notable limitations. First, GKAT is completely agnostic with respe
Externí odkaz:
http://arxiv.org/abs/2411.13220
Autor:
Baldini, M., Ambrosio, G., Apollinari, G., Blowers, J., Bossert, R., Carcagno, R., Chlachidze, G., DiMarco, J., Feher, S., Krave, S., Lombardo, V., Martin, L., Narug, C., Nicol, T. H., Nikolic, V., Nobrega, A., Marinozzi, V., Orozco, C., Page, T., Stoynev, S., Strauss, T., Turenne, M., Turrioni, D., Vouris, A., Yu, M., Baskys, A., Cheng, D., Croteau, J. F., Ferracin, P., Fajardo, L. Garcia, Lee, E., Lin, A., Marchev-sky, M., Naus, M., Pan, H., Pong, I., Prestemon, S., Ray, K., Sabbi, G., Sanabria, C., Vallone, G., Wang, X., Amm, K., Anerella, M., Yahia, A. Ben, Hocker, H., Joshi, P., Muratore, J., Schmalzle, J., Song, H., Wanderer, P.
Publikováno v:
JACoW IPAC2024 (2024) THYN1
The Large Hadron Collider will soon undergo an upgrade to increase its luminosity by a factor of ~10 [1]. A crucial part of this upgrade will be replacement of the NbTi focusing magnets with Nb3Sn magnets that achieve a ~50% increase in the field str
Externí odkaz:
http://arxiv.org/abs/2405.18530
Autor:
Ambrosio, G., Amm, K., Anerella, M., Apollinari, G., Izquierdo, G. Arnau, Baldini, M., Ballarino, A., Barth, C., Yahia, A. Ben, Blowers, J., De Sousa, P. Borges, Bossert, R., Bulat, B., Carcagno, R., Cheng, D. W., Chlachidze, G., Cooley, L., Crouvizier, M., Devred, A., DiMarco, J., Feher, S., Ferracin, P., Troitino, J. Ferradas, Fajardo, L. Garcia, Gourlay, S., Hocker, H. M., Bermudez, S. Izquierdo, Joshi, P., Krave, S., Lee, E. M., Levitan, J., Lombardo, V., Lu, J., Marchevsky, M., Marinozzi, V., Moros, A., Muratore, J., Naus, M., Nobrega, F., Page, T., Pong, I., Perez, J. C., Prestemon, S., Ravaioli, E., Ray, K. L., Sabbi, G., Schmalzle, J., Seyl, J., Sgobba, S., Stoynev, S., Strauss, T., Todesco, E., Turrioni, D., Vallone, G., Van Weelderen, R., Wanderer, P., Wang, X., Yu, M.
By the end of October 2022, the US HL-LHC Accelerator Upgrade Project (AUP) had completed fabrication of ten MQXFA magnets and tested eight of them. The MQXFA magnets are the low beta quadrupole magnets to be used in the Q1 and Q3 Inner Triplet eleme
Externí odkaz:
http://arxiv.org/abs/2301.09523
Autor:
Phyumar Soe, Otto G. Vanderkooi, Manish Sadarangani, Monika Naus, Matthew P. Muller, James D. Kellner, Karina A. Top, Hubert Wong, Jennifer E. Isenor, Kimberly Marty, Hennady P. Shulha, Gaston De Serres, Louis Valiquette, Allison McGeer, Julie A. Bettinger
Publikováno v:
The Lancet Regional Health. Americas, Vol 40, Iss , Pp 100949- (2024)
Summary: Background: The Canadian National Vaccine Safety Network conducted active safety surveillance for COVID-19 vaccines. This study aimed to characterize the short-to-medium term safety of mRNA COVID-19 vaccines across the pediatric age spectrum
Externí odkaz:
https://doaj.org/article/0243646eaa7b43f5af98929d0a4bc9cf
Autor:
Ayla Gerk, Luiza Telles, Madeleine Carroll, Maria Eduarda de Freitas Mesquita do Nascimento, Rafaela Góes Bispo, Bruno Felipe Santos de Oliveira, Saulo Mendes, Sophie Nouveau Fonseca Guerreiro, Abbie Naus, Cristina Pires Camargo
Publikováno v:
Acta Cirúrgica Brasileira, Vol 39 (2024)
ABSTRACT Purpose: Illicit cosmetic injections remain highly prevalent and can cause serious complications, including death. We aimed to explore existing literature regarding the use of illicit cosmetic injections globally. Methods: We searched six da
Externí odkaz:
https://doaj.org/article/439afc2bbc81474a969d60ae2691b98c
Autor:
Shosh Zismanov, Bar Shalem, Yulia Margolin-Miller, Dalia Rosin-Grunewald, Roy Adar, Ayelet Keren-Naus, Doron Amichay, Anat Ben-Dor, Yonat Shemer-Avni, Angel Porgador, Noam Shental, Tomer Hertz
Publikováno v:
Communications Medicine, Vol 4, Iss 1, Pp 1-9 (2024)
Abstract Background The SARS-CoV-2 pandemic led to unprecedented testing demands, causing major testing delays globally. One strategy used for increasing testing capacity was pooled-testing, using a two-stage technique first introduced during WWII. H
Externí odkaz:
https://doaj.org/article/a4b0f901b9b449d1b9d5ad13d523cac1
Autor:
B. Nathan, J. D. Maasakkers, S. Naus, R. Gautam, M. Omara, D. J. Varon, M. P. Sulprizio, L. A. Estrada, A. Lorente, T. Borsdorff, R. J. Parker, I. Aben
Publikováno v:
Atmospheric Chemistry and Physics, Vol 24, Pp 6845-6863 (2024)
Venezuela has long been identified as an area with large methane emissions and intensive oil exploitation, especially in the Lake Maracaibo region, but production has strongly decreased in recent years. The area is notoriously difficult to observe fr
Externí odkaz:
https://doaj.org/article/79d6ebd7c9724195852a1eeec351eb45
Autor:
Zaeema Naveed, Julia Li, James Wilton, Monika Naus, Héctor Alexander Velásquez García, Nathaniel M. Hawkins, Naveed Zafar Janjua
Publikováno v:
International Journal of Infectious Diseases, Vol 150, Iss , Pp 107287- (2025)
Objectives: We evaluated all-cause healthcare utilization among those with vaccine-associated myocarditis, compared to vaccinees without postvaccination myocarditis. Methods: We conducted a retrospective cohort study in individuals aged 12 and older
Externí odkaz:
https://doaj.org/article/2bcf359edd7943ee963963092e642e8f
Many companies and institutions have automated their business process in workflow management software. The novel programming paradigm Task-Oriented Programming (TOP) provides an abstraction for such software. The largest framework based on TOP, iTask
Externí odkaz:
http://arxiv.org/abs/2208.13870
Autor:
Phyumar Soe, Manish Sadarangani, Monika Naus, Matthew P. Muller, Otto G. Vanderkooi, James D. Kellner, Karina A. Top, Hubert Wong, Jennifer E. Isenor, Kimberly Marty, Gaston De Serres, Louis Valiquette, Allison McGeer, Julie A. Bettinger, for the Canadian Immunization Research Network
Publikováno v:
Frontiers in Public Health, Vol 12 (2024)
BackgroundThe Canadian National Vaccine Safety (CANVAS) network conducted a multi-center, prospective vaccine safety study to collect safety data after dose 1 and 2 of COVID-19 vaccines and follow up safety information 7 months after dose 1.Objective
Externí odkaz:
https://doaj.org/article/7f7cfe65c04942b4808b8670ab830337