An (by definition) generates a sequence of grammars defining the class. An (by definition) generates a sequence of decision procedures defining the family.F. Stephan's model of noisy data is employed, in which, roughly, correct data crops up infinitely often, and incorrect data only finitely...

The present paper investigates identification of indexed families of recursively enumerable languages from . We distinguish learning from good examples (the good examples have to be generated with respect to a hypothesis space having the same range as ) and learning from good examples (the good...

The fields (()) of generalized power series with coefficients in a field and exponents in an additive abelian ordered group play an important role in the study of real closed fields. The subrings consisting of series with non-positive exponents find applications in the study of models of weak...

For a compact minimal Abelian flow we introduce the notion of an -enveloped subgroup of and use it to give a criterion for minimality of the restricted flow , a syndetic subgroup of , in terms of the eigenvalues of . We then deduce a criterion for total minimality of . We apply these two...

This paper deals with necessary conditions for strong and weak local minimizers of one-dimensional variational problems which may have very low regularity. By using a concept of convexity at a point, we prove that the Weierstrass condition characterizes sequential weak lower semicontinuity of...

The minimal homogeneous basis is defined. It is shown that every minimal homogeneous bases of an ideal have same number of elements. An algorithm for finding a minimal homogeneous basis is developed. The main idea is to modify the classical Buchberger's algorithm for finding Grobner basis so...

A combined scheme for the solution of the Cauchy equation of motion and the Phan-Thien/Tanner (P-T/T) constitutive equation is developed to solve the nonlinear problem of pressure and stress induced non-Newtonian flow, known as a (P,U,t) system. We start with the solution of the Navier-Stokes...

The minimal homogeneous basis is defined. It is shown that every minimal homogeneous bases of an ideal have same number of elements. An algorithm for finding a minimal homogeneous basis is developed. The main idea is to modify the classical Buchberger's algorithm for finding Grobner basis so...

The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close...

It is shown that the system of equations is equivalent to its two-element subset whenever , , are integers such that 1 < < < . The result implies that the language has a three-element test set , with an integer > 1