Results 81 to 90 of about 253,484 (163)

Quantifying uncertainty in calibration and clinical application of EBT-4 Gafchromic film dosimetry. [PDF]

Med Phys
Lombardi R, Zancopè N, Cavinato S, De Zordi N, Giannone A, Scaggion A, Paiusco M.   +6 more
europepmc   +1 more source

Performance evaluation and reference interval establishment of Abbott Alinity thyroid-stimulating hormone receptor antibody (TRAb) assay for diagnosing Graves' disease. [PDF]

PLoS One
Xue H, Li B, Wang X, Zhao J, Yan Y, Lao J, Ji L, Xia Y.   +7 more
europepmc   +1 more source

Fully automated processor chip design: motivation, challenges and future directions. [PDF]

Natl Sci Rev
Zhang R, Guo J, Cheng S, Chen Y.
europepmc   +1 more source

Hybrid AI/ML-mechanistic framework enables intelligent optimization of commercial biopharmaceutical downstream processing. [PDF]

MAbs
Wang RZ, Liao YX, Wang TL, Jing XY, Yang G, Wang H, Xiao F, Zong Y, Yang Y, Yuan Y, Xian X, Yao SJ, Jin L, Lin DQ, Kang YK.   +14 more
europepmc   +1 more source

Cooperative Software Verification

Software plays an important role in our daily lives. To ensure that a program fulfills specific requirements, software verification is used. Cooperative software verification aims to combine the strengths of existing components on a conceptual level so that they work together in a loosely coupled manner to solve a task.
openaire   +1 more source

KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]

PLoS One
Wang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc   +1 more source

Streamlined data extraction and visualization utilizing third-party verification software for online adaptive radiation therapy. [PDF]

J Appl Clin Med Phys
Tanny S, Podgorsak A, Sperling N.
europepmc   +1 more source

From Qualitative Localisation to Quantitative Verification: Integrating Active IR Thermography and Laser Scanning in Wind Turbine Blade Inspection. [PDF]

Materials (Basel)
Stawiarski A.
europepmc   +1 more source

Automated quantitative software verification

, 2016
Many software systems exhibit probabilistic behaviour, either added explicitly, to improve performance or to break symmetry, or implicitly, through interaction with unreliable networks or faulty hardware. When employed in safety-critical applications, it is important to rigorously analyse the behaviour of these systems.
openaire   +1 more source

PhaSepDB 3.0: a comprehensive knowledgebase of phase separation-related proteins from AI-assisted curation. [PDF]

Nucleic Acids Res
You K, Li R, Lian R, Li Y, Yang H, Zhou Y, Chen Y, Wang L, Fan Z, Ma L, Li T.   +10 more
europepmc   +1 more source