Сортировать по:
| Выпуск | Название | |
| Том 18, № 4 (2011) | Атрибутные аннотации и их применение в дедуктивной верификации C-программ | Аннотация PDF (Rus) похожие документы |
| Михаил Михайлович Атучин, Игорь Сергеевич Ануреев | ||
| "... In this paper a new kind of annotations, called attribute annotations, and the methodology ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... by annotations describing the formal specification of software requirements as a necessary basis ..." | ||
| Том 24, № 1 (2017) | Пополнение ядра оператора дифференцирования | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... characteristics of a linear operator is the composition of the kernel. During the spreading of the differentiation ..." | ||
| Том 17, № 2 (2010) | Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 | Аннотация PDF (Rus) похожие документы |
| И. В. Алексеев, С. А. Меркулов, А. А. Сивов | ||
| Том 30, № 1 (2023) | Разметка корпусов текстов по тональности и наличию иронии в рамках проекта гражданской науки | Аннотация PDF (Rus) похожие документы |
| Илья Вячеславович Парамонов, Анатолий Юрьевич Полетаев | ||
| "... of irony. The annotation was done by volunteers within the project “Prepare texts for algorithms ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... sets of algorithmic procedures which modify values of object attributes and also create, remove ..." | ||
| Том 15, № 1 (2008) | Хореография сервисов в семантической сервис-ориентированной архитектуре | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... annotations and system's query semantic description. ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| Том 17, № 3 (2010) | Верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий | ||
| "... The mixed axiomatic semantics of a C-kernel language is described. This language is the kernel ..." | ||
| Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| "... . The Linux kernel interfaces for time measurement are described as well as the clock source abstraction layer ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel ..." | ||
| Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
| В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
| "... , annotations, logic formulas). The C-targeted component of the SPECTRUM system is based on our two-level C ..." | ||
| Том 18, № 1 (2011) | Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием | Аннотация PDF (Rus) похожие документы |
| А. Ю. Коверга, Е. П. Кубышкин | ||
| Том 24, № 1 (2017) | Об асимптотике решений гармонического осциллятора с интегральным возмущением | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... is an oscillatory decreasing character of its kernel. We assume that the integral kernel is degenerate. This makes ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... into the intermediate C-kernel language. The meta generator of the correctness conditions receives the C-kernel program ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... . The C-kernel language [19] is a subset of C-light. The theorem of translation correctness was proved ..." | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... . First, the labeled variant of axiomatic semantics of the C-kernel language was proposed. The labels ..." | ||
| Том 18, № 3 (2011) | Оптимизация конъюнктов условий в составе запросов | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Кузнецов, Никита Андреевич Мендкович | ||
| "... containing multi-attribute conditions. It also solves the problem of "Condition AND Conjunction of conditions ..." | ||
| Том 20, № 3 (2013) | Применение нечеткой классификации для гибридных линейных методов прогнозирования | Аннотация PDF (Rus) похожие документы |
| Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина | ||
| "... The paper discusses the problem of forecasting for samples with real-valued attributes. The goal ..." | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
| А. C. Малкова, В. И. Январев | ||
| "... kernel in the information system METAPHORA developed to process proverbs at the semantic aspect. ..." | ||
| Том 20, № 6 (2013) | Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков | Аннотация PDF (Rus) похожие документы |
| Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер | ||
| "... In this work, we describe a prototype of an automatic segmentation system and annotation ..." | ||
| Том 20, № 1 (2013) | О работе НОЦ «Нелинейная динамика» | Аннотация PDF (Rus) похожие документы |
| Статья Редакционная | ||
| "... представлены аннотации некоторых из состоявшихся научных исследований. ..." | ||
| Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
| "... of untyped inclusion dependencies, which leads to permutations of the attributes, although, the attributes ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... sources by executing annotation stages and automatic synchronization stages simultaneously. Data ..." | ||
| Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
| Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
| "... tests reveal that our kernel monitor does not significatly slow down the processing of the operating ..." | ||
| Том 23, № 2 (2016) | Построение хранилища данных с динамической структурой | Аннотация PDF (Rus) похожие документы |
| Ю. Н. Артамонов | ||
| "... of the values of individual data attributes, the variability of the composition of these attributes ..." | ||
| Том 32, № 1 (2025) | Сравнение предварительно обученных моделей для извлечения предметно-ориентированных сущностей из студенческих отчетных документов | Аннотация PDF (Rus) похожие документы |
| Антонина Владимировна Мельникова, Марина Сергеевна Воробьева, Анна Валерьевна Глазкова | ||
| "... identification during text generation and annotation. The NER models demonstrated a lower tendency for errors ..." | ||
| Том 30, № 4 (2023) | Генерация ключевых слов для русскоязычных научных текстов с помощью модели mT5 | Аннотация PDF (Rus) похожие документы |
| Анна Валерьевна Глазкова, Дмитрий Алексеевич Морозов, Марина Сергеевна Воробьева, Андрей Анатольевич Ступников | ||
| "... автоматического реферирования текстов. Дообучение mT5 осуществлялась на текстах аннотаций русскоязычных научных ..." | ||
| Том 23, № 4 (2016) | Сравнение алгоритмов удвоения размера изображения | Аннотация PDF (Rus) похожие документы |
| С. Е. Ваганов, С. И. Хашин | ||
| "... coefficients of kernel convolutions for different down-scale to twice algorithms were found. Various methods ..." | ||
| Том 23, № 4 (2016) | Резервное копирование с хранением в базе данных | Аннотация PDF (Rus) похожие документы |
| С. М. Таранин | ||
| "... , attributes, and relationships between them, store in another table. The information of retained files ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... идея заключается в том, чтобы позволить пользователю добавлять аннотации в виде инвариантов и ..." | ||
| 1 - 31 из 31 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
