Výsledky vyhľadávania - "COMPUTABLE functions"

A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations.

Autori: Blanc, Manon Bournez, Olivier

Zdroj: International Journal of Foundations of Computer Science. Nov2025, Vol. 36 Issue 7, p989-1016. 28p.

Predmety: COMPUTABLE functions, COMPUTABLE analysis, ORDINARY differential equations, LINEAR differential equations, POLYNOMIAL time algorithms, MATHEMATICAL functions, COMPUTATIONAL complexity

Constructivity conditions on immune sets.

Autori: Case, John¹ (AUTHOR) case@udel.edu

Zdroj: Archive for Mathematical Logic. Jul2025, Vol. 64 Issue 5, p819-841. 23p.

Predmety: *COMPUTABLE functions, *MEDICAL sciences, *IMMUNOLOGY, *IMMUNITY, *MOTIVATION (Psychology)

On learning down-sets in quasi-orders, and ideals in Boolean algebras.

Autori: Bazhenov, Nikolay Mustafa, Manat

Zdroj: Theory of Computing Systems. Mar2025, Vol. 69 Issue 1, p1-15. 15p.

Predmety: *MATHEMATICS, IDEALS (Algebra), COMPUTABLE functions, ALGEBRA, BOOLEAN algebra, FAMILIES

TIGHT ERROR BOUNDS FOR THE SIGN-CONSTRAINED STIEFEL MANIFOLD.

Autori: XIAOJUN CHEN YIFAN HE ZAIKUN ZHANG

Zdroj: SIAM Journal on Optimization. 2025, Vol. 35 Issue 1, p302-329. 28p.

Predmety: COMPUTABLE functions, CONTINUOUS functions

FPT algorithms for a special block-structured integer program with applications in scheduling.

Autori: Chen, Hua Chen, Lin Zhang, Guochuan

Zdroj: Mathematical Programming. Nov2024, Vol. 208 Issue 1/2, p463-496. 34p.

Predmety: *INTEGER programming, COMPUTABLE functions, ABSOLUTE value, INTEGERS, LOGARITHMS

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space.

Autori: Cole, Joshua A.

Zdroj: Archive for Mathematical Logic; Nov2025, Vol. 64 Issue 7/8, p997-1005, 9p

Predmety: BAIRE spaces, CANTOR sets, COMPUTABLE functions, MATHEMATICAL equivalence

On Gödel's 'Much Weaker' Assumption.

Autori: Salehi, Saeed

Zdroj: History & Philosophy of Logic; Nov2025, Vol. 46 Issue 4, p488-497, 10p

Predmety: INCOMPLETENESS theorems, CONSTRUCTIVE mathematics, PROOF theory, COGNITIVE consistency, COMPUTABLE functions

Complexity of Finite Semigroups: History and Decidability.

Autori: Margolis, Stuart Rhodes, John Schilling, Anne

Zdroj: Semigroup Forum; Oct2025, Vol. 111 Issue 2, p331-350, 20p

Predmety: SEMIGROUPS (Algebra), COMPUTATIONAL complexity, COMPUTABLE functions, MATHEMATICS, DECIDABILITY (Mathematical logic), ALGEBRA, MATHEMATICAL analysis

Failure modes for structural highness notionsOpen Access.

Autori: Calvert, Wesley Franklin, Johanna N Y Turetsky, Dan

Zdroj: Journal of Logic & Computation; Oct2025, Vol. 35 Issue 7, p1-17, 17p

Predmety: COMPUTABLE functions, ISOMORPHISM (Mathematics), SCHOLARLY method

COUNTING SUBGRAPHS IN SOMEWHERE DENSE GRAPHS.

Autori: BRESSAN, MARCO GOLDBERG, LESLIE ANN MEEKS, KITTY a ďalší

Zdroj: SIAM Journal on Computing. 2024, Vol. 53 Issue 5, p1409-1438. 30p.

Predmety: DENSE graphs, COMPUTABLE functions, INDEPENDENT sets, EXPONENTIAL dichotomy, COMPLEXITY (Philosophy), BIPARTITE graphs

Degrees of categoricity and treeable degrees.

Autori: Csima, Barbara F. Rossegger, Dino

Zdroj: Journal of Mathematical Logic. Dec2024, Vol. 24 Issue 3, p1-18. 18p.

