Search results
From MaRDI portal
- Publication Date of Publication Type An approximative inference method for solving ∃∀SO satisfiability problems 2012-12-03 Paper Answer Set Programming’s...10 bytes (16 words) - 16:36, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q5184667 1984-01-01 Paper An approximative method for discrete optimal control problems and its application to a special...10 bytes (18 words) - 13:54, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q5398066 2014-02-25 Paper An approximative inference method for solving ∃∀SO satisfiability problems 2012-12-03 Paper Approximation...10 bytes (16 words) - 17:34, 6 October 2023
- Programming’s Contributions to Classical Logic 2011-05-19 Paper An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems 2010-10-01 Paper Grounding...10 bytes (16 words) - 03:07, 7 October 2023
- Performance of Some Approximate Subgradient Methods over Nonlinearly Constrained Networks 2011-04-07 Paper Approximate Subgradient Methods for Lagrangian Relaxations...10 bytes (17 words) - 23:15, 9 December 2023
- Paper Reprint of: ``Approximate Taylor methods for ODEs 2018-07-18 Paper Approximate Taylor methods for ODEs 2018-06-27 Paper An approximate Lax-Wendroff-type...10 bytes (16 words) - 22:51, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q4906886 2013-02-28 Paper An approximative inference method for solving ∃∀SO satisfiability problems 2012-12-03 Paper Approximation...10 bytes (16 words) - 08:52, 7 October 2023
- of Publication Type Improved L-P method for solving strongly nonlinear problems 2002-04-18 Paper An approximate method for determining the velocity profile...10 bytes (17 words) - 09:43, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q5398039 2014-02-25 Paper An approximative inference method for solving ∃∀SO satisfiability problems 2012-12-03 Paper Approximation...10 bytes (17 words) - 00:41, 25 September 2023
- of Publication Type Approximate integration of canonical second-order ordinary differential equations by the Chebyshev series method with an error estimation...10 bytes (18 words) - 10:46, 6 October 2023
- of Publication Type Approximate integration of canonical second-order ordinary differential equations by the Chebyshev series method with an error estimation...10 bytes (18 words) - 10:46, 6 October 2023
- proximinality in nonreflexive Banach spaces 2022-06-24 Paper Characterization of approximative compactness in Banach spaces 2022-03-21 Paper On weak well-posedness...10 bytes (17 words) - 16:13, 10 December 2023
- systems and canonical forms of their discrete approximations 2011-10-25 Paper Method for constructing Frobenius canonical forms of linear nonstationary observation...10 bytes (18 words) - 14:21, 7 December 2023
- metric projection and solar properties 2019-05-23 Paper Iteration method of approximate solution of the Cauchy problem for a singularly perturbed weakly...10 bytes (18 words) - 10:59, 9 December 2023
- holomorphic and harmonic functions by Fejér means 2020-03-25 Paper Approximative characteristics of modular Orlicz spaces 2019-07-22 Paper Approximation of...10 bytes (18 words) - 14:06, 10 December 2023
- risk vectors 2012-02-10 Paper On approximative solutions of optimal stopping problems 2012-01-17 Paper On approximative solutions of multistopping problems...10 bytes (17 words) - 23:18, 8 December 2023
- integrals of products of functions by the method of tensor products of functionals 2020-04-17 Paper On some special effects in theory on numerical integration...10 bytes (18 words) - 03:46, 13 December 2023
- Discretization Method for Markov State Models Applied to Explicit Water Peptide Folding Simulations 2013-07-09 Paper A coarse graining method for the dimension...10 bytes (16 words) - 01:09, 12 December 2023
- 2018-01-05 Paper Approximative properties of the summation methods of Fourier integrals 2016-01-19 Paper Approximate properties of methods of summability...10 bytes (18 words) - 04:31, 13 December 2023
- https://portal.mardi4nfdi.de/entity/Q4666988 2005-04-19 Paper Approximative solution methods for multiobjective combinatorial optimization. With discussion...10 bytes (16 words) - 17:54, 6 October 2023
