Temat: recursive computation

Skocz do pozycji: 1.

Tytuł:: Normalized finite fractional differences: Computational and accuracy breakthroughs
Autorzy:: Stanisławski, R.
Latawiec, K. J.
Data publikacji:: 2012
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: różnica ułamkowa
różnica Grünwalda-Letnikowa
analiza stabilności
system adaptacyjny
fractional difference
Grünwald-Letnikov difference
stability analysis
recursive computation
adaptive systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Normalized finite fractional differences: Computational and accuracy breakthroughs
Autorzy:: Stanisławski, R.
Latawiec, K. J.
Data publikacji:: 2012
Słowa kluczowe:: różnica ułamkowa
różnica Grünwalda-Letnikowa
analiza stabilności
system adaptacyjny
fractional difference
Grünwald-Letnikov difference
stability analysis
recursive computation
adaptive systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The Inverse of Ackermann Function is Computable in Linear Time
Autorzy:: Sureson, Claude
Data publikacji:: 2021
Słowa kluczowe:: recursive functions
complexity of computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: First and Second Order Recursion on Abstract Data Types
Autorzy:: Xu, J.
Zucker, J.
Data publikacji:: 2005
Słowa kluczowe:: model of computation
many-sorted algebras
recursive schems
recursive procedures
fixed point
computation on abstract data types
abstract computability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Real Recursive Functions and Baire Classes
Autorzy:: Mycka, J.
Data publikacji:: 2005
Słowa kluczowe:: theory of computation
real recursive functions
hierarchy of real functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms
Autorzy:: Burgin, M.
Eberbach, E.
Data publikacji:: 2009
Słowa kluczowe:: evolutionary algorithms
universality
modeling
Turing machine
evolutionary Turing machine
inductive computation
super-recursive algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus
Autorzy:: Eberbach, Eugene
Tematy:: automatic problem solving
automatic programming
undecidability
intractablity
recursive algorithms
recursively enumerable but not recursive algorithms
non-recursively enumerable algorithms
super-Turing computation
super-recursive algorithms
p-decidability
e-decidability
a-decidability
i-decidability
reduction techniques
U-completeness
D-completeness
H-completeness
$-calculus
cost metrics completeness
meta-search algorithms completeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On completeness of cost metrics and meta-search algorithms in $-Calculus
Autorzy:: Eberbach, Eugene
Data publikacji:: 2023
Słowa kluczowe:: automatic problem solving
automatic programming
undecidability
intractablity
recursive algorithms
recursively enumerable but not recursive algorithms
non-recursively enumerable algorithms
super-Turing computation
super-recursive algorithms
p-decidability
e-decidability
a-decidability
i-decidability
reduction techniques
U-completeness
D-completeness
H-completeness
$-calculus
cost metrics completeness
meta-search algorithms completeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja