Search results
From MaRDI portal
- Publication Date of Publication Type Mechanical verification of mutually recursive procedures 2019-01-15 Paper Problems with using separated variables for...10 bytes (14 words) - 20:08, 24 September 2023
- Publication Date of Publication Type Mechanical verification of mutually recursive procedures 2019-01-15 Paper The HOL-Omega Logic 2009-10-20 Paper Theorem...10 bytes (15 words) - 20:08, 24 September 2023
- 2011-11-11 Paper Frame rule for mutually recursive procedures manipulating pointers 2009-10-09 Paper An algebraic treatment of procedure refinement to support mechanical...10 bytes (13 words) - 02:21, 7 October 2023
- and progress of recursive procedures 1996-02-01 Paper Bounded delay for a free address 1995-11-19 Paper Proof rules for recursive procedures 1994-06-29 Paper...10 bytes (15 words) - 11:05, 9 December 2023
- Checking 2011-04-06 Paper Inference Rules for Proving the Equivalence of Recursive Procedures 2010-09-07 Paper Underapproximation for model-checking based on universal...10 bytes (13 words) - 19:10, 6 October 2023
- computer algebra procedures constructing matrices with prescribed eigenvalues and diagonal entries 2001-06-20 Paper Computer algebra procedures for verifying...10 bytes (15 words) - 10:15, 8 December 2023
- Ambiguity, Risk, and Asset Returns in Continuous Time 2006-06-16 Paper Recursive multiple-priors. 2004-01-23 Paper IID: Independently and indistinguishably...10 bytes (15 words) - 17:53, 9 December 2023
- using recursive demeaning and detrending procedures 2014-04-03 Paper Performance of nonlinear instrumental variable unit root tests using recursive detrending...10 bytes (13 words) - 11:28, 6 October 2023
- hypercubes with faulty vertices 2017-03-15 Paper Embedded connectivity of recursive networks 2016-10-21 Paper Fault-tolerance of \((n, k)\)-star networks 2016-06-20...10 bytes (14 words) - 09:11, 6 October 2023
- Paper A recursive algorithm for finding the minimum norm point in a polytope and a pair of closest points in two polytopes 1994-03-27 Paper A recursive algorithm...10 bytes (13 words) - 16:45, 11 December 2023
- Paper Perspectives of approximate dynamic programming 2016-11-09 Paper A Recursive Local Polynomial Approximation Method Using Dirichlet Clouds and Radial...10 bytes (15 words) - 08:25, 25 September 2023
- 2017-05-12 Paper Detection of Changes in INAR Models 2016-11-18 Paper Bootstrap Procedures for Online Monitoring of Changes in Autoregressive Models 2016-09-16 Paper...10 bytes (14 words) - 10:48, 8 December 2023
- Paper Two-Stage Multiscale Search for Sparse Targets 2018-07-18 Paper Recursive $\ell_{1,\infty}$ Group Lasso 2018-07-18 Paper Order-Preserving Factor...10 bytes (17 words) - 12:19, 11 December 2023
- Back 2022-02-08 Paper Lower-bounds on the Bayesian Risk in Estimation Procedures via $f$-Divergences 2022-02-05 Paper A Johnson--Lindenstrauss Framework...10 bytes (15 words) - 09:55, 24 September 2023
- A generic approach to the static analysis of concurrent programs with procedures 2015-09-11 Paper Negotiation Programs 2015-08-27 Paper Efficient algorithms...10 bytes (15 words) - 06:58, 7 October 2023
- and emergency orders 2023-03-09 Paper Functional equations with multiple recursive terms 2022-11-09 Paper A compound Poisson EOQ model for perishable items...10 bytes (16 words) - 12:43, 7 December 2023
- linear and nonlinear dynamics 2022-11-29 Paper Energy- and Area-Efficient Recursive-Conjugate-Gradient-Based MMSE Detector for Massive MIMO Systems 2022-09-23...10 bytes (13 words) - 02:20, 7 October 2023
- materials due to Maxwell interactions 2022-03-29 Paper Total coloring of recursive maximal planar graphs 2022-03-01 Paper Construction of acyclically 4-colourable...10 bytes (13 words) - 06:06, 9 December 2023
- \(F_4\) 2000-04-12 Paper Stability of the Mann and Ishikawa iteration procedures for \(\phi\)-strong pseudocontractions and nonlinear equations of the...10 bytes (12 words) - 10:19, 24 September 2023
- 2002-09-27 Paper Global asymptotic stability of a competitive equilibrium with recursive preferences 2002-09-22 Paper On the local thermal equilibrium in microchannel...10 bytes (12 words) - 12:53, 24 September 2023
