Search Results - Slagel, J

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
    Article
    Save to List
    Saved in:
  4. 4
    Cumulative Losses of Sand to the California Coast by Dam Impoundment

    Cumulative Losses of Sand to the California Coast by Dam Impoundment by Slagel, Matthew J., Griggs, Gary B.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    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:
  6. 6
    A systems level predictive model for global gene regulation of methanogenesis in a hydrogenotrophic methanogen

    A systems level predictive model for global gene regulation of methanogenesis in a hydrogenotrophic methanogen by Yoon, Sung Ho, Turkarslan, Serdar, Reiss, David J, Pan, Min, Burn, June A, Costa, Kyle C, Lie, Thomas J, Slagel, Joseph, Moritz, Robert L, Hackett, Murray, Leigh, John A, Baliga, Nitin S

    Published in Genome research
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    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:
  8. 8
    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:
  9. 9
    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

    Published in IFAC-PapersOnLine
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Topological Crosswords

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

    Published in Math horizons
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Snapshot of a large dynamic replicon in a halophilic archaeon: megaplasmid or minichromosome?

    Snapshot of a large dynamic replicon in a halophilic archaeon: megaplasmid or minichromosome? by Ng, W V, Ciufo, S A, Smith, T M, Bumgarner, R E, Baskin, D, Faust, J, Hall, B, Loretz, C, Seto, J, Slagel, J, Hood, L, DasSarma, S

    Published in Genome research
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Drugs for Gastric Ulcer

    Drugs for Gastric Ulcer by Slagel, J.

    Published in BMJ
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Topological Crosswords

    Topological Crosswords by Sam Eastridge, J. Tanner Slagel

    Published in Math horizons
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    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:
  15. 15
    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:
  16. 16
    Comparisons of plasma and fecal pharmacokinetics of danofloxacin and enrofloxacin in healthy and Mannheimia haemolytica infected calves

    Comparisons of plasma and fecal pharmacokinetics of danofloxacin and enrofloxacin in healthy and Mannheimia haemolytica infected calves by Beyi, Ashenafi Feyisa, Mochel, Jonathan P., Magnin, Géraldine, Hawbecker, Tyler, Slagel, Clare, Dewell, Grant, Dewell, Renee, Sahin, Orhan, Coetzee, Johann F., Zhang, Qijing, Plummer, Paul J.

    Published in Scientific reports
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Transcriptomic profiles of neoantigen-reactive T cells in human gastrointestinal cancers

    Transcriptomic profiles of neoantigen-reactive T cells in human gastrointestinal cancers by Zheng, Chunhong, Fass, Joseph N., Shih, Yi-Ping, Gunderson, Andrew J., Sanjuan Silva, Nelson, Huang, Huayu, Bernard, Brady M., Rajamanickam, Venkatesh, Slagel, Joseph, Bifulco, Carlo B., Piening, Brian, Newell, Pippa H.A., Hansen, Paul D., Tran, Eric

    Published in Cancer cell
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    The high affinity peripheral benzodiazepine receptor ligand DAA1106 binds specifically to microglia in a rat model of traumatic brain injury: Implications for PET imaging

    The high affinity peripheral benzodiazepine receptor ligand DAA1106 binds specifically to microglia in a rat model of traumatic brain injury: Implications for PET imaging by Venneti, Sriram, Wagner, Amy K., Wang, Guoji, Slagel, Susan L., Chen, Xiangbai, Lopresti, Brian J., Mathis, Chester A., Wiley, Clayton A.

    Published in Experimental neurology
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    comparison of the high-affinity peripheral benzodiazepine receptor ligands DAA1106 and (R)-PK11195 in rat models of neuroinflammation: implications for PET imaging of microglial activation

    comparison of the high-affinity peripheral benzodiazepine receptor ligands DAA1106 and (R)-PK11195 in rat models of neuroinflammation: implications for PET imaging of microglial ac... by Venneti, Sriram, Lopresti, Brian J, Wang, Guoji, Slagel, Susan L, Mason, N. Scott, Mathis, Chester A, Fischer, Michelle L, Larsen, Niccole J, Mortimer, Amanda D, Hastings, Teresa G, Smith, Amanda D, Zigmond, Michael J, Suhara, Tetsuya, Higuchi, Makoto, Wiley, Clayton A

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Pharmacokinetics of Ertapenem in Sheep (Ovis aries) with Experimentally Induced Urinary Tract Infection

    Pharmacokinetics of Ertapenem in Sheep (Ovis aries) with Experimentally Induced Urinary Tract Infection by Smith, Joe S, Borts, David J, Slagel, Clare C, Rajewski, Suzanne M, Bousquet-Melou, Alain, Ferran, Aude A, Plummer, Paul J, Mochel, Jon P

    Published in Comparative medicine
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: