Search Results - "Recursive functions"

On the Recursive Representation of the Permutation Flow and Job Shop Scheduling Problems and Some Extensions.

Authors: Kupriyanov, Boris Lazarev, Alexander Roschin, Alexander et al.

Source: Mathematics (2227-7390). Oct2025, Vol. 13 Issue 19, p3185. 28p.

Undecidability of the degree structure of primitive recursive m-reducibility.

Authors: Kalmurzayev, Birzhan S Bazhenov, Nikolay A Iskakov, Alibek M

Source: Journal of Logic & Computation. Jun2025, Vol. 35 Issue 4, p1-14. 14p.

Subjects: Recursive functions

Real-Time Maintenance Optimization with Industrial Internet of Things.

Authors: Bányai, Tamás Bányai, Ágota

Source: Applied Sciences (2076-3417); May2025, Vol. 15 Issue 10, p5640, 24p

Optimized Intrusion Detection Approach for Cyber‐Physical System Using Meta‐Learning With Stacked Generalization: An Ensemble Learning Inspired Approach.

Authors: Ji, Ram Kumar, Neerendra Padha, Devanand

Source: Security & Privacy. May/Jun2025, Vol. 8 Issue 3, p1-18. 18p.

Computably enumerable equivalence relations via primitive recursive reductions.

Authors: Kalmurzayev, Birzhan S Bazhenov, Nikolay A Iskakov, Alibek M

Source: Journal of Logic & Computation. Mar2025, Vol. 35 Issue 2, p1-31. 31p.

Subjects: Recursive functions, Natural numbers, Classification, Literature

Four Classes of Symmetric Sums over Cyclically Binomial Products.

Authors: Chen, Marta Na Chu, Wenchang

Source: Symmetry (20738994). Feb2025, Vol. 17 Issue 2, p209. 22p.

Inductive synthesis of structurally recursive functional programs from non-recursive expressions.

Authors: CHO, HANGYEOL LEE, WOOSUK

Source: Journal of Functional Programming. 2025, Vol. 35, p1-51. 51p.

On the relationships between some meta-mathematical properties of arithmetical theories.

Authors: Cheng, Yong¹ (AUTHOR) world-cyr@hotmail.com

Source: Logic Journal of the IGPL. Oct2024, Vol. 32 Issue 5, p880-908. 29p.

Functional Variant of Polynomial Analogue of Gandy's Fixed Point Theorem.

Authors: Nechesov, Andrey Goncharov, Sergey

Source: Mathematics (2227-7390). Nov2024, Vol. 12 Issue 21, p3429. 14p.

Witnessing flows in arithmetic.

Authors: Akbar Tabatabai, Amirhossein¹ (AUTHOR) amir.akbar@gmail.com

Source: Mathematical Structures in Computer Science. Nov2024, Vol. 34 Issue 10, p578-614. 37p.

A new perspective on completeness and finitist consistency.

Authors: Santos, Paulo Guilherme Sieg, Wilfried Kahle, Reinhard

Source: Journal of Logic & Computation. Sep2024, Vol. 34 Issue 6, p1179-1198. 20p.

Subjects: Incompleteness theorems, Recursive functions, Number systems, Axioms

Multiple Eulerian polynomials.

Authors: An, Ta Thi Hoai Hoan, Ngo Quoc

Source: Journal of Analysis. Feb2026, Vol. 34 Issue 1, p21-34. 14p.

Recursions for quadratic rotation symmetric functions weights.

Authors: Cusick, Thomas W.¹, cusick@buffalo.edu

Source: Discrete Applied Mathematics; Jan2026, Vol. 378, p93-101, 9p

Using Senders/Receivers.

Authors: TEODORESCU, LUCIAN RADU

Source: Overload; Feb2025, Issue 185, p4-10, 7p

On Signifiable Computability: Part I: Signification of Real Numbers, Sequences, and Types.

Authors: Kulyukin, Vladimir A.¹ (AUTHOR) vladimir.kulyukin@usu.edu

Source: Mathematics (2227-7390). Sep2024, Vol. 12 Issue 18, p2881. 17p.

ТЕОРЕМА ПРО НЕПОВНОТУ ДЛЯ ОБЧИСЛЮВАНИХ ЗАДАЧ.

Alternate Title: INCOMPLETENESS THEOREM FOR COMPUTABLE PROBLEMS.

Authors: ГУПАЛ, А. М. ΒΑΓΙC, Ο. Α.

Source: Cybernetics & Systems Analysis / Kibernetyka ta Systemnyi Analiz. 2024, Issue 5, p16-19. 4p.

Incompleteness Theorem for Computable Problems.

Authors: Gupal, A. M. Vagis, O. A.

Source: Cybernetics & Systems Analysis. Sep2024, Vol. 60 Issue 5, p696-699. 4p.

Numerical Solutions of Certain Time-Independent Quantum Mechanics Problems by Using the Python Environment.

Authors: Shahinyan, H. Ghazaryan, L. Babajanyan, A.

Source: Armenian Journal of Physics. 2024, Vol. 17 Issue 3, p43-51. 9p.

Punctual Spectra of Algebraic Structures and Isomorphisms.

Authors: Bazhenov, N. A. Kalimullin, I. Sh.

Source: Algebra & Logic. Jul2024, Vol. 63 Issue 3, p228-231. 4p.

Learning to Rank in Entity Relationship Graphs.

Authors: Raschid, Louiqa Sayyadi, Hassan Hristidis, Vagelis

Source: INFORMS Journal on Computing. Fall2019, Vol. 31 Issue 4, p671-688. 18p.