Zobrazeno 1 - 10
of 8 744
pro vyhledávání: '"A Chana"'
We introduce a new framework for verifying systems with a parametric number of concurrently running processes. The systems we consider are well-structured with respect to a specific well-quasi order. This allows us to decide a wide range of verificat
Externí odkaz:
http://arxiv.org/abs/2408.05954
Autor:
Yvaine, M., Fairbank, D., Soderstrom, J., Taylor, C., Stanley, J., Walton, T., Chambers, C., Iverson, A., Fairbank, W., Kharusi, S. Al, Amy, A., Angelico, E., Anker, A., Arnquist, I. J., Atencio, A., Bane, J., Belov, V., Bernard, E. P., Bhatta, T., Bolotnikov, A., Breslin, J., Breur, P. A., Brodsky, J. P., Brown, E., Brunner, T., Caden, E., Cao, G. F., Cesmecioglu, D., Chambers, E., Chana, B., Chernyak, D., Chiu, M., Collister, R., Cvitan, M., Daniels, T., Darroch, L., DeVoe, R., di Vacri, M. L., Dolinski, M. J., Eckert, B., Elbeltagi, M., Elmansali, R., Fatemighomi, N., Foust, B., Fu, Y. S., Gallacher, D., Gallice, N., Giacomini, G., Gillis, W., Gingras, C., Gornea, R., Gratta, G., Hardy, C. A., Hedges, S., Hein, E., Holt, J. D., Hoppe, E. W., Karelin, A., Keblbeck, D., Kotov, I., Kuchenkov, A., Kumar, K. S., Kwiatkowski, A. A., Larson, A., Latif, M. B., Leach, K. G., Lennarz, A., Leonard, D. S., Lewis, H., Li, G., Li, Z., Licciardi, C., Lindsay, R., MacLellan, R., Majidi, S., Malbrunot, C., Masbou, J., McMichael, K., Peregrina, M. Medina, Moe, M., Mong, B., Moore, D. C., Natzke, C. R., Ngwadla, X. E., Ni, K., Nolan, A., Nowicki, S. C., Ondze, J. C. Nzobadila, Odian, A., Orrell, J. L., Ortega, G. S., Overman, C. T., Pagani, L., Smalley, H. Peltz, Perna, A., Pocar, A., Radeka, V., Raguzin, E., Rasiwala, H., Ray, D., Rescia, S., Richardson, G., Ross, R., Rowson, P. C., Saldanha, R., Sangiorgio, S., Schwartz, S., Sekula, S., Si, L., Soma, A. K., Spadoni, F., Stekhanov, V., Sun, X. L., Thibado, S., Tidball, A., Totev, T., Triambak, S., Tsang, T., Tyuka, O. A., van Bruggen, E., Vidal, M., Walent, M., Wamba, K., Wang, H. W., Wang, Q. D., Wang, W., Wang, Y. G., Watts, M., Wehrfritz, M., Wen, L. J., Wichoski, U., Wilde, S., Worcester, M., Xu, H., Yang, L., Yu, M., Zeldovich, O.
Neutrinoless double beta decay is one of the most sensitive probes for new physics beyond the Standard Model of particle physics. One of the isotopes under investigation is $^{136}$Xe, which would double beta decay into $^{136}$Ba. Detecting the sing
Externí odkaz:
http://arxiv.org/abs/2407.00285
Autor:
nEXO Collaboration, Hedges, S., Kharusi, S. Al, Angelico, E., Brodsky, J. P., Richardson, G., Wilde, S., Amy, A., Anker, A., Arnquist, I. J., Arsenault, P., Atencio, A., Badhrees, I., Bane, J., Belov, V., Bernard, E. P., Bhatta, T., Bolotnikov, A., Breslin, J., Breur, P. A., Brown, E., Brunner, T., Caden, E., Cao, G. F., Cao, L. Q., Cesmecioglu, D., Chambers, E., Chana, B., Charlebois, S. A., Chernyak, D., Chiu, M., Collister, R., Cvitan, M., Dalmasson, J., Daniels, T., Darroch, L., DeVoe, R., di Vacri, M. L., Ding, Y. Y., Dolinski, M. J., Eckert, B., Elbeltagi, M., Elmansali, R., Fabris, L., Fairbank, W., Farine, J., Fatemighomi, N., Foust, B., Fu, Y. S., Gallacher, D., Gallice, N., Gillis, W., Goeldi, D., Gorham, A., Gornea, R., Gratta, G., Guan, Y. D., Hardy, C. A., Heffner, M., Hein, E., Holt, J. D., Hoppe, E. W., House, A., Hunt, W., Iverson, A., Kachru, P., Karelin, A., Keblbeck, D., Kuchenkov, A., Kumar, K. S., Larson, A., Latif, M. B., Leach, K. G., Lenardo, B. G., Leonard, D. S., Lewis, H., Li, G., Li, Z., Licciardi, C., Lindsay, R., MacLellan, R., Majidi, S., Malbrunot, C., Martel-Dion, P., Masbou, J., McMichael, K., Medina-Peregrina, M., Mong, B., Moore, D. C., Nattress, J., Natzke, C. R., Ngwadla, X. E., Ni, K., Nolan, A., Nowicki, S. C., Ondze, J. C. Nzobadila, Orrell, J. L., Ortega, G. S., Overman, C. T., Pagani, L., Smalley, H. Peltz, Perna, A., Piepke, A., Franco, T. Pinto, Pocar, A., Pratte, J. -F., Rasiwala, H., Ray, D., Raymond, K., Rescia, S., Riot, V., Ross, R., Saldanha, R., Sangiorgio, S., Schwartz, S., Sekula, S., Soderstrom, J., Soma, A. K., Spadoni, F., Sun, X. L., Thibado, S., Tidball, A., Totev, T., Triambak, S., Tsang, R. H. M., Tyuka, O. A., van Bruggen, E., Vidal, M., Viel, S., Walent, M., Wang, Q. D., Wang, W., Wang, Y. G., Watts, M., Wehrfritz, M., Wei, W., Wen, L. J., Wichoski, U., Wu, X. M., Xu, H., Yang, H. B., Yang, L., Yu, M., Yvaine, M., Zeldovich, O., Zhao, J.
Electron-neutrino charged-current interactions with xenon nuclei were modeled in the nEXO neutrinoless double-beta decay detector (~5-tonne, 90% ${}^{136}$Xe, 10% ${}^{134}$Xe) to evaluate its sensitivity to supernova neutrinos. Predictions for event
Externí odkaz:
http://arxiv.org/abs/2405.19419
Autor:
van Bergerem, Steffen, Guttenberg, Roland, Kiefer, Sandra, Mascle, Corto, Waldburger, Nicolas, Weil-Kennedy, Chana
Population protocols are a well-studied model of distributed computation in which a group of anonymous finite-state agents communicates via pairwise interactions. Together they decide whether their initial configuration, that is, the initial distribu
Externí odkaz:
http://arxiv.org/abs/2405.00921
We present a uniform approach for solving language inclusion problems. Our approach relies on a least fixpoint characterization and a quasiorder to compare words of the "smaller" language, reducing the inclusion check to a finite number of membership
Externí odkaz:
http://arxiv.org/abs/2404.09862
Autor:
Viet, Nguyen V. H., Masri, Alaa Al, Nomachi, Masaharu, Tétrault, Marc-Andre, Kharusi, Soud Al, Brunner, Thomas, Chambers, Christopher, Chana, Bindiya, Croix, Austin de St., Egan, Eamon, Francesconi, Marco, Gallacher, David, Galli, Luca, Giampa, Pietro, Goeldi, Damian, Lefebvre, Jessee, Malbrunot, Chloe, Margetak, Peter, Martin, Juliette, McElroy, Thomas, Patel, Mayur, Rebeiro, Bernadette, Retiere, Fabrice, Rtimi, El Mehdi, Rudolph, Lisa, Viel, Simon, Xie, Liang
The Light only Liquid Xenon (LoLX) experiment is a prototype detector aimed to study liquid xenon (LXe) light properties and various photodetection technologies. LoLX is also aimed to quantify LXe's time resolution as a potential scintillator for 10~
Externí odkaz:
http://arxiv.org/abs/2310.18607
Autor:
Margaret C. Slack, MD, Samantha Sovich, MD, Chana R. Sachs, MD, Dorothy Martinez, MD, Run Yu, MD
Publikováno v:
AACE Clinical Case Reports, Vol 10, Iss 5, Pp 184-187 (2024)
Background/Objective: Nonislet cell tumor hypoglycemia (NICTH) is an uncommon cause of hypoglycemia due to a relative surplus of insulin-like growth factor 2 (IGF-2) or its precursor molecule. The diagnosis is confirmed by an elevated ratio of IGF-2
Externí odkaz:
https://doaj.org/article/84a82c3fa3b84d91b09220ee337aede7
Autor:
Philip Barbulescu, Chetan K. Chana, Matthew K. Wong, Ines Ben Makhlouf, Jeffrey P. Bruce, Yuqing Feng, Alexander F. A. Keszei, Cassandra Wong, Rukshana Mohamad-Ramshan, Laura C. McGary, Mohammad A. Kashem, Derek F. Ceccarelli, Stephen Orlicky, Yifei Fang, Huihui Kuang, Mohammad Mazhab-Jafari, Rossanna C. Pezo, Ashok S. Bhagwat, Trevor J. Pugh, Anne-Claude Gingras, Frank Sicheri, Alberto Martin
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-19 (2024)
Abstract A diverse antibody repertoire is essential for humoral immunity. Antibody diversification requires the introduction of deoxyuridine (dU) mutations within immunoglobulin genes to initiate somatic hypermutation (SHM) and class switch recombina
Externí odkaz:
https://doaj.org/article/67ed2463e18d49fc9638e7762e1de9a6
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract Reporting adverse drug reactions (ADRs) is fundamental in improving medication safety. Community pharmacists (CPs) being the first point of contact for individuals seeking healthcare in a community, play a significant role in ADR reporting.
Externí odkaz:
https://doaj.org/article/233d4b904410466caaec47da9646fdca
Autor:
Tsang, R. H. M., Piepke, A., Kharusi, S. Al, Angelico, E., Arnquist, I. J., Atencio, A., Badhrees, I., Bane, J., Belov, V., Bernard, E. P., Bhat, A., Bhatta, T., Bolotnikov, A., Breur, P. A., Brodsky, J. P., Brown, E., Brunner, T., Caden, E., Cao, G. F., Cao, L. Q., Cesmecioglu, D., Chambers, C., Chambers, E., Chana, B., Charlebois, S. A., Chernyak, D., Chiu, M., Cleveland, B., Cohen, J. R., Collister, R., Cvitan, M., Dalmasson, J., Darroch, L., Deslandes, K., DeVoe, R., di Vacri, M. L., Ding, Y. Y., Dolinski, M. J., Echevers, J., Eckert, B., Elbeltagi, M., Elmansali, R., Fabris, L., Fairbank, W., Farine, J., Fu, Y. S., Gallacher, D., Gallina, G., Gautam, P., Giacomini, G., Gillis, W., Gingras, C., Goeldi, D., Gornea, R., Gratta, G., Guan, Y. D., Hardy, C. A., Hedges, S., Heffner, M., Hein, E., Holt, J., Hoppe, E. W., House, A., Hunt, W., Iverson, A., Jamil, A., Jiang, X. S., Karelin, A., Kaufman, L. J., Kotov, I., Krücken, R., Kuchenkov, A., Kumar, K. S., Larson, A., Leach, K. G., Lenardo, B. G., Leonard, D. S., Li, G., Li, S., Li, Z., Licciardi, C., Lindsay, R., MacLellan, R., Mahtab, M., Majidi, S., Malbrunot, C., Martel-Dion, P., Masbou, J., Massacret, N., McMichael, K., Mong, B., Moore, D. C., Murray, K., Nattress, J., Natzke, C. R., Ngwadla, X. E., Ni, K., Nolan, A., Nowicki, S. C., Ondze, J. C. Nzobadila, Orrell, J. L., Ortega, G. S., Overman, C. T., Peltz-Smalley, H., Perna, A., Franco, T. Pinto, Pocar, A., Pratte, J. -F., Radeka, V., Raguzin, E., Rasiwala, H., Ray, D., Rebeiro, B., Rescia, S., Retière, F., Richardson, G., Ringuette, J., Riot, V., Rowson, P. C., Roy, N., Rudolph, L., Saldanha, R., Sangiorgio, S., Schwartz, S., Soderstrom, J., Soma, A. K., Spadoni, F., Stekhanov, V., Sun, X. L., Barakoohi, E. Teimoori, Thibado, S., Tidball, A., Totev, T., Triambak, S., Tsang, T., Tyuka, O. A., Underwood, R., van Bruggen, E., Veeraraghavan, V., Vidal, M., Viel, S., Walent, M., Wamba, K., Wang, Q. D., Wang, W., Wang, Y. G., Watts, M., Wei, W., Wen, L. J., Wichoski, U., Wilde, S., Worcester, M., Wu, S., Wu, X. M., Yang, H., Yang, L., Yvaine, M., Zeldovich, O., Zhao, J., Ziegler, T.
Large-scale low-background detectors are increasingly used in rare-event searches as experimental collaborations push for enhanced sensitivity. However, building such detectors, in practice, creates an abundance of radioassay data especially during t
Externí odkaz:
http://arxiv.org/abs/2304.06180