• TVAL3

  • Referenced in 20 articles [sw08575]
  • solving problems in image reconstruction with total variation regularization. We present numerical results showing that...
  • tvreg

  • Referenced in 21 articles [sw14426]
  • Methods. The tvreg package performs total variation (TV) regularized image denoising, deconvolution, and inpainting. Three...
  • PyNUFFT

  • Referenced in 3 articles [sw21680]
  • including the conjugate gradient method, ℓ1 total-variation regularized ordinary least square (L1TV ... ℓ1 total-variation regularized least absolute deviation (L1TV-LAD). Metaprogramming libraries were employed to accelerate...
  • TVR-DART

  • Referenced in 4 articles [sw27583]
  • algorithm for discrete tomography (DT) named total variation regularized discrete algebraic reconstruction technique (TVR-DART...
  • MVIRT

  • Referenced in 3 articles [sw28253]
  • manifold-valued image processing methods, like total variation regularization, the toolbox provides easy access...
  • NPtool

  • Referenced in 7 articles [sw06855]
  • Leibler divergence, and two regularization functions, Tikhonov and Total Variation, giving the opportunity of solving ... other linear or nonlinear data fit and regularization functions. Some examples...
  • tvR

  • Referenced in 1 article [sw35571]
  • package tvR: Total Variation Regularization. Provides tools for denoising noisy signal and images via Total ... Variation Regularization. Reducing the total variation of the given signal is known to remove spurious...
  • DBT Simulator

  • Referenced in 2 articles [sw19041]
  • including algebraic reconstruction technique (ART) and total variation regularized reconstruction techniques (ART+TV) are presented...
  • na28

  • Referenced in 16 articles [sw11502]
  • algorithms and related software for total variation (TV) image reconstruction, more specifically: denoising, inpainting ... that, except for the mandatory regularization parameter, the user needs not specify any parameters...
  • MEDITOMO

  • Referenced in 1 article [sw00568]
  • introduction of the total variation seminorm as the edge-preserving regularization in both algorithms...
  • ANSYS

  • Referenced in 663 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GQRAT

  • Referenced in 35 articles [sw00373]
  • The concern here is with Gauss-type quadrature...
  • Isabelle

  • Referenced in 617 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 180 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • Kronecker

  • Referenced in 113 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LAPACK

  • Referenced in 1647 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 368 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Magma

  • Referenced in 2986 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...