×

Found 6,423 Documents (Results 1–100)

A Comprehensive Review of Latent Space Dynamics Identification Algorithms for Intrusive and Non-Intrusive Reduced-Order-Modeling. arXiv:2403.10748

Preprint, arXiv:2403.10748 [cs.CE] (2024).
BibTeX Cite
Full Text: arXiv

A regularity theory for evolution equations with time-measurable pseudo-differential operators in weighted mixed-norm Sobolev-Lipschitz spaces. arXiv:2402.03609

Preprint, arXiv:2402.03609 [math.AP] (2024).
BibTeX Cite
Full Text: arXiv

Verification of recurrent neural networks with star reachability. (English) Zbl 07807947

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Quantitative verification for neural networks using probstars. (English) Zbl 07807945

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 4, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Improved multi-user security using the squared-ratio method. (English) Zbl 07799238

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 694-724 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Efficient \(k\)-center algorithms for planar points in convex position. (English) Zbl 07789709

Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 262-274 (2023).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Efficient FHEW bootstrapping with small evaluation keys, and applications to threshold homomorphic encryption. (English) Zbl 1528.94065

Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14006, 227-256 (2023).
MSC:  94A60 68P25
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

all top 3

Software