Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Реферативна база даних - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Книжкові видання та компакт-диски (1)
Пошуковий запит: (<.>A=Кривой С$<.>)
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
      
Категорія:    
1.

Кривой С. Л. 
Доказательство теорем в логике первого порядка, унификация и совместность линейных констрейнтов / С. Л. Кривой // Пробл. программир.. - 1998. - № 4. - С. 20-27. - Библиогр.: 8 назв. - рус.

Розглядається зв'язок проблем автоматизації суджень, АС-уніфікації і сумісність систем лінійних діофантових рівнянь над множиною натуральних чисел. Запропонована інкрементальна версія критерію перевірки сумісності системи лінійних однорідних діофантових рівнянь над множиною натуральних чисел.


Індекс рубрикатора НБУВ: З810.4 + З970.52-010

Рубрики:
 Теорія штучного інтелекту 

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 
      
Категорія:    
2.

Кривой С. Л. 
О реализации алгоритмов проверки совместности систем линейных диофантовых уравнений в области натуральных чисел / С. Л. Кривой, А. В. Чугаенко, Н. А. Богак, В. В. Бура // Управляющие системы и машины. - 1999. - № 3. - С. 26-32. - Библиогр.: 11 назв. - рус.

Особливістю описаних алгоритмів є здатність генерувати деякі розв'язки системи рівнянь, коли вона сумісна. Роботу алгоритмів проілюстровано прикладами.


Індекс рубрикатора НБУВ: В142.2

Рубрики:
 Діофантові рівняння. Невизначені рівняння 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 
      
Категорія:    
3.

Кривой С. Л. 
Алгебра связных графов и проектирование топологии компьютерных сетей / С. Л. Кривой // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 35-42. - Библиогр.: 5 назв. - рус.

Описан один из возможных вариантов алгебры регулярных графов и ее приложения к проектированию и исследованию свойств топологии компьютерных сетей, ориентированных на устойчивость компьютерной сети к повреждениям.


Індекс рубрикатора НБУВ: З970.31-020

Рубрики:
 Комп'ютерні мережі 

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 
      
Категорія:    
4.

Кривой С. Л. 
Бинарные диаграммы решений и обработка запросов в реляционной базе данных / С. Л. Кривой, Е. А. Лукьянова // Управляющие системы и машины. - 2007. - № 2. - С. 48-55. - Библиогр.: 3 назв. - рус.


Індекс рубрикатора НБУВ: З970.611-01

Рубрики:
 Реляційні бази даних 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

      
Категорія:    
5.

Палагин А. В. 
Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация / А. В. Палагин, С. Л. Кривой, Н. Г. Петренко // Управляющие системы и машины. - 2009. - № 3. - С. 42-55. - Библиогр.: 26 назв. - рус.

Рассмотрена совокупность задач, включающая в себя методологический, онтологический и логический аспекты проектирования знание-ориентированных информационных систем, функционирование которых опирается на автоматизацию процессов извлечения и формализации содержания естественно-языковых объектов с последующей обработкой формализованного представления этого содержания логико-семантическими методами с ориентацией на конкретную предметную область.


Індекс рубрикатора НБУВ: З970.41

Рубрики:
 Інформаційні системи 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 
      
Категорія:    
6.

Палагин А. В. 
Концептуальные графы и семантические сети в системах обработки естественно-языковой информации / А. В. Палагин, С. Л. Кривой, Н. Г. Петренко // Мат. машини і системи. - 2009. - № 3. - С. 67-79. - Библиогр.: 5 назв. - рус.

Рассмотрен подход к адаптации известных описаний концептуальных графов применительно к визуализации формализованного представления естественно-языковых высказываний для флективных языков.


Індекс рубрикатора НБУВ: З970.66-01

Рубрики:
 Комп'ютерне оброблення мовної інформації 

Шифр НБУВ: Ж23045 Пошук видання у каталогах НБУВ 
      
Категорія:    
7.

Гудыменко А. И. 
Исследование плазмонных пленочных наноструктур золота методами рентгеновской рефлектометрии и дифрактометрии / А. И. Гудыменко, С. Б. Кривой, Г. В. Станчу, В. П. Кладько, Н. В. Сафрюк, Н. В. Слободян // Металлофизика и новейшие технологии. - 2015. - 37, № 9. - С. 1215-1223. - Библиогр.: 18 назв. - рус.

Методами рентгеновской рефлектометрии и дифрактометрии исследованы пленки Au и por-Au, полученные методом импульсного лазерного осаждения. Определены их основные структурные параметры: плотность (пористость), толщина, шероховатость. Показано, что дополнительные измерения параметра решетки пленок золота позволяют более корректно определить величину их пористости.


Індекс рубрикатора НБУВ: К234.102.6

Рубрики:
 Тонкі шари (плівки) золота та його сплавів 

Шифр НБУВ: Ж14161 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського