Issued Patents 2017
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9766950 | Methods for single-owner multi-consumer work queues for repeatable tasks | Maged M. Michael, Martin Vechev | 2017-09-19 |
| 9584358 | Global production rules for distributed data | Matthew R. Arnold, Martin J. Hirzel, Avraham E. Shinnar, Jerome Simeon, Lionel A. Villard | 2017-02-28 |
| 9547821 | Deep learning for algorithm portfolios | Andrea Loreggia, Yuri Malitsky, Horst Cornelius Samulowitz | 2017-01-17 |