×

Found 31 Documents (Results 1–31)

Fault pruning: robust training of neural networks with memristive weights. (English) Zbl 07787633

Genova, Daniela (ed.) et al., Unconventional computation and natural computation. 20th international conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14003, 124-139 (2023).
PDFBibTeX XMLCite
Full Text: DOI

SecureBiNN: 3-party secure computation for binarized neural network inference. (English) Zbl 1524.68307

Atluri, Vijayalakshmi (ed.) et al., Computer security – ESORICS 2022. 27th European symposium on research in computer security, Copenhagen, Denmark, September 26–30, 2022. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13556, 275-294 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Shared certificates for neural network verification. (English) Zbl 1514.68131

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 127-148 (2022).
MSC:  68Q60 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributed deep learning on heterogeneous computing resources using gossip communication. (English) Zbl 1437.68155

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 220-227 (2020).
MSC:  68T07 68M10 68M14
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software