
SparseMatrix
 Referenced in 646 articles
[sw04629]
 matrices cover a wide spectrum of domains, include those arising from problems with underlying ... structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision...

BABEL
 Referenced in 71 articles
[sw03018]
 narrowing as the basis of a lazy reduction semantics which embodies both rewriting ... also a declarative semantics, based on Scott domains, which provides a notion of least Herbrand ... well as a soundness result for the reduction semantics w.r.t. the declarative one. We also...

CALMA
 Referenced in 105 articles
[sw03235]
 assigned an operating frequency from a given domain. The assignment has to satisfy certain restrictions ... methods, genetic algorithms, neural networks, and potential reduction. These algorithms were tested and compared...

BILUTM
 Referenced in 40 articles
[sw07243]
 BILUTM: A domainbased multilevel block ILUT preconditioner for general sparse matrices The purpose ... factorization with an algebraic multilevel recursive reduction. This is implemented which is shown...

POMDPS
 Referenced in 37 articles
[sw03055]
 sequential decisionmaking under uncertainty in stochastic domains. However, solving a POMDP is often intractable ... environments under various metrics (return, error bound reduction, lower bound improvement). Our experimental results indicate ... heuristic search methods can handle large POMDP domains efficiently...

Metalibm
 Referenced in 2 articles
[sw11116]
 functions within a known scheme: range reduction (domain splitting), polynomial approximation and reconstruction. This approach...

gpuSPHASE
 Referenced in 5 articles
[sw22289]
 years so that a reduction to a 2D domain is inevitable. In this paper gpuSPHASE...

PMTBR
 Referenced in 17 articles
[sw02086]
 family of approximate principalcomponentslike reduction algorithms We present a family of algorithms that ... considered intermediate between frequency domain projection methods and approximation of truncated balanced realizations. The methods...

PAT
 Referenced in 31 articles
[sw13258]
 concurrent, realtime systems and other possible domains. It comes with user friendly interfaces, featured ... implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking...

LoLA
 Referenced in 26 articles
[sw04381]
 integrate LoLA into tools of different application domains. LoLA supports place/transition nets. Implemented verification techniques ... system execution are supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability...

OperatorGB
 Referenced in 2 articles
[sw36831]
 since it may not be compatible with domains and codomains of the corresponding operators. Recently ... context of rewriting and polynomial reduction. We give a sufficient condition on the polynomials used ... ensure that standard polynomial reduction automatically respects domains and codomains of operators. Finally, we adapt...

freqdom
 Referenced in 2 articles
[sw32409]
 frequency domain tools. These frequency domain methods for dimensionality reduction of multivariate time series were...

SuitSparseQR
 Referenced in 29 articles
[sw07592]
 waveform tomography. In this paper, a frequencydomain finite difference package written in MATLAB ... boundary and supports antitime aliasing and reduction velocity technique. Different attenuation mechanisms can easily...

FODDPlanner
 Referenced in 14 articles
[sw07747]
 particular algebraic decision diagrams, to capture domain dynamics and value functions. Work on symbolic dynamic ... make the approach practical. These include new reduction operators that decrease the size ... problems. The system is evaluated on several domains, including problems from the recent international planning...

CART_TUB
 Referenced in 1 article
[sw38621]
 summands in some finite “fundamental domain” , by the reduction to the two elementary problems...

Luck
 Referenced in 4 articles
[sw21716]
 complex domains with comparable bugfinding effectiveness and a significant reduction in testing code size...

Kuai
 Referenced in 2 articles
[sw34182]
 partial order reduction techniques specific to the SDN domain that help reduce the state space ... show that our set of partial order reduction techniques significantly reduces the state spaces...

URSA
 Referenced in 4 articles
[sw15541]
 reduction to SAT is defined precisely by the semantics of the specification language. The domain...

Alpine.jl
 Referenced in 1 article
[sw34677]
 size of the variable domains, leads to a significant reduction in computation time, and limits...

porthoDom
 Referenced in 1 article
[sw34295]
 orthologs. By using domains instead of amino acid sequences, the reduction of the search space ... comparing proteins as strings of discrete domains, i.e. as a concatenation of their unique identifiers...