УСЛОВИЯ NP-ПОЛНОТЫ ПРОВЕРКИ СОВМЕСТНОСТИ НЕСКОЛЬКИХ ВИДОВ СИСТЕМ ЛИНЕЙНЫХ ДИОФАНТОВЫХ СРАВНЕНИЙ И УРАВНЕНИЙ

Συγγραφείς: КОСОВСКИЙ НИКОЛАЙ КИРИЛЛОВИЧ, КОСОВСКАЯ ТАТЬЯНА МАТВЕЕВНА, КОСОВСКИЙ НИКОЛАЙ НИКОЛАЕВИЧ

Θεματικοί όροι: СИСТЕМА ЛИНЕЙНЫХ ДИОФАНТОВЫХ УРАВНЕНИЙ,СИСТЕМА ЛИНЕЙНЫХ ДИОФАНТОВЫХ СРАВНЕНИЙ,ПРИНАДЛЕЖНОСТЬ ЦЕЛОЧИСЛЕННОЙ ТОЧКИ ИЗ ОГРАНИЧЕННОЙ ОБЛАСТИ ПЕРЕСЕЧЕНИЮГИПЕРПЛОСКОСТЕЙ,NP-ПОЛНОТА,SYSTEM OF LINEAR DIOPHANTINE EQUATIONS,SYSTEM OF LINEAR DIOPHANTINE COMPARISONS,BELONGING OF A INTEGER-VALUED POINT FROM A BOUNDED DOMAIN TO THE INTERSECTION OF HYPERPLANES,NP-COMPLETENESS

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/usloviya-np-polnoty-proverki-sovmestnosti-neskolkih-vidov-sistem-lineynyh-diofantovyh-sravneniy-i-uravneniy
http://cyberleninka.ru/article_covers/16905694.png

УСЛОВИЯ NP-ПОЛНОТЫ ПРОВЕРКИ СОВМЕСТНОСТИ НЕСКОЛЬКИХ ВИДОВ СИСТЕМ ЛИНЕЙНЫХ ДИОФАНТОВЫХ ДИЗУРАВНЕНИЙ

Συγγραφείς: КОСОВСКИЙ НИКОЛАЙ КИРИЛЛОВИЧ, КОСОВСКАЯ ТАТЬЯНА МАТВЕЕВНА, КОСОВСКИЙ НИКОЛАЙ НИКОЛАЕВИЧ

Θεματικοί όροι: СИСТЕМА ЛИНЕЙНЫХ ДИОФАНТОВЫХ ДИЗУРАВНЕНИЙ,ПРИНАДЛЕЖНОСТЬ ЦЕЛОЧИСЛЕННОЙ ТОЧКИ ИЗ ОГРАНИЧЕННОЙ ОБЛАСТИ ПЕРЕСЕЧЕНИЮ ГИПЕРПЛОСКОСТЕЙ,NP-ПОЛНОТА,SYSTEM OF LINEAR DIOPHANTINE DIS-EQUATIONS,BELONGING OF A INTEGER-VALUED POINT FROM A BOUNDED DOMAIN TO THE INTERSECTION OF HYPERPLANES,NP-COMPLETENESS

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/usloviya-np-polnoty-proverki-sovmestnosti-neskolkih-vidov-sistem-lineynyh-diofantovyh-dizuravneniy
http://cyberleninka.ru/article_covers/16905680.png

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

Συγγραφείς: ПЕТУХОВА НИНА ДМИТРИЕВНА, КОСОВСКАЯ ТАТЬЯНА МАТВЕЕВНА

Θεματικοί όροι: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ,ОБРАТНЫЙ МЕТОД МАСЛОВА,МУРАВЬИНЫЕ ТАКТИКИ,ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ,ARTIFICIAL INTELLIGENCE,PREDICATE CALCULUS,ALGORITHMIC COMPLEXITY,MASLOV'S INVERSE METHOD,ANT TACTICS,PARALLEL COMPUTATION

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/primenenie-taktik-muravinyh-algoritmov-dlya-resheniya-nekotoryh-zadach-iskusstvennogo-intellekta
http://cyberleninka.ru/article_covers/16062507.png

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

