• 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 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 37 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...
  • 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 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 31 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...
  • 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 frequency-domain finite difference package written in MATLAB ... boundary and supports anti-time aliasing and reduction velocity technique. Different attenuation mechanisms can easily...
  • 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...
  • 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 bug-finding 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...