| 9779082 |
Portable self-describing representations of measurements |
— |
2017-10-03 |
| 9276888 |
System and method of supporting constructive discourse on computers and mobile devices |
— |
2016-03-01 |
| 8909722 |
System and method of supporting constructive discourse on computers and mobile devices |
— |
2014-12-09 |
| 8438229 |
System and method of supporting constructive discourse on computers and mobile devices |
— |
2013-05-07 |
| 8121998 |
Method for automatically enabling traceability of engineering calculations |
Christopher Baril, Frederick R. Mueller, Jeremy Lew, Jonathan G. Bell, Leopold Travis |
2012-02-21 |
| 7752299 |
Segmentation and processing of continuous data streams using transactional semantics |
Lawrence A. Bookman, David Albert Blair, Steven Rosenthal, Robert Louis Krawitz, Michael James Beckerle +2 more |
2010-07-06 |
| 7392320 |
Segmentation and processing of continuous data streams using transactional semantics |
Lawrence A. Bookman, David Albert Blair, Steven Rosenthal, Robert Louis Krawitz, Michael James Beckerle +2 more |
2008-06-24 |
| 6801938 |
Segmentation and processing of continuous data streams using transactional semantics |
Lawrence A. Bookman, David Albert Blair, Steven Rosenthal, Robert Louise Krawitz, Michael James Beckerle +2 more |
2004-10-05 |
| 6330008 |
Apparatuses and methods for monitoring performance of parallel computing |
Daniel W. Kohn, Michael James Beckerle, Jeffrey D. Ives |
2001-12-11 |
| 5771392 |
Encoding method to enable vectors and matrices to be elements of vectors and matrices |
— |
1998-06-23 |
| 5526475 |
Method for live symbolic calculations in a mathematical document editor |
— |
1996-06-11 |
| 5469538 |
Mathematical document editor and method performing live symbolic calculations for use with an electronic book |
— |
1995-11-21 |