Συγγραφείς: КОСОВСКИЙ НИКОЛАЙ КИРИЛЛОВИЧ, КОСОВСКАЯ ТАТЬЯНА МАТВЕЕВНА, КОСОВСКИЙ НИКОЛАЙ НИКОЛАЕВИЧ

Θεματικοί όροι: МАШИНА ТЬЮРИНГА,АЛГОРИТМ МАРКОВА,ПОСТА,ВРЕМЕННАЯ И ЗОНАЛЬНАЯ СЛОЖНОСТЬ АЛГОРИТМОВ,СОВМЕСТНЫЕ ВЕРХНИЕ ОГРАНИЧЕНИЯ СЛОЖНОСТИ,TURING MACHINE,MARKOV,POST ALGORITHM,TIME AND SPACE ALGORITHM COMPLEXITY,MUTUAL UPPER BOUNDS OF COMPLEXITY

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/sovmestnye-ogranicheniya-sverhu-zony-i-vremeni-dlya-vzaimnogo-modelirovaniya-mashin-tyuringa-i-algoritmov-markova-posta
http://cyberleninka.ru/article_covers/16062214.png

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

Συγγραφείς: КОСОВСКИЙ НИКОЛАЙ КИРИЛЛОВИЧ, КОСОВСКАЯ ТАТЬЯНА МАТВЕЕВНА

Θεματικοί όροι: PROPOSITIONAL FORMULA,SATISFABILITY OF PROPOSITIONAL FORMULA,CLASS P

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/prinadlezhnost-klassu-p-zadachi-proverki-vypolnimosti-propozitsionalnoy-formuly-s-zadannym-znacheniem-eyo-skobochnoy-harakteristiki
http://cyberleninka.ru/article_covers/16506189.png

Полная Алгоритмическая доопределимость любых алгоритмов, работающих на ограниченной памяти

Συγγραφείς: КОСОВСКИЙ НИКОЛАЙ КИРИЛЛОВИЧ, КОСОВСКАЯ ТАТЬЯНА МАТВЕЕВНА

Θεματικοί όροι: МАШИНА ТЬЮРИНГА,TURING MACHINE,РАМ ПРОГРАММА,RAM PROGRAM,РАСП ПРОГРАММА,RASP PROGRAM,ПРОБЛЕМА ОСТАНОВКИ АЛГОРИТМА,КЛАССЫ P,CLASSES P,FP,P-SPACE,FP-SPACE,LIN-SPACE,FLIN-SPACE,STOP-PROBLEM

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/polnaya-algoritmicheskaya-doopredelimost-lyubyh-algoritmov-rabotayuschih-na-ogranichennoy-pamyati
http://cyberleninka.ru/article_covers/16506107.png

Изоморфизм предикатных формул и его применение для выделения общих свойств сложных структурированных объектов в задачах ИИ

Συγγραφείς: Косовская, Татьяна Матвеевна, primary

Πηγή: Математические основы информатики и информационно-коммуникационных систем. 2021/12/27

Σύνδεσμος πρόσβασης: http://texts.lib.tversu.ru/texts/151513t.pdf

MRI brain data analysis and visualisation ; Анализ и визуализация данных МРТ головного мозга

Συγγραφείς: Ершов Александр Сергеевич, Ersov Aleksandr Sergeevic

Συνεισφορές: Шичкина Юлия Александровна, Sickina Ulia Aleksandrovna, Косовская Татьяна Матвеевна, Kosovskaa Tatana Matveevna

Θεματικοί όροι: Головной мозг, МРТ, обработка данных, нейровизуализация, дМРТ, Brain, MRI, data processing, neuroimaging, dMRI

Relation: 110365; http://hdl.handle.net/11701/47003

Διαθεσιμότητα: http://hdl.handle.net/11701/47003

Semi-automatic segmentation of COVID-19 infection in lung CT scans ; Полуавтоматическая сегментация инфекции COVID-19 при компьютерной томографии легких

Συγγραφείς: Наджафи Ошнари Можтаба, Nadzafi Osnari Moztaba

