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