LintQ is a framework for static analysis of quantum programs written in Qiskit. It comprises: LintQ Core: a set of quantum-specific concepts that supports the definition of static analysis of quantum ...
Abstract: To solve the attitude trajectory tracking problem for hypersonic vehicles in the presence of system constraints and unknown disturbances, this paper designed a nonlinear robust model ...
Burmese pythons are an invasive species causing destruction in the Florida Everglades. The snakes have contributed to the decline of several small mammal populations. Estimates place the Burmese ...
Abstract: The American Fuzzy Lop (AFL) is a tool that automatically generates random data to expose vulnerabilities in software programs. However, it has some drawbacks, such as the lack of visibility ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback