Results 291 to 300 of about 3,770,672 (358)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Computer-aided organic synthesis
Chemical Society Reviews, 2005It is tempting for those in the field of organic synthesis to liken the process of retrosynthesis to a game of chess. That the world chess champion was recently defeated by a computer leads us to think that perhaps new and powerful computing methods could be applied to synthetic problems.
exaly +3 more sources
Towards the online computer-aided design of catalytic pockets
Nature Chemistry, 2019Laura Falivene, Zhen Cao, Andrea Petta
exaly +2 more sources
Machine Learning in Computer-Aided Synthesis Planning
Accounts of Chemical Research, 2018Connor W Coley +2 more
exaly +2 more sources
Computer-Aided Electroretinography
Ophthalmologica, 1986A description is given of a system of computer-aided electroretinogram (ERG) analysis. The system is the basis of a new quality in ERG evaluation. The statistical behavior of ERG components in healthy eye subjects is demonstrated by histograms. The new opportunities offered by the method are discussed.
W, Müller, U, Spittel, H, Göbel
openaire +2 more sources
Efficacy of Real-Time Computer-Aided Detection of Colorectal Neoplasia in a Randomized Trial.
Gastroenterology, 2020BACKGROUND & AIMS One fourth of colorectal neoplasias are missed during screening colonoscopies-these can develop into colorectal cancer (CRC). Deep learning systems allow for real-time computer-aided detection (CADe) of polyps with high-accuracy.
A. Repici +23 more
semanticscholar +1 more source
Thoracic Surgery Clinics, 2004
The computer can be used in a number of ways to aid the physician to interpret CT lung images. Commercial tools are becoming available to assist the radiologist in growth rate determination, hence cancer diagnosis. Computer algorithms are in development that will permit lung health evaluation, including nodule detection.
Anthony P, Reeves, Bryan M, Kressler
openaire +2 more sources
The computer can be used in a number of ways to aid the physician to interpret CT lung images. Commercial tools are becoming available to assist the radiologist in growth rate determination, hence cancer diagnosis. Computer algorithms are in development that will permit lung health evaluation, including nodule detection.
Anthony P, Reeves, Bryan M, Kressler
openaire +2 more sources
IEEE Spectrum, 1996
Theorem proving and model checking are powerful tools that can verify the logical correctness of today's ICs or find their hidden bugs. Today, the first computer-aided verification tools are becoming commercially available. They are based on methods that in many cases can reduce the complexity of verification (without sacrificing guaranteed correctness)
Clarke, Edmund M, Kurshan, Robert P
openaire +1 more source
Theorem proving and model checking are powerful tools that can verify the logical correctness of today's ICs or find their hidden bugs. Today, the first computer-aided verification tools are becoming commercially available. They are based on methods that in many cases can reduce the complexity of verification (without sacrificing guaranteed correctness)
Clarke, Edmund M, Kurshan, Robert P
openaire +1 more source