Browsing Publicēti raksti (MII) / Published Articles by Title
Now showing items 9-26 of 26
-
Inductive inference of recursive functions: complexity bounds
(Springer Verlag, 1991)This survey includes principal results on complexity of inductive inference for recursively enumerable classes of total recursive functions. Inductive inference is a process to find an algorithm from sample computations. ... -
MDA: correctness of model transformations. Which models are schemas?
(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 ... -
Modeling and Query Language for Hospitals
(Springer, 2013) -
Nonlinear Spectra: the Neumann Problem
(Vilnius Gediminas Technical University, 2009) -
On computation in the limit by non-deterministic Turing machines
(Latvia State University, 1974) -
On computation in the limit by non-deterministic Turing machines
(Scientific Proceedings of Latvia State University, 1974) -
On speeding up synthesis and prediction of functions
(Latvia State University, 1974) -
On the reducibility of function classes
(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, ... -
Ornamental sign language in the first order tracery belts
(Prespacetime Journal, 2010)We consider an ornamental sign language of first order where principles of sieve displacement, of asymmetric building blocks as a base of ornament symmetry, color exchangeability and side equivalence principles work. Generic ... -
ORNAMENTAL SIGN LANGUAGE IN THE FIRST ORDER TRACERY BELTS
(QuantumDream, Inc., 2013-09-02) -
Platonism, intuition and the nature of mathematics
(Bulgarian Academy of Sciences, Sofia, 1988)Platonism is an essential aspect of mathematical method. Mathematicians are learned ability " t o l i v e " in the "world" of mathematical concepts. Here we have the main source of the creative power of mathematics, and ... -
Prediction of the next value of a function
(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 ... -
Probabilistic program synthesis
(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 ... -
RIGOTRIO at SemEval-2017 Task 9: Combining Machine Learning and Grammar Engineering for AMR Parsing and Generation
(Association for Computational Linguistics, 2017-08)By addressing both text-to-AMR parsing and AMR-to-text generation, SemEval-2017 Task 9 established AMR as a powerful semantic interlingua. We strengthen the interlingual aspect of AMR by applying the multilingual Grammatical ... -
The Transformation - Driven Architecture for Interactive Systems
(Springer, 2013) -
UML Style Graphical Notation
(Springer, 2010)