Поиск


Сортировать по:     
 
Выпуск Название
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... Данный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного ..."
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... Program Semantics, Specification and Verification: Theory and Applications, PSSV 2012) и Международной ..."
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, В. А. Соколов
"... От редакторов специального выпуска В.А. Непомнящий, В.А. Соколов Данный выпуск представляет ..."
 
Том 20, № 6 (2013) Международная конференция “Геометрия, топология и и приложения” Аннотация  PDF (Rus)  похожие документы
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... Международная конференция “Геометрия, топология и приложения”, посвященная приближающемуся ..."
 
Том 19, № 5 (2012) О работе семинара «Нелинейная динамика и вычислительная геометрия» (Workshop “Nonlinear Dynamics and Computational Geometry”) Аннотация  PDF (Rus)  похожие документы
Статья Редакционная
"... международный семинар «Нелинейная динамика и вычислительная геометрия» (“Nonlinear Dynamics and Computational ..."
 
Том 19, № 6 (2012) Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д ..."
 
Том 23, № 3 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... От редактора специального выпуска Глызин С.Д. Данный выпуск журнала содержит статьи ..."
 
Том 23, № 5 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... От редактора специального выпуска С.Д. Глызин В данном выпуске журнала продолжена публикация ..."
 
Том 24, № 3 (2017) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, С. Д. Глызин, Н. Н. Нефедов
 
Том 24, № 6 (2017) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
 
Том 25, № 1 (2018) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 25, № 5 (2018) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Н. В. Шилов
 
Том 17, № 4 (2010) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 18, № 4 (2011) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 23, № 6 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
 
Том 19, № 1 (2012) Редакционная статья Аннотация  PDF (Rus)  похожие документы
В. А. Соколов
"... специального выпуска журнала «Automatic Control and Computer Sciences», т. 44, № 7, с подзаголовком «English ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... расширенную версию доклада на VI Международном семинаре “Program Semantics, Specification and Verification ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... собой расширенную версию доклада на VI Международном семинаре “Program Semantics, Specification and ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... Международном семинаре “Program Semantics, Specification and Verification: Theory and Applications”, Казань ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... рассмотренных формализмов. Статья представляет собой расширенную версию доклада на VI Международном семинаре ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... Международном семинаре “Program Semantics, Specification and Verification: Theory and Applications”, Казань ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... событий. В частности мы находим расстояния между BPMN (Business Process Model and Notation) моделями ..."
 
Том 18, № 3 (2011) Оптимизация конъюнктов условий в составе запросов Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов, Никита Андреевич Мендкович
"... , содержащих многоатрибутные условия. Он также решает проблему выражений «Условие AND Конъюнкция условий». ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... избранных докладов, представленных на 2-й Международной научно-технической конференции «Modern Network ..."
 
Том 20, № 3 (2013) Самоорганизация, сети, будущее Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина
"... ), Международный университет природы, общества и человека «Дубна» и Российский новый университет (РосНОУ ..."
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Волков
"... страна) или глобальному (общестрановый или международный сайт) классу. К примеру, сайты о ..."
 
Том 23, № 3 (2016) Аделаида Борисовна Васильева (к девяностолетию со дня рождения) Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, Н. Н. Нефедов
"... во всех ведущих странах мира. Неоднократно она докладывала свои резуль- таты на крупных международных ..."
 
Том 19, № 5 (2012) Современные открытые проблемы в дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев
"... УДК 514.17+515.16+519.1 Current Open Problems in Discrete and Computational Geometry Edelsbrunner H ..."
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий
"... . Его блестящей находкой стал выпуск большой серии книг — лекций по синергетике, которые изда- вались в ..."
 
Том 19, № 6 (2012) Равномерная асимптотика верхней границы дисперсии для случайного многогранника Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Магазинов
"... Steklov Mathematical Institute of RAS and P.G. Demidov Yaroslavl State University e-mail: magazinov-al ..."
 
Том 22, № 1 (2015) Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии Аннотация  PDF (Rus)  похожие документы
Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов
"... - структур хранения и обработки данных научных исследований. 1. Выбор стран Анализ международного опыта в ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... ); • R — если аккумулятор TRUE, сбросить логический операнд (FALSE); • AND, OR, XOR, NOT — поразрядные ..."
 
Том 19, № 6 (2012) Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов Аннотация  PDF (Rus)  похожие документы
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова
"... . Демидова, ∗∗∗ Institute of Science and Technology, Klosterneuburg, Austria e-mail: polya@uniyar ..."
 
Том 20, № 6 (2013) Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков Аннотация  PDF (Rus)  похожие документы
Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер
"... .Л., Эдельсбруннер Х.1 Международная лаборатория «Дискретная и вычислительная геометрия» им. Б.Н. Делоне Ярославский ..."
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
"... Моделирование и анализ информационных систем. Т. 24, №2 (2017), с. 155–167 Modeling and Analysis of ..."
 
Том 19, № 4 (2012) Конструктивная классификация графов Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Иорданский
"... .А. Базисы планарных графов // Труды V Международной кон- ференции "Дискретные модели в теории управляющих ..."
 
Том 21, № 2 (2014) Механизм антивирусной защиты на базе (n, t)-пороговой ДЦП с Арбитром Аннотация  PDF (Rus)  похожие документы
Евгений Алексеевич Толюпа
"... Authority, УЦ) — участник ЭДО, отве- чающий за выпуск и управление сертификатами. Все участники ЭДО ему до ..."
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... . №4. С. 16–29. 4. Penczek W., Potrola A. Advances in Verification of Time Petri Nets and Timed ..."
 
Том 19, № 6 (2012) О некоторых следствиях теоремы о трансверсалях Аннотация  PDF (Rus)  похожие документы
Владимир Леонидович Дольников
"... . 6. Eckhoff J. Helly, Radon, and Carathe´odory type theorems //Handbook of Convex Geometry, ed. by P ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... Моделирование и анализ информационных систем. Т. 23, №6 (2016), с. 777–783 Modeling and Analysis of ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... , _LS1, _LS2 : BOOL; END_VAR MtrTmr.In := _Mtr AND MS; MtrTmr(); ErrTmr.In := _Mtr AND NOT MS; ErrTmr ..."
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... ., Peterson L. TCP Vegas: New Techniques for Congestion Detection and Avoidance. ACM SIGCOMM. P. 24–35. 4 ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... Моделирование и анализ информационных систем. Т. 23, №2 (2016), с. 195–210 Modeling and Analysis of ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... (например таких, как XOR/AND split/join) как неотъемлемая составляющая язы- ка. Вместо этого в языке DPMine ..."
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... Моделирование и анализ информационных систем. Т. 22, №4 (2015), с. 533–545 Modeling and Analysis of ..."
 
Том 21, № 1 (2014) Уравнения движения твердого тела с двумя упругими стержнями Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
"... робота // Математика, кибернетика, информа- тика: труды международной научной конференции памяти А ..."
 
Том 19, № 3 (2012) О гладкости в Lp, 0 < p < 1 Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... дифференцирования в пространствах Lp // Мате- матика, кибернетика, информатика: Труды международной научной конферен ..."
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... .А. Международный гуманитарный университет, Украина e-mail: zsoftua@yahoo.com получена 19 ноября 2012 Ключевые ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... Исследовательский Университет Высшая Школа Экономики Международная лаборатория процессно-ориентированных ..."
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация  PDF (Rus)  похожие документы
Наталья Федоровна Дышкант
"... ), время работы в худшем случае — O(N). 4. Алгоритм прыжков и переходов (Jump and Walk) [5, 6]. Работает ..."
 
Том 19, № 4 (2012) Первая ярославская летняя школа по дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин
"... Summer Schoolon Discrete and Computational Geometry Dolbilin N.1, Edelsbrunner H.2, Ivanov A.3 Musin O.4 ..."
 
Том 19, № 3 (2012) О некоторых результатах по геометрии выпуклых и их приложениях Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... , кибернетика, информатика: труды международной научной конфе- ренции, посв. памяти профессора А. Ю. Левина ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... .A., Ryabukhin D.A. Construction and Verification of PLC-programs by LTL-specification // Modeling and analysis ..."
 
Том 19, № 6 (2012) Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников Аннотация  PDF (Rus)  похожие документы
Марина Александровна Козачок
"... numbers of faces of centrally-symmetric simplicial polytopes // Graphs and Combinatorics. 1987. 3. P. 55 ..."
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... Management: Models, Methods and Systems. MIT Press, 2002.) 2. Башкин В. А. Формализация семантики систем с ..."
 
Том 20, № 3 (2013) Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых Аннотация  PDF (Rus)  похожие документы
Камаридин Тухлиев
"... - волинейного интеграла первого рода для некоторых классов функций и кривых // Материалы международной научной ..."
 
Том 20, № 6 (2013) Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли Аннотация  PDF (Rus)  похожие документы
Иджад Хакович Сабитов
"... International Conference Geometry, Topology and Applications», 23.09—27.09.2013 (см. [3]) и «Крым- ская ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... // Труды III Международной конференции «Параллельные вы- числения и задачи управления» PACO’2006. М ..."
 
Том 19, № 6 (2012) Многочлены объема для некоторых многогранников в пространствах постоянной кривизны Аннотация  PDF (Rus)  похожие документы
Денис Иджадович Сабитов, Иджад Хакович Сабитов
"... combinatorial structure of P and the lengths of its edges only such that the volume of the polyhedron P as well ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... Matrix and Algorithms of Its Solution // MAIS. 2010. V. 17, №2. P. 72–98 [in Russian]). 3. Смирнов А ..."
 
Том 20, № 6 (2013) Комплексы подслов и ниль-движения Гекке Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Горский
"... Complexes and Nil-Hecke Moves Gorsky M. A.1 Steklov Mathematical Institute, Gubkina str., 8, Moscow ..."
 
Том 20, № 3 (2013) Пространственные особенности высокомодовых бифуркаций в распределенном логистическом уравнении Аннотация  PDF (Rus)  похожие документы
Илья Сергеевич Кащенко
"... // Communications in Nonlinear Science and Numerical Simulation. 2011. Vol. 16. P. 3520– 3524. 5. Leven S., Segel L ..."
 
Том 20, № 2 (2013) Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... Balancing of a Three-Dimensional Matrix and Algorithms of Its Solution // MAIS. 2010. V. 17, №2. P. 72–98 ..."
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация  PDF (Rus)  похожие документы
С. А. Шершаков, В. А. Рубин
"... Моделирование и анализ информационных систем. Т. 22, №6 (2015), с. 818–833 Modeling and Analysis of ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... Моделирование и анализ информационных систем. Т. 22, №4 (2015), с. 563–577 Modeling and Analysis of ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... (inheritance, inclusion, interaction and history) and objects relations (inheritance, internal inheritance ..."
 
Том 19, № 1 (2012) Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова
"... , ин- форматика: труды международной научной конференции памяти А.Ю. Левина. Ярославль, ЯрГУ, 2008. C ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... ., Singh A., Wasserman L., 2013 UDC 512.664 On the Bootstrap for Persistence Diagrams and Landscapes ..."
 
Том 22, № 6 (2015) Формальная диагонализация схем Лакса–Дарбу Аннотация  PDF (Rus)  похожие документы
А. В. Михайлов
"... Моделирование и анализ информационных систем. Т. 22, №6 (2015), с. 795–817 Modeling and Analysis of ..."
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... .Dekhtyar@tversu.ru, bnkarlov@gmail.com received February 15, 2015 Keywords: automata, formal grammars and ..."
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... and analysis based on event logs. In this paper we consider the problem of models and event logs ..."
 
Том 19, № 6 (2012) Непрерывное уплощение правильного тетраэдра точными отображениями Аннотация  PDF (Rus)  похожие документы
Джин-ичи Ито, Чи Нара
"... permitted to touch itself but not self-intersect (and so a doubly covered polygon is a polyhedron). A flat ..."
 
1 - 75 из 360 результатов 1 2 3 4 5 > >> 

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

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