Search results
From MaRDI portal
- Σ(x)={{y}|y εx} 1987-01-01 Paper Decision algorithms for some fragments of analysis and related areas 1987-01-01 Paper Decision procedures for elementary sublanguages...10 bytes (17 words) - 22:40, 12 December 2023
- Publication Type Some Multiple Decision Procedures for Comparing Several Population Proportions 2014-08-18 Paper Multiple Decision Procedures for Inference in Regression...10 bytes (18 words) - 22:37, 12 December 2023
- proving 2015-07-02 Paper Rewrite-Based Decision Procedures 2013-12-06 Paper Rewrite-Based Satisfiability Procedures for Recursive Data Structures 2013-12-06...10 bytes (19 words) - 15:52, 10 December 2023
- abstraction 2019-01-15 Paper Building decision procedures for modal logics from propositional decision procedures — The case study of modal K 2019-01-15...10 bytes (17 words) - 13:38, 8 December 2023
- de/entity/Q3812202 1988-01-01 Paper Decision algorithms for some fragments of analysis and related areas 1987-01-01 Paper Decision procedures for elementary sublanguages...10 bytes (19 words) - 16:28, 7 December 2023
- populations with a control 1985-01-01 Paper Sequential selection procedures. A decision theoretic approach 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3683335...10 bytes (18 words) - 17:51, 11 December 2023
- integration 2019-08-28 Paper Building decision procedures for modal logics from propositional decision procedures — The case study of modal K 2019-01-15...10 bytes (16 words) - 04:35, 12 December 2023
- 2006-06-16 Paper Decision theory results for one-sided multiple comparison procedures 2005-06-23 Paper Characterization of Bayes procedures for multiple endpoint...10 bytes (18 words) - 15:48, 9 December 2023
- Solution Procedures for Partially Observed Markov Decision Processes 1989-01-01 Paper Reward revision and the average reward Markov decision process 1987-01-01...10 bytes (18 words) - 10:23, 13 December 2023
- de/entity/Q3489978 1988-01-01 Paper Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of...10 bytes (17 words) - 00:41, 11 December 2023
- permutation tests in biostatistics 2014-09-09 Paper Bayesian decision theoretic multiple comparison procedures: An application to phage display data 2013-05-28 Paper...10 bytes (20 words) - 20:38, 11 December 2023
- 2021-11-30 Paper A hybrid decision support model using grey relational analysis and the additive-veto model for solving multicriteria decision-making problems:...10 bytes (21 words) - 02:24, 11 December 2023
- reasoning and decision procedures 2019-10-01 Paper Constrained image generation using binarized neural networks with decision procedures 2018-08-10 Paper...10 bytes (17 words) - 02:18, 12 December 2023
- Publication Date of Publication Type Some Multiple Decision Procedures for Comparing Several Population Proportions 2014-08-18 Paper Boundary element modeling...10 bytes (18 words) - 20:40, 11 December 2023
- Publication Type Coherent Hypothesis Testing 2023-05-23 Paper Teaching Decision Theory Proof Strategies Using a Crowdsourcing Problem 2023-05-23 Paper...10 bytes (18 words) - 23:36, 10 December 2023
- Publication Type On facilitating group decision making processes with VIP analysis 2024-04-05 Paper Group decision making with incomplete information: a...10 bytes (18 words) - 11:03, 11 December 2023
- Paper Optimal decision for the market graph identification problem in a sign similarity network 2018-11-12 Paper Statistical procedures for the market...10 bytes (18 words) - 01:57, 10 December 2023
- for two-dimensional, multifinger frictional grips 1992-08-13 Paper Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic...10 bytes (19 words) - 07:53, 12 December 2023
- Observed Markov Decision Processes 1989-01-01 Paper Markov decision processes 1989-01-01 Paper Reward revision and the average reward Markov decision process 1987-01-01...10 bytes (20 words) - 23:46, 9 December 2023
- Gaussian processes 2004-11-22 Paper Sufficiency in sequentially planned decision procedures 2004-08-30 Paper Linear sufficiency and linear admissibility in a...10 bytes (20 words) - 06:48, 13 December 2023
