• INTOPT_90

  • Referenced in 306 articles [sw04705]
  • connection between these two themes is that zero finding is an almost unavoidable part ... numerical approach in a branch and bound pattern touching many software details. The chapter ... obtaining some new results with respect to zero search. The final chapter about intermediate values...
  • MC21A

  • Referenced in 16 articles [sw12612]
  • permutation for a zero-free diagonal That is, given the pattern of nonzeros ... rows that makes the matrix have no zeros on its diagonal...
  • BioProspector

  • Referenced in 29 articles [sw09375]
  • genes in the same gene expression pattern group and looks for regulatory sequence motifs. BioProspector ... allow each input sequences to contain zero to multiple copies of the motif. In addition ... model gapped motifs and motifs with palindromic patterns, which are prevalent motif patterns in prokaryotes...
  • VBARMS

  • Referenced in 5 articles [sw09387]
  • columns with a similar sparsity pattern, and treating some zero entries of the reordered matrix...
  • Sparsity

  • Referenced in 13 articles [sw08686]
  • memory ratio and irregular memory access patterns. Optimization is difficult because of the complexity ... performance is highly dependent on the non-zero structure of the matrix. The SPARSITY system...
  • CUDA-Zero

  • Referenced in 2 articles [sw14130]
  • CUDA-Zero: A framework for porting shared memory GPU applications to multi-GPUs ... memory model, our framework analyzes the access patterns of arrays in kernel functions to derive ... patterns can be derived correctly by the first two tiers, which means that zero efforts...
  • outliernmf

  • Referenced in 2 articles [sw18395]
  • typically non-negative, and most values are zero. In such cases, it often becomes difficult ... outliers from the natural variations in the patterns in the underlying data. In this paper...
  • Privado

  • Referenced in 1 article [sw32567]
  • free of input-dependent access patterns thus eliminating the leakage. PRIVADO is fully-automated ... with zero developer effort, given an ONNX description of a model, it generates compact...
  • slfm

  • Referenced in 1 article [sw30052]
  • Model Set of tools to find coherent patterns in microarray data using a Bayesian Sparse ... relying on a degenerate component at zero and the other using a small variance normal...
  • BioGrapher

  • Referenced in 2 articles [sw16628]
  • highly visual and easily comprehensible representation of patterns, processes, and products for testing causal hypotheses ... connections between nodes represented by a non-zero (non-empty) cell value for the appropriate...
  • Optrans

  • Referenced in 1 article [sw14517]
  • fluid mechanics to optics, image processing and pattern recognition. Despite this ample field of applications ... smoothing term to transport densities that approach zero. Numerical experiments are presented to demonstrate...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CASA

  • Referenced in 111 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

  • Referenced in 119 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • FLINT

  • Referenced in 58 articles [sw00297]
  • Fast library for number theory: an introduction. We...