Results 221 to 230 of about 14,914,060 (244)

Endostrat: a multicenter study of AI-assisted two-level risk stratification for gastric precancerous and early neoplastic lesion screening. [PDF]

Front Med (Lausanne)
Chen Z, Ma H, Yang C, Hao H, Gu Q, Jia L, Lu Z, Ding R, Li R, Song L, Feng Z.   +10 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek
exaly  

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Software, 2022
Alessio Ferrari, Maurice H Ter Beek, Ter Beek Maurice H   +2 more
exaly  

Formal Methods for Control Synthesis: An Optimization Perspective

Annual Review of Control, Robotics, and Autonomous Systems, 2019
Calin Belta, Sadra Sadraddini
exaly  

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
James Woodcock, Mario Gleirscher, Simon Foster   +2 more
exaly  

Seven more myths of formal methods

IEEE Software, 1995
M G Hinchey, J P Bowen
exaly  

Limits of formal methods

Formal Aspects of Computing, 1997
Ralf Kneuper
exaly