Works matching AU Kryvyi, S.

Results: 13

An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 875, doi. 10.1007/s10559-009-9160-y

By:

Kryvyi, S.

Publication type:

Article

Exploring the properties of MSC documents by translating them into Petri nets.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 997, doi. 10.1007/s10559-009-9168-3

By:

Kryvyi, S.;
Chugayenko, O.;
Matveeva, L.

Publication type:

Article

Formal methods for analysis of discrete systems using a specification language.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 4, p. 528, doi. 10.1007/s10559-009-9121-5

By:

Kryvyi, S.;
Chugayenko, A.

Publication type:

Article

Algorithms for solving systems of linear diophantine equations in residue rings.

Published in:

Cybernetics & Systems Analysis, 2007, v. 43, n. 6, p. 787, doi. 10.1007/s10559-007-0103-1

By:

S. Kryvyi

Publication type:

Article

Algorithms for solution of systems of linear diophantine equations in residue fields.

Published in:

Cybernetics & Systems Analysis, 2007, v. 43, n. 2, p. 171, doi. 10.1007/s10559-007-0036-8

By:

S. Kryvyi

Publication type:

Article

Algorithms for solving systems of linear diophantine equations in integer domains.

Published in:

Cybernetics & Systems Analysis, 2006, v. 42, n. 2, p. 163

By:

S. Kryvyi

Publication type:

Article

ANALYZING NATURAL-LANGUAGE KNOWLEDGE IN UNCERTAINTY ON THE BASIS OF DESCRIPTION LOGICS.

Published in:

Cybernetics & Systems Analysis / Kibernetiki i Sistemnyj Analiz, 2024, n. 1, p. 32, doi. 10.34229/kca2522-9664.24.1.3

By:

KRYVYI, S.;
HOHERCHAK, H.

Publication type:

Article

METHOD OF SEMANTIC APPLICATION VERIFICATION IN GPGPU TECHNOLOGY.

Published in:

System Research & Information Technologies / Sistemnì Doslìdžennâ ta Ìnformacìjnì Tehnologìï, 2020, n. 3, p. 7, doi. 10.20535/SRIT.2308-8893.2020.3.01

By:

KRYVYI, S. L.;
POGORILYY, S. D.;
SLYNKO, M. S.;
KRAMOV, A. A.

Publication type:

Article

Algorithms of Solution of Systems of Linear Diophantine Constraints over the Set {0,1}.

Published in:

Cybernetics & Systems Analysis, 2003, v. 39, n. 5, p. 676

By:

S. L. Kryvyi

Publication type:

Article

On the sufficient equivalence conditions of gaussian measures corresponding to homogeneous fields whose spectral densities have real zeros.

Published in:

Cybernetics & Systems Analysis, 1999, v. 35, n. 6, p. 875, doi. 10.1007/BF02742278

By:

Krasnitskii, S.;
Kryvyi, S.

Publication type:

Article

Methods of solution and criteria of consistency of systems of linear diophantine equations over the set of natural numbers1.

Published in:

Cybernetics & Systems Analysis, 1999, v. 35, n. 4, p. 516, doi. 10.1007/BF02835849

By:

Kryvyi, S.

Publication type:

Article

Unification problem in equational theories.

Published in:

Cybernetics & Systems Analysis, 1997, v. 33, n. 6, p. 874, doi. 10.1007/BF02733227

By:

Kryvyi, S.

Publication type:

Article

The effect of ion implantation on structural damage in compositionally graded AlGaN layers.

Published in:

Semiconductor Physics, Quantum Electronics & Optoelectronics, 2019, v. 22, n. 1, p. 119, doi. 10.15407/spqeo22.01.119

By:

Liubchenko, O. I.;
Kladko, V. P.;
Stanchu, H. V.;
Sabov, T. M.;
Melnik, V. P.;
Kryvyi, S. B.;
Belyaev, A. E.

Publication type:

Article