Search results
From MaRDI portal
- Property-Directed Inference of Universal Invariants or Proving Their Absence 2018-08-02 Paper Monadic Decomposition 2018-05-17 Paper Property-directed inference of universal...10 bytes (17 words) - 02:18, 12 December 2023
- and Application to Area-Level Data 2015-06-17 Paper Using Evidence of Mixed Populations to Select Variables for Clustering Very High-Dimensional Data 2015-06-15...10 bytes (18 words) - 16:22, 6 December 2023
- Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs 2009-01-22 Paper Negative Ternary Set-Sharing 2009-01-22 Paper A High-Level Implementation...10 bytes (19 words) - 03:58, 12 December 2023
- portfolio bit-vector solver using word-level propagation 2019-09-02 Paper An iterative approach to precondition inference using constrained Horn clauses 2018-12-04...10 bytes (18 words) - 00:40, 10 December 2023
- likelihood inference for truncated or biased-sampling data 2016-07-15 Paper Output Swarm Stability and Stabilization for High-Order Linear Swarm Systems 2016-06-13...10 bytes (17 words) - 20:33, 9 December 2023
- de/entity/Q5257047 2015-06-29 Paper High-dimensional Bayesian inference in nonparametric additive models 2015-01-14 Paper Bayesian high-dimensional screening via...10 bytes (17 words) - 19:53, 9 December 2023
- entanglement for three-qubit system in the generalized Coleman-Hepp model 2021-11-05 Paper Spin and quadrupole couplings for high spin equatorial intermediate...10 bytes (17 words) - 16:05, 10 December 2023
- mardi4nfdi.de/entity/Q5382245 2019-06-21 Paper Model on a class of automatic control system with hysteresis 2019-06-21 Paper A three-dimensional computational...10 bytes (17 words) - 14:31, 10 December 2023
- Reduction for Registration of High-Dimensional Data Sets 2017-10-27 Paper A novel approach to dictionary construction for automatic modulation classification...10 bytes (19 words) - 02:11, 12 December 2023
- Paper High order positivity-preserving discontinuous Galerkin schemes for radiative transfer equations on triangular meshes 2021-01-27 Paper High-Order...10 bytes (17 words) - 23:02, 10 December 2023
- markets 2022-05-11 Paper Construction of indicator system of regional economic system impact factors based on fractional differential equations 2022-04-06...10 bytes (17 words) - 16:31, 9 December 2023
- distribution-based similarity measure of concepts 2020-10-14 Paper Adaptive guaranteed-performance consensus design for high-order multiagent systems 2020-09-22...10 bytes (17 words) - 16:23, 10 December 2023
- One-sided inference about functionals of a density 1988-01-01 Paper Pathologies of some minimum distance estimators 1988-01-01 Paper The ``automatic robustness...10 bytes (19 words) - 06:42, 9 December 2023
- Graduated Property 2022-09-01 Paper Canonical derivations for high-level replacement systems 2022-08-16 Paper Amalgamated graph transformations and their...10 bytes (16 words) - 18:04, 12 December 2023
- medical survey 2020-02-20 Paper Automatic segmentation of optic disc and cup in retinal fundus images using improved two-layer level set method 2020-02-20 Paper...10 bytes (17 words) - 21:58, 9 December 2023
- PREDATOR WITH EFFECT OF WATER LEVEL FLUCTUATION 2021-03-26 Paper Scalable domain decomposition solvers for stochastic PDEs in high performance computing 2020-04-07...10 bytes (17 words) - 09:16, 7 October 2023
- Paper Long-term forecasting of time series based on linear fuzzy information granules and fuzzy inference system 2017-01-19 Paper New refinements of generalized...10 bytes (17 words) - 15:26, 8 December 2023
- 2007-10-01 Paper OrientX: An integrated, schema based native XML database system 2007-06-08 Paper Fuzzy knowledge representation and reasoning using a generalized...10 bytes (18 words) - 21:56, 9 December 2023
- method for multi-service network based on queuing network 2009-10-26 Paper An image-based automatic Arabic translation system 2009-07-29 Paper https://portal...10 bytes (17 words) - 23:41, 9 December 2023
- geometrical phase of a multi-level system in cyclic evolution 2011-09-06 Paper A new error concealment method for consecutive frame loss based on CELP speech 2010-11-25...10 bytes (16 words) - 16:09, 6 October 2023