• pomp

  • Referenced in 47 articles [sw10664]
  • working with partially observed Markov processes (POMPs, AKA stochastic dynamical systems, state-space models). ’pomp...
  • POMDPS

  • Referenced in 39 articles [sw03055]
  • Online planning algorithms for POMDPS. Partially Observable Markov Decision Processes (POMDPs) provide a rich framework ... bound improvement). Our experimental results indicate that state-of-the-art online heuristic search methods...
  • SMACS

  • Referenced in 2 articles [sw06144]
  • state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic...
  • prediction-prostate-surveillance

  • Referenced in 3 articles [sw23312]
  • extended to accommodate measurement error in cancer state determinations based on biopsied tissue, clinical measurements ... random, and informative partial observation of the true state. The proposed model enables estimation...
  • BoolFilter

  • Referenced in 2 articles [sw22774]
  • approximate state estimation as well as network inference of Partially-Observed Boolean Dynamical Systems...
  • POGTGolog

  • Referenced in 3 articles [sw32303]
  • under partial observability, where the agents may also have different initial belief states ... same rewards. POGTGolog allows for specifying a partial control program in a high-level logical...
  • VarAnneal

  • Referenced in 1 article [sw32279]
  • perform state and parameter estimation in partially observed dynamical systems. This method requires optimization ... action” that balances measurement error (deviations of state estimates from observations) and model error (deviations...
  • panelPomp

  • Referenced in 1 article [sw29336]
  • PanelPOMP models, i.e., with Partially Observed Markov Processes (AKA state-space models, stochastic dynamical systems...
  • abc-sde

  • Referenced in 3 articles [sw24744]
  • state-space” modelling framework. Both one- and multi-dimensional SDE systems are supported and partially ... observed systems are easily accommodated. Variance components for the ”measurement error” affecting the data/observations...
  • AdaPT

  • Referenced in 7 articles [sw30027]
  • analyst proposes a rejection threshold and observes partially censored (p)-values, estimates the false discovery ... performance of AdaPT by comparing it with state of the art methods in five real...
  • epiPOMS

  • Referenced in 1 article [sw41421]
  • tools for simulating and analysing partially observed multi-strain (POMS) epidemic data. The epidemic models ... considered are discrete-time individual based multi-state models describing the transmission dynamics...
  • POMDPs.jl

  • Referenced in 4 articles [sw21537]
  • solving Markov decision processes (MDPs) and partially observable MDPs (POMDPs). POMDPs.jl allows users to specify ... JuliaPOMDP community also provides a number of state-of-the-art MDP and POMDP solvers...
  • GAIN

  • Referenced in 4 articles [sw33872]
  • attempts to determine which components were actually observed and which were imputed. To ensure that ... hint vector. The hint reveals to D partial information about the missingness of the original ... datasets and found that GAIN significantly outperforms state-of-the-art imputation methods...
  • pymdp

  • Referenced in 1 article [sw42020]
  • discrete space and time, using partially-observed Markov Decision Processes (POMDPs) as a generative model ... Python library for active inference in discrete state spaces...
  • EpiStruct

  • Referenced in 2 articles [sw34639]
  • support the paper: Importance sampling for partially observed temporal epidemic models. We present an importance ... Markovian epidemic models that exactly match observations, taken to be the number of a single ... efficient particle filter that targets the states of a system and hence estimate the likelihood...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ARMS

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

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

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