Сортировать по:
| Выпуск | Название | |
| Том 23, № 4 (2016) | Компьютерное моделирование "Интеллектуального здания" | Аннотация PDF (Rus) похожие документы |
| О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков | ||
| "... Currently ”Smart building” or ”Smart house” technology is developing actively in industrialized ..." | ||
| Том 23, № 2 (2016) | Построение хранилища данных с динамической структурой | Аннотация PDF (Rus) похожие документы |
| Ю. Н. Артамонов | ||
| "... NoSQL решений, указаны ограничения реляционного подхода для интеллектуального анализа данных. Выявлено ..." | ||
| Том 20, № 4 (2013) | Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов | ||
| "... The paper presents an agent substitution algorithm for a dataflow network implemented on the Smart ..." | ||
| Том 19, № 5 (2012) | Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей | Аннотация PDF (Rus) похожие документы |
| Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов | ||
| "... The paper describes implementation of dataflow networks based on Smart-M3 platform for use cases ..." | ||
| Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| Том 20, № 2 (2013) | Технологии и алгоритмы для создания дополненной реальности | Аннотация PDF (Rus) похожие документы |
| Иван Александрович Благовещенский, Николай Андреевич Демьянков | ||
| "... to building AR are described. The first one is based on the usage of a marker, and the second one is marker ..." | ||
| Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
| Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
| "... выбранной предметной области. Показывается, как на описанной модели с помощью интеллектуальных планировщиков ..." | ||
| Том 23, № 6 (2016) | Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей | Аннотация PDF (Rus) похожие документы |
| В. А. Александров, В. А. Десницкий, Д. Ю. Чалый | ||
| "... and necessary protective actions are determined in this paper for implementation of Smart House computer ..." | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| "... (1) a programming language for smart contracts which is a domain-specific language with formal ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... and verifying a system core, consisting of independent subsystems and being responsible for logical management ..." | ||
| Том 21, № 4 (2014) | Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... A multi-tenant database cluster is a concept of a data-storage subsystem for cloud applications ..." | ||
| Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
| "... -called “smart contracts”, which are an important part of the applied implementations of specific business ..." | ||
| Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
| М. К. Валиев, М. И. Дехтярь | ||
| "... Рассматриваются вероятностные системы взаимодействующих недетерминированных интеллектуальных ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... Software-defined networking (SDN) is an approach to building computer networks that separate ..." | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
| А. C. Малкова, В. И. Январев | ||
| "... .н. "мифологическое" тождество и конфигурацию связи. Модель позволяет применять процедуры интеллектуальной обработки ..." | ||
| Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| "... of the system; to identify bottlenecks and performance issues; to detect anti-patterns of building a business ..." | ||
| Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
| Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
| "... or reveals high false positive runs in experiments in comparision with an automaton building algorithm. Our ..." | ||
| Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| "... . An illustrating example of an experiment for building a fuzzy model of the process discovered from the log data ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... routines for a software defined network using OpenFlow. All of these libraries provide API for building ..." | ||
| Том 20, № 2 (2013) | Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей | Аннотация PDF (Rus) похожие документы |
| Анна Шмилевна Непомнящая | ||
| "... and its building along with the STAR–machine that simulates the run of associative (content–addressable ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... tool for building a linearized control flow graph. The analysis of LLVM compiler procedural ..." | ||
| Том 26, № 1 (2019) | От главного редактора | Аннотация PDF (Rus) похожие документы |
| Валерий Анатольевич Соколов | ||
| "... on the technology of building modern computer networks and information infrastructures SDN and NFV. SDN (Software ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... flow graph is considered as the basis for building other candidates for program similarity indicators ..." | ||
| Том 22, № 2 (2015) | Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей | Аннотация PDF (Rus) похожие документы |
| Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
| "... ). Precedence conditions are used for decreasing computational complexity: it excludes the building of the whole ..." | ||
| Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
| Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
| "... -electrical dredgers which extract non-metallic building materials (sand, gravel) in large-scale areas ..." | ||
| Том 23, № 2 (2016) | Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий | Аннотация PDF (Rus) похожие документы |
| А. Г. Ченцов, А. А. Ченцов | ||
| "... ) and the machine building. In the second case, which consists in controling a machine for the sheet cutting ..." | ||
| Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
| Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
| "... of quantum computing. So, the new classes of error-correcting codes are required for building new resistant ..." | ||
| Том 27, № 1 (2020) | Иерархическая кластеризация как метод снижения размерности в задаче оптимизации инвестиционного портфеля Марковица | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Елена Михайловна Спиридонова | ||
| "... for clustering and cvxpy for solving the optimization problem (building an optimal portfolio) are used. ..." | ||
| Том 29, № 4 (2022) | Модель текста для автоматической оценки делового письма на заданную тему | Аннотация PDF (Rus) похожие документы |
| Даниил Дмитриевич Зафиевский, Надежда Станиславовна Лагутина, Оксана Андреевна Мельникова, Анатолий Юрьевич Полетаев | ||
| "... This study is aimed at building an automated model for business writing assessment, based on 14 ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... , which allows describing the behavior of control programs and building program code based ..." | ||
| Том 26, № 1 (2019) | Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе | Аннотация PDF (Rus) похожие документы |
| Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин | ||
| "... интеллектуальных математических подходов и современных технологий виртуализации сетевых функций. В ходе ..." | ||
| Том 22, № 6 (2015) | Анализ системных исполнений с помощью Process Mining | Аннотация PDF (Rus) похожие документы |
| С. А. Шершаков, В. А. Рубин | ||
| "... журналов событий. Тем не менее, “интеллектуальный” анализ таких журналов событий является крайне полезным ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... Хоара. Она является частью интеллектуальной системы поддержки верификации свойств поведения таких ..." | ||
| Том 25, № 6 (2018) | Векторное представление слов с семантическими отношениями: экспериментальные наблюдения | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов | ||
| "... тезаурусах, онтологиях, интеллектуальных системах для обработки естественного языка. ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... взаимодействие между экземплярами в системе. Для преодоления этого ограничения в области интеллектуального ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... The issues of building an automated learning system “Sets” which will allow students to master one ..." | ||
| Том 22, № 4 (2015) | Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов | Аннотация PDF (Rus) похожие документы |
| В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин | ||
| "... reachability coefficient. The rules of building and refreshing the routing tables by the network nodes ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... for developing or optimizing algorithms of Petri nets compositions and decompositions, building the reachability ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... is to develop a uniform technique for building polynomial-time equivalence checking algorithms for some classes ..." | ||
| 1 - 39 из 39 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
