Issued Patents All Time
Showing 1–16 of 16 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11899740 | Systems and methods for solving unrestricted incremental constraint problems | Thomas Henretty, Chanseok Oh, Jonathan Springer | 2024-02-13 |
| 11797894 | System and method for configuration of an ensemble solver | Jonathan Springer, Nicolas T. Vasilache | 2023-10-24 |
| 11704332 | Systems and methods for configuring system memory for extraction of latent information from big data | Thomas Henretty, Richard A. Lethin | 2023-07-18 |
| 11520856 | Systems and methods for selective expansive recursive tensor analysis | Muthu M. Baskaran, David Bruns-Smith, Richard A. Lethin | 2022-12-06 |
| 11481469 | Systems and methods for solving unrestricted incremental constraint problems | Thomas Henretty, Chanseok Oh, Jonathan Springer | 2022-10-25 |
| 11481468 | Systems and methods for solving unrestricted incremental constraint problems | Thomas Henretty, Chanseok Oh, Jonathan Springer | 2022-10-25 |
| 11074269 | Systems and methods for configuring system memory for extraction of latent information from big data | Thomas Henretty, Richard A. Lethin | 2021-07-27 |
| 10860945 | Systems and methods for solving unrestricted incremental constraint problems | Thomas Henretty, Chanseok Oh, Jonathan Springer | 2020-12-08 |
| 10839297 | System and method for configuration of an ensemble solver | Jonathan Springer, Nicolas T. Vasilache | 2020-11-17 |
| 10824693 | Systems and methods for selective expansive recursive tensor analysis | Muthu M. Baskaran, David Bruns-Smith, Richard A. Lethin | 2020-11-03 |
| 10402747 | Systems and methods for solving unrestricted incremental constraint problems | Thomas Henretty, Chanseok Oh, Jonathan Springer | 2019-09-03 |
| 9684865 | System and method for configuration of an ensemble solver | Jonathan Springer, Nicolas T. Vasilache | 2017-06-20 |
| 9185020 | System, apparatus and methods to implement high-speed network analyzers | Richard A. Lethin, Jordi Ros-Giralt, Peter Szilagyi, David E. Wohlford | 2015-11-10 |
| 9134976 | Cross-format analysis of software systems | Richard A. Lethin, Jonathan Springer, David E. Wohlford | 2015-09-15 |
| 8892483 | Systems and methods for planning a solution to a dynamically changing problem | Richard A. Lethin | 2014-11-18 |
| 8688619 | Systems, methods and apparatus for distributed decision processing | Richard A. Lethin, Nicolas T. Vasilache | 2014-04-01 |