Search Results

System Verification : Proving the Design Solution Satisfies the Requirements

• Authors : Jeffrey O. Grady

Subjects: Process control; Systems engineeringTECHNOLOGY & ENGINEERING / Signals & Signal Processing; TECHNOLOGY & ENGINEERING / Manufacturing

Record details

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

The EPA's pollution prevention grant results aligned with program goals, but a supervisory verification process is needed

• Authors : United States. Environmental Protection Agency. Office of the Inspector General

Subjects: Quality assurance -- United States.; Supervisors -- Employee rating of. -- United States; Environmental protection -- Finance. -- United States

Record details

End-to-End Verification for Subgraph Solving

• Authors : Gocht, Stephan; McCreesh, Ciaran; Myreen, Magnus O. ...

Subjects: Natural Sciences; Mathematical Sciences; Discrete Mathematics

• Source: End-to-End Verification for Subgraph Solving Proceedings of the AAAI Conference on Artificial Intelligence 38th AAAI Conference on Artificial Intelligence, AAAI

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

Objective verification of audibility in bone conduction devices

• Authors : Persson, Ann -Charlotte; Håkansson, Bo, 1953; Fredén Jansson, Karl-Johan, 1988

Subjects: skin microphone; objective verification; audibility

• Source: International Journal of Audiology. 64(3):217-223

Record details

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees

• Authors : Baninajjar, Anahita; Rezine, Ahmed; Aminifar, Amir ...

Subjects: Engineering and Technology; Electrical Engineering; Electronic Engineering

• Source: Proceedings of the 41st International Conference on Machine Learning Proceedings of Machine Learning Research 41st International Conference on Machine Learning, ICML 2024. 235:2846-2856

Record details

Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs

• Authors : Fang, Jiwei; Zhang, Bin; Wang, Changwei

Subjects: Artificial Intelligence

Record details

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

• Authors : Saha, Dipayan; Tarek, Shams; Shaikh, Hasan Al

Subjects: Cryptography and Security; Artificial Intelligence; Multiagent Systems

Record details

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems

• Authors : Adam, Mustafa; Anisi, David A.; Ribeiro, Pedro

Subjects: Robotics; Formal Languages and Automata Theory; Software Engineering

Record details