×

Found 1,520 Documents (Results 1–100)

MGARD: A multigrid framework for high-performance, error-controlled data compression and refactoring. arXiv:2401.05994

Preprint, arXiv:2401.05994 [cs.CV] (2024).
BibTeX Cite
Full Text: DOI arXiv

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

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

Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. (English) Zbl 1517.03002

Lecture Notes in Computer Science 13963. Cham: Springer (ISBN 978-3-031-26688-1/pbk; 978-3-031-26689-8/ebook). x, 223 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software