English
Related papers

Related papers: A Community-Driven Validation Service for Standard…

200 papers

Checking data quality against domain knowledge is a common activity that pervades statistical analysis from raw data to output. The R package 'validate' facilitates this task by capturing and applying expert knowledge in the form of…

Computation · Statistics 2021-04-01 Mark P. J. van der Loo , Edwin de Jonge

Verification and validation of vehicles is a complex yet critical process, particularly for ensuring safety and coverage through simulations. However, achieving realistic and useful simulations comes with significant challenges. To explore…

Software Engineering · Computer Science 2025-08-21 Beatriz Cabrero-Daniel , Mazen Mohamad

The usage of different technologies and smart devices helps people to get medical services remotely for multiple benefits. Thus, critical and sensitive data is exchanged between a user and a doctor. When health data is transmitted over a…

Cryptography and Security · Computer Science 2021-10-20 Trupil Limbasiya , Sanjay K. Sahay , Bharath Sridharan

Accurate disease diagnosis depends on effective collaboration between medical specialties, yet departments often use distinct data systems and proprietary formats. This heterogeneity hinders joint analysis and integration of complementary…

This report addresses the technical aspects of de-identification of medical images of human subjects and biospecimens, such that re-identification risk of ethical, moral, and legal concern is sufficiently reduced to allow unrestricted…

The de-identification (deID) of protected health information (PHI) and personally identifiable information (PII) is a fundamental requirement for sharing medical images, particularly through public repositories, to ensure compliance with…

In the rapidly evolving field of medical imaging, machine learning algorithms have become indispensable for enhancing diagnostic accuracy. However, the effectiveness of these algorithms is contingent upon the availability and organization…

Computer Vision and Pattern Recognition · Computer Science 2023-10-02 Stefan Denner , Jonas Scherer , Klaus Kades , Dimitrios Bounias , Philipp Schader , Lisa Kausch , Markus Bujotzek , Andreas Michael Bucher , Tobias Penzkofer , Klaus Maier-Hein

Bringing together the information latent in distributed medical databases promises to personalize medical care by enabling reliable, stable modeling of outcomes with rich feature sets (including patient characteristics and treatments…

This paper presents a verification-based methodology to validate the model of personalized health conditions. The model identifies the values that may result in unsafe, un-reachable, in-exhaustive, and overlapping states that otherwise…

Software Engineering · Computer Science 2022-07-26 Najma Taimoor , Semeen Rehman

CT images are widely used in clinical diagnosis and treatment, and their data have formed a de facto standard - DICOM. It is clear and easy to use, and can be efficiently utilized by data-driven analysis methods such as deep learning. In…

Software Engineering · Computer Science 2026-03-20 Yiqin Zhang , Meiling Chen

Improved interoperability between public and private organizations is of key significance to make digital government newest triumphant. Digital Government interoperability, information sharing protocol and security are measured the key…

Cryptography and Security · Computer Science 2010-08-11 Md. Headayetullah , G. K. Pradhan

Improved interoperability between public and private organizations is of key significance to make digital government newest triumphant. Digital Government interoperability, information sharing protocol and security are measured the key…

Cryptography and Security · Computer Science 2010-07-15 Md. Headayetullah , G. K. Pradhan

Hyperpolarized (HP) 13C MRI has shown promise as a valuable modality for in vivo measurements of metabolism and is currently in human trials at 15 research sites worldwide. With this growth it is important to adopt standardized data storage…

The use of physical documents is inconvenient and inefficient in today's world, which motivates us to move towards the use of digital documents. Digital documents can solve many problems of inefficiency of data management but proving their…

Cryptography and Security · Computer Science 2021-11-16 Chanaka Lakmal , Sachithra Dangalla , Chandu Herath , Chamin Wickramarathna , Gihan Dias , Shantha Fernando

Validation metrics are key for the reliable tracking of scientific progress and for bridging the current chasm between artificial intelligence (AI) research and its translation into practice. However, increasing evidence shows that…

The efficiency and service quality in a medical environment can be improved by using electronic documents (or e-docs) and digital signatures to speed up both doctors' activity and to provide in the same time easy retrieval and use of needed…

Cryptography and Security · Computer Science 2019-10-22 Diana Berbecaru , Antonio Lioy , Marius Marian , Diana Marano

Interoperability remains the key problem in multi-discipline collaboration based on building information modeling (BIM). Although various methods have been proposed to solve the technical issues of interoperability, such as data sharing and…

Cryptography and Security · Computer Science 2024-11-22 Jianping Zhang , Qiang Liu , Zhenzhong Hu , Jiarui Lin , Fangqiang Yu

In clinical diagnosis, diagnostic images that are obtained from the scanning devices serve as preliminary evidence for further investigation in the process of delivering quality healthcare. However, often the medical image may contain fault…

Image and Video Processing · Electrical Eng. & Systems 2022-01-19 Karthik K , Sowmya Kamath S

Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency. Formal methods, particularly in support of highly reusable and provably safe…

Logic in Computer Science · Computer Science 2010-09-23 Mu Sun , José Meseguer

Digital Imaging and Communication System (DICOM) is widely used throughout the public health sector for portability in medical imaging. However, these DICOM files have vulnerabilities present in the preamble section. Successful exploitation…

Cryptography and Security · Computer Science 2023-12-11 Ayushi Mishra , Priyanka Bagade