| 11960469 |
Heterogeneous integration with distributed ledger blockchain services |
Patrick J. D. Santos |
2024-04-16 |
| 11700304 |
Confirmation of service levels via distributed ledgers |
Patrick J. D. Santos |
2023-07-11 |
| 11410162 |
Anonymous distributed consensus regarding the verification of protocols |
Pamela E. Bell, David B. Ezell, Patrick J. D. Santos |
2022-08-09 |
| 10633466 |
Low density polyethylene of high clarity, film made therefrom and a process for producing such film |
Maged G. Botros, Stephen M. Imfeld |
2020-04-28 |
| 10331679 |
Method and apparatus for providing a recommendation for learning about an interest of a user |
Bryan Strassner, Michael J. Lemen, Trevor Lovett, Douglas McCullough, Matthew McEuen |
2019-06-25 |
| 9275146 |
Expressing and executing semantic queries within a relational database |
Stuart Michael Bowers, Thomas E. Jackson, Chris Demetrios Karkanias, David G. Campbell, Brian S. Aust |
2016-03-01 |
| 8751433 |
Efficient probabilistic reasoning over semantic data |
Stuart Michael Bowers, Thomas E. Jackson, Silvia C. Vega, Chris Demetrios Karkanias, David G. Campbell +1 more |
2014-06-10 |
| 8407242 |
Temporal binding for semantic queries |
Thomas E. Jackson, Stuart Michael Bowers, Chris Demetrios Karkanias, David G. Campbell, Brian S. Aust |
2013-03-26 |
| 8204903 |
Expressing and executing semantic queries within a relational database |
Stuart Michael Bowers, Thomas E. Jackson, Chris Demetrios Karkanias, David G. Campbell, Brian S. Aust |
2012-06-19 |
| 8156472 |
Process language for microprocessors with finite resources |
L. Gregory Meredith, David Richter, George M. Moore |
2012-04-10 |
| 7925966 |
Grouping and nesting hierarchical namespaces |
Christopher G. Kaler, Robert G. Atkinson, Steven Lucco |
2011-04-12 |
| 7685566 |
Structured message process calculus |
Lucius Gregory Meredith, Cosimo Laneve |
2010-03-23 |
| 7613997 |
Grouping and nesting hierarchical namespaces |
Christopher G. Kaler, Robert G. Atkinson, Steven Lucco |
2009-11-03 |
| 7543266 |
Lock-free state merging in parallelized constraint satisfaction problem solvers |
— |
2009-06-02 |
| 6993714 |
Grouping and nesting hierarchical namespaces |
Christopher G. Kaler, Robert G. Atkinson, Steven Lucco |
2006-01-31 |
| 5557720 |
Method of determining whether a document tree is weakly valid |
Sidney W. Marshall |
1996-09-17 |
| 5491628 |
Method and apparatus for document transformation based on attribute grammars and attribute couplings |
Toshiro Wakayama, Suryanarayana M. Mantha, An-Ming Feng |
1996-02-13 |
| 5438512 |
Method and apparatus for specifying layout processing of structured documents |
Suryanarayana M. Mantha, Toshiro Wakayama |
1995-08-01 |
| D321052 |
Multiple embalming injector |
Jesse L. Colodner |
1991-10-22 |
