Search results
From MaRDI portal
- Publication Date of Publication Type Glushkov's evidence algorithm 2014-10-27 Paper Evidence Algorithm and System for Automated Deduction: A Retrospective...10 bytes (17 words) - 03:14, 12 December 2023
- traces in the insertion modeling system 2015-11-26 Paper Glushkov's evidence algorithm 2014-10-27 Paper Properties of a predicate transformer of the VRS...10 bytes (18 words) - 03:14, 12 December 2023
- Cyber-physical systems: the linguistic aspect 2020-12-14 Paper Glushkov's evidence algorithm 2014-10-27 Paper Parallel inference search in logical calculus based...10 bytes (18 words) - 03:14, 12 December 2023
- Publication Date of Publication Type Evidence Algorithm and System for Automated Deduction: A Retrospective View 2010-08-24 Paper System for Automated...10 bytes (16 words) - 02:55, 7 October 2023
- Life as thermodynamic evidence of algorithmic structure in natural environments 2014-09-08 Paper Numerical evaluation of algorithmic complexity for short...10 bytes (17 words) - 23:15, 9 December 2023
- symbolic shortest path algorithm for computing subgame-perfect Nash equilibria 2015-10-16 Paper Life as thermodynamic evidence of algorithmic structure in natural...10 bytes (18 words) - 19:54, 11 December 2023
- Publication Date of Publication Type Life as thermodynamic evidence of algorithmic structure in natural environments 2014-09-08 Paper Learning, Social...10 bytes (16 words) - 02:05, 7 October 2023
- with a genetic hybrid algorithm 2001-02-09 Paper Multiple input transfer function noise modelling in the time domain, Empirical evidence on Scandinavian stock...10 bytes (16 words) - 23:44, 8 December 2023
- the Rescorla-Wagner rule? 2015-11-11 Paper Life as thermodynamic evidence of algorithmic structure in natural environments 2014-09-08 Paper...10 bytes (20 words) - 12:16, 7 October 2023
- ``Quantification of the weight of fingerprint evidence using a ROC-based approximate Bayesian computation algorithm for model selection 2021-10-11 Paper Quantification...10 bytes (18 words) - 06:53, 12 December 2023
- from fuzzy data using the EM algorithm 2012-06-19 Paper Maximum likelihood estimation from fuzzy data using the EM algorithm 2011-11-01 Paper Ensemble clustering...10 bytes (14 words) - 14:50, 6 December 2023
- Experimental evidence of bank runs as pure coordination failures 2018-11-01 Paper A combination model for image denoising 2017-03-23 Paper A new algorithm for total...10 bytes (17 words) - 05:07, 12 December 2023
- Publication Date of Publication Type Evidence Filtering 2018-06-27 Paper Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer...10 bytes (17 words) - 15:41, 11 December 2023
- in uncertain, imprecise and multi-experts contexts: the application of evidence theory 2011-11-22 Paper A Bi-objective Optimization Model to Eliciting...10 bytes (18 words) - 21:51, 10 December 2023
- of hints. An approach to the Dempster-Shafer theory of evidence 1995-07-18 Paper Theory of evidence ? A survey of its mathematical foundations, applications...10 bytes (18 words) - 21:15, 9 December 2023
- ``Quantification of the weight of fingerprint evidence using a ROC-based approximate Bayesian computation algorithm for model selection 2021-10-11 Paper Quantification...10 bytes (16 words) - 23:01, 24 September 2023
- with performance assessment using brain storm optimization algorithm 2016-11-01 Paper EVIDENCE OF VARIATION OF THE ACCRETION FLOW GEOMETRY IN GRS 1915 +...10 bytes (18 words) - 04:12, 13 December 2023
- speeded‐up robust feature 2020-10-14 Paper Learning algorithms to evaluate forensic glass evidence 2019-08-15 Paper A joint design for functional data...10 bytes (17 words) - 00:14, 13 December 2023
- 2019-10-18 Paper Dynamic nested sampling: an improved algorithm for parameter estimation and evidence calculation 2019-10-18 Paper Static energetics in gravity...10 bytes (18 words) - 18:43, 13 December 2023
- 1984-01-01 Paper Algorithm AS 195: Multivariate Normal Probabilities with Error Bound 1984-01-01 Paper User-Oriented Inference 1983-01-01 Paper Algorithm AS 184:...10 bytes (18 words) - 15:45, 8 December 2023