Works matching DE "COMPUTABLE functions"

Results: 737

Simplified error bounds for turning point expansions.

Published in:

Analysis & Applications, 2021, v. 19, n. 4, p. 647, doi. 10.1142/S0219530520500104

By:

Dunster, T. M.;
Gil, A.;
Segura, J.

Publication type:

Article

Learning from Different Teachers.

Published in:

Machine Learning, 2003, v. 51, n. 2, p. 137, doi. 10.1023/A:1022854802097

By:

Dana Angluin;
Mārti၆š Kriķis

Publication type:

Article

An Invitation to Infinitary Computability.

Published in:

PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 901, doi. 10.1002/pamm.201610439

By:

Carl, Merlin

Publication type:

Article

A gap theorem for self-shrinkers of the mean curvature flow in arbitrary codimension.

Published in:

Calculus of Variations & Partial Differential Equations, 2013, v. 46, n. 3/4, p. 879, doi. 10.1007/s00526-012-0508-1

By:

Cao, Huai-Dong;
Li, Haizhong

Publication type:

Article

Partial regularity results for subelliptic systems in the Heisenberg group.

Published in:

Calculus of Variations & Partial Differential Equations, 2008, v. 32, n. 1, p. 25, doi. 10.1007/s00526-007-0127-4

By:

Föglein, Anna

Publication type:

Article

The Technological Mediation of Mathematics and Its Learning.

Published in:

Human Development (0018716X), 2009, v. 52, n. 2, p. 129, doi. 10.1159/000202730

By:

Hoyles, Celia;
Noss, Richard

Publication type:

Article

Non-Asymptotic Results for Cornish-Fisher Expansions*.

Published in:

Journal of Mathematical Sciences, 2016, v. 218, n. 3, p. 363, doi. 10.1007/s10958-016-3036-2

By:

Ulyanov, V.;
Aoshima, M.;
Fujikoshi, Y.

Publication type:

Article

On a Class of Optimization Problems with No 'Efficiently Computable' Solution.

Published in:

Journal of Mathematical Sciences, 2016, v. 215, n. 6, p. 706, doi. 10.1007/s10958-016-2876-0

By:

Gavrilovich, M.;
Kreps, V.

Publication type:

Article

Perfect Local Computability of Superatomic Boolean Algebras.

Published in:

Journal of Mathematical Sciences, 2015, v. 211, n. 6, p. 789, doi. 10.1007/s10958-015-2634-8

By:

Luppov, D.

Publication type:

Article

Sums of Computable Ordinals.

Published in:

Journal of Mathematical Sciences, 2015, v. 211, n. 6, p. 719, doi. 10.1007/s10958-015-2627-7

By:

Alaev, P.

Publication type:

Article

Infinite family of $$ \Sigma_a^{-1 } $$-sets with a unique computable numbering.

Published in:

Journal of Mathematical Sciences, 2013, v. 188, n. 4, p. 449, doi. 10.1007/s10958-012-1141-4

By:

Ospichev, S.

Publication type:

Article

Properties of numberings in various levels of the Ershov hierarchy.

Published in:

Journal of Mathematical Sciences, 2013, v. 188, n. 4, p. 441, doi. 10.1007/s10958-012-1140-5

By:

Ospichev, S.

Publication type:

Article

Order Positive Fields. I.

Published in:

Algebra & Logic, 2023, v. 62, n. 3, p. 203, doi. 10.1007/s10469-024-09738-1

By:

Korovina, M. V.;
Kudinov, O. V.

Publication type:

Article

A Criterion for P-Computability of Structures.

Published in:

Algebra & Logic, 2022, v. 61, n. 5, p. 437, doi. 10.1007/s10469-023-09710-5

By:

Alaev, P. E.

Publication type:

Article

Boolean Algebras Autostable Relative to n-Decidable Presentations.

Published in:

Algebra & Logic, 2022, v. 61, n. 4, p. 301, doi. 10.1007/s10469-023-09698-y

By:

Gaskova, M. N.

Publication type:

Article

Degrees of Relative Computable Categoricity.

Published in:

Algebra & Logic, 2022, v. 61, n. 3, p. 238, doi. 10.1007/s10469-022-09692-w

By:

Kalimullin, I. Sh.

Publication type:

Article

Rogers Semilattices with Least and Greatest Elements in the Ershov Hierarchy.

Published in:

Algebra & Logic, 2022, v. 61, n. 3, p. 225, doi. 10.1007/s10469-022-09690-y

