-
1Report
المؤلفون: Akhalwaya, Ismail Yunus, Bhayat, Ahmed, Connolly, Adam, Herbert, Steven, Horesh, Lior, Sorci, Julien, Ubaru, Shashanka
مصطلحات موضوعية: Quantum Physics
URL الوصول: http://arxiv.org/abs/2408.16934
-
2Report
المؤلفون: Bhayat, Ahmed, Suda, Martin
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68V15, 03B35, 03B16
URL الوصول: http://arxiv.org/abs/2407.05208
-
3Report
المؤلفون: Bhayat, Ahmed, Schoisswohl, Johannes, Rawson, Michael
المصدر: International Conference on Automated Deduction (CADE) 2023. LNAI volume 14132, 2023, pp. 23-40
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
URL الوصول: http://arxiv.org/abs/2403.04775
-
4Academic Journal
المؤلفون: Moréniké Oluwátóyìn Foláyan, Adeyinka Ganiyat Ishola, Ahmed Bhayat, Maha El Tantawi, Nicaise Ndembi
المصدر: Frontiers in Public Health, Vol 13 (2025)
مصطلحات موضوعية: equity, integrated health systems, workforce development, health security’ health systems strengthening, systemic inequities, health workforce retention, Public aspects of medicine, RA1-1270
وصف الملف: electronic resource
-
5Academic Journal
المؤلفون: Maha El Tantawi, Ahmed Bhayat, Moréniké Oluwátóyìn Foláyan
المصدر: Frontiers in Oral Health, Vol 5 (2024)
مصطلحات موضوعية: Africa, oral health, dental research, bibliometric analysis, science mapping, sustainable development, Dentistry, RK1-715
وصف الملف: electronic resource
-
6Report
-
7
-
8Academic Journal
المؤلفون: Zara Chothia, Ntombizodwa R. Nkambule, Ahmed Bhayat, Mpho Morule
المصدر: Health SA Gesondheid: Journal of Interdisciplinary Health Sciences, Vol 29, Iss 0, Pp e1-e6 (2024)
مصطلحات موضوعية: dentistry, health education, dental, covid-19, covid-19 vaccines, dental staff, Public aspects of medicine, RA1-1270
وصف الملف: electronic resource
-
9Academic Journal
المؤلفون: Zara Chothia, Ntombizodwa R. Nkambule, Ahmed Bhayat, Mpho Morule
المصدر: Health SA Gesondheid: Journal of Interdisciplinary Health Sciences, Vol 29, Iss 0 (2024)
مصطلحات موضوعية: Public aspects of medicine, RA1-1270
وصف الملف: electronic resource
-
10Dissertation/ Thesis
-
11Dissertation/ Thesis
المؤلفون: Bhayat, Ahmed
المساهمون: Lammich, Peter, Reger, Giles
مصطلحات موضوعية: Formal logic, Superposition, Computer proofs, Automated theorem proving, Higher-order logic, Vampire
-
12Academic Journal
المؤلفون: Morule, M, Bhayat, A, Madiba, TK, Nkambule, NR, Mgabe, N
المصدر: South African Dental Journal; Vol. 79 No. 03 (2024): The South African Dental Journal; 144-147 ; 2519-0105 ; 0375-1562
مصطلحات موضوعية: Learning styles, oral hygiene students, teaching methods, teaching styles, visual
وصف الملف: application/pdf
Relation: https://journals.assaf.org.za/index.php/sadj/article/view/18682/21372; https://journals.assaf.org.za/index.php/sadj/article/view/18682
-
13Academic Journal
المصدر: South African Dental Journal; Vol. 79 No. 01 (2024): The South African Dental Journal; 30-35 ; 2519-0105 ; 0375-1562
مصطلحات موضوعية: Outreach activities, oral health students, dental services, self and social development, academic, civic responsibility
وصف الملف: application/pdf
Relation: https://journals.assaf.org.za/index.php/sadj/article/view/18155/21144; https://journals.assaf.org.za/index.php/sadj/article/view/18155
-
14Academic Journal
المؤلفون: Balmith, M., Cordier, W., Bhayat, A., Basson, C., Morule, M., Schellack, N.
المصدر: International Journal of Dental Hygiene ; ISSN 1601-5029 1601-5037
-
15Academic Journal
المصدر: Alshmrany , K M , Aldughaim , M , Bhayat , A & Cordeiro , L C 2024 , ' FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis ' , Formal Aspects of Computing , vol. 36 , no. 2 , 12 , pp. 1 - 25 . https://doi.org/10.1145/3665337
مصطلحات موضوعية: Code Coverage, Coverage Branches, Automated Test Generation, Bounded Model Checking, Fuzzing, Security
-
16Academic Journal
المؤلفون: Baeten, Jared M, Palanee-Phillips, Thesla, Mgodi, Nyaradzo M, Mayo, Ashley J, Szydlo, Daniel W, Ramjee, Gita, Mirembe, Brenda Gati, Mhlanga, Felix, Hunidzarira, Portia, Mansoor, Leila E, Siva, Samantha, Govender, Vaneshree, Makanani, Bonus, Naidoo, Logashvari, Singh, Nishanta, Nair, Gonasagrie, Chinula, Lameck, Parikh, Urvi M, Mellors, John W, Balán, Iván C, Ngure, Kenneth, van der Straten, Ariane, Scheckter, Rachel, Garcia, Morgan, Peda, Melissa, Patterson, Karen, Livant, Edward, Bunge, Katherine, Singh, Devika, Jacobson, Cindy, Jiao, Yuqing, Hendrix, Craig W, Chirenje, Zvavahera M, Nakabiito, Clemensia, Taha, Taha E, Jones, Judith, Torjesen, Kristine, Nel, Annalene, Rosenberg, Zeda, Soto-Torres, Lydia E, Hillier, Sharon L, Brown, Elizabeth R, Aanyu, Dorothy, Abima, John, Abullarade, Janne, Agarwal, Priyanka, Ahluwalia, Surabhi, Akasiima, Simon Africa, Akello, Carolyne Agwau, Albert, Samuel, Alphale, Motsamai, Alphonse, Calins, Apeduno, Lucy, Aranda, Sara, Aridor, Orly, Arnolds, Shakeera, Asiimwe, Prossy, Atujuna, Millicent, Atwebembere, Didas, Baboolall, Lakshmi, Badana, Kiran, Balamusani, David, Banda, Gabriel, Banda, Towera Whitney, Baugh, Jennifer, Baziira, James Amos, Beamer, May, Bebeza, Sivuyisiwe Asanda, Bekker, Linda-Gail, Bell, Ian, Bemer, Meagan, Berman, Richard, Berthiaume, Jennifer, Bezak, Linda, Bhagwandin, Yashveer, Bhayat, Hassen Anwar, Bhengu, Nokulunga, Bhengu, Sonto, Bhoola, Aruna, Biira, Florence Asiimwe, Bittoni, Daniel, Black, Roberta, Blose, Nombuso Jacqueline, Boks, Pearl, Bolton, Stephen Gordon, Botya, Phathiswa, Brown, Amanda, Brown, Elizabeth, Brown, Helen, Bruce, Robyn Helen, Bukenya, Luke Erismus, Bukirwa, Aidah, Bunts, Lisa, Buthelezi, Fezile, Buthelezi, Mbongeleni William, Buthelezi, Samkelisiwe Dumisile, Byogero, Rose
المصدر: The Lancet HIV. 8(2)
مصطلحات موضوعية: Biomedical and Clinical Sciences, Clinical Sciences, Clinical Research, Prevention, HIV/AIDS, Mental Health, Infectious Diseases, Clinical Trials and Supportive Activities, 6.1 Pharmaceuticals, Evaluation of treatments and therapeutic interventions, Infection, Good Health and Well Being, Administration, Intravaginal, Adult, Anti-HIV Agents, Contraceptive Devices, Female, Female, HIV Infections, HIV-1, Humans, Malawi, Patient Compliance, Patient Safety, Pyrimidines, Seroconversion, South Africa, Tenofovir, Treatment Outcome, Uganda, Zimbabwe, MTN-025/HOPE Study Team, Medical and Health Sciences, Biomedical and clinical sciences, Health sciences
وصف الملف: application/pdf
URL الوصول: https://escholarship.org/uc/item/65d0c7r9
-
17Academic Journal
المؤلفون: Culpin, D. J., Van Reenen, Sandra, Bhayat, Malikah
المصدر: Revue d'histoire du protestantisme, 2022 Apr 01. 7(2), 149-192.
URL الوصول: https://www.jstor.org/stable/48795778
-
18Academic Journal
المصدر: The South African Journal of Clinical Nutrition, Vol 36, Iss 1, Pp 8-12 (2023)
مصطلحات موضوعية: anthropometry, child health, delayed diagnosis, malnutrition, nursing practices, Nutrition. Foods and food supply, TX341-641, Nutritional diseases. Deficiency diseases, RC620-627
وصف الملف: electronic resource
-
19Academic Journal
المؤلفون: F. Kimmie-Dhansay, A. Bhayat
المصدر: BMC Oral Health, Vol 22, Iss 1, Pp 1-20 (2022)
مصطلحات موضوعية: DMFT, 12-year-old, Caries prevalence, Africa, Urban, Rural, Dentistry, RK1-715
وصف الملف: electronic resource
Relation: https://doaj.org/toc/1472-6831
-
20Book
المصدر: Bhayat , A , Korovin , K , Kovacs , L & Schoisswohl , J 2023 , Refining Unification with Abstraction . in Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning . Easy Chair , pp. 36-23 . https://doi.org/10.29007/h65j
Relation: https://research.manchester.ac.uk/en/publications/75012da1-5f52-4b4c-8e7a-f9317b775e04; urn:ISBN:2398-7340