Zobrazeno 1 - 10
of 7 570
pro vyhledávání: '"Tepe, A."'
We present realizability and realization logic, two program logics that jointly address the problem of finding solutions in semantics-guided synthesis. What is new is that we proceed eagerly and not only analyze a single candidate program but a whole
Externí odkaz:
http://arxiv.org/abs/2403.05607
Like many developing countries, Togo faces the challenge of massification in higher education resulting from a large increase in the number of students enrolled in its public universities. Encouraged by the public authorities, with the support of the
Externí odkaz:
http://arxiv.org/abs/2403.05563
Autor:
Akar, Simon, Elashri, Mohamed, Garg, Rocky Bala, Kauffman, Elliott, Peters, Michael, Schreiner, Henry, Sokoloff, Michael, Tepe, William, Tompkins, Lauren
We are studying the use of deep neural networks (DNNs) to identify and locate primary vertices (PVs) in proton-proton collisions at the LHC. Earlier work focused on finding primary vertices in simulated LHCb data using a hybrid approach that started
Externí odkaz:
http://arxiv.org/abs/2309.12417
Publikováno v:
Encephalitis, Vol 4, Iss 4, Pp 87-90 (2024)
Immunoglobulin G4 (IgG4)-related disease is an immune-mediated, fibroinflammatory condition that causes multisystemic contrast enhancement and is predominantly observed in elderly male patients. The most prominent features of IgG4-related disease are
Externí odkaz:
https://doaj.org/article/8de45b00d7864417b28f1a70c993c96f
Autor:
Yawovi Mignanou Amouzouvi, Koffi Sagna, Kossi Tepe, Kosi Sesime, Kossivi B. R. Afoudji, Milohum Mikesokpo Dzagli, Messanh A. Mohou, Jérémie T. Zoueu
Publikováno v:
EQA, Vol 64, Pp 68-78 (2024)
Heavy metals are released into the environment due to anthropogenic activities. Cement industries are classified among the main sources of environmental pollutants. This study aims to evaluate the ecological and human health risks of heavy metals in
Externí odkaz:
https://doaj.org/article/0e1a54596f5740e1b2a81299f123eda8
Autor:
Petra Krutilova, Roxann Williams, Rebecca Morey, Carole Field, Veronda Byrth, Melissa Tepe, Amy McQueen, Cynthia Herrick
Publikováno v:
BMC Medical Education, Vol 24, Iss 1, Pp 1-10 (2024)
Abstract Background The risk of developing type 2 diabetes mellitus (T2DM) is up to 50% among women with gestational diabetes mellitus (GDM). However, diabetes education during and after pregnancy is limited. To bridge this gap, our team developed fo
Externí odkaz:
https://doaj.org/article/35137680b6034f25beb923c4616ae631
The energy system in Germany consists of a large number of distributed facilities, including millions of PV plants, wind turbines, and biomass plants. To understand and manage this system efficiently, accurate and reliable information about all facil
Externí odkaz:
http://arxiv.org/abs/2304.10581
Using deep neural networks to identify and locate proton-proton collision points, or primary vertices, in LHCb has been studied for several years. Preliminary results demonstrated the ability for a hybrid deep learning algorithm to achieve similar or
Externí odkaz:
http://arxiv.org/abs/2304.02423
Autor:
Abeysekara, A. U., Albert, A., Alfaro, R., Álvarez, C., Álvarez, J. D., Araya, M., Arteaga-Velázquez, J. C., Arunbabu, K. P., Rojas, D. Avila, Solares, H. A. Ayala, Babu, R., Barber, A. S., Becerril, A., Belmont-Moreno, E., BenZvi, S. Y., Blanco, O., Braun, J., Brisbois, C., Caballero-Mora, K. S., Martínez, J. I. Cabrera, Capistrán, T., Carramiñana, A., Casanova, S., Castillo, M., Chaparro-Amaro, O., Cotti, U., Cotzomi, J., de León, S. Coutiño, de la Fuente, E., de León, C., De Young, T., Hernández, R. Díaz, Dingus, B. L., DuVernois, M. A., Durocher, M., Díaz-Vélez, J. C., Ellsworth, R. W., Engel, K., Espinoza, C., Fan, K. L., Fang, K., Fick, U. B., Fleischhack, H., Flores, J. L., Fraija, N., García-González, J. A., García-Torales, G., Garfias, F., Giacinti, G., Goksu, H., González, M. M., González-Muñoz, A., Goodman, J. A., Harding, J. P., Hernández, E., Hernández, S., Hinton, J., Hona, B., Huang, D., Hueyotl-Zahuantitla, F., Hui, C. M., Humensky, T. B., Hüntemeyer, P., Iriarte, A., Imran, A., Jardin-Blicq, A., Joshi, V., Kaufmann, S., Kieda, D., Kunde, G. J., Lara, A., Lauer, R., Lee, W. H., Lennarz, D., Vargas, H. León, Linnemann, J. T., Longinotti, A. L., Luis-Raya, G., Lundeen, J., Malone, K., Marandon, V., Marinelli, A., Martínez, O., Martínez-Castellanos, I., Martínez-Castro, J., Martínez-Huerta, H., Matthews, J. A., Miranda-Romagnoli, P., Montaruli, T., Morales-Soto, J. A., Moreno, E., Mostafá, M., Nayerhoda, A., Nellen, L., Newbold, M., Nisa, M. U., Noriega-Papaqui, R., Oceguera-Becerra, T., Olivera-Nieto, L., Omodei, N., Peisker, A., Araujo, Y. Pérez, Pérez-Pérez, E. G., Ponce, E., Pretz, J., Rho, C. D., Rosa-González, D., Ruiz-Velasco, E., Salazar, H., Salazar-Gallegos, D., Greus, F. Salesa, Sandoval, A., Schneider, M., Schoorlemmer, H., Serna-Franco, J., Sinnis, G., Smith, A. J., Son, Y., Woodle, K. Sparks, Springer, R. W., Taboada, I., Tepe, A., Tibolla, O., Tollefson, K., Torres, I., Torres-Escobedo, R., Turner, R., Ureña-Mena, F., Ukwatta, T. N., Varela, E., Vargas-Magaña, M., Villaseñor, L., Wang, X., Watson, I. J., Werner, F., Westerhoff, S., Willox, E., Wisher, I., Wood, J., Yodh, G. B., Zaborov, D., Zepeda, A., Zhou, H.
Publikováno v:
Nuclear Inst. and Methods in Physics Research, A (2023) 168253
The High-Altitude Water Cherenkov (HAWC) observatory is a second-generation continuously operated, wide field-of-view, TeV gamma-ray observatory. The HAWC observatory and its analysis techniques build on experience of the Milagro experiment in using
Externí odkaz:
http://arxiv.org/abs/2304.00730
Publikováno v:
BMC Oral Health, Vol 24, Iss 1, Pp 1-15 (2024)
Abstract Background The temperature changes, chemical agents, and brushing activity that resin composite restorations are exposed to in the oral environment can cause changes in surface roughness. In this study, the aim was to investigate in vitro th
Externí odkaz:
https://doaj.org/article/d6a27c0a5e0c4ef6b3608bdfa6fb32a7