By:

Badaev, S. A.;
Goncharov, S. S.

Publication type:

Article

Computable Reducibility of Metrics on the Reals.

Published in:

Algebra & Logic, 2022, v. 61, n. 1, p. 71, doi. 10.1007/s10469-022-09676-w

By:

Kornev, R. A.

Publication type:

Article

Index Sets for Classes of Positive Preorders.

Published in:

Algebra & Logic, 2022, v. 61, n. 1, p. 30, doi. 10.1007/s10469-022-09673-z

By:

Kalmurzayev, B. S.;
Bazhenov, N. A.;
Torebekova, M. A.

Publication type:

Article

The Category of Equivalence Relations.

Published in:

Algebra & Logic, 2021, v. 60, n. 5, p. 295, doi. 10.1007/s10469-021-09656-6

By:

Rose, V. Delle;
Mauro, L. San;
Sorbi, A.

Publication type:

Article

Some Properties of the Upper Semilattice of Computable Families of Computably Enumerable Sets.

Published in:

Algebra & Logic, 2021, v. 60, n. 2, p. 128, doi. 10.1007/s10469-021-09635-x

By:

Faizrakhmanov, M. Kh.

Publication type:

Article

Characterizations of ITBM-Computability. II.

Published in:

Algebra & Logic, 2021, v. 60, n. 1, p. 26, doi. 10.1007/s10469-021-09625-z

By:

Koepke, P.;
Morozov, A. S.

Publication type:

Article

Characterizations of ITBM-computability. I.

Published in:

Algebra & Logic, 2021, v. 59, n. 6, p. 423, doi. 10.1007/s10469-021-09622-2

By:

Koepke, P.;
Morozov, A. S.

Publication type:

Article

Semidecidable Numberings in Admissible Sets.

Published in:

Algebra & Logic, 2020, v. 59, n. 3, p. 273, doi. 10.1007/s10469-020-09599-4

By:

Kalimullin, I. Sh.;
Puzarenko, V. G.;
Faizrakhmanov, M. Kh.

Publication type:

Article

Polynomially Computable Structures with Finitely Many Generators.

Published in:

Algebra & Logic, 2020, v. 59, n. 3, p. 266, doi. 10.1007/s10469-020-09598-5

By:

Alaev, P. E.

Publication type:

Article

Positive Presentations of Families in Relation to Reducibility with Respect to Enumerability.

Published in:

Algebra & Logic, 2018, v. 57, n. 4, p. 320, doi. 10.1007/s10469-018-9503-8

By:

Kalimullin, I. Sh.;
Puzarenko, V. G.;
Faizrakhmanov, M. Kh.

Publication type:

Article

The Structure of Computably Enumerable Preorder Relations.

Published in:

Algebra & Logic, 2020, v. 59, n. 3, p. 201, doi. 10.1007/s10469-020-09592-x

By:

Badaev, S. A.;
Bazhenov, N. A.;
Kalmurzaev, B. S.

Publication type:

Article

Turing Degrees and Automorphism Groups of Substructure Lattices.

Published in:

Algebra & Logic, 2020, v. 59, n. 1, p. 18, doi. 10.1007/s10469-020-09576-x

By:

Dimitrov, R. D.;
Harizanov, V.;
Morozov, A. S.

Publication type:

Article

Some Absolute Properties of A-Computable Numberings.

Published in:

Algebra & Logic, 2018, v. 57, n. 4, p. 275, doi. 10.1007/s10469-018-9499-0

By:

Badaev, S. A.;
Issakhov, A. A.

Publication type:

Article

Sessions of the Seminar “Algebra i Logika”.

Published in:: 2018
Publication type:: Proceeding

Turing Degrees in Refinements of the Arithmetical Hierarchy.

Published in:

Algebra & Logic, 2018, v. 57, n. 3, p. 222, doi. 10.1007/s10469-018-9495-4

By:

Selivanov, V. L.;
Yamaleev, M. M.

Publication type:

Article

Positive Preorders.

Published in:

Algebra & Logic, 2018, v. 57, n. 3, p. 182, doi. 10.1007/s10469-018-9491-8

By:

Kabylzhanova, D. K.

Publication type:

Article

Spectrum of the Field of Computable Real Numbers.

Published in:

Algebra & Logic, 2017, v. 55, n. 6, p. 485, doi. 10.1007/s10469-017-9419-8

By:

Korovina, M.;
Kudinov, O.

Publication type:

Article

