• English
    • Latviešu
    • Deutsch
    • русский
  • Help
  • English 
    • English
    • Latviešu
    • Deutsch
    • русский
  • Login
Search 
  •   DSpace Home
  • B5 – LU institūti un aģentūras / Institutes and agencies of the UL
  • Search
  •   DSpace Home
  • B5 – LU institūti un aģentūras / Institutes and agencies of the UL
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 16

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Comparing various concepts of function prediction. Part 2. 

Podnieks, Karlis (Latvia State University, 1975)
Prediction: f(m+1) is guessed from given f(0), ..., f(m). Program synthesis: a program computing f is guessed from given f(0), ..., f(m). The hypotheses are required to be correct for all sufficiently large m, or with some ...
Thumbnail

Comparing various concepts of function prediction. Part 1. 

Podnieks, Karlis (Latvia State University, 1974)
Prediction: f(m+1) is guessed from given f(0), ..., f(m). Program synthesis: a program computing f is guessed from given f(0), ..., f(m). The hypotheses are required to be correct for all sufficiently large m, or with some ...
Thumbnail

Prediction of the next value of a function 

Podnieks, Karlis (1981)
The following model of inductive inference is considered. Arbitrary set tau = {tau_1, tau_2, ..., tau_n} of n total functions N->N is fixed. A "black box" outputs the values f(0), f(1), ..., f(m), ... of some function f ...
Thumbnail

MDA: correctness of model transformations. Which models are schemas? 

Podnieks, Karlis (IOS Press, 2005)
How to determine, is a proposed model transformation correct, or not? In general, the answer may depend on the model semantics. Of course, a model transformation is “correct”, if we can extend it to a “correct” instance ...
Thumbnail

On computation in the limit by non-deterministic Turing machines 

Freivalds, Rusins; Podnieks, Karlis (Latvia State University, 1974)
Thumbnail

On speeding up synthesis and prediction of functions 

Barzdins, Janis; Kinber, Efim; Podnieks, Karlis (Latvia State University, 1974)
Thumbnail

Probabilistic program synthesis 

Podnieks, Karlis (Latvia State University, 1977)
The following model of inductive inference is considered. Arbitrary numbering tau = {tau_0, tau_1, tau_2, ... } of total functions N->N is fixed. A "black box" outputs the values f(0), f(1), ..., f(m), ... of some function ...
Thumbnail

Computational complexity of prediction strategies 

Podnieks, Karlis (Latvia State University, 1977)
The value f(m+1) is predicted from given f(1), ..., f(m). For every enumeration T(n, x) there is a strategy that predicts the n-th function of T making no more than log2(n) errors (Barzdins-Freivalds). It is proved in the ...
Thumbnail

On the reducibility of function classes 

Podnieks, Karlis (Latvia State University, 1972)
N – the set of all natural numbers, F – the set of all total functions N→N, A, B<=F. We say that A is m-reducible to B (A<=m B), iff there is a recursive operator M such that f in A, iff M(f) in B for all f in F. Similarly, ...
Thumbnail

On computation in the limit by non-deterministic Turing machines 

Freivalds, Rūsiņš; Podnieks, Karlis (Scientific Proceedings of Latvia State University, 1974)
  • 1
  • 2

University of Latvia
Contact Us | Send Feedback
Theme by 
@mire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

Login

Discover

Author
Podnieks, Karlis (16)
Barzdins, Janis (3)Freivalds, Rusins (2)Freivalds, Rūsiņš (1)Kinber, Efim (1)Subjectinductive inference (9)deterministic (4)function prediction (4)MATHEMATICS (4)program synthesis (4)machine learning (3)prediction (3)double incompleteness (2)incompleteness (2)incompleteness theorem (2)... View MoreDate Issued2000 - 2005 (1)1990 - 1999 (1)1980 - 1989 (2)1972 - 1979 (12)

University of Latvia
Contact Us | Send Feedback
Theme by 
@mire NV