Savage is a new computer algebra system written from scratch in pure Rust. Its goals are correctness, simplicity, and usability, in that order. The entire system compiles to a single, dependency-free ...
Abstract: Recent neural network models, particularly those based on reinforcement learning (RL) and supervised learning, have shown great success in solving various combinatorial problems such as the ...
Abstract: Utilizing the min-composite Lyapunov function and the min-projection switching strategy, we solve the local and global stabilization problems for switched linear systems by saturated, not ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results