Συνεισφορές: Гуральник Роман Игоревич, Guralnik Roman Igorevic, Косовская Татьяна Матвеевна, Kosovskaa Tatana Matveevna

Θεματικοί όροι: COVID-19 · CT scan · Computer Aided Detection (CAD) · Super-pixel algorithm · Lazy-Snipping algorithm

Relation: 069179; http://hdl.handle.net/11701/40229

Διαθεσιμότητα: http://hdl.handle.net/11701/40229

Lossless genome data compression using V-gram ; Сжатие данных генома без потерь с использованием V-грамма

Συγγραφείς: Навваби Саманэ, Navvabi Samane

Συνεισφορές: Гуральник Роман Игоревич, Guralnik Roman Igorevic, Косовская Татьяна Матвеевна, Kosovskaa Tatana Matveevna

Θεματικοί όροι: Data Compression · v-gram · Big Data · Unsupervised Ma- chine Learning

Relation: 069030; http://hdl.handle.net/11701/40206

Διαθεσιμότητα: http://hdl.handle.net/11701/40206

Powers of two and real-integer linear quantifier elimination ; Степени двойки и вещественно-целочисленная линейная элиминация кванторов

Συγγραφείς: Мишуров Илья Дмитриевич, Misurov Ila Dmitrievic

Συνεισφορές: Зимин Григорий Александрович, Zimin Grigorij Aleksandrovic, Косовская Татьяна Матвеевна, Kosovskaa Tatana Matveevna

Θεματικοί όροι: Элиминация кванторов, разрешимость, расширения арифметики целых чисел, Quantifier elimination, decidability, extensions of integer arithmetic

Relation: 063350; http://hdl.handle.net/11701/39932

Διαθεσιμότητα: http://hdl.handle.net/11701/39932

Lightweight model for automatic image enhancement ; Легковесная модель для автоматического улучшения изображений

Συγγραφείς: Самарин Алексей Владимирович, Samarin Aleksej Vladimirovic

Συνεισφορές: Мотыко Александр Александрович, Motyko Aleksandr Aleksandrovic, Косовская Татьяна Матвеевна, Kosovskaa Tatana Matveevna

Θεματικοί όροι: улучшение изображений, легковесная модель, преобразование цвета, image enhancement, lightweight model, color transformation

Relation: 024451; http://hdl.handle.net/11701/32193

Διαθεσιμότητα: http://hdl.handle.net/11701/32193

Extraction of common sub-formula variables with an accuracy to names from a database for solving Conjunctive Boolean Query problem ; Выделение общих с точностью до имен переменных подформул из базы данных для решения задачи Конъюнктивный булевский запрос

Συγγραφείς: Глазырин Павел Александрович, Glazyrin Pavel

Συνεισφορές: Петухова Нина Дмитриевна, Косовская Татьяна Матвеевна, Kosovskaia Tatiana Mаtveevnа

Θεματικοί όροι: конъюнктивный булевский запрос, математическая логика, многоуровневое описание классов, базы данных, предикатные формулы, conjuctive boolean query, databases, predicate formulas, mathematical logic, multi-level classes description

Relation: 039977; http://hdl.handle.net/11701/13588

Διαθεσιμότητα: http://hdl.handle.net/11701/13588

Development and implementation of algorithms for construction of multi-level class description in creating self-modificated network ; Разработка и реализация алгоритмов для построения многоуровневого описания классов при создании самокорректирующейся сети

Συγγραφείς: Петров Дмитрий Андреевич, Petrov Dmitrii

Συνεισφορές: Косовская Татьяна Матвеевна, Доктор физико-математических наук, доцент Т.М.Косовская, Doctor of Physics and Mathematics, Associate Professor T.M.Kosovskaya

Θεματικοί όροι: самокорректирующаяся сеть, логико-предикатная сеть, распознавание образов, мат. логика, исчисление предикатов, наибольшая общая подформула, self-modificated network, logic-predicate network, pattern recognition, math. logic, predicate logic, greatest common formula

Relation: 010033; http://hdl.handle.net/11701/3949

Διαθεσιμότητα: http://hdl.handle.net/11701/3949