Babash A. V., М. : ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021
Данное пособие содержит методический материал для инно-вационных курсов лекций по профилю «Криптографическая за-щита информации» и может быть использовано при изучении блока дисциплин этого профиля. Ряд представленных результа-тов полезен аспирантам и специалистам, специализирующимся в указанной области.
Для студентов, обучающихся по направлениям «Прикладная информатика» и «Информационная безопасность». ...
Added: October 23, 2021
Avdoshin S. M., Набебин А. А., М. : ДМК Пресс, 2018
The textbook contains the basic information of formal logical systems. It is Boolean functions, Post’s theorem on functional completeness, the k-valued logic, derivatives of Boolean functions, axiomatic calculi for propositions, for predicates, for sequentions, for resolutions. Programming language Prolog and axiomatic programming language OBJ3 are introduced. Problems of monadic logic, of finite automata and of ...
Added: December 2, 2017
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь : Тверской государственный университет, 2021
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Added: November 12, 2023
Babash A. V., Проблемы информационной безопасности. Компьютерные системы 2015 № 4 С. 96-105
Дается верхняя оценка степени различимости связного перестановочного автомата с заданным диаметром. ...
Added: February 26, 2017
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь : Тверской государственный университет, 2021
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Added: November 12, 2023
Твардовский А. С., Evtushenko N. V., Труды Института системного программирования РАН 2019 Т. 31 № 4 С. 175-188
Finite State Machine (FSM) based approaches are widely used for deriving tests with guaranteed fault coverage for discrete event systems and as the behavior of many nowadays information and control systems depends on time, classical FSMs are extended by clock variables. Moreover, optionality in the real system’s specifications motivates the studying test derivation against models ...
Added: March 13, 2020
N. Nikitina, A. Mitsyuk, Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 219-236
Process models and graphs are commonly used for modeling and visualization of processes. They may represent sets of objects or events linked with each other in some way. Wide use of models in such languages engenders necessity of tools for creating and editing them.
This paper describes the model editor which allows for dealing with classical ...
Added: August 18, 2015
Babash A. V., Проблемы информационной безопасности. Компьютерные системы 2015 Т. 4 С. 96-105
Дается верхняя оценка степени различимости связного перестановочного автомата с заданным диаметром. ...
Added: March 10, 2016
Вендин А. С., Успехи современной науки 2017 Т. 1 № 5 С. 81-85
in this work the development of a tool for the Perl programming language source code analysis for algorithm visualizationis considered . A theoretical basis is considered, which can help approach the implementation of the tool and analyze the source code of the program in Perl. An overview of the existing visualization tools for source code ...
Added: December 11, 2017
Borchmann D., Hanika T., Obiedkov S., Discrete Applied Mathematics 2020 Vol. 273 P. 30-42
We propose an algorithm for learning the Horn envelope of an arbitrary domain using an expert, or an oracle, capable of answering certain types of queries about this domain. Attribute exploration from formal concept analysis is a procedure that solves this problem, but the number of queries it may ask is exponential in the size ...
Added: October 29, 2019
Gostev I. M., М. : Юрайт, 2016
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Added: October 13, 2009
Litvin Y. V., Абрамов И. В., Технологии техносферной безопасности 2016 № 66
Advanced approach to the assessment of a random time of arrival fire fighting calculation on the object of protection, the time of their employment and the free combustion. There is some quantitative assessments with the review of analytical methods and simulation ...
Added: August 27, 2016
Beklemishev L. D., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
We formulate some term rewriting systems in which the number of computation steps is finite for each output, but this number cannot be bounded by a provably total computable function in Peano arithmetic PA. Thus, the termination of such systems is unprovable in PA. These systems are derived from an independent combinatorial result known as the Worm ...
Added: March 13, 2016
Ружицкая Д. Д., САМОЙЛЕНКО А. А., Иванов А. Д. et al., Optoelectronics, Instrumentation and Data Processing 2017 Vol. 54 No. 1 P. 1-8
This paper presents an algorithm for processing the transmission spectra of whisperinggallery optical microcavities for use as a nanoparticle detector. The algorithm is based on the broadening of the microcavity resonance curve during precipitation of nanoparticles on the microcavity surface. Experimental results on the detection of particles are compared with Langmuir adsorption theory. The contribution ...
Added: May 25, 2018
Aaij R., Abdelmotteleb A. S., Abellan Beteta C. et al., The European Physical Journal C - Particles and Fields 2023 Vol. 83 Article 543
https://link.springer.com/article/10.1140/epjc/s10052-023-11673-x#Abs1 ...
Added: December 4, 2023
Springer, 2012
Added: January 29, 2013
Kiselyova N. N., Dudarev V.A., Korzhuev M. A., Inorganic Materials: Applied Research 2016 Vol. 7 No. 1 P. 34-39
A database (DB) on the bandgap of inorganic substances available via the Internet (http://bg.imetdb.ru) was developed for the information service of specialists in the sphere of inorganic chemistry and materials science. The DB is integrated with other information systems on the properties of inorganic substances and materials, which provides the search of a wide range ...
Added: February 23, 2016
Svetlana Maltseva, Kornilov V., Barakhnin V. et al., Complexity 2022 Vol. 2022 Article 5714395
We can observe self-organization properties in various systems. However, modern networked dynamical sociotechnical systems have some features that allow for realizing the benefits of self-organization in a wide range of systems in economic and social areas. The review examines the general principles of self-organized systems, as well as the features of the implementation of self-organization ...
Added: April 18, 2022
Aaij R., Abdelmotteleb A. S., Abellán Beteta C. et al., Physical Review Letters 2022 Vol. 129 No. 9 Article 091801
The first study of the angular distribution of μþμ− pairs produced in the forward rapidity region via the Drell-Yan reaction pp → γ=Z þ X → lþl− þ X is presented, using data collected with the LHCb detector at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 5.1 fb−1. The coefficients ...
Added: December 29, 2022
М. : Издательский центр «Российский государственный гуманитарный университет», 2019
Сборник включает 27 докладов международной конференции по компьютерной лингвистике и интеллектуальным технологиям «Диалог 2019», не вошедшие в ежегодник «Компьютерная лингвистика и интеллектуальные технологии», но рекомендованные Программным Комитетом к представлению на конференции. Для специалистов в области теоретической и прикладной лингвистики и интеллектуальных технологий. ...
Added: December 10, 2019
Karpov V. E., Karpova I. P., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Work solutions are proposed for problems of leader definition and role distribution in homogeneous groups of robots. It is shown that transition from a swarm to a collective of robots with hierarchical organization is possible using exclusively local interaction. The local revoting algorithm is central to the procedure for choice of leader while redistribution of roles can ...
Added: March 14, 2015
М. : National Instruments Russia, 2017
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники, для широкого круга преподавателей, аспирантов и студентов ВУЗов, а также для преподавателей средних школ и технических колледжей. ...
Added: May 10, 2017
Furmanov K. K., Nikol'skii I. M., Computational Mathematics and Modeling 2016 Vol. 27 No. 2 P. 247-253
Added: December 22, 2016
Toldova S., Azerkovich I., Гришина Ю. et al., / НИУ ВШЭ. Series WP BRP "Linguistics". 2015.
Building benchmark corpora in the domain of coreference and anaphora resolution is an important task for developing and evaluating NLP systems and models. Our study is aimed at assessing the feasibility of enhancing corpora with information about coreference relations. The annotation procedure includes identification of text segments that are subjects to annotation (markables), marking their ...
Added: December 15, 2015