Search Result "verification (checking)."

Model Checking a Synchronous Diabetes-Cancer Logical Network

Journal: Current Bioinformatics
Volume: 8 Issue: 1 Year: 2013 Page: 9-15
Author(s): Haijun Gong,Paolo Zuliani,Edmund M. Clarke

Verification, Validation and Sensitivity Studies of Computational Models used in Toxicology Assessment

Ebook: Computational Toxicology for Drug Safety and a Sustainable Environment
Volume: 1 Year: 2023
Author(s):
Doi: 10.2174/9789815196986123010005

General Research Article

Formal Specification and Verification of Data Separation for Muen Separation Kernel

Journal: Recent Advances in Computer Science and Communications
Volume: 15 Issue: 2 Year: 2022 Page: 274-283
Author(s): Ram C. Bhushan,Dharmendra K. Yadav

Inspection of Mechanical Tolerance by Using the Virtual Gauge on a Coordinate Measuring Machine

Journal: Recent Patents on Computer Science
Volume: 2 Issue: 2 Year: 2009 Page: 135-144
Author(s): Salim Boukebbab, Jean M. Linares, Med S. Boulahlib, Jean M. Sprauel

Recent Research on Computer-Aided Fixture Planning

Journal: Recent Patents on Mechanical Engineering
Volume: 2 Issue: 1 Year: 2009 Page: 8-18
Author(s): Xiumei Kang, Qingjin Peng

Optimizing IC Design for Manufacturability - 2011 Update

Journal: Recent Patents on Electrical & Electronic Engineering
Volume: 5 Issue: 2 Year: 2012 Page: 134-154
Author(s): Artur Balasinski

A Disposable, Highly Sensitive Biosensing System: Determination of Haptoglobin as a Significant Acute Phase Biomarker

Journal: Current Analytical Chemistry
Volume: 12 Issue: 1 Year: 2016 Page: 43-53
Author(s):

Placebo Preparation for the Proper Clinical Trial of Herbal Medicine - Requirements, Verification and Quality Control

Journal: Recent Patents on Inflammation & Allergy Drug Discovery
Volume: 5 Issue: 2 Year: 2011 Page: 169-174
Author(s): Cheng K. Fai, Guan De Qi, Ding A. Wei, Leung P. Chung

Optimizing IC Design for Manufacturability

Journal: Recent Patents on Electrical Engineering
Volume: 1 Issue: 3 Year: 2008 Page: 209-213
Author(s): Artur Balasinski

Pharmacophore-Based Virtual Screening for Identification of Novel Neuraminidase Inhibitors and Verification of Inhibitory Activity by Molecular Docking

Journal: Medicinal Chemistry
Volume: 12 Issue: 1 Year: 2016 Page: 63-73
Author(s): Sidra Batool,Gohar Mushtaq,Warda Kamal,Mohammad A. Kamal

Previous   Next

Go To   Results 1 - 1 of 446

Apply Filters

Volume Years
Article Type
Publication Title
Subject Title

Content Type


© 2025 Bentham Science Publishers | Privacy Policy