G.4 MATHEMATICAL SOFTWARE | Article |
ON COMBINATION OF DEDUCTION AND ANALYTICAL TRANSFORMATIONS ... |
Abstract: We investigate a possible way for solving the problem of combination of logical
inference search methods and symbolic computation tools in e-learning testing on the
basis of the approaches |
I.2.6 Learning | Article |
ON COORDINATION OF EXPERTS’ ESTIMATIONS OF QUANTITATIVE VARIABLE∗ |
Abstract: In this paper, we consider some problems related to forecasting of quantitative feature. We assume
that decision rule is constructed on the base of analysis of empirical information represe |
F.1.3 Complexity Measures and Classes | Article |
ON HYPERSIMPLE wtt -MITOTIC SETS, WHICH ARE NOT tt -MITOTIC |
Abstract: A Т-complete wtt-mitotic set is composed, which is not tt-mitotic. A relation is found out between
structure of computably enumerable sets and the density of their unsolvability degrees.
|
I.2 ARTIFICIAL INTELLIGENCE | Article |
ON LOGICAL CORRECTION OF NEURAL NETWORK ALGORITHMS FOR PATTERN RECOGNITION |
Abstract: The paper is devoted to the description of hybrid pattern recognition method developed by research
groups from Russia, Armenia and Spain. The method is based upon logical correction over th |
A.0 GENERAL | Article |
ON MEASURABLE MODELS OF PROMOTION OF NEGENTROPIC STRATEGIES BY COGNITION |
Abstract: Could models of mind be independent from living realities but be classified as mind if the mind uses the
same criteria to form the class mind? In the paper a constructive view on the models |
A.0 GENERAL | Article |
ON MEASURABLE MODELS OF PROMOTION OF NEGENTROPIC STRATEGIES BY COGNITION |
Abstract: Could models of mind be independent from living realities but be classified as mind if the mind uses the
same criteria to form the class mind? In the paper a constructive view on the models |
I.2.0 General | Article |
ON MENTAL REPRESENTATIONS: LANGUAGE STRUCTURE AND MEANING REVISED |
Abstract: Based on results from recent studies in neuroscience, cognitive science, brain imaging and
psychology, we develop a model of language faculty. We suggest that the entire brain, all its subn |
F.4.1 Mathematical Logic | Article |
ON PROBLEM OF ADEQUACY OF MULTISET MATHEMATICAL MODELS |
Abstract: The analysis of adequacy of competitiveness assessments based only on the values of
multiplicity function of multiset is made. Such assessments are not adequate according to
representation |
I.4.5 Reconstruction | Article |
ON RECONSTRUCTION OF IMAGES |
Abstract: This paper considers the problems related to processing of optically registered non-focused
images in frequency domain, by the use of the two principal theorems of the domain: Kotelnikov
[ |
C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS | Article |
ON SEMANTICS AND SYNTAX OF THE BSDT PRIMARY LANGUAGE |
Abstract: Within the binary signal detection theory (BSDT) the semantics and syntax of a primary language (PL,
a mathematical framework for internal brain computations) have been proposed and describ |
G.3 PROBABILITY AND STATISTICS | Article |
ON SOME PROPERTIES OF REGRESSION MODELS BASED ON CORRELATION MAXIMIZATION ... |
Abstract: The article is devoted to thorough study of a new regression method performance. The proposed
method based on convex correcting procedures over sets of predictors is subject to modification |
F.2.2 Nonnumerical Algorithms and Problems | Article |
ON STRUCTURAL RECOGNITION WITH LOGIC AND DISCRETE ANALYSIS |
Abstract: The paper addresses issues of special style structuring of learning set in pattern recognition area. Above the regular means of ranking of objects and properties, which also use the structur |
I.2.3 Deduction and Theorem Proving | Article |
ON THE COHERENCE BETWEEN PROBABILITY AND POSSIBILITY MEASURES1 |
Abstract: The purpose of this paper is to study possibility and probability measures in continuous universes,
taking different line to the one proposed and dealt with by other authors. We study the c |
F.2.1 Numerical Algorithms and Problems | Article |
ON THE COMPLEXITY OF SEARCH FOR CONJUNCTIVE RULES IN RECOGNITION PROBLEMS |
Abstract: New results are obtained in logical data analysis and in the development of recognition procedures
based on constructing conjunctive rules. Asymptotically optimal methods of constructing no |
B.5.2 Design Aids | Article |
ON THE DISCRETIZATION OF DISTANCE GEOMETRY PROBLEMS |
Abstract: Distance geometry consists of finding an embedding of a weighted undirected graph in Rn. Since some
years, we are working on suitable discretizations for this problem. Because of the discre |
I.4.2 Compression (Coding) | Article |
ON THE ERROR-FREE COMPUTATION OF FAST COSINE TRANSFORM |
Abstract: We extend our previous work into error-free representations of transform basis functions by presenting
a novel error-free encoding scheme for the fast implementation of a Linzer-Feig Fast C |
G.1 NUMERICAL ANALYSIS | Article |
ON THE EXTERIOR PENALTY FUNCTION METHOD FOR THE CONSTRAINED OPTIMAL ... |
Abstract: This paper presents the numerical solution of a constrained optimal control problem (COCP) for quasilinear parabolic equations. The COCP Is converted to unconstrained optimization problem (U |