Search results
From MaRDI portal
- Blocking and other enhancements for bottom-up model generation methods 2020-03-03 Paper Model elimination without contrapositives 2020-01-21 Paper Hyper...10 bytes (16 words) - 17:45, 7 December 2023
- Schematic Cut Elimination and the Ordered Pigeonhole Principle 2016-09-05 Paper Cut-Elimination and Proof Schemata 2015-12-03 Paper Cut-elimination: syntax and...10 bytes (17 words) - 16:27, 7 December 2023
- mardi4nfdi.de/entity/Q4391447 1998-06-03 Paper The use of lemmas in the model elimination procedure 1997-09-17 Paper Near-Horn Prolog and the ancestry family...10 bytes (19 words) - 16:04, 10 December 2023
- LANs 2007-02-14 Paper Mathematical modelling for the contention-collision elimination access mode of the IVth system model to a multiple star LAN 2006-09-25...10 bytes (17 words) - 15:38, 13 December 2023
- hierarchical modeling of precipitation extremes from a regional climate model 2015-03-05 Paper Model Calibration via Deformation 2015-01-14 Paper Modeling Uncertainty...10 bytes (18 words) - 21:04, 9 December 2023
- 2015-12-17 Paper Confidence sets for model selection by F -testing 2015-10-26 Paper Cross-validation for selecting a model selection procedure 2015-09-01 Paper...10 bytes (17 words) - 16:17, 9 December 2023
- cut strategies for propositional model elimination 2000-06-07 Paper Autarky pruning in propositional model elimination reduces failure redundancy 1999-11-25...10 bytes (18 words) - 14:54, 8 December 2023
- Multi-experiment Parameter Identifiability of ODEs and Model Theory 2022-08-31 Paper Bounds for Elimination of Unknowns in Systems of Differential-Algebraic...10 bytes (18 words) - 00:43, 10 December 2023
- Localized bacterial infection in a distributed model for tissue inflammation 1983-01-01 Paper Analysis of a lumped model for tissue inflammation dynamics 1981-01-01...10 bytes (18 words) - 12:45, 12 December 2023
- epidemic model with vaccination 2022-01-07 Paper A stochastic analysis for a triple delayed SIQR epidemic model with vaccination and elimination strategies...10 bytes (16 words) - 20:00, 13 December 2023
- feedback 1994-03-22 Paper Elimination of limit cycles in direct form digital filters using error feedback 1993-06-29 Paper Elimination of zero-input and constant-input...10 bytes (18 words) - 16:08, 12 December 2023
- Markov random field model 1995-03-02 Paper Exponentially fading MLS estimation of two-dimensional noncausal and nonstationary SAR model parameters 1994-07-04...10 bytes (18 words) - 17:45, 9 December 2023
- sound and smoke: word embeddings for axiom selection 2020-03-10 Paper Model elimination without contrapositives 2020-01-21 Paper Hyper tableaux 2019-10-08...10 bytes (17 words) - 10:27, 13 December 2023
- sexually transmitted disease in a pair formation model with two types of pairs 1995-05-17 Paper A predator-prey model for zookplankton grazing on competing algal...10 bytes (18 words) - 23:56, 10 December 2023
- Paper Polar varieties and efficient real elimination 2001-01-01 Paper Straight-line programs in geometric elimination theory 2000-05-29 Paper Time-space tradeoffs...10 bytes (16 words) - 00:42, 9 December 2023
- mathematical model 2020-08-24 Paper Strategies for cancer stem cell elimination: insights from mathematical modeling 2018-09-26 Paper Mathematical model of radiation...10 bytes (16 words) - 20:22, 12 December 2023
- mathematical mechanistic model 2019-11-14 Paper Strategies for cancer stem cell elimination: insights from mathematical modeling 2018-09-26 Paper Asymptotic...10 bytes (16 words) - 02:15, 11 December 2023
- polynomial 2012-08-30 Paper Variant quantifier elimination 2012-05-23 Paper Variant real quantifier elimination 2012-05-13 Paper Solution formulas for cubic...10 bytes (16 words) - 11:55, 8 December 2023
- Conformance Checking of Model Programs 2010-02-02 Paper Satisfiability Modulo Theories: An Appetizer 2009-12-09 Paper Input-Output Model Programs 2009-08-20...10 bytes (17 words) - 02:18, 12 December 2023
- Africa using a Bayesian nonparametric non-stationary model 2010-04-01 Paper A mathematical model for the dynamics of malaria in mosquitoes feeding on a...10 bytes (18 words) - 21:09, 11 December 2023