Search Results - Tanner Slagel, J

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Sampled Tikhonov regularization for large linear inverse problems

    Sampled Tikhonov regularization for large linear inverse problems by Slagel, J Tanner, Chung, Julianne, Chung, Matthias, Kozak, David, Tenorio, Luis

    Published in Inverse problems
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Sampled limited memory methods for massive linear inverse problems

    Sampled limited memory methods for massive linear inverse problems by Chung, Julianne, Chung, Matthias, Tanner Slagel, J, Tenorio, Luis

    Published in Inverse problems
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Embedding Differential Dynamic Logic in PVS

    Embedding Differential Dynamic Logic in PVS by Slagel, J. Tanner, Moscato, Mariano, White, Lauren, Muñoz, César A., Balachandran, Swee, Dutle, Aaron

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Embedding Differential Dynamic Logic in PVS

    Embedding Differential Dynamic Logic in PVS by J Tanner Slagel, Moscato, Mariano, White, Lauren, Muñoz, César A, Balachandran, Swee, Dutle, Aaron

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Sampled Limited Memory Methods for Massive Linear Inverse Problems

    Sampled Limited Memory Methods for Massive Linear Inverse Problems by Chung, Julianne, Chung, Matthias, J Tanner Slagel, Tenorio, Luis

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    A Verification Framework for Runtime Assurance of Autonomous UAS

    A Verification Framework for Runtime Assurance of Autonomous UAS by Slagel, J Tanner, White, Lauren M., Dutle, Aaron, Munoz, Cesar A., Crespo, Nicolas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace

    PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace by Colbert, Brendon K., Slagel, J. Tanner, Crespo, Luis G., Balachandran, Swee, Muñoz, César

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Topological Crosswords

    Topological Crosswords by Eastridge, Sam, Slagel, J. Tanner

    Published in Math horizons
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Topological Crosswords

    Topological Crosswords by Sam Eastridge, J. Tanner Slagel

    Published in Math horizons
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Stochastic Newton and Quasi-Newton Methods for Large Linear Least-squares Problems

    Stochastic Newton and Quasi-Newton Methods for Large Linear Least-squares Problems by Chung, Julianne, Chung, Matthias, J Tanner Slagel, Tenorio, Luis

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Sampled Tikhonov Regularization for Large Linear Inverse Problems

    Sampled Tikhonov Regularization for Large Linear Inverse Problems by J Tanner Slagel, Chung, Julianne, Chung, Matthias, Kozak, David, Tenorio, Luis

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: