Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 3 (2012) О некоторых результатах по геометрии выпуклых и их приложениях Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
 
Том 20, № 3 (2013) Об одной задаче для симплекса и куба в Rⁿ Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
 
Том 26, № 3 (2019) Геометрические оценки при интерполяции на n-мерном шаре Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
 
Том 18, № 3 (2011) О гипотезе Лассака для выпуклого тела Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
 
Том 18, № 2 (2011) О геометрических характеристиках n-мерного симплекса Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
 
Том 25, № 6 (2018) О некоторых задачах для симплекса и шара в Rn Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
 
Том 26, № 2 (2019) Линейная интерполяция на евклидовом шаре в Rⁿ Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 24, № 1 (2017) Новые оценки числовых величин, связанных с симплексом Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 24, № 5 (2017) Об n-мерных симплексах, удовлетворяющих включениям S ⊂ [0, 1] n ⊂ nS Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 25, № 1 (2018) О минимальном коэффициенте поглощения для n-мерного симплекса Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 25, № 3 (2018) Oб оптимальной интерполяции линейными функциями на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 19, № 6 (2012) Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
 
Том 20, № 6 (2013) Международная конференция “Геометрия, топология и и приложения” Аннотация  PDF (Rus)  похожие документы
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
 
Том 14, № 1 (2007) Минимальные проекторы и максимальные симплексы Аннотация  PDF (Rus)  похожие документы
М. В. Невский
 
Том 14, № 3 (2007) Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
М. В. Невский
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
 
Том 21, № 3 (2014) Об устойчивости состояния равновесия одной модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов
 
Том 19, № 2 (2012) Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Заводчиков
 
Том 19, № 4 (2012) Конструктивная классификация графов Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Иорданский
 
Том 19, № 6 (2012) Новое доказательство формулы Эйлера Аннотация  PDF (Rus)  похожие документы
Михаил Иванович Штогрин
 
Том 20, № 6 (2013) Комплексы подслов и ниль-движения Гекке Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Горский
 
Том 24, № 3 (2017) Замечание об области притяжения стационарного решения одного сингулярно возмущённого параболического уравнения Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Терентьев
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
 
Том 19, № 4 (2012) Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
 
Том 21, № 5 (2014) Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Фарков, Александр Иванович Легалов
 
Том 21, № 2 (2014) Приводимость пространства модулей стабильных рефлексивных пучков ранга 2 с классами Черна c1 = −1, c2 = 4, c3 = 2 на пространстве P3 Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Тихомиров, Михаил Александрович Заводчиков
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация  PDF (Rus)  похожие документы
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
 
Том 21, № 5 (2014) О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
 
Том 18, № 2 (2011) Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) Аннотация  PDF (Rus)  похожие документы
Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
 
Том 21, № 3 (2014) Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны Аннотация  PDF (Rus)  похожие документы
Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин
 
Том 18, № 4 (2011) Использование зависимостей для повышения точности статического анализа программ Аннотация  PDF (Rus)  похожие документы
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
 
Том 25, № 1 (2018) Инвариантные характеристики вынужденных колебаний балки с продольным сжатием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
 
Том 25, № 1 (2018) О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений Аннотация  PDF (Rus)  похожие документы
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов
 
Том 20, № 6 (2013) Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков Аннотация  PDF (Rus)  похожие документы
Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер
 
Том 26, № 3 (2019) GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
 
Том 26, № 1 (2019) Об одном подходе к построению сетевого процессорного устройства Аннотация  PDF (Rus)  похожие документы
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский
 
1 - 54 из 54 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)