×

Found 909 Documents (Results 1–100)

SMT-based modeling and verification of spiking neural networks: a case study. (English) Zbl 1529.68151

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 25-43 (2023).
MSC:  68Q60 68Q07 92B20
PDFBibTeX XMLCite
Full Text: DOI

Decision-making support system for diagnosis of breast oncopathologies by histological images. (English. Ukrainian original) Zbl 07712017

Cybern. Syst. Anal. 59, No. 3, 493-502 (2023); translation from Kibern. Sist. Anal. 59, No. 3, 157-167 (2023).
MSC:  68Txx
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software