• Kiva-2

  • Referenced in 65 articles [sw08987]
  • This report documents the KIVA-2 computer program for the numerical calculation of transient ... species and chemical reactions are allowed. A stochastic particle method is used to calculate evaporating ... written for internal combustion engine calculations, the logic for these specifications can be easily modified ... principal features of the KIVA-2 program, we describe in detail the equations solved...
  • ProPPR

  • Referenced in 1 article [sw32915]
  • ProPPR: efficient first-order probabilistic logic programming for structure discovery, parameter learning, and scalable inference ... logic called ProPPR, which further extends stochastic logic programs (SLP) to a framework that enables ... graphs: using an abductive second-order probabilistic logic, we show that first-order theories ... weight learning can be performed using parallel stochastic gradient descent with a supervised personalized PageRank...
  • FODD-Planner

  • Referenced in 14 articles [sw07747]
  • algorithms have been successfully applied to propositional stochastic planning problems by using compact representations ... symbolic dynamic programming lifted these ideas to first order logic using several representation schemes. Recent ... planning system, FODD-Planner, for solving relational stochastic planning problems. The system is evaluated...
  • PFLP

  • Referenced in 2 articles [sw28855]
  • known from functional logic programming are related to and coincide with stochastic memoization and probabilistic ... implementation based on the concepts of functional logic programming can have benefits with respect...
  • POGTGolog

  • Referenced in 2 articles [sw32303]
  • theoretic multi-agent planning in partially observable stochastic games. In this framework, we assume ... specifying a partial control program in a high-level logical language, which is then completed...
  • ANSYS

  • Referenced in 665 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • BARON

  • Referenced in 324 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1828 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

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

  • Referenced in 5177 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 253 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6075 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 546 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • MPFI

  • Referenced in 41 articles [sw00597]
  • Motivations for an arbitrary precision interval arithmetic and...
  • PSPLIB

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

  • Referenced in 278 articles [sw00752]
  • QEPCAD B: A program for computing with semi...