Приложение
для AndroidПолное описание
Липовченко, В. А. Логический вывод и обработка знаний в информационных средах : автореф. дис. ... канд. физ.-мат. наук : 01.00.09 / В. А. Липовченко. - Иркутск : [б. и.], 2007. - 19 с. - Библиогр.: с. 19 (6 назв.). - Текст : непосредственный.
| ГРНТИ | УДК | |
| 28.23.39 | 004.832.3(043) |
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Довгаль В.М. Процессы блокировки в системах продукций / В.М.Довгаль, 1996. - 7 с. - Текст : непосредственный.IV всесоюзная научная конференция "Системы баз данных и знаний" : Докл. / "Системы баз данных и знаний", всесоюзная конф. (4 ; 1989 ; Калинин) , 1990. - 114 с. - Текст : непосредственный.Модели и комплексы программ для развития систем управления знаниями : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / О. Г. Инюшкина, 2005. - 19 с. - Текст : непосредственный.Логический вывод и обработка знаний в информационных средах : автореф. дис. .. канд. физ.-мат. наук : 01.00.09 / В. А. Липовченко, 2007. - 19 с. - Текст : непосредственный.Пожидаев А.В. Научное мероприятие как объект информационной деятельности: базы данных и информационные продукты : автореф. дис. .. канд. техн. наук : 05.25.05 / А. В. Пожидаев, 2008. - 24 с. - Текст : непосредственный.Semantics in data and knowledge bases : third International workshop, SDKB 2008, Nantes, France, March 29, 2008: revised selected papers / ed. K. Schewe [et al.], 2008 r=on-line.Проектирование баз знаний на основе мягких вычислений для интеллектуальных систем управления неустойчивыми динамическими системами : автореф. дис. .. канд. техн. наук : 05.13.01 / А. А. Мишин, 2010. - 23 с. - Текст : непосредственный.Information processing and management of uncertainty in knowledge-based systems. theory and methods : 13th International сonference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010 : proceedings : part I / ed.: E. Hullermeier [et al.], 2010 r=on-line.Information processing and management of uncertainty in knowledge-based systems. applications : 13th International conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010 : proceedings : part II / ed.: E. Hullermeier [et al.], 2010 r=on-line.Федеральный закон "О внесении изменений в отдельные законодательные акты Российской Федерации по вопросам создания бюджетными научными и образовательными учреждениями хозяйственных обществ в целях практического применения (внедрения) результатов интеллектуальной деятельности" : принят Гос. Думой 24.07.09, одобрен Советом Федерации 27.07.09 // Инновации. - СПб : ОАО "Трансфер", 2009. - № 7 (129). - с. 3-5Загорулько Ю.А. Информационная модель портала знаний // Информ. технологии. - М. - 2009. - № 12 (160). - с. 2--7Норенков И.П. Интеллектуальные технологии на базе онтологий // Информ. технологии. - М. - 2010. - № 1 (161). - с. 17--23Янковская А.Е. Принятие решений в интеллектуальных обучающе-тестирующих системах, основанное на смешанных диагностических тестах / А. Е. Янковская, М. Е. Семенов // Искусств. интеллект и принятие решений . - М. - 2012. - № 1. - с. 47--56Смирнова Н.В. Мотивационно-волевой компонент модели обучаемого в следящих интеллектуальных системах. Ч. 1 // Искусств. интеллект и принятие решений . - М. - 2012. - № 1. - с. 65--80Брехов О.М. Аналитическая оценка оптимальной обработки запросов // Успехи соврем. радиоэлектроники. - М. : Радиотехника, 2012. - № 7. - с. 37--45Хасимова Л.Н. Базы данных как объекты смежных прав в ГК РФ // Право интеллектуал. собственности. - М. - 2012. - № 5 (25). - с. 30--32.Галкина В.А. Использование искусственного интеллекта в образовательных автоматизированных информационных системах / В. А. Галкина, И. П. Хвостова, О. Л. Серветник. - Текст : непосредственный // Наукоемкие технологии. - М. : Радиотехника, 2012. - Т. 13 № 7 : журн. Череповец. воен. инж. ин-та радиоэлектроники. - с. 48--51Хрусталёв Е.Ю. Интеллектуальные семантические модели для повышения качества образовательных и научно-исследовательских процессов // Экон. анализ : теория и практика. - М. : Финанспресс, 2013. - № 35 (338). - с. 2--10Грибова В.В. Технология разработки интеллектуальных сервисов, ориентированных на декларативные предметные базы знаний. Ч. 1. Информационные ресурсы // Информ. технологии. - М. - 2013. - № 9 (205). - с. 7--11Дунаев В.А. Выбор фрагментов данных для размещения по узлам распределённой базы данных с учетом минимума среднего времени ее отклика на запросы / В. А. Дунаев. - Текст : непосредственный // Системы упр. и информ. технологии. - М. ; Воронеж : Науч. книга, 2013. - № 4 (54). - с. 57--60
Показать все результатыВасильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. Ю. Васильев, 1991. - 20 с. - Текст : непосредственный.Абдуллаева М. Системы логического вывода,основанные на методе резолюций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. Абдуллаева, 1991. - 19 с. - Текст : непосредственный.Хведчук В.И. Средства ПЭВМ с поддержкой логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. И. Хведчук, 1991. - 16 с. - Текст : непосредственный.Артемьева И.Л. Разработка и исследование системы недоопределенного вывода для декларативных продукций : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. Л. Артемьева, 1992. - 18 с. - Текст : непосредственный.Дедкова Т.Г. Разработка методов и алгоритмов интеграции неоднородных продукционных систем управления выводом знании : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Т. Г. Дедкова, 1994. - 24 с. - Текст : непосредственный.Ву Тхань Нгуен.Треугольные нормы, транзитивное замыкание нечетких бинарных отношений и нечеткие выводы : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Ву Тхань Нгуен, 1996. - 15 с. - Текст : непосредственный.Чернойван К.Г. Разработка и исследование оптимизаций логического вывода в системах декларативных продукций : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. Г. Чернойван, 1997. - 16 с. - Текст : непосредственный.Тишков А.В. Алгоритмы выводимости в рациональнозначных логиках для представления знаний : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / А. В. Тишков, 1999. - 14 с. - Текст : непосредственный.Жерлов А.К. Логическое исчисление позитивно-образованных формул, его свойства и применение : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. К. Жерлов, 1999. - 22 с. - Текст : непосредственный.Калинина Т.В. Абстракционные методы повышения эффективности логического вывода : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина, 2001. - 14 с. - Текст : непосредственный.Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах : автореф. дис. .. канд. техн. наук : 05.13.11 / А. И. Аверин, 2004. - 20 с. - Текст : непосредственный.Формальная теория структурных моделей описания информационных систем и методы установления выводимости : автореф. дис. .. д-ра физ.-мат. наук : 05.13.01 / В. Б. Новосельцев, 2006. - 31 с. - Текст : непосредственный.Математическое и программное обеспечение механизма логического вывода в нечетких продукционных системах : автореф. дис. .. канд. техн. наук : 05.13.11 / Д. С. Татаркин, 2007. - 16 с. - Текст : непосредственный.Логический вывод и обработка знаний в информационных средах : автореф. дис. .. канд. физ.-мат. наук : 01.00.09 / В. А. Липовченко, 2007. - 19 с. - Текст : непосредственный.Разработка метода и системы логического вывода модифицируемых заключений : автореф. дис. .. канд. техн. наук : 05.13.01 / М. Н. Томчук, 2007. - 16 с. - Текст : непосредственный.Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области : автореф. дис. .. канд. техн. наук : 05.13.11 / Т. Б. Бурлаченко, 2008. - 18 с. - Текст : непосредственный.Метод и система логического вывода модифицируемых заключений : автореф. дис. .. канд. техн. наук : 05.13.17, 05.13.11 / М. Н. Томчук, 2009. - 19 с. - Текст : непосредственный.Хотимчук К.Ю. Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений : автореф. дис. .. канд. техн. наук : 05.13.17 / К. Ю. Хотимчук, 2011. - 20 с. - Текст : непосредственный.Зиновьев И.П. Нечеткая регрессионная модель и программный комплекс системы нечеткого логического вывода : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / И. П. Зиновьев, 2010. - 18 с. - Текст : непосредственный.Зо Мьо Хтет.Исследование и разработка параллельных методов вывода на аналитических таблицах : автореф. дис. .. канд. техн. наук : 05.13.11 / Зо Мьо Хтет, 2012. - 20 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