• QUICKXPLAIN

  • Referenced in 28 articles [sw28625]
  • them by a generic method which works for arbitrary CP, SAT, or DL solvers...
  • LILIX

  • Referenced in 11 articles [sw00520]
  • code LILIX is based on a CP method for solving systems of coupled Schrödinger equations...
  • SIMPL

  • Referenced in 11 articles [sw13333]
  • view CP and OR techniques as special cases of a single method rather than ... This overarching method consists of an infer-relax-restrict cycle in which CP...
  • ToOLS

  • Referenced in 4 articles [sw21244]
  • library for partial and hybrid search methods. We present a library called ToOLS ... tree search algorithms in a Constraint Programming (CP) framework. We separate the description of search ... very naturally suited to CP technology. Variants of those methods are easy to implement with ... drastically outperform CP approaches based on classical depth-first search methods...
  • TFPDE

  • Referenced in 6 articles [sw12622]
  • Numerical methods for SPDEs with tempered stable processes. We develop new probabilistic and deterministic approaches ... TαS) Lévy processes. With the compound Poisson (CP) approximation or the series representation ... TαS white noises by the probability collocation method (PCM) and the Monte Carlo (MC) method ... density by approximating the TαS processes as CP processes; second, we directly solve the tempered...
  • BiGGER

  • Referenced in 2 articles [sw10909]
  • this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability ... Global Evaluation and Ranking) to illustrate the method as applied to modelling protein interactions ... This CP approach gives BiGGER some efficiency advantages over popular protein docking methods that...
  • PSICO

  • Referenced in 10 articles [sw10910]
  • data on the dimeric protein Desulforedoxin, the method proposed here supplied similar results in less ... still be improved, this shows that CP technology can greatly reduce computation time, a major...
  • conformalClassification

  • Referenced in 1 article [sw23838]
  • Prediction (ICP) for classification problems. Conformal Prediction (CP) is a framework that complements the predictions ... conformalClassification is built upon the random forest method, where votes of the random forest ... conformalClassification package is to generate CP errors (p-values) for classification problems, the package also...
  • MiniSearch

  • Referenced in 3 articles [sw23233]
  • MiniZinc. Much of the power of CP comes from the ability to create complex hybrid ... barrier to entry for exploring different search methods quite high. Furthermore, search is a core...
  • rTensor

  • Referenced in 1 article [sw32423]
  • class. rTensor provides common tensor operations as methods, including matrix unfolding, summing/averaging across modes, calculating ... rTensor also implements various tensor decomposition, including CP, GLRAM, MPCA, PVD, and Tucker. For tensors...
  • MultiwayRegression

  • Referenced in 1 article [sw18394]
  • This framework generalizes several existing approaches, including methods to predict a scalar outcome from ... restricting the coefficients to have reduced CP-rank. We propose a general and efficient algorithm...
  • Laura++

  • Referenced in 0 articles [sw23660]
  • analysis technique has become an increasingly important method in heavy flavour physics. The Laura++ fitter ... nonresonant contributions, and to accommodate possible CP violation effects...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HDECAY

  • Referenced in 41 articles [sw00401]
  • HDECAY: a program for Higgs boson decays in...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MATSLISE

  • Referenced in 51 articles [sw00559]
  • MATSLISE is a graphical MATLAB software package for...
  • NAG

  • Referenced in 419 articles [sw00610]
  • Produced by experts for use in a variety...
  • PERSYS

  • Referenced in 6 articles [sw00702]
  • PERSYS - a program for the solution near the...
  • PSPLIB

  • Referenced in 254 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...