Abstract: The robustness of convolutional neural networks (CNNs) is vital to modern AI-driven systems. It can be quanti-fied by formal verification by providing a certified lower bound, within which ...
Annals of Mathematics, a distinguished journal of research papers in pure mathematics, was founded in 1884. Annals of Mathematics is published bimonthly with the cooperation of Princeton University ...
Step inside the strange world of a superfluid, a liquid that can flow endlessly without friction, defying the common-sense ...
Discover how multivariate models use multiple variables for investment forecasting, risk analysis, and decision-making in finance. Ideal for portfolio management.
Abstract: Linear codes are widely studied in coding theory as they have nice applications in distributed storage, combinatorics, lattices, cryptography and so on. Constructing linear codes with ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback