Works matching Recursive functions
Results: 1773
Isomorphism of the Index Sets of Discrete Families of General Recursive Functions.
- Published in:
- Siberian Mathematical Journal, 2004, v. 45, n. 5, p. 935
- By:
- Publication type:
- Article
System and Method for Detecting Potential Places for Memoization in Recursive Functions of a Computer Programming Code.
- Published in:
- International Journal of Advanced Research in Computer Science, 2014, v. 5, n. 7, p. 258
- By:
- Publication type:
- Article
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions.
- Published in:
- New Generation Computing, 2018, v. 36, n. 3, p. 233, doi. 10.1007/s00354-018-0039-1
- By:
- Publication type:
- Article
On the Computability of Primitive Recursive Functions by Feedforward Artificial Neural Networks.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 20, p. 4309, doi. 10.3390/math11204309
- By:
- Publication type:
- Article
On Correspondences between Feedforward Artificial Neural Networks on Finite Memory Automata and Classes of Primitive Recursive Functions.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 12, p. 2620, doi. 10.3390/math11122620
- By:
- Publication type:
- Article
ON MARKOVIAN DECISION PROGRAMMING WITH RECURSIVE REWARD FUNCTIONS.
- Published in:
- Annals of Operations Research, 1990, v. 24, n. 1-4, p. 145, doi. 10.1007/BF02216820
- By:
- Publication type:
- Article
Recursive functions on conditional Galton‐Watson trees.
- Published in:
- Random Structures & Algorithms, 2020, v. 57, n. 2, p. 304, doi. 10.1002/rsa.20921
- By:
- Publication type:
- Article
Recursive functions and existentially closed structures.
- Published in:
- Journal of Mathematical Logic, 2020, v. 20, n. 1, p. N.PAG, doi. 10.1142/S0219061320500026
- By:
- Publication type:
- Article
Type Inference of Simple Recursive Functions in Scala.
- Published in:
- Acta Cybernetica, 2022, v. 25, n. 4, p. 797, doi. 10.14232/actacyb.282762
- By:
- Publication type:
- Article
Recursive Relations of the Cost Functions for the Least-Squares Algorithms for Multivariable Systems.
- Published in:
- Circuits, Systems & Signal Processing, 2013, v. 32, n. 1, p. 83, doi. 10.1007/s00034-012-9448-4
- By:
- Publication type:
- Article
A Macro Program for the Primitive Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 8, p. 121, doi. 10.1002/malq.19910370803
- By:
- Publication type:
- Article
A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 279, doi. 10.1002/malq.19850311410
- By:
- Publication type:
- Article
Recursive structure of the Gauß hypergeometric function and boundary/crosscap conformal block.
- Published in:
- Modern Physics Letters A, 2021, v. 36, n. 39, p. 1, doi. 10.1142/S0217732321502722
- By:
- Publication type:
- Article
Fractal Recursive Function Possessing Hyperexponential Growth.
- Published in:
- Naukovi visti NTUU - KPI, 2012, v. 84, n. 4, p. 104
- By:
- Publication type:
- Article
Quadratic recursive towers of function fields over F<sub>2</sub>.
- Published in:
- Turkish Journal of Mathematics, 2015, v. 39, n. 5, p. 665, doi. 10.3906/mat-1411-42
- By:
- Publication type:
- Article
Inhomogeneity of the p-s-Degrees of Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 385, doi. 10.1002/1521-3870(200008)46:3<385::AID-MALQ385>3.0.CO;2-D
- By:
- Publication type:
- Article
On the Algebraic Structure of Primitive Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 35/36, p. 551, doi. 10.1002/malq.19850313503
- By:
- Publication type:
- Article
Sustainable recursive social welfare functions.
- Published in:
- Economic Theory, 2012, v. 49, n. 2, p. 267, doi. 10.1007/s00199-010-0573-7
- By:
- Publication type:
- Article
On Evolving of Recursive Functions using λ-abstraction and Higher-order Functions.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 5, p. 515, doi. 10.1093/jigpal/jzi039
- By:
- Publication type:
- Article
Empirical studies of functional programming learners evaluating recursive functions.
- Published in:
- Instructional Science, 1993, v. 22, n. 5, p. 385
- By:
- Publication type:
- Article
An early history of recursive functions and computability from Gödel to Turing.
- Published in:
- 2012
- By:
- Publication type:
- Book Review
Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 101, doi. 10.1007/s11219-011-9148-5
- By:
- Publication type:
- Article
Characterizing the elementary recursive functions by a fragment of Gödel's T.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 7, p. 475, doi. 10.1007/s001530050160
- By:
- Publication type:
- Article
On a recursive class of plateaued Boolean functions.
- Published in:
- Discrete Mathematics & Applications, 2010, v. 20, n. 5-6, p. 537, doi. 10.1515/DMA.2010.033
- By:
- Publication type:
- Article
Factors of Functions, AC and Recursive Analogues.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 73, doi. 10.1002/1521-3870(200201)48:1<73::AID-MALQ73>3.0.CO;2-C
- By:
- Publication type:
- Article
RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS.
- Published in:
- Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 169, doi. 10.1002/malq.19920380112
- By:
- Publication type:
- Article
An Extension of an Automated Termination Method of Recursive Functions.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 3, p. 361, doi. 10.1142/S0129054102001163
- By:
- Publication type:
- Article
A recursive core for partition function form games.
- Published in:
- Theory & Decision, 2007, v. 63, n. 1, p. 41, doi. 10.1007/s11238-007-9030-x
- By:
- Publication type:
- Article
How the cerebellum learns to build a sequence: Rabbits can learn the biological analogue of a simple recursive function by relying only on the neurons of the cerebellum.
- Published in:
- eLife, 2018, p. 1, doi. 10.7554/eLife.37443
- By:
- Publication type:
- Article
Various Unity-Bounded Functions for Designing Recursive Digital Filters with Variable Notch-Frequency and Guaranteed Stability.
- Published in:
- Journal of Circuits, Systems & Computers, 2023, v. 32, n. 6, p. 1, doi. 10.1142/S0218126623500950
- By:
- Publication type:
- Article
On Some Formulas for Kaprekar Constants.
- Published in:
- Symmetry (20738994), 2019, v. 11, n. 7, p. 885, doi. 10.3390/sym11070885
- By:
- Publication type:
- Article
e-Principal numberings.
- Published in:
- Siberian Mathematical Journal, 2008, v. 49, n. 2, p. 239, doi. 10.1007/s11202-008-0024-x
- By:
- Publication type:
- Article
ON RUDIMENTARITY, PRIMITIVE RECURSIVITY AND REPRESENTABILITY.
- Published in:
- Reports on Mathematical Logic, 2020, n. 55, p. 73, doi. 10.4467/20842589RM.20.004.12436
- By:
- Publication type:
- Article
Undecidability over Continuous Time.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 649, doi. 10.1093/jigpal/jzl004
- By:
- Publication type:
- Article
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY.
- Published in:
- Review of Symbolic Logic, 2022, v. 15, n. 3, p. 693, doi. 10.1017/S1755020321000174
- By:
- Publication type:
- Article
A Computational Model of the Belief System Under the Scope of Social Communication.
- Published in:
- Foundations of Science, 2016, v. 21, n. 1, p. 215, doi. 10.1007/s10699-015-9415-1
- By:
- Publication type:
- Article
Parametrization of the solutions of the equation x x ... x x = x x ... x x in a free monoid.
- Published in:
- Mathematical Notes, 2011, v. 89, n. 5/6, p. 839, doi. 10.1134/S0001434611050257
- By:
- Publication type:
- Article
Tracking and Data Association Based on Reinforcement Learning.
- Published in:
- Electronics (2079-9292), 2023, v. 12, n. 11, p. 2388, doi. 10.3390/electronics12112388
- By:
- Publication type:
- Article
Accurate prediction of different forecast horizons wind speed using a recursive radial basis function neural network.
- Published in:
- Protection & Control of Modern Power Systems, 2020, v. 5, n. 1, p. N.PAG, doi. 10.1186/s41601-020-00166-8
- By:
- Publication type:
- Article
On nested simple recursion.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 5/6, p. 617, doi. 10.1007/s00153-011-0236-9
- By:
- Publication type:
- Article
On the possibility of using recursive trigonometric functions to calculate the distribution of nonequilibrium minority charge carriers in a two-layer semiconductor material.
- Published in:
- Journal of Surface Investigation: X-Ray, Synchrotron & Neutron Techniques, 2015, v. 9, n. 5, p. 929, doi. 10.1134/S102745101505016X
- By:
- Publication type:
- Article
On Proofs of Properties of Semirecursive Sets.
- Published in:
- Journal of Mathematical Sciences, 2023, v. 276, n. 3, p. 423, doi. 10.1007/s10958-023-06759-6
- By:
- Publication type:
- Article
On Signifiable Computability: Part I: Signification of Real Numbers, Sequences, and Types.
- Published in:
- Mathematics (2227-7390), 2024, v. 12, n. 18, p. 2881, doi. 10.3390/math12182881
- By:
- Publication type:
- Article
Translating XML Update Language into SQL.
- Published in:
- Journal of Computing & Information Technology, 2006, v. 14, n. 2, p. 81, doi. 10.2498/cit.2006.02.01
- By:
- Publication type:
- Article
The intrinsic difficulty of recursive functions.
- Published in:
- Studia Logica, 1996, v. 56, n. 3, p. 427, doi. 10.1007/BF00372775
- By:
- Publication type:
- Article
РЕКУРЕНТНИТЕ РЕДИЦИ В УЧИЛИЩНИЯ КУРС ПО МАТЕМАТИКА И МЕЖДУПРЕДМЕТНИТЕ ИМ ВРЪЗКИ С ИНФОРМАТИКА И ИНФОРМАЦИОННИ ТЕХНОЛОГИИ.
- Published in:
- Mathematics & Informatics, 2023, v. 66, n. 4, p. 390, doi. 10.53656/math2023-4-5-rec
- By:
- Publication type:
- Article
A recursive prefix in Neasu.
- Published in:
- Linguistic Review, 2022, v. 39, n. 2, p. 233, doi. 10.1515/tlr-2022-2086
- By:
- Publication type:
- Article
Dominance dimension: a common parametric formulation for integer-valued scientific impact indices.
- Published in:
- Scientometrics, 2010, v. 84, n. 1, p. 43, doi. 10.1007/s11192-009-0091-1
- By:
- Publication type:
- Article
Solomon Marcus Contributions to Theoretical Computer Science and Applications.
- Published in:
- Axioms (2075-1680), 2021, v. 10, n. 2, p. 54, doi. 10.3390/axioms10020054
- By:
- Publication type:
- Article
Towards unbiased benchmarking of evolutionary and hybrid algorithms for real-valued optimisation.
- Published in:
- Connection Science, 2007, v. 19, n. 4, p. 361, doi. 10.1080/09540090701725581
- By:
- Publication type:
- Article