Russell (Rust Scientific Library) assists in developing high-performance computations involving linear algebra, sparse linear systems, differential equations, statistics, and continuum mechanics using ...
Abstract: A recent approach uses linear programming (LP) to compute continuous and piecewise affine (CPA) Lyapunov functions for arbitrary switched linear systems. Such a Lyapunov function is a common ...
Abstract: Bent functions are maximally nonlinear Boolean functions. Introduced by Rothaus and first examined by Dillon, these important functions have subsequently been studied by many researchers ...