Abstract: We introduce an algorithm for synthesizing and verifying piecewise linear Lyapunov functions to prove global exponential stability of piecewise linear dynamical systems. The Lyapunov ...
OpenJDK project teams will focus work on features such as value types, code reflection, AOT compilation, and structured ...
Abstract: Current state-of-the-art plug-and-play countermeasures for mitigating adversarial examples (i.e., purification and detection) exhibit several fatal limitations, impeding their deployment in ...
pug4j's intention is to be able to process pug templates in Java without the need of a JavaScript environment, while being fully compatible with the original pug syntax. pug4j was formerly known as ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback