Sampled Tikhonov regularization for large linear inverse problems
Slagel, J Tanner, Chung, Julianne, Chung, Matthias, Kozak, David, Tenorio, Luis
Published in Inverse problems (01.11.2019)
Published in Inverse problems (01.11.2019)
Get full text
Journal Article
Sampled limited memory methods for massive linear inverse problems
Chung, Julianne, Chung, Matthias, Tanner Slagel, J, Tenorio, Luis
Published in Inverse problems (01.05.2020)
Published in Inverse problems (01.05.2020)
Get full text
Journal Article
Embedding Differential Dynamic Logic in PVS
Slagel, J. Tanner, Moscato, Mariano, White, Lauren, Muñoz, César A., Balachandran, Swee, Dutle, Aaron
Published in Electronic proceedings in theoretical computer science (23.04.2024)
Published in Electronic proceedings in theoretical computer science (23.04.2024)
Get full text
Journal Article
Embedding Differential Dynamic Logic in PVS
J Tanner Slagel, Moscato, Mariano, White, Lauren, Muñoz, César A, Balachandran, Swee, Dutle, Aaron
Published in arXiv.org (23.04.2024)
Published in arXiv.org (23.04.2024)
Get full text
Paper
Journal Article
Sampled Limited Memory Methods for Massive Linear Inverse Problems
Chung, Julianne, Chung, Matthias, J Tanner Slagel, Tenorio, Luis
Published in arXiv.org (17.12.2019)
Published in arXiv.org (17.12.2019)
Get full text
Paper
Journal Article
A systems level predictive model for global gene regulation of methanogenesis in a hydrogenotrophic methanogen
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 (01.11.2013)
Published in Genome research (01.11.2013)
Get full text
Journal Article
Snapshot of a large dynamic replicon in a halophilic archaeon: megaplasmid or minichromosome?
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 (01.11.1998)
Published in Genome research (01.11.1998)
Get full text
Journal Article
Sampled Tikhonov Regularization for Large Linear Inverse Problems
Slagel, J. Tanner, Chung, Julianne, Chung, Matthias, Kozak, David, Tenorio, Luis
Year of Publication 14.12.2018
Year of Publication 14.12.2018
Get full text
Journal Article
Sampled Tikhonov Regularization for Large Linear Inverse Problems
J Tanner Slagel, Chung, Julianne, Chung, Matthias, Kozak, David, Tenorio, Luis
Published in arXiv.org (14.12.2018)
Get full text
Published in arXiv.org (14.12.2018)
Paper