Search Results

Accuracy of a whole-body single-photon emission computed tomography with a thallium-bromide detector: Verification via Monte Carlo simulations

• Authors : Ito, Toshimune; Hitomi, Keitaro; Ljungberg, Michael ...

Subjects: Medical and Health Sciences; Clinical Medicine; Radiology and Medical Imaging

• Source: Medical Physics. 52(6):4079-4095

Record details

MBFair: a model-based verification methodology for detecting violations of individual fairness: MBFair: a model-based verification methodology for detecting violations of individual fairness: Q. Ramadan et al.

• Authors : Ramadan, Qusai¹ (AUTHOR) ; Konersmann, Marco² (AUTHOR) ; Ahmadian, Amir Shayan¹ (AUTHOR)

• Source: Software & Systems Modeling. Feb2025, Vol. 24 Issue 1, p111-136. 26p.

Record details

Factors associated with overreporting based on community verification results in a performance-based financing program in Zimbabwe.

• Authors : Gorman, Trina^1,2 (AUTHOR) ; Arce, Pia² (AUTHOR) ; O’Malley, Gabrielle¹ (AUTHOR)

• Source: BMC Health Services Research. 5/28/2025, Vol. 25 Issue 1, p1-15. 15p.

Record details

Neurological outcomes and mortality after neonatal seizures with electroencephalographical verification. A systematic review

• Authors : Westergren, H; Finder, M; Marell-Hesla, H

Subjects: Medicin och hälsovetenskap

• Source: European journal of paediatric neurology : EJPN : official journal of the European Paediatric Neurology Society. 49:45-54

Record details

Individuals' Habits of Trust and Verification in Social Media News and Their Digital Literacy

• Authors : Gün Tosik, Ezgi (ORCID 0000-0001-7747-1917); Bertiz, Yasemin (ORCID 0000-0001-7388-5901); Hebebci, Mustafa Tevfik (ORCID 0000-0002-2337-5345)

Subjects: Informed Consent; Social Media; News Media

• Source: Journal of Learning and Teaching in Digital Age. 2023 8(2):169-175.7

Record details

论中国传统造林技术的科学验证—以“记取南枝”为例.

• Authors : 张德成¹

• Source: Agricultural Archaeology. 2025, Issue 3, p172-183. 12p.

Record details

Updatable Multi-User Dynamic Searchable Encryption Scheme with Bidirectional Verification.

• Authors : Ling, Zihao¹ (AUTHOR) ; Wang, Bimei¹ (AUTHOR)

• Source: Mathematics (2227-7390). Jun2025, Vol. 13 Issue 12, p1984. 24p.

Record details

Patient‐specific deep learning for 3D protoacoustic image reconstruction and dose verification in proton therapy

• Authors : Lang, Yankun; Jiang, Zhuoran; Sun, Leshan

Subjects: Medical and Biological Physics; Physical Sciences; Biomedical Imaging

• Source: Medical Physics. 51(10)

Record details

NetChecker: enabling real-time and error-locatable runtime verification for programmable networks

• Authors : Ying Yao; Le Tian; Yuxiang Hu

Subjects: Programmable network; Runtime verification; Error detection

• Source: Journal of King Saud University: Computer and Information Sciences, Vol 37, Iss 4, Pp 1-17 (2025)

Record details

Rule-based design verification for mechanical parts with dynamic rule subset selection

• Authors : Hyeonji Lee; Changmo Yeo; Seungeun Lim

Subjects: Design verification; Dynamic rule subset selection; Mechanical parts

• Source: Scientific Reports, Vol 15, Iss 1, Pp 1-16 (2025)

Record details