„Recursive functions“
Suchergebnisse
1.000+ Treffer
-
Identification of Monetary Policy Shocks – Measurement and Effectiveness of the Monetary Policy Shocks (Evidence from Pakistan)
-
Orthogonal rational matrix‐valued functions on the unit circle: Recurrence relations and a Favard‐type theorem
-
Logic and Structure
-
2-Variable weighted shifts and recursiveness: toral Aluthge transform and subnormality
-
An effective recursive formula for the Frobenius covariants in matrix functions
-
Recursive calculation of ladder circuit frequency functions
-
Viability of Recursive SQL Functions
-
Algebraic decoding over finite and complex fields using reliability information
-
Plottable real number functions and the computable graph theorem
-
Recursive formulas for MacMahon and Ramanujan q-series
-
A novel recursive method to reconstruct multivariate functions on the unit cube
-
Recursive functions on the plane and FPTASs for production planning and scheduling problems with two facilities
-
A recursive algorithm for multivariate risk measures and a set-valued Bellman’s principle
-
Approximate Degree Composition for Recursive Functions
-
T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations
-
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms
-
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)
-
Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq
-
Intrinsic Complexity of Recursive Functions on Natural Numbers with Standard Order
-
Formal Verification of Termination Criteria for First-Order Recursive Functions