| 11945582 |
Coordinating an aerial search among unmanned aerial vehicles |
LOWELL L. DUKE, ZEHRA AKBAR, Syed Mohammad Amir Husain, TAYLOR R. SCHMIDT |
2024-04-02 |
|
| 11875690 |
Decentralized oracles in an unmanned aerial vehicle (UAV) transportation ecosystem |
LOWELL L. DUKE, ZEHRA AKBAR, Syed Mohammad Amir Husain |
2024-01-16 |
|
| 11824985 |
Blockchain-based hybrid authentication |
LOWELL L. DUKE, ZEHRA AKBAR, Syed Mohammad Amir Husain, TAYLOR R. SCHMIDT |
2023-11-21 |
|
| 11521502 |
Parallel deconfliction processing of unmanned aerial vehicles |
LOWELL L. DUKE, ZEHRA AKBAR, Syed Mohammad Amir Husain |
2022-12-06 |
|
| 11513515 |
Unmanned vehicles and associated hub devices |
Sridhar Sudarsan |
2022-11-29 |
|
| 11436930 |
Recording data associated with an unmanned aerial vehicle |
LOWELL L. DUKE, ZEHRA AKBAR, Syed Mohammad Amir Husain |
2022-09-06 |
|
| 11386095 |
Natural language querying of data in a structured context |
Erik Skiles |
2022-07-12 |
|
| 11335204 |
Flight path deconfliction among unmanned aerial vehicles |
LOWELL L. DUKE, ZEHRA AKBAR, Syed Mohammad Amir Husain |
2022-05-17 |
|
| 11178579 |
System and method for unmanned transportation management |
Syed Mohammad Amir Husain, ZEHRA AKBAR |
2021-11-16 |
|
| 10963503 |
Generation of document classifiers |
Erik Skiles, Joshua Bronson, Keith D. Moore |
2021-03-30 |
|
| 10817781 |
Generation of document classifiers |
Erik Skiles, Joshua Bronson, Keith D. Moore |
2020-10-27 |
|
| 10773381 |
Secure distributed system using blockchain for self-policing of autonomous agents |
Syed Mohammad Amir Husain, TAYLOR R. SCHMIDT |
2020-09-15 |
|
| 10698905 |
Natural language querying of data in a structured context |
Erik Skiles |
2020-06-30 |
|
| 10450503 |
Methods of using lightweight polymers derived from cashew nut shell liquid in hydraulic fracturing and sand control operations |
D. V. Satyanarayana Gupta, Anthony Stonis |
2019-10-22 |
$6,882,000 |
| 9439556 |
Intelligent autonomous camera control for robotics with medical, military, and space applications |
Abhilash K. Pandya, Michael D. Klein, Ajay V. Mudunuri, Alex Cao, Luke A. Reisner +1 more |
2016-09-13 |
|
| 7770152 |
Method and apparatus for coordinating state and execution context of interpreted languages |
Yury Kamen, Deepak Alur, John Crupi, Daniel Malks |
2010-08-03 |
$33,485,000 |
| 7703074 |
Method and apparatus for tracking changes in a system |
Yury Kamen, Deepak Alur, John Crupi, Daniel Malks |
2010-04-20 |
$20,289,000 |
| 7660802 |
Method and apparatus for generating components for pattern-based system design analysis using a characteristics model |
Yury Kamen, Deepak Alur, John Crupi, Daniel Malks |
2010-02-09 |
|
| 7653898 |
Method and apparatus for generating a characteristics model for a pattern-based system design analysis using a schema |
Yury Kamen, Deepak Alur, John Crupi, Daniel Malks, Rajmohan Krishnamurthy |
2010-01-26 |
$28,319,000 |
| 7634766 |
Method and apparatus for pattern-based system design analysis using a meta model |
Yury Kamen, Deepak Alur, John Crupi, Daniel Malks, Michael W. Godfrey |
2009-12-15 |
$17,013,000 |
| 7624108 |
Method and apparatus for formally specifying application-specific read/write consistency |
Robert N. Goldberg, Bruce K. Daniels, Yury Kamen |
2009-11-24 |
$22,357,000 |
| 7571434 |
Method and apparatus for transparent invocation of a characteristics extractor for pattern-based system design analysis |
Yury Kamen, Deepak Alur, John Crupi, Daniel Malks |
2009-08-04 |
$10,559,000 |
| 7165101 |
Transparent optimization of network traffic in distributed systems |
Bruce K. Daniels, Robert N. Goldberg, Yury Kamen, Peter Yared |
2007-01-16 |
$5,123,000 |
| 7162721 |
Application-independent API for distributed component collaboration |
Robert N. Goldberg, Yury Kamen, Bruce K. Daniels, Peter Yared |
2007-01-09 |
$13,191,000 |
| 7062756 |
Dynamic object usage pattern learning and efficient caching |
Yury Kamen, Robert N. Goldberg, Bruce K. Daniels, Peter Yared |
2006-06-13 |
$5,924,000 |
