• Isar

  • Referenced in 144 articles [sw04599]
  • already built-in. The Isar subsystem is tightly integrated into the Isabelle/Pure meta-logic implementation...
  • Theano

  • Referenced in 97 articles [sw05894]
  • involving multi-dimensional arrays efficiently. Theano features tight integration with numpy, transparent...
  • Cmodels

  • Referenced in 72 articles [sw04435]
  • programs. For big class of programs called tight, the answer set semantics is equivalent...
  • ParEGO

  • Referenced in 68 articles [sw10968]
  • problems must frequently be tackled on a tight evaluation budget -- tens or hundreds of function...
  • alphaBB

  • Referenced in 49 articles [sw06249]
  • structure (i.e. bilinear, fractional, signomial) with customized tight convex lower bounding functions...
  • Mosel

  • Referenced in 37 articles [sw04911]
  • libraries provide the neccessary functionality for a tight integration into existing (C/Java/.NET) applications for model...
  • Auto-WEKA

  • Referenced in 37 articles [sw21536]
  • Bayesian optimization method. Our new package is tightly integrated with WEKA, making it just...
  • PESTO

  • Referenced in 36 articles [sw20864]
  • inexact (sub)gradient steps. We simultaneously obtain tight worst-case guarantees and explicit instances...
  • Midori

  • Referenced in 35 articles [sw17436]
  • especially in constrained environments running on a tight power/energy budget such as medical implants. This...
  • CLAIRE

  • Referenced in 34 articles [sw02583]
  • CLAIRE language comes from the tight integration, which yields interesting run-time performances, and from...
  • PFLOTRAN

  • Referenced in 32 articles [sw13428]
  • need to enlist and preserve tight collaboration with experienced domain scientists, without which PFLOTRAN...
  • ring-LWE

  • Referenced in 32 articles [sw19028]
  • scheme. Both apply to arbitrary cyclotomics, have tight parameters, and very efficient implementations...
  • OBBTree

  • Referenced in 30 articles [sw33406]
  • computes a hierarchical representation of models using tight-fitting oriented bounding box trees (OBBTrees...
  • SHOT

  • Referenced in 20 articles [sw15630]
  • algorithm uses supporting hyperplanes to generate a tight overestimated polyhedral set of the feasible ... first solved to rapidly generate a tight linear relaxation of the original MINLP problem. After...
  • Creol

  • Referenced in 27 articles [sw09421]
  • criticized in the distributed setting for their tight coupling of communication and synchronization; network delays...
  • HySAT

  • Referenced in 25 articles [sw01980]
  • checker for linear hybrid systems, incorporating a tight integration of a DPLL-based pseudo-Boolean...
  • Krimp

  • Referenced in 19 articles [sw28422]
  • explosion of the number of results. Tight constraints reveal only common knowledge, while loose constraints...
  • STEPS

  • Referenced in 18 articles [sw17866]
  • solved all of these problems by tightly integrating STEPS with Python, using SWIG to expose...
  • GRAPPA

  • Referenced in 12 articles [sw17255]
  • method to compute a tight lower bound on the score of a given tree, using ... uses the result to provide a tight lower bound. Since this bound is very close...
  • eXist

  • Referenced in 16 articles [sw01467]
  • Source native XML database system. eXist is tightly integrated with existing tools and covers most...