
Kiva2
 Referenced in 65 articles
[sw08987]
 This report documents the KIVA2 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 KIVA2 program, we describe in detail the equations solved...

ProPPR
 Referenced in 1 article
[sw32915]
 ProPPR: efficient firstorder 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 secondorder probabilistic logic, we show that firstorder theories ... weight learning can be performed using parallel stochastic gradient descent with a supervised personalized PageRank...

FODDPlanner
 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, FODDPlanner, 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 multiagent planning in partially observable stochastic games. In this framework, we assume ... specifying a partial control program in a highlevel 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 highlevel language and interactive...

MiniSat
 Referenced in 546 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

NetworkX
 Referenced in 122 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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