∏-Completeness of the Computable Categoricity Problem for Projective Planes.

Published in:

Algebra & Logic, 2016, v. 55, n. 4, p. 283, doi. 10.1007/s10469-016-9397-2

By:

Kogabaev, N.

Publication type:

Article

Degrees of Autostability for Linear Orders and Linearly Ordered Abelian Groups.

Published in:

Algebra & Logic, 2016, v. 55, n. 4, p. 257, doi. 10.1007/s10469-016-9395-4

By:

Bazhenov, N.

Publication type:

Article

Embeddability of the Semilattice L in Rogers Semilattices.

Published in:

Algebra & Logic, 2016, v. 55, n. 3, p. 217, doi. 10.1007/s10469-016-9390-9

By:

Kalmurzaev, B.

Publication type:

Article

Existence and Uniqueness of Structures Computable in Polynomial Time.

Published in:

Algebra & Logic, 2016, v. 55, n. 1, p. 72, doi. 10.1007/s10469-016-9377-6

By:

Alaev, P.

Publication type:

Article

Categoricity and Complexity of Relations Over Algebraic Structures.

Published in:

Algebra & Logic, 2015, v. 54, n. 5, p. 408, doi. 10.1007/s10469-015-9361-6

By:

Tussupov, J.

Publication type:

Article

Ash's Theorem on Δ-Categorical Structures and a Condition for Infinite Δ-Dimension.

Published in:

Algebra & Logic, 2015, v. 54, n. 5, p. 353, doi. 10.1007/s10469-015-9357-2

By:

Alaev, P.

Publication type:

Article

Properties of sΣ-Reducibility.

Published in:

Algebra & Logic, 2014, v. 53, n. 5, p. 405, doi. 10.1007/s10469-014-9300-y

By:

Stukachev, A.

Publication type:

Article

Generalized Computable Universal Numberings.

Published in:

Algebra & Logic, 2014, v. 53, n. 5, p. 355, doi. 10.1007/s10469-014-9296-3

By:

Badaev, S.;
Goncharov, S.

Publication type:

Article

Families Without Minimal Numberings.

Published in:

Algebra & Logic, 2014, v. 53, n. 4, p. 271, doi. 10.1007/s10469-014-9290-9

By:

Abeshev, K.;
Badaev, S.;
Mustafa, M.

Publication type:

Article

On Constructive Recognition of Finite Simple Groups by Element Orders.

Published in:

Algebra & Logic, 2014, v. 53, n. 4, p. 349, doi. 10.1007/s10469-014-9294-5

By:

Buturlakin, A.;
Vasil'ev, A.

Publication type:

Article

Sessions of the Seminar 'Algebra i Logika'.

Published in:: Algebra & Logic, 2014, v. 53, n. 4, p. 352, doi. 10.1007/s10469-014-9295-4
Publication type:: Article

Computability-Theoretic Properties of Injection Structures.

Published in:

Algebra & Logic, 2014, v. 53, n. 1, p. 39, doi. 10.1007/s10469-014-9270-0

By:

Cenzer*, D.;
Harizanov**, V.;
Remmel***, J.

Publication type:

Article

Abelian p-groups and autostability relative to an oracle.

Published in:

Algebra & Logic, 2013, v. 52, n. 4, p. 269, doi. 10.1007/s10469-013-9241-x

By:

Dushenin, D.

Publication type:

Article

Computable dimensions of Pappusian and Desarguesian projective planes.

Published in:

Algebra & Logic, 2012, v. 51, n. 1, p. 41, doi. 10.1007/s10469-012-9169-6

By:

Kogabaev, N.

Publication type:

Article

Positive undecidable numberings in the Ershov hierarchy.

Published in:

Algebra & Logic, 2012, v. 50, n. 6, p. 512, doi. 10.1007/s10469-012-9162-0

By:

Manat, M.;
Sorbi, A.

Publication type:

Article

The computable embedding problem.

Published in:

Algebra & Logic, 2012, v. 50, n. 6, p. 478, doi. 10.1007/s10469-012-9160-2

By:

Carson, J.;
Fokina, E.;
Harizanov, V.;
Knight, J.;
Quinn, S.;
Safranski, C.;
Wallbaum, J.

Publication type:

Article

Quantification over propositional formulas in probability logic: decidability issues.

Published in:

Algebra & Logic, 2011, v. 50, n. 4, p. 365, doi. 10.1007/s10469-011-9148-3

By:

Speranskii, S.

Publication type:

Article