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

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

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

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

  • 14 всего цитирований публикаций, внесённых в Pure
  • 2 h-индекс по публикациям в Pure
  • 53 статья
  • 18 статья в сборнике
  • 15 статья в сборнике материалов конференции
  • 2 учебное-методическое пособие
2020

Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems

Kosovskaya, T. M., 2020, Intelligent Distributed Computing XIII, IDC 2019. Kotenko, I., Desnitsky, V., Badica, C., El Baz, D. & Ivanovic, M. (ред.). Springer Nature, стр. 177-182 6 стр. (Studies in Computational Intelligence; том 868).

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

Fuzzy Recognition by Logic-Predicate Network

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

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

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

Fuzzy logic-predicate network

Переведенное название: Нечёткая логико-предикатная сетьKosovskaia, T., сен 2019, Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Stepnicka, M. (ред.). стр. 9-13 (Atlanties Studies in Uncertainty Modeling; том 1).

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

Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach

Переведенное название: Применение частичного следования формул для приближённого решения задач ИИ в рамках логико-предикатного подходаKosovskaya, T., сен 2019, 12th International Conference on Computer Science and Information Technologies, CSIT 2019. Shoukourian, S. (ред.). Yerevan: Institute of Electrical and Electronics Engineers Inc., стр. 65-68 4 стр. 8895153. (12th International Conference on Computer Science and Information Technologies, CSIT 2019).

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

ISOMORPHISM OF PREDICATE FORMULAS IN ARTIFICIAL INTELLIGENCE PROBLEMS

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

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

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)

Teaching students to use the Gauss method for integer matrices when implemented on a computer

Переведенное название: Обучение студентов использованию метода Гаусса для целочисленных матриц при реализации на компьютере Косовская, Т. М., 2019, Computer tools in education. стр. 90-95 6 стр.

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

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

Дискретная постановка задачи о сложности вычисления расстояния между Хаусдорфовыми пространствами

Косовская, Т. М. & Косовский, Н. Н., 2019, Материалы XIII Международного семинара «ДИСКРЕТНАЯ МАТЕМАТИКА И ЕЕ ПРИЛОЖЕНИЯ» имени академика О. Б. ЛУПАНОВА. Москва, стр. 126-129

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

2018

Polynomial time algorithm for a sub-problem of SUBSET SUM with exponentially growing input

Косовская, Т. М., июн 2018, International Journal "Information Theories and Applications". Sofia: ITHEA – Publisher, Том 25. стр. 32 – 37 6 стр.

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

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

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.).

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

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

Построение многоуровневой базы для уменьшения вычислительной сложности решения задачи конъюнктивный булевский запрос

Косовская, Т. М., окт 2018, 11-я Российская Мультиконференция по Проблемам Управления. Материалы конференции «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ» (ИТУ-2018) . ЦНИИ «Электроприбор», стр. 33-38 6 стр.

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

Открытый доступ
Файл
4 Загрузки (Pure)
2017

Conjunctive Boolean Query as a logic-objective recognition problem

Косовская, Т. М., 2017, International Journal on Information Theories & Applications. Sofia, Том 24. стр. 72 – 78 7 стр.

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

Examples of NP-complete essential restrictions of the SUBSET SUM PROBLEM

Косовская, Т. М., Косовский, Н. К. & Старчак, М. Р., 2017, International Journal on Information Theories & Applications. Sofia, Том 24. стр. 79 – 82 4 стр.

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

Extraction of a common up to the names of arguments sub-formula of two elementary conjunctions and some AI problem

Косовская, Т. М., 2017, Proceedings of 11th International Conference on Computer Science and Information Technologies (CSIT 2017), Yerevan, Armenia, 25 - 29 September 2017. стр. 206 – 209 4 стр.

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

Открытый доступ
1 Цитирования (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 стр.

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

Открытый доступ
2 Цитирования (Scopus)
2016

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

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

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)

Partial Deduction in Predicate Calculus as a Tool for Artificial Intelligence Problem Complexity Decreasing

Kosovskaya, T. M., 2 фев 2016, Proceedings of the Seventh IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015. Institute of Electrical and Electronics Engineers Inc., стр. 73-76 4 стр. 7397199. (2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015).

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

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

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

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

Некоторые задач искусственного интеллекта при их формализации на языке исчисления предикатов

Косовская, Т. М., 2016, Материалы 9-й конференции «Информационные технологии в управлении (ИТУ – 2016).. ЦНИИ «Электроприбор», стр. 67 – 70.

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

2015

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

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

Level system of formulas for decreasing the number of proof steps of formulas simulating some Artificial Intelligence problems

Kosovskaya, T. M., 2015, стр. 283.

Результат исследований: Материалы конференцийтезисы

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

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

Self-modificated predicate networks

Kosovskaya, T., 2015, International Journal on Information Theory and Applications. стр. 245 – 257

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

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

Косовская, Т. М., 2015, Дискретные модели в теории управляющих систем: IX Международная конференция, Москва и Подмосковье, 20 — 22 мая 2915 г.: Труды. МАКС Пресс, стр. 121 — 123

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

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

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

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

2014

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

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

Выделение общих черт объектов в интеллектуальных системах

Косовская, Т. М., 2014, Материалы конференции «Информационные технологии в управлении» (ИТУ-2014). стр. 87-92

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

Модель формирования логико-предикатной нейронной сети

Косовская, Т. М., 2014, Материалы Всероссийской научной конференции по проблемам информатики СПИСОК-2014 (23 — 25 апреля 2014 г., Санкт-Петербург). Изд-во: Спб, ВВМ. 2014. С. 44 — 47.. Издательство «ВВМ», стр. 44 — 47

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

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

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

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

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

Косовская, Т. М., 2014, Материалы Всероссийской научной конференции по проблемам информатики СПИСОК-2014 (23 — 25 апреля 2014 г., Санкт-Петербург).. Издательство «ВВМ», стр. 105-109

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

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

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

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

2013

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

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

The Inverse Maslov Method and Ant Tactics for Exhaustive Search Decreasing

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

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

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

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

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

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

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

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

2012

Distance between objects described by predicate formulas

Kosovskaya, T., 2012, International Book Series. Information Science and Computing. Book 25. Mathematics of Distances and Applications.. ITHEA – Publisher, стр. 153 – 159

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