
hesim
 Referenced in 2 articles
[sw35582]
 package hesim: HealthEconomic Simulation Modeling and Decision Analysis. A modular and computationally efficient ... homogeneous and timeinhomogeneous) and semiMarkov processes. Decision uncertainty from a costeffectiveness analysis...

BisimDist
 Referenced in 2 articles
[sw33110]
 pseudometrics between Markov chains and between Markov decision processes. These are distances that measure...

AMYTISS
 Referenced in 2 articles
[sw36936]
 employed to (i) build finite Markov decision processes (MDPs) as finite abstractions of given original...

VAMPnets
 Referenced in 19 articles
[sw32927]
 equilibria and longtimescale kinetics of biomolecular processes, such as proteindrug binding, from high ... dimensionreduced data, and estimation of a Markov state model or related model ... substantial amount of modeling expertise, as poor decisions at any step will lead to large ... employ the variational approach for Markov processes (VAMP) to develop a deep learning framework...

Ecole
 Referenced in 1 article
[sw38101]
 process of solving as Markov decision processes. This means that, rather than trying to predict...

pymdp
 Referenced in 1 article
[sw42020]
 space and time, using partiallyobserved Markov Decision Processes (POMDPs) as a generative model class...

OptimizedDP
 Referenced in 1 article
[sw41829]
 implementation for continuous actionstate space Markov Decision Process (MDP) while leveraging userfriendliness...

pymgrid
 Referenced in 1 article
[sw36564]
 ability to model microgrids as Markov decision processes. pymgrid also introduces two precomputed list...

MALLET
 Referenced in 23 articles
[sw10602]
 Javabased package for statistical natural language processing, document classification, clustering, topic modeling, information extraction ... algorithms (including Naïve Bayes, Maximum Entropy, and Decision Trees), and code for evaluating classifier performance ... entity extraction from text. Algorithms include Hidden Markov Models, Maximum Entropy Markov Models, and Conditional...

Conrad
 Referenced in 1 article
[sw23028]
 predictors, which are based on generalized hidden Markov models (GHMMs) and trained by maximum likelihood ... which rely on heuristic and ad hoc decision rules to combine standalone gene predictors with ... their highly modular nature, simplifying the process of designing and testing potential indicators of gene...

Alpaga
 Referenced in 7 articles
[sw00032]
 Alpaga: A Tool for Solving Parity Games with...

DEA
 Referenced in 244 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

GAP
 Referenced in 3190 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

GreatSPN
 Referenced in 57 articles
[sw00384]
 GreatSPN2.0 is a software package for the modeling...

Isabelle
 Referenced in 714 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KNITRO
 Referenced in 197 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...