Issued Patents All Time
Showing 51–75 of 102 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8622900 | Calculating and monitoring the efficacy of stress-related therapies | David L. Marvit, B. Thomas Adler, Rajalakshmi Balakrishnan, Alexander Gilman, Stergios Stergiou +2 more | 2014-01-07 |
| 8622899 | Continuous monitoring of stress using self-reported psychological or behavioral data | David L. Marvit, B. Thomas Adler, Albert Reinhardt, Rajalakshmi Balakrishnan | 2014-01-07 |
| 8620854 | Annotating medical binary decision diagrams with health state information | Stergios Stergiou | 2013-12-31 |
| 8617067 | Continuous monitoring of stress using environmental data | David L. Marvit, B. Thomas Adler, Alexander Gilman, Albert Reinhardt | 2013-12-31 |
| 8600927 | Window algorithm using maximal parallelization | Stergios Stergiou | 2013-12-03 |
| 8595659 | Verification and reachability using an organic approach | Stergios Stergiou | 2013-11-26 |
| 8595179 | Determining optimum variable orders for BDDs using pair-wise variable grouping | Stergios Stergiou | 2013-11-26 |
| 8583591 | Parallel sifting algorithm | Stergios Stergiou | 2013-11-12 |
| 8583590 | Parallel window algorithm | Stergios Stergiou | 2013-11-12 |
| 8583718 | Comparing boolean functions representing sensor data | Stergios Stergiou | 2013-11-12 |
| 8572146 | Comparing data samples represented by characteristic functions | Stergios Stergiou | 2013-10-29 |
| 8554696 | Efficient computation of ontology affinity matrices | Stergios Stergiou, Yannis Labrou | 2013-10-08 |
| 8540629 | Continuous monitoring of stress using a stress profile created by renal doppler sonography | David L. Marvit, Shreyans Gandhi, Madan Bahadur | 2013-09-24 |
| 8543380 | Determining a document specificity | David L. Marvit, Stergios Stergiou | 2013-09-24 |
| 8529447 | Creating a personalized stress profile using renal doppler sonography | David L. Marvit, Madan Bahadur, Shreyans Gandhi | 2013-09-10 |
| 8495038 | Validating sensor data represented by characteristic functions | Stergios Stergiou | 2013-07-23 |
| 8468142 | Caching query results with binary decision diagrams (BDDs) | Stergios Stergiou | 2013-06-18 |
| 8374991 | Determining optimum variable orders for BDDs using recursion | Stergios Stergiou | 2013-02-12 |
| 8370289 | BDD variable reordering using parallel permutation | Stergios Stergiou | 2013-02-05 |
| 8332439 | Automatically generating a hierarchy of terms | David L. Marvit, Stergios Stergiou, Alex Gilman, B. Thomas Adler | 2012-12-11 |
| 8290934 | Method and system for processing access control lists using a hashing scheme | Stergios Stergiou | 2012-10-16 |
| 8280892 | Selecting tags for a document by analyzing paragraphs of the document | David L. Marvit, Stergios Stergiou, Alex Gilman, B. Thomas Adler, John J. Sidorowich +1 more | 2012-10-02 |
| 8181132 | Validating one or more circuits using one or more grids | Subramanian K. Iyer, Mukul R. Prasad, Thomas W. Sidle | 2012-05-15 |
| 8171029 | Automatic generation of ontologies using word affinities | David L. Marvit, Stergios Stergiou, Yannis Labrou | 2012-05-01 |
| 8108405 | Refining a search space in response to user input | David L. Marvit, Stergios Stergiou | 2012-01-31 |