Abstract: In this paper, we introduce a novel framework for simultaneously learning and verifying certificates for uncertain nonlinear control affine systems, utilizing robust control Lyapunov barrier ...
Department of Chemical Sciences, University of Naples Federico II, Naples, Italy The employment of metal-based compounds in medicine is an ever-changing topic. Following cisplatin discovery, last ...
Abstract: CRYSTALS-Kyber is a key encapsulation mechanism that has been standardized by the National Institute of Standards and Technology. Number theoretic transform (NTT) is used to compute the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results