Zobrazeno 1 - 10
of 490
pro vyhledávání: '"A, Bhayat"'
Autor:
Akhalwaya, Ismail Yunus, Bhayat, Ahmed, Connolly, Adam, Herbert, Steven, Horesh, Lior, Sorci, Julien, Ubaru, Shashanka
Several quantum and classical Monte Carlo algorithms for Betti Number Estimation (BNE) on clique complexes have recently been proposed, though it is unclear how their performances compare. We review these algorithms, emphasising their common Monte Ca
Externí odkaz:
http://arxiv.org/abs/2408.16934
Autor:
Bhayat, Ahmed, Suda, Martin
The support for higher-order reasoning in the Vampire theorem prover has recently been completely reworked. This rework consists of new theoretical ideas, a new implementation, and a dedicated strategy schedule. The theoretical ideas are still under
Externí odkaz:
http://arxiv.org/abs/2407.05208
Publikováno v:
International Conference on Automated Deduction (CADE) 2023. LNAI volume 14132, 2023, pp. 23-40
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of the unification algorithm into inferences. For calculi that rely on u
Externí odkaz:
http://arxiv.org/abs/2403.04775
Publikováno v:
Frontiers in Oral Health, Vol 5 (2024)
BackgroundThe successful implementation of the 2030 sustainable development Agenda in Africa requires active participation from all sectors, including the dental research sector. The aim of this study was to review dental research published by author
Externí odkaz:
https://doaj.org/article/8e1a645c634e4efcba9a5e5e4e526430
Publikováno v:
Health SA Gesondheid: Journal of Interdisciplinary Health Sciences, Vol 29, Iss 0, Pp e1-e6 (2024)
Background: Severe Acute Respiratory Syndrome Coronavirus 2 is a recently discovered virus responsible for causing coronavirus disease 19 (COVID-19). No study has been carried out on South African oral healthcare workers (OHCWs) regarding their knowl
Externí odkaz:
https://doaj.org/article/2111e67e53a74fc8b9d38925b9afb4fd
Publikováno v:
Health SA Gesondheid: Journal of Interdisciplinary Health Sciences, Vol 29, Iss 0 (2024)
No abstract available.
Externí odkaz:
https://doaj.org/article/6e13ff3563f948c281b14a3c736ac200
Bounded model checking (BMC) and fuzzing techniques are among the most effective methods for detecting errors and security vulnerabilities in software. However, there are still shortcomings in detecting these errors due to the inability of existent m
Externí odkaz:
http://arxiv.org/abs/2206.14068
FuSeBMC is a test generator for finding security vulnerabilities in C programs. In earlier work [4], we described a previous version that incrementally injected labels to guide Bounded Model Checking (BMC) and Evolutionary Fuzzing engines to produce
Externí odkaz:
http://arxiv.org/abs/2112.10627
Publikováno v:
The South African Journal of Clinical Nutrition, Vol 36, Iss 1, Pp 8-12 (2023)
Background: Despite improvement in child health outcomes, undernutrition in children aged under five years continues to be a major public health problem, contributing to childhood morbidity and mortality. Objectives: The aim was to determine the know
Externí odkaz:
https://doaj.org/article/ce417d3767fa439c96d78fe685f97f5c
Autor:
F. Kimmie-Dhansay, A. Bhayat
Publikováno v:
BMC Oral Health, Vol 22, Iss 1, Pp 1-20 (2022)
Abstract Background Dental caries (DC) is highly prevalent condition affecting mostly young children. There has been no systematic review done on the prevalence of DC amongst 12-year -olds in Africa. Although some African countries have reported a de
Externí odkaz:
https://doaj.org/article/948379f96a754ae6a519ddb9cd561281