Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Reports
|
![]() |
Automatic Verification of Autonomous Robot MissionsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
2 |
Material Type: Reports
|
![]() |
From Relational Interfaces to Assume-Guarantee ContractsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
3 |
Material Type: Reports
|
![]() |
Short-Sighted Probabilistic PlanningApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
4 |
Material Type: Reports
|
![]() |
Extended Warranties in Army's Acquisition ContractsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
5 |
Material Type: Reports
|
![]() |
|
6 |
Material Type: Reports
|
![]() |
Robust Architectures for Complex Multi-Agent Heterogeneous SystemsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
7 |
Material Type: Reports
|
![]() |
Analysis and Algorithms for Partial Protection in Mesh NetworksApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
8 |
Material Type: Reports
|
![]() |
Navy and Coast Guard Shipbuilding: Navy Should Reconsider Approach to Warranties for Correcting Construction DefectsApproved For Public ReleaseDigital Resources/Online E-Resources |
9 |
Material Type: Reports
|
![]() |
Politics and Economics in Putins RussiaApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
10 |
Material Type: Reports
|
![]() |
Extended Deterrence and Allied Assurance: Key Concepts and Current Challenges for U.S. PolicyApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
11 |
Material Type: Reports
|
![]() |
True and Steady, Inspection ReadyApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
12 |
Material Type: Reports
|
![]() |
Guaranteed Avoidance of Unpredictable, Dynamically Constrained Obstacles using Velocity Obstacle SetsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
13 |
Material Type: Reports
|
![]() |
Getting it Right the First Time: Predicted Performance Guarantees from the Analysis of Emergent Behavior in Autonomous and Semi-autonomous SystemsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
14 |
Material Type: Reports
|
![]() |
Network Protection with Multiple Availability GuaranteesApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
15 |
Material Type: Reports
|
![]() |
A Scalable Heuristic for Viral Marketing Under the Tipping ModelApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
16 |
Material Type: Reports
|
![]() |
Probabilistic Analysis of Combinatorial Optimization Problems on Hypergraph MatchingsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
17 |
Material Type: Reports
|
![]() |
Statistical Results on Filtering and Epi-convergence for Learning-Based Model Predictive ControlApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
18 |
Material Type: Reports
|
![]() |
Discrete Event Supervisory Control and Nonlinear Motion Control for DoD and Industrial SystemsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
19 |
Material Type: Reports
|
![]() |
Achievability of Cramer-Rao Lower Bounds by Multi-Frame Blind Deconvolution Algorithms, Part 2: PSF EstimationApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
20 |
Material Type: Reports
|
![]() |
|