Predmety: *COMPUTABLE functions, *STRUCTURAL analysis (Engineering), *TOPOLOGICAL degree, *PICTURES

Turing Spectra of the Automorphism Groups of the Order on the Rationals.

Autori: Morozov, A. S.^1,2 (AUTHOR) morozov@math.nsc.ru

Zdroj: Siberian Mathematical Journal. Nov2024, Vol. 65 Issue 6, p1373-1378. 6p.

Predmety: *AUTOMORPHISM groups, *COMPUTABLE functions, *AUTOMORPHISMS

MC-biquandles and MC-biquandle coloring quivers.

Autori: Choi, Seonmi Nelson, Sam

Zdroj: Journal of Knot Theory & Its Ramifications. Oct2024, Vol. 33 Issue 11, p1-14. 14p.

Predmety: *COMPUTABLE functions

FEFERMAN'S COMPLETENESS THEOREM.

Autori: PAKHOMOV, FEDOR RATHJEN, MICHAEL ROSSEGGER, DINO

Zdroj: Bulletin of Symbolic Logic; Sep2025, Vol. 31 Issue 3, p462-487, 26p

Predmety: COMPLETENESS theorem, MATHEMATICAL logic, MATHEMATICS theorems, EXPOSITION (Rhetoric), REFLECTION (Philosophy), COMPUTABLE functions

Linear Bounds for the Lengths of Geodesics on Manifolds with Curvature Bounded Below.

Autori: Beach, Isabel Contreras-Peruyero, Haydée Rotman, Regina a ďalší

Zdroj: Journal of Geometric Analysis; Aug2025, Vol. 35 Issue 8, p1-22, 22p

Predmety: GEODESICS, CURVATURE, RIEMANNIAN manifolds, LENGTH measurement, HOMOTOPY theory, COMPUTABLE functions, TOPOLOGY

A NOTE ON THE STRUCTURE OF MINIMAL DARK CEERS.

Alternate Title: МИНИМАЛ ҚАРАҢҒЫ ЕСЕПТЕЛІМДІ САНАЛЫМДЫ ЭКВИВАЛЕНТ ҚАТЫНАСТАРДЫҢ ҚҰРЫЛЫМЫ ЖАЙЫНДА. (Kazakh)
О СТРУКТУРЕ МИНИМАЛЬНЫХ ТЕМНЫХ ВЫЧИСЛИМО ПЕРЕЧИСЛИМЫХ ОТНОШЕНИЙ ЭКВИВАЛЕНТНОСТИ. (Russian)

Autori: Badaev, S. A. Iskakov, A. M. Kalmurzayev, B. S. a ďalší

Zdroj: Herald of the Kazakh-British Technical University; Jul-Sep2025, Vol. 22 Issue 3, p199-209, 11p

Predmety: EQUIVALENCE relations (Set theory), COMPUTABLE functions

Evaluative presentations Open Access.

Autori: McNicholl, Timothy H

Zdroj: Journal of Logic & Computation; Jul2025, Vol. 35 Issue 5, p1-11, 11p

Predmety: C*-algebras, EXISTENCE theorems, COMPUTABLE functions, TOPOLOGICAL spaces

Synthesizing Computable Functions from Rational Specifications Over Infinite Words.

Autori: Filiot, Emmanuel Winter, Sarah

Zdroj: International Journal of Foundations of Computer Science. Jan/Feb2024, Vol. 35 Issue 1/2, p179-214. 36p.

Predmety: COMPUTABLE functions, TRANSDUCERS, VOCABULARY

CEA-Operators and the Ershov Hierarchy. II.

Autori: Arslanov, M. M. Batyrshin, I. I. Yamaleev, M. M.

Zdroj: Algebra & Logic. Sep2024, Vol. 63 Issue 4, p235-248. 14p.

Predmety: *RECURSION theory, *COMPUTABLE functions, *MATHEMATICAL logic

From Wald to Schnorr: von Mises' definition of randomness in the aftermath of Ville's Theorem.

Autori: Zaffora Blando, Francesca¹ (AUTHOR) fzaffora@andrew.cmu.edu

Zdroj: Studies in History & Philosophy of Science Part A. Aug2024, Vol. 106, p196-207. 12p.

Predmety: *ALGORITHMIC randomness, *COMPUTABLE functions, *PROBABILITY theory, *STATISTICS, *DEFINITIONS