Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Pattern Recognition and Image Analysis

Subject Areas: Computer Graphics and Computer-Aided Design
Publisher: Pleiades Publishing - Springer Journals
ISSN: 1054-6618
SJR: 29

LitStream

Journal Article

Special Issue “Selected Papers of the 14th International Conference Computer Science and Information Technologies”

Aslanyan, L.; Shoukourian, Yu.

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010024

The biennial “Computer Sciences and Information Technologies” conference in Yerevan in September of 2023 was the 14th in this series. This event is of regional interest, provide a networking ecosystem to scientists in areas such as the Mathematical Logic and Logical Reasoning, Discrete...
LitStream

Journal Article

Polynomial Time Turing Mitoticity and Arithmetical Hierarchy

Mokatsian, A. H.

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010127

Let \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\omega $$\end{document} be the set of all nonnegative integers. Let P be...
LitStream

Journal Article

A Hierarchy of Determinative Sequent Systems with Different Substitution Rules

Tamazyan, Hakob A.; Chubaryan, Anahit A.

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010206

A determinative sequent system DS for the classical propositional calculus is introduced on the base of well-known Tseitin’s transformation. It is proved that the system DS is polynomially equivalent to the propositional resolution system R and propositional cut-free sequent system PK–. Then we...
LitStream

Journal Article

On Singular Functional Variables in Hyperidentities

Movsisyan, Yu.; Davidov, S.

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010139

In the first part of this paper, we give a classification of nontrivial left and right distributive hyperidentities satisfied in nontrivial divisible algebras. In the second part is characterized semigroups with hyperidentities of associativity with a singular functional variable.
LitStream

Journal Article

Maximal k-Sum-Free Collections in an Abelian Group

Sargsyan, Vahe

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010188

Let \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$G$$\end{document} be an Abelian group of order n, let...
LitStream

Journal Article

Large Cycles in Graphs around Bondy’s and Jung’s Conjectures – Modifications, Sharpness, and Perspectives

Nikoghosyan, Zh. G.

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010140

In 1980, Bondy conjectured a common generalization (depending on λ) of some well-known degree-sum conditions for a graph ensuring the existence of Hamilton cycles for λ = 1 (Ore, 1960) and dominating cycles for λ = 2 (Bondy, 1980) as special cases. The reverse (long-cycle) version of Bondy’s...
LitStream

Journal Article

On Hamiltonian Cycles in a 2-Strong Digraphs with Large Degrees and Cycles

Darbinyan, S. Kh.

2024 Pattern Recognition and Image Analysis

doi:10.1134/s105466182401005x

In this note we prove: let D be a 2-strong digraph of order...
LitStream

Journal Article

Complete Caps in Affine Geometry AG(n, 3)

Karapetyan, Iskandar; Karapetyan, Karen

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010097

A cap in a projective or affine geometry over a finite field is a set of points no three of which are collinear. We give several new constructions for complete caps in affine geometry...
LitStream

Journal Article

Unconditional Convergence of Sub-Gaussian Random Series

Giorgobiani, G.; Kvaratskhelia, V.; Menteshashvili, M.

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010061

In this paper we explore the basic properties of sub-Gaussian random variables and random elements. We also present various notions of subgaussianity (weak,...
LitStream

Journal Article

Algorithms of Isomorphism of Elementary Conjunctions Checking

Kosovskaya, T.; Zhou, Juan

2024 Pattern Recognition and Image Analysis

doi:10.1134/s1054661824010103

When solving artificial intelligence problems related to the study of complex structured objects, a convenient tool for describing such objects is the language of predicate calculus. The paper presents two algorithms for checking the isomorphism of pairs of elementary conjunctions of predicate...

results per page

Prev
1
2
3
Next