Сортировать по:
Выпуск | Название | |
Том 26, № 4 (2014) | Сравнение методик кластеризации частично упорядоченных множеств | Аннотация PDF (Rus) похожие документы |
А. А. Раскин | ||
"... дальнейшей кластеризацией с помощью алгоритма k-means и косинусного расстояния в качестве функции расстояния ..." | ||
Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
"... преобразование, доказаны завершаемость и тотальность, а также установлен порядок применения используемых в ней ..." | ||
Том 29, № 6 (2017) | Программный пакет для расчета аэродинамических характеристик летательных аппаратов | Аннотация похожие документы |
В. Н. Котеров, В. М. Кривцов, В. И. Зубов | ||
"... Представлен программный пакет для расчета параметров трехмерных стационарных и нестационарных ..." | ||
Том 30, № 2 (2018) | Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом | Аннотация PDF (Rus) похожие документы |
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук | ||
"... модельных рассмотрены задачи о течении в трубе (задача Пуазейля) и задача о моделировании падения капли в ..." | ||
Том 28, № 6 (2016) | Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа | Аннотация PDF (Rus) похожие документы |
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков | ||
"... , базирующийся на векторном представлении вершин графа и последующем применении алгоритма классификации на основе ..." | ||
Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
"... кристалле, разрабатываемых в МЦСТ. Представлен список контроллеров связи, а также их характеристики ..." | ||
Том 30, № 4 (2018) | Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков | Аннотация похожие документы |
А. Р. Поляков, А. В. Корнилова, Я. А. Кириленко | ||
"... Данная статья описывает текущие исследования по теме автоматической калибровки и синхронизации ..." | ||
Том 29, № 5 (2017) | Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) | Аннотация PDF (Rus) похожие документы |
А. Ю. Матросова, С. А. Останин, Е. А. Николаева | ||
"... компонент на базе FPGA и т.д.) с целью снижения ее стоимости. В компонентах, изготовленных сторонними ..." | ||
Том 27, № 3 (2015) | Предисловие | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. К. Петренко, А. Н. Терехов | ||
"... государственного университета телекоммуникаций и информатики (ПГУТИ). Организаторами выступили ИСП РАН, Санкт ..." | ||
Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
А. Е. Бородин, А. А. Белеванцев | ||
"... как можно большего количества дефектов при минимизации ложных срабатываний и приемлемом времени ..." | ||
Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
А. А. Белеванцев, Е. А. Велесевич | ||
"... , классы, методы и т.п., а связями - вызовы, наследование, чтение/запись глобальных переменных, включение ..." | ||
Том 30, № 2 (2018) | Онтология предметной области «Удобство использования программного обеспечения» | Аннотация PDF (Rus) похожие документы |
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов | ||
"... ». Описываются преимущества, которые может дать ее использование при анализе и оценке удобства использования ..." | ||
Том 28, № 1 (2016) | Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, М. Н. Никитин | ||
"... Работа посвящена построению модели и численному исследованию течения в прямоугольном канале с ..." | ||
Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
А. В. Дергачёв, А. В. Сидорин | ||
"... Описывается методика, позволяющая реализовать поиск дефектов достаточно общего и произвольного вида ..." | ||
Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
В. А. Платонов, А. В. Монаков | ||
"... Методы подпространства Крылова, такие как метод сопряжённых градиентов и стабилизированный метод ..." | ||
Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
Г. А. Зимин, Д. А. Мордвинов | ||
"... и дошкольных учреждений могут программировать на таких языках, оперируя визуальными моделями. Этот ..." | ||
Том 28, № 2 (2016) | Технология создания семейства приложений на основе анализа предметной области | Аннотация похожие документы |
А. А. Гудошникова, Ю. В. Литвинов | ||
"... рассматривать приложения в одной предметной области. Одни и те же характеристики в разных приложениях, но ..." | ||
Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
А. С. Камкин, А. М. Коцыняк | ||
"... : архитектурно независимого ядра генерации тестовых программ и спецификации подсистемы памяти MIPS64. Такое ..." | ||
Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Иванишин | ||
"... компиляторе GCC. Особое внимание уделяется вопросам генерации корректного и эффективного кода для прагм OpenMP ..." | ||
Том 28, № 4 (2016) | Обзор современных методов планирования движения | Аннотация PDF (Rus) похожие документы |
К. А. Казаков, В. А. Семенов | ||
"... , строительстве, а также создание новых продуктов и сервисов невозможны без решения задач планирования движения. В ..." | ||
Том 30, № 3 (2018) | Применение глубокого машинного обучения к синтезу цепочки вызовов C# | Аннотация похожие документы |
А. Е. Чебыкин, Я. А. Кириленко | ||
"... , отображение картинки, чтение файла - давно реализована в различных библиотеках и доступна через ..." | ||
Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
А. А. Карнов, С. В. Зеленов | ||
"... интегральной модульной авионики. Во введении перечисляются основные достоинства и недостатки марковского ..." | ||
Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
А. А. Васильев | ||
"... памяти и ее расширении для снижения количества ложных срабатываний. Мы ввели концепцию памяти по ..." | ||
Том 29, № 5 (2017) | Объектно-ориентированная среда для разработки приложений планирования движения | Аннотация PDF (Rus) похожие документы |
К. А. Казаков, В. А. Семенов | ||
"... Обсуждаются принципы организации и функционирования инструментальной среды для программной ..." | ||
Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
"... принципы организации и функционирования разработанного каркаса, а также его возможности для разработки ..." | ||
Том 29, № 2 (2017) | Математическая формализация задач проектного планирования в расширенной постановке | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
"... Задачи теории расписаний и проектного планирования находят широкое применение в научных и ..." | ||
Том 30, № 1 (2018) | Базы данных для обработки массивов: взгляд изнутри | Аннотация похожие документы |
В. А. Павлов, Б. А. Новиков | ||
"... правил оптимизации запросов на логическом уровне, а затем и на физическом. Эти задачи уже решались ..." | ||
Том 30, № 1 (2018) | О возможностях автоматного описания параллельной композиции временных автоматов | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, А. В. Лапутенко | ||
"... композиции для двух моделей временных автоматов, а именно, для автоматов с таймаутами и автоматов с ..." | ||
Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
К. А. Маллачиев, А. В. Хорошилов | ||
"... , разработчиками драйверов устройств и т.д. Такие ОС спроектированы так, чтобы иметь возможность запускаться на ..." | ||
Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
А. Р. Гнатенко, В. А. Захаров | ||
"... от него сигналы или запросы, и реагируют на эти запросы, проводя операции с данными. Подобные системы ..." | ||
121 - 150 из 409 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)