?
Linear logic with idempotent exponential modalities: a note
Cornell University
,
2014.
Научное направление:
Математика
Язык:
английский
Канович М. И., Ban Kirigin T., Nigam V. и др., Computer Languages, Systems & Structures 2014 No. 40 P. 137-154
Добавлено: 23 марта 2015 г.
Brotherston J., Канович М. И., Journal of the ACM 2014 Vol. 61 No. 2 P. 14:1-14:43
Добавлено: 23 марта 2015 г.
NY : ACM, 2014
This volume contains the proceedings of the Joint Meeting of the Twenty-Third Annual EACSL Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS). CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve ...
Добавлено: 20 октября 2014 г.
Улан-Удэ : Издательство Бурятского госуниверситета, 2017
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
Развит метод рандомизированного прогнозирования, основанный на генерации ансамблей энтропийно-оптимальных прогнозных траекторий. Последние генерируются рандомизированными моделями динамической регрессии, содержащими случайные параметры, измерительные шумы и случайный вход. Функции плотности распределения вероятностей случайных параметров и измерительных шумов оцениваются с использованием реальных данных в рамках процедуры рандомизированного машинного обучения. Генерация ансамблей прогнозных траекторий осуществляется путем сэмплирования энтропийно-оптимальных распределений вероятностей. ...
Добавлено: 31 октября 2020 г.
D. V. Gribanov, D.S. Malyshev, P. M. Pardalos и др., Journal of Combinatorial Optimization 2018 Vol. 35 No. 4 P. 1128-1146
Добавлено: 19 февраля 2018 г.
Крючков М. В., Русаков С. В., Вестник Ижевского государственного технического университета 2015 № 2(66) С. 110-112
В работе описаны результаты тестирования нейросетевого технического индикатора тренда по данным биржевого курса нефти марки Brent в 2014 году. Апробация модели проводилась на трех временных интервалах, характеризующихся своими особенностями. ...
Добавлено: 31 августа 2015 г.
Малышев Д. С., Дискретный анализ и исследование операций 2012 Т. 19 № 4 С. 66-72
Рассматривается конструктивный подход к формированию новых случаев эффективной разрешимости задачи о независимом множестве в семействе наследственных частей множества графов Free({P5,C5}). Именно, доказывается, что если эта задача полиномиально разрешима в классе Free({P5,C5,G}), то для любого графа H, который может быть индуктивно получен из G применением к текущему графу сложения с K1 или умножения на K1, эта ...
Добавлено: 31 августа 2012 г.
Barcelona : IEEE, 2017
Добавлено: 17 января 2018 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Малышев Д. С., Вестник Нижегородского университета им. Н.И. Лобачевского 2008 № 6 С. 141-146
Рассматривается понятие граничного класса, которое является полезным инструментом для анализа вычислительной сложности задач на графах. Исследуются два конкретных класса графов, и приводятся задачи, для которых эти классы являются граничными. ...
Добавлено: 31 августа 2012 г.
Беломестный Д. В., Иосипой Л. С., Mathematics and Computers in Simulation 2021 No. 181 P. 351-363
Добавлено: 31 октября 2020 г.
Ревенко А. В., Кузнецов С. О., Fundamenta Informaticae 2012 Vol. 4 No. 115 P. 377-394
Атрибутивное исследование свойств функций на множествах. ...
Добавлено: 31 декабря 2012 г.
МГУ, 2014
Тезисы докладов научной конференции «Ломоносовские чтения» 2013 ...
Добавлено: 11 декабря 2016 г.
Акопов А. С., Beklaryan L. A., Saghatelyan A. K., Environmental Modelling and Software 2019 Vol. 116 P. 7-25
Добавлено: 24 февраля 2019 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
Малышев Д. С., Алексеев В. Е., Дискретный анализ и исследование операций 2008 Т. 15 № 1 С. 3-10
Доказывается полиномиальная разрешимость задачи о независимом множестве для бесконечного семейства подмножеств класса планарных графов. ...
Добавлено: 31 августа 2012 г.
Lanham : University Press of America, 2012
The history of logic and analytic philosophy in Central and Eastern Europe is still known to very few people. As an exception to the rule, only two scientific schools became internationally popular: the Vienna Circle and the Lvov-Warsaw School. Nevertheless, the countries included in this region have not only joint history, but also joint cultural ...
Добавлено: 13 февраля 2013 г.
Сироткин Д. В., Малышев Д. С., Дискретная математика 2017 Т. 29 № 3 С. 114-125
Задача о независимом множестве для заданного обыкновенного графа состоит в вычислении размера наибольшего множества его попарно несмежных вершин. Предлагается новый способ редукции графов. С его помощью получено новое доказательство NP-полноты задачи о независимом множестве в классе планарных графов и доказана NP-полнота данной задачи в классе плоских графов, имеющих только треугольные внутренние грани, с максимальной степенью ...
Добавлено: 7 сентября 2017 г.
Фейгин Б. Л., Финкельберг М. В., Рыбников Л. Г. и др., Selecta Mathematica, New Series 2011 Vol. 17 No. 3 P. 573-607
Многообразия Ломона предствляют собой неособые компактификации пространств модулей отображений проективной прямой в пространство флагов. Мы строим действие янгиана алгебры Ли sln в когомологиях пространств Ломона при помощи некоторых естественных соответствий. Мы строим действие аффинного янгиана (двухпараметрической деформации универсальной обертывающей алгебры токов) в когомологиях аффинного обобщения пространств Ломона. Мы вычисляем эквивариантные когомологии (аффинных) многообразий Ломона в терминах базисов ...
Добавлено: 9 октября 2012 г.
Бабаш А. В., М. : ИНФРА-М, РИОР, 2013
Пособие предназначено для студентов высших учебных заведений, обучающихся по специальности «Прикладная информатика (в экономике)». Оно также содержит методический материал для ряда инновационных курсов лекций по профилю «Информационная безопасность» и может быть использовано и для блока дисциплин этого профиля. Ряд представленных результатов полезен специалистам и аспирантам, специализирующихся в указанной области. ...
Добавлено: 14 января 2014 г.
Малышев Д. С., Discrete Mathematics 2015 Vol. 338 No. 11 P. 1860-1865
We completely determine the complexity status of the 3-colorability problem for hereditary graph classes defined by two forbidden induced subgraphs with at most five vertices. © 2015 Elsevier B.V. All rights reserved. ...
Добавлено: 7 апреля 2014 г.