Сортировать по:
| Выпуск | Название | |
| Том 19, № 5 (2012) | Автоколебания решеток нелинейных элементов в опыте Скотта | Аннотация PDF (Rus) похожие документы |
| Алексей Станиславович Бобок, Сергей Дмитриевич Глызин | ||
| "... Bifurcation analysis of dynamic system modeling the array of coupled ocillators in the experience ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... . This extension includes a verification method for definite iteration over unchangeable arrays with a loop exit ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... over changeable arrays possibly with loop exit in C-light programs. The method contains the inference ..." | ||
| Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| Том 27, № 1 (2020) | Об одном разбиении отрезка, применяемом для оценки энтропии | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Тимофеев | ||
| "... Let (Q_n) be a partition of the interval ([0,1]) defines as ( begin{array}{l} Q_1 ={0,q^2,q ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| Том 22, № 1 (2015) | Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии | Аннотация PDF (Rus) похожие документы |
| Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов | ||
| "... В работе анализируется опыт создания и использования информационных технологий и инфраструктур для ..." | ||
| Том 21, № 1 (2014) | Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко, Валерий Евгеньевич Фролов | ||
| "... with special asymptotic methods. It is shown that there is a rich array of different types of attractors ..." | ||
| Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) похожие документы |
| Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
| "... conditions and works inside the megapolises. The scheme for constructing a reduced (partial) array of Bellman ..." | ||
| Том 22, № 2 (2015) | Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей | Аннотация PDF (Rus) похожие документы |
| Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
| "... array of the Bellman function values (this function is replaced by the layers system). ..." | ||
| Том 25, № 3 (2018) | Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight | Аннотация похожие документы |
| Сергей Владимирович Моржов, Михаил Александрович Никитинский | ||
| "... , which are stored as a two-dimensional array. Thus, the operation of adding a new rule is the most time ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... is essentially an array of bytes. It is possible to write into memory and read from memory at a given index ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... опыт программирования на классических языках Си и FORTRAN для ускорения вычислений, избегая конфликтов ..." | ||
| Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
| "... меньшей мере на четырех описанных выше технологических уровнях. Мы также описываем наш опыт формальной ..." | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| "... критериев оценки безопасности SDN и практического опыта Московского технического университета связи и ..." | ||
| 1 - 16 из 16 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
