• SparseMatrix

  • Referenced in 608 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 39 articles [sw07243]
  • BILUTM: A domain-based 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 34 articles [sw03055]
  • sequential decision-making 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...
  • PMTBR

  • Referenced in 17 articles [sw02086]
  • family of approximate principal-components-like 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 32 articles [sw13258]
  • concurrent, real-time 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...
  • gpuSPHASE

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

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

  • 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...
  • SuitSparseQR

  • Referenced in 26 articles [sw07592]
  • waveform tomography. In this paper, a frequency-domain finite difference package written in MATLAB ... boundary and supports anti-time aliasing and reduction velocity technique. Different attenuation mechanisms can easily...
  • Luck

  • Referenced in 3 articles [sw21716]
  • complex domains with comparable bug-finding effectiveness and a significant reduction in testing code size...
  • 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...
  • Kuai

  • Referenced in 1 article [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...
  • 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...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • reduction were “abstract” Church encodings, and encodings of the syntax tree and abstract domains...
  • WebClipper

  • Referenced in 1 article [sw01015]
  • narrow the search domain for web surfers, leading to a reduction in the cognitive load...