Issued Patents All Time
Showing 26–50 of 62 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8838523 | Compression threshold analysis of binary decision diagrams | Jawahar Jain | 2014-09-16 |
| 8812943 | Detecting data corruption in medical binary decision diagrams using hashing techniques | Jawahar Jain | 2014-08-19 |
| 8781995 | Range queries in binary decision diagrams | Jawahar Jain | 2014-07-15 |
| 8725462 | Data aggregation platform | Jawahar Jain, David L. Marvit, B. Thomas Adler, Rajalakshmi Balakrishnan, Alexander Gilman +2 more | 2014-05-13 |
| 8719214 | Combining medical binary decision diagrams for analysis optimization | Jawahar Jain | 2014-05-06 |
| 8688902 | Method and system for processing access control lists using an exclusive-or sum-of-products evaluator | Jawahar Jain | 2014-04-01 |
| 8682933 | Traversal based directed graph compaction | — | 2014-03-25 |
| 8645108 | Annotating binary decision diagrams representing sensor data | Jawahar Jain | 2014-02-04 |
| 8626695 | Optimum layer-swapping schedules for BDDs with four variables | Jawahar Jain | 2014-01-07 |
| 8622901 | Continuous monitoring of stress using accelerometer data | Jawahar Jain, David L. Marvit, B. Thomas Adler, Rajalakshmi Balakrishnan, Alexander Gilman | 2014-01-07 |
| 8622900 | Calculating and monitoring the efficacy of stress-related therapies | Jawahar Jain, David L. Marvit, B. Thomas Adler, Rajalakshmi Balakrishnan, Alexander Gilman +2 more | 2014-01-07 |
| 8620854 | Annotating medical binary decision diagrams with health state information | Jawahar Jain | 2013-12-31 |
| 8600927 | Window algorithm using maximal parallelization | Jawahar Jain | 2013-12-03 |
| 8595179 | Determining optimum variable orders for BDDs using pair-wise variable grouping | Jawahar Jain | 2013-11-26 |
| 8595659 | Verification and reachability using an organic approach | Jawahar Jain | 2013-11-26 |
| 8583590 | Parallel window algorithm | Jawahar Jain | 2013-11-12 |
| 8583718 | Comparing boolean functions representing sensor data | Jawahar Jain | 2013-11-12 |
| 8583591 | Parallel sifting algorithm | Jawahar Jain | 2013-11-12 |
| 8572146 | Comparing data samples represented by characteristic functions | Jawahar Jain | 2013-10-29 |
| 8560485 | Generating a domain corpus and a dictionary for an automated ontology | Yannis Labrou | 2013-10-15 |
| 8554696 | Efficient computation of ontology affinity matrices | Yannis Labrou, Jawahar Jain | 2013-10-08 |
| 8543380 | Determining a document specificity | David L. Marvit, Jawahar Jain | 2013-09-24 |
| 8495038 | Validating sensor data represented by characteristic functions | Jawahar Jain | 2013-07-23 |
| 8468142 | Caching query results with binary decision diagrams (BDDs) | Jawahar Jain | 2013-06-18 |
| 8374991 | Determining optimum variable orders for BDDs using recursion | Jawahar Jain | 2013-02-12 |