• 15 всего цитирований публикаций, внесённых в Pure
  • 3 h-индекс по публикациям в Pure
20002020

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут показаны здесь.

Результаты исследований

  • 15 всего цитирований публикаций, внесённых в Pure
  • 3 h-индекс по публикациям в Pure
  • 54 статья
  • 17 статья в сборнике
  • 15 статья в сборнике материалов конференции
  • 2 учебное-методическое пособие
глава/раздел

Predicate Calculus as a Tool for AI Problems Solution: Algorithms and Their Complexity

Переведенное название: Исчисление предикатов как средство для решения задач ИИ: алгоритмы и их сложностьКосовская, Т. М., 29 авг 2018, Intelligent System. Open access peer-reviewed Edited volume.. Wongchoosuk, C. (ред.). стр. 1 - 20 20 стр. (Open access peer-reviewed Edited volume.).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаярецензирование

Открытый доступ
статья

A Mathematical Notion of a Package of Level Markov-Post Algorithms for Word Processing

Kosovskii, N. K. & Kosovskaya., T. M., 2015, В : Global Journal of Pure and Applied Mathematics. 11, 6, стр. 4911-4917

Результат исследований: Научные публикации в периодических изданияхстатья

Construction Of Class Level Description For Efficient Recognition of a Complex Object

Kosovskaya, T., 2014, В : International Journal Information Content and Processing. 1, 1, стр. 92–99

Результат исследований: Научные публикации в периодических изданияхстатья

Discrete Artificial Intelligence Problems and Number of Steps of their Solution

Kosovskaya, T. M., 2011, В : International Journal on Information Theory and Applications. 18, 1, стр. 93 – 99

Результат исследований: Научные публикации в периодических изданияхстатья

Efficient Simulation for Prolog Implementation of Image Recognition Problem

Kosovskaya, T. & Vlasova, M., 2013, В : International Journal on Information Theory and Applications. 20, 2, стр. 156 – 161

Результат исследований: Научные публикации в периодических изданияхстатья

Estimating the number of steps that it takes to solve some problems of pattern recognition which admit logical description

Kosovskaya, T. M., 1 дек 2007, В : Vestnik St. Petersburg University: Mathematics. 40, 4, стр. 287-293 7 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

Fuzzy Recognition by Logic-Predicate Network

Косовская, Т. М., 2020, В : Advances in Science, Technology and Engineering Systems Journal. 5, 4, стр. 686-699

Результат исследований: Научные публикации в периодических изданияхстатья

Открытый доступ

ISOMORPHISM OF PREDICATE FORMULAS IN ARTIFICIAL INTELLIGENCE PROBLEMS

Переведенное название: Изоморфизм предикатных формул в задачах Искусственного ИнтеллектаKosovskaya, T., июн 2019, В : International Journal on Information Theory and Applications. 26, 3, стр. 221–230

Результат исследований: Научные публикации в периодических изданияхстатья

Multi-agent description of an object by means of a predicate calculus language Vol. 23, No 4. 2016. P. 338 – 346.

Kosovskaya, T., 2016, В : International Journal on Information Theory and Applications. 23, 4, стр. 338 – 346

Результат исследований: Научные публикации в периодических изданияхстатья

Multilevel descriptions of classes decreasing the number of steps in solving pattern recognition problems described by propositional formulas

Kosovskaya, T. M., 1 мар 2008, В : Vestnik St. Petersburg University: Mathematics. 41, 1, стр. 21-27 7 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

Mutual Upper Bounds of Size and Time for a Turing Machine and a Markov–Post Algorithm for Mutual Simulations

Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 2015, В : Vestnik St. Petersburg University: Mathematics. 48, 2, стр. 72–74

Результат исследований: Научные публикации в периодических изданияхстатья

NP-completeness conditions for consistency verification of some types of systems of linear Diophantine dis-equations

Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 1 июл 2016, В : Vestnik St. Petersburg University: Mathematics. 49, 3, стр. 243-247 5 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

NP completeness conditions for verifying the consistency of several kinds of systems of linear Diophantine congruences and equations

Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 1 апр 2016, В : Vestnik St. Petersburg University: Mathematics. 49, 2, стр. 111-114 4 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

3 Цитирования (Scopus)

NP completeness conditions for verifying the consistency of several kinds of systems of linear diophantine discongruences

Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 1 янв 2016, В : Vestnik St. Petersburg University: Mathematics. 49, 1, стр. 18-22 5 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

2 Цитирования (Scopus)

NP-complete problems for systems of Linear polynomial’s values divisibilities

Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N. & Starchak, M. R., 1 апр 2017, В : Vestnik St. Petersburg University: Mathematics. 50, 2, стр. 145-152 8 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

Открытый доступ

Polynomial Equivalence of the Problems Predicate Formulas Isomorphism and Graph Isomorphis

Переведенное название: Полиномиальная эквивалентность задач изоморфизм предикатных формул и изоморфизм графовKosovskaya, T. M. & Kosovskii, N. N., сен 2019, В : Vestnik St. Petersburg University: Mathematics. 52, 3, стр. 286–292

Результат исследований: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

Polynomial-Time Effectiveness of Pascal, Turbo Prolog, Visual Prolog and Refal-5 Programs

Kosovskiy, N. & Kosovskaya, T., 2012, В : INFORMATION MODELS AND ANALYSES. 1, 1, стр. 94-99

Результат исследований: Научные публикации в периодических изданияхстатья

Software for the Recognition of Polyhedron Contour Images in the Frameworks of Logic-Objective Recognition System

Bondar, N. & Kosovskaya, T., 2012, В : INFORMATION MODELS AND ANALYSES. 1, 2, стр. 170 – 178

Результат исследований: Научные публикации в периодических изданияхстатья

The Inverse Maslov Method and Ant Tactics for Exhaustive Search Decreasing

Kosovskaya, T. & Petukhova, N., 2013, В : INFORMATION MODELS AND ANALYSES. 2, 1, стр. 81–89

Результат исследований: Научные публикации в периодических изданияхстатья

The Inverse Method for Solving Artificial Intelligence Problems in the Frameworks of Logic-Objective Approach and Bounds of its Number of Steps

Kosovskaya, T. & Petukhova, N., 2012, В : INFORMATION MODELS AND ANALYSES. 1, 1, стр. 84-93

Результат исследований: Научные публикации в периодических изданияхстатья

The number of steps for construction of a Boolean solution to polynomial congruences and systems of polynomial congruences

Kosovskii, N. K. & Kosovskaya, T. M., 1 сен 2007, В : Vestnik St. Petersburg University: Mathematics. 40, 3, стр. 218-223 6 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

3 Цитирования (Scopus)
3 Цитирования (Scopus)

Иерархическое описание классов и нейросетевое распознавание сложных образов

Косовская, Т. М. & Тимофеев, А. В., 2007, В : НЕЙРОКОМПЬЮТЕРЫ: РАЗРАБОТКА, ПРИМЕНЕНИЕ. 6, стр. 30 – 33

Результат исследований: Научные публикации в периодических изданияхстатья

Использование языков семейства Prolog для распознавания изображений

Косовская, Т. М. & Власова, М. А., 2013, В : Труды СПИИРАН: SPIIRAS Proceedings. 2 (25), стр. 277–293

Результат исследований: Научные публикации в периодических изданияхстатья

Машины Тьюринга.

Косовская, Т. М., 2005, В : КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, стр. 52 – 61

Результат исследований: Научные публикации в периодических изданияхстатья

Мультиагентное описание сложного объекта по достоверной информации

Косовская, Т. М., 2016, В : КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 4, стр. 5 – 18

Результат исследований: Научные публикации в периодических изданияхстатья

Нейросетевые методы логического описания и распознавания сложных образов

Тимофеев, А. В. & Косовская, Т. М., 2013, В : Труды СПИИРАН: SPIIRAS Proceedings. 4(27), стр. 144-155

Результат исследований: Научные публикации в периодических изданияхстатья

Открытый доступ

О временной сложности решения задач распоз навания

Косовская, Т. М., 2005, В : КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 4, стр. 61 – 68

Результат исследований: Научные публикации в периодических изданияхстатья

О классах сложности алгоритмов

Косовская, Т. М., 2005, В : КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 5, стр. 35 – 41

Результат исследований: Научные публикации в периодических изданияхстатья

Основы доказательств полиномиальной быстроты простейших математических алгоритмов

Косовская, Т. М. & Косовский, Н. К., 2010, В : КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2, стр. 3-13

Результат исследований: Научные публикации в периодических изданияхстатья

Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов

Косовская, Т. М., 2014, В : Труды СПИИРАН: SPIIRAS Proceedings. 3(34), стр. 204-217

Результат исследований: Научные публикации в периодических изданияхстатья

Полиномиальность и NP-трудность задачи вычисления знака постоянного терма

Косовская, Т. М. & Косовский, Н. К., 2007, В : МАТЕМАТИЧЕСКИЕ ВОПРОСЫ КИБЕРНЕТИКИ. 16, стр. 82 – 90

Результат исследований: Научные публикации в периодических изданияхстатья

Полиномиальный тезис Чёрча для рефал-5 функций, нормальных алгоритмов и их обобщений

Косовский, Н. К. & Косовская, Т. М., 2010, В : КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 5, стр. 12 – 21

Результат исследований: Научные публикации в периодических изданияхстатья

Принадлежность классу FP дважды полиномиальных паскалевидных функций над подпрограммами из FP

Косовская, Т. М. & Косовский, Н. К., 2010, В : КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, стр. 3-7

Результат исследований: Научные публикации в периодических изданияхстатья

Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова

Петухова, Н. Д. & Косовская, Т. М., 2014, В : КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, стр. 9-20

Результат исследований: Научные публикации в периодических изданияхстатья

Самообучающаяся сеть с ячейками, реализующими предикатные формулы

Косовская, Т. М., 2015, В : Труды СПИИРАН: SPIIRAS Proceedings. 6, стр. 94-113

Результат исследований: Научные публикации в периодических изданияхстатья