
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 zerofree 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 nonzero structure of the matrix. The SPARSITY system...

CUDAZero
 Referenced in 2 articles
[sw14130]
 CUDAZero: A framework for porting shared memory GPU applications to multiGPUs ... 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 nonnegative, 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 inputdependent access patterns thus eliminating the leakage. PRIVADO is fullyautomated ... 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 nonzero (nonempty) 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 specialpurpose 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...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 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...