Форма поиска публикаций



* Для переупорядочивания списка публикаций в соответствии со значениями одного из столбцов таблицы необходимо «кликнуть» по названию столбца.

* При задании в форме поиска автора публикации, баллы для соавторов вычисляются только из публиций этого автора.

Элементы 15031—15060 из 15891.
название публикацииГодРИНЦWoSАвторы
1134ON THE ACCURACY OF THE NORMAL APPROXIMATION FOR SUMS OF SYMMETRIC INDEPENDENT RANDOM VARIABLES201222 (1)
1133ON THE ACCURACY OF THE NORMAL APPROXIMATION FOR SUMS OF INDEPENDENT RANDOM VARIABLES201255 (1)
1132О ТОЧНОСТИ НОРМАЛЬНОЙ АППРОКСИМАЦИИ ДЛЯ СУММ НЕЗАВИСИМЫХ СИММЕТРИЧНЫХ СЛУЧАЙНЫХ ВЕЛИЧИН201210 (1)
1131О ТОЧНОСТИ НОРМАЛЬНОЙ АППРОКСИМАЦИИ ДЛЯ СУММ НЕЗАВИСИМЫХ СЛУЧАЙНЫХ ВЕЛИЧИН201220 (1)
1129ОСОБЕННОСТИ СЕМАНТИЧЕСКОГО ПОИСКА ИНФОРМАЦИОННЫХ ОБЪЕКТОВ НА ОСНОВЕ ТЕХНОЛОГИИ БАЗ ЗНАНИЙ / SEMANTIC SEARCH OF NATURAL LANGUAGE INFORMATION ON THE BASIS OF KNOWLEDGE BASE TECHNOLOGY201240 (2)
1128СУЩЕСТВОВАНИЕ СОСТОЯТЕЛЬНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ СТАТИСТИЧЕСКИХ КРИТЕРИЕВ В ДИСКРЕТНЫХ СТАТИЧЕСКИХ ЗАДАЧАХ ПРИ СЛОЖНОЙ НУЛЕВОЙ ГИПОТЕЗЕ / EXISTENCE OF CONSISTENT TEST SEQUENCES AT THE COMPLEX NULL HYPOTHESES IN DISCRETE STATISTICAL PROBLEMS200820 (3)
1127СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ G/BMSP/1/R200392 (1)
1126СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ SM/MSP/1/R / AN SM/MSP/1/R QUEUEING SYSTEM200431 (1)
1125STATIONARY CHARACTERISTICS OF THE SM/MSP/N/R QUEUING SYSTEM200423 (2)
1124СТАЦИОНАРНЫЕ ХАРАКТЕРИСТИКИ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ G/MSP/N/R С ПОТОКОМ ОТРИЦАТЕЛЬНЫХ ЗАЯВОК / STATIONARY CHARACTERISTICS OF THE G/MSP/N/R QUEUING SYSTEM WITH FLOW OF NEGATIVE CUSTOMERS200551 (1)
1122МАТЕМАТИЧЕСКИЕ МЕТОДЫ И АЛГОРИТМЫ РАСЧЕТА НЕКОТОРЫХ НЕМАРКОВСКИХ МОДЕЛЕЙ МАССОВОГО ОБСЛУЖИВАНИЯ200500 (1)
1121СТАЦИОНАРНЫЕ ХАРАКТЕРИСТИКИ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ G[X]/MSP/1/INFINITY С ПОСТУПЛЕНИЕМ ЗАЯВОК ГРУППАМИ ОГРАНИЧЕННОГО ОБЪЕМА / STATIONARY CHARACTERISTICS OF THE G[X]/MSP/1/INFINITY QUEUEING SYSTEM WITH THE ARRIVAL OF BATCHES OF LIMITED VOLUME200620 (1)
1120МНОГОЛИНЕЙНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ С ПРЕРЫВАЮЩИМСЯ ПОЛУМАРКОВСКИМ ПОТОКОМ ЗАЯВОК200700 (1)
1119МНОГОЛИНЕЙНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ С КОНЕЧНЫМ НАКОПИТЕЛЕМ, БЛОКИРОВКОЙ ПОЛУМАРКОВСКОГО ПОТОКА ЗАЯВОК И ВЫБИВАНИЕМ ЗАЯВОК ИЗ НАКОПИТЕЛЯ / MULTICHANNEL QUEUEING SYSTEM WITH A FINITE BUFFER, A LOCKOUT OF AN INPUT FLOW, AND A KNOCKOUT OF CUSTOMERS FROM THE BUFFER200832 (1)
1118МНОГОЛИНЕЙНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ С КОНЕЧНЫМ НАКОПИТЕЛЕМ И БЛОКИРОВКОЙ ПОЛУМАРКОВСКОГО ПОТОКА ЗАЯВОК / A MULTILINEAR QUEUING SYSTEM WITH A FINITE BUFFER AND BLOCKING OF A SEMI-MARKOVIAN FLOW200875 (1)
1117О МНОГОЛИНЕЙНОЙ СИСТЕМЕ МАССОВОГО ОБСЛУЖИВАНИЯ С ПРЕРЫВАЮЩИМСЯ ПОЛУМАРКОВСКИМ ПОТОКОМ ЗАЯВОК И ВЫБИВАНИЕМ ЗАЯВОК ИЗ НАКОПИТЕЛЯ НЕОГРАНИЧЕННОЙ ЕМКОСТИ200921 (1)
1116МНОГОЛИНЕЙНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ С КОНЕЧНЫМ НАКОПИТЕЛЕМ, БЛОКИРОВКОЙ ПОЛУМАРКОВСКОГО ПОТОКА ЗАЯВОК И ВЫБИВАНИЕМ ВСЕХ ЗАЯВОК ИЗ СИСТЕМЫ201010 (1)
1115A MULTISERVER QUEUEING SYSTEM WITH A FINITE BUFFER, BLOCKING OF A SEMI-MARKOVIAN INPUT FLOW OF CUSTOMERS, AND REMOVAL OF ALL CUSTOMERS FROM THE SYSTEM201100 (1)
1114ИНФОРМАЦИОННО-КОНТРОЛИРУЮЩАЯ СИСТЕМА ЗНАНИЙ ДИСЦИПЛИН ЦИКЛА СТАТИСТИЧЕСКОЙ ИНФОРМАТИКИ200110 (4)
1113УПРАВЛЕНИЕ ИНФОРМАЦИОННЫМИ КОМПОНЕНТАМИ WEB-ПОРТАЛА РАН200360 (2)
1112ПРИМЕНЕНИЕ СРЕДСТВ WPF ПРИ РЕАЛИЗАЦИИ ИНСТРУМЕНТАРИЯ ДЛЯ СОЗДАНИЯ И ПУБЛИКАЦИИ ЭЛЕКТРОННЫХ КОЛЛЕКЦИЙ / USING WPF IN DIGITAL COLLECTIONS CREATING AND PUBLISHING TOOLS IMPLEMENTATION201000 (2)
1111МУЛЬТИМЕДИА В ОБРАЗОВАНИИ199610 (1)
1110ЭЛЕКТРОННЫЕ МУЛЬТИМЕДИЙНЫЕ УЧЕБНИКИ И ЭНЦИКЛОПЕДИИ2000260 (1)
1109ИННОВАЦИОНЫЕ УЧЕБНО-МЕТОДИЧЕСКИЕ КОМПЛЕКСЫ. (ВЫСТУПЛЕНИЯ ПРЕДСТАВИТЕЛЕЙ ЭКСПЕРТНОГО СОВЕТА НА СОВЕЩАНИИ АВТОРОВ КОНЦЕПЦИЙ ИУМК)200600 (2)
1107ИНФОРМАЦИОННО-СТАТИСТИЧЕСКИЙ МОНИТОРИНГ ИЗОБРЕТАТЕЛЬСКОЙ АКТИВНОСТИ РАН НА ОСНОВЕ ПАТЕНТНЫХ ИНФОРМАЦИОННЫХ РЕСУРСОВ201270 (2)
1106ORGANIZATIONAL TRUSTWORTHINESS AND WORKPLACE LABOR PRODUCTIVITY: TESTING A NEW THEORY200500 (2)
1105CHARACTERIZATION OF PROBABILISTIC FAULTS DIAGNOSTIC MODELS200610 (3)
1103ТРАНСЛЯТОР ТАБЛИЧНЫХ ПРЕДСТАВЛЕНИЙ АВТОМАТОВ МИЛИ В ПРОГРАММЫ НА ЯЗЫКЕ SMV ДЛЯ АВТОМАТИЗАЦИИ ВЕРИФИКАЦИИ ПРОЕКТОВ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ / THE COMPILER OF TABULAR REPRESENTATIONS OF MEALY MACHINES INTO PROGRAMS IN THE SMV LANGUAGE THAT AUTOMATES VERIFICATION OF COMPUTER PROJECTS USING THE MODEL VERIFICATION201000 (5)
1102ПОЛУФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ЦИФРОВОГО УСТРОЙСТВА С КОНВЕЙЕРОМ, ОСНОВАННАЯ НА ИСПОЛЬЗОВАНИИ АЛГОРИТМИЧЕСКИХ МАШИН СОСТОЯНИЯ / SEMIFORMAL VERIFICATION FOR PIPELINED DIGITAL DESIGNS BASED ON ALGORITHMIC STATEMACHINES201010 (3)
1101MULTIPLICATION FREE HOLOGRAPHIC CODING201022 (2)