Сортировать по:
| Выпуск | Название | |
| Том 31, № 1 (2024) | Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... of generalized typed inclusion dependencies. Traditionally, the construction of minimal covering is used for all ..." | ||
| Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
| "... for typed inclusion dependencies in the presence of Null values: a new axiom system is proposed, its ..." | ||
| Том 30, № 3 (2023) | Обобщенные типизированные зависимости включения с неопределенными значениями в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... on the study of the properties of typed dependencies, a system of axioms is obtained, for which consistency ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... . At the first step, the requirements are formalized in a specialized language DV-TRL, a variant of typed first ..." | ||
| Том 14, № 1 (2007) | Минимальные проекторы и максимальные симплексы | Аннотация PDF (Rus) похожие документы |
| М. В. Невский | ||
| "... It is proved that the minimal norm On of a projection in linear interpolation on the n-dimensional ..." | ||
| Том 29, № 3 (2022) | Тестирование зависимостей и правил вывода в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... The process of testing dependencies and inference rules can be used in two ways. First, testing ..." | ||
| Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
| Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
| "... The development of dependency analysis methods in order to improve static code analysis precision ..." | ||
| Том 27, № 3 (2020) | Обобщение правил вывода для зависимостей соединения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... In this paper a generalisation of the inference rules of the join dependencies that are used ..." | ||
| Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
| "... A statically typed version of the data driven functional parallel computing model is proposed ..." | ||
| Том 20, № 5 (2013) | Замкнутые локально минимальные сети на поверхностях выпуклых многогранников | Аннотация PDF (Rus) похожие документы |
| Наталия Павловна Стрелкова | ||
| "... Closed locally minimal networks can be viewed as “branching” closed geodesics. We study ..." | ||
| Том 25, № 1 (2018) | О минимальном коэффициенте поглощения для n-мерного симплекса | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... ). In the present paper, we give new estimates for the minimal absorption index of the simplex contained in (Q ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... . They were developed in [21, 15], as a tool of recognition of languages generated by Categorial Dependency ..." | ||
| Том 14, № 3 (2007) | Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
| М. В. Невский | ||
| "... G N. Here On denotes the minimal norm of a projection dealing with the linear interpolation ..." | ||
| Том 29, № 2 (2022) | Степени перечислимости ограниченных множеств | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич Солон | ||
| "... -degrees are quasi-minimal. An important result is the one stating that bounded sets have the Friedberg ..." | ||
| Том 19, № 4 (2012) | Счетные идеалы в полурешетке Dе степеней | Аннотация PDF (Rus) похожие документы |
| Валерий Валерьевич Тихов | ||
| "... is the intersection of two principal ideals generated by quasi-minimal covers for this ideal. ..." | ||
| Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
| Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
| "... (minimal graph edit distances calculated by the exact search algorithm). ..." | ||
| Том 21, № 5 (2014) | Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... покрытия матрицы инциденций фасет-вершин, введенное в рассмотрение М. Яннакакисом в 1988 г. Мы приводим ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... Предложен алгоритм решения задачи покрытия для монотонных счетчиковых систем. Разрешимость этой ..." | ||
| Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| "... , который заключается в попытке их типизирования. Если в результате программа типизируема, то она является ..." | ||
| Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар | ||
| "... of traffic on L2-L3 cache interface inside CPU and CPU-RAM bus load as well as show dependencies of total ..." | ||
| Том 22, № 1 (2015) | О нулях некоторых характеристических квазиполиномов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова | ||
| "... for applications is considered. In this case, for quasi-polinomial roots obtained are the analytical dependencies ..." | ||
| Том 25, № 2 (2018) | Измерение накладных расходов на параллелизм и виртуальную память | Аннотация похожие документы |
| Евгений Иванович Клименков | ||
| "... of concurrency outweighs virtual memory overhead and that there is a complex dependency between them. The article ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... , showing that its impact on performance of Borealis is minimal. The article is published in the authors ..." | ||
| Том 20, № 4 (2013) | Автоматизация формирования табличных приложений | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... . On the basis of lossless join property and realized dependencies, the concept and a way of context formation ..." | ||
| Том 32, № 2 (2025) | Об экстремальных элементах и мощности множества непрерывно дифференцируемых выпуклых продолжений булевой функции | Аннотация PDF (Rus) похожие документы |
| Достонжон Нумонжонович Баротов, Рузибой Нумонжонович Баротов | ||
| "... In this paper we study the existence of the maximal and minimal elements of the set of continuously ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... необходимость написания тестов и обеспечения тестового покрытия с учетом человеческого фактора. Наиболее ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... Предлагается метод подготовки тестовых данных, обеспечивающих определенный уровень покрытия ..." | ||
| Том 24, № 1 (2017) | Новые оценки числовых величин, связанных с симплексом | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... of (S) and ratio of~homothety (sigma). By (xi(S)) we mean the minimal (sigma>0) such that (Q ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... dependencies. The main way of their execution is interpretation, which does not allow to perform calculations ..." | ||
| Том 25, № 6 (2018) | О некоторых задачах для симплекса и шара в Rn | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... ) and the ratio (tau). We mean by (xi(C;S)) the minimal (tau>0) such that (C) is a subset ..." | ||
| Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
| "... for computing the minimal sound resource for a given sound 1-dim RWF-net. ..." | ||
| Том 32, № 1 (2025) | Экстремальные оценки индекса Винера для слабо связных ориентированных графов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Чалый | ||
| "... with $n$ vertices for which the Wiener index with this сonvention reaches minimal and maximal values. We ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... программ, как граф потока управления, время символьного выполнения и степень покрытия при символьном ..." | ||
| Том 23, № 5 (2016) | О числовых характеристиках симплекса и их оценках | Аннотация PDF (Rus) похожие документы |
| М. В. Невский, А. Ю. Ухалов | ||
| "... the following numerical characteristics of the simplex. Denote by (xi(S)) the minimal (sigma>0 ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... , WCET] and can have data dependency on other tasks. If a decrease in the execution time of the task ..." | ||
| Том 20, № 3 (2013) | Об одной задаче для симплекса и куба в Rⁿ | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... Let S be a nondegenerate simplex in Rⁿ. Denote by α(S) the minimal σ > 0 such that the unit cube ..." | ||
| Том 26, № 1 (2019) | Анализ эффективности демультиплексирования транспортных потоков | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Степанов | ||
| "... you to build routes with minimal intersections, since using the nonintersecting routes with non ..." | ||
| Том 32, № 1 (2025) | Доминирующие множества с окрестностью для деревьев | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Иорданский | ||
| "... )$ is the number of vertices in the minimal $varepsilon$-dominating set; $delta_{varepsilon}(G) = 1$ for $r(G ..." | ||
| Том 26, № 3 (2019) | Геометрические оценки при интерполяции на n-мерном шаре | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... ) as an operator from (C(B_n)) on to (C(B_n)). Let us define (theta_n(B_n)) as the minimal value of (|P ..." | ||
| Том 28, № 2 (2021) | О свойствах правильного симплекса, вписанного в шар | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... that $|P^prime|_B$ is equal to the minimal norm of an interpolation projector with nodes in $B$. We ..." | ||
| Том 31, № 3 (2024) | Oценивание интерполяционных проекторов с применением многочленов Лежандра | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... denote the minimal norm $|P|_Omega$ of all operators $P$ with nodes belonging to $Omega$. By ${rm ..." | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... основе формальных моделей. Однако полнота тестов, построенных по расширенному автомату на основе покрытия ..." | ||
| Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
| Томас Баар | ||
| "... диаграммы состояний от реализации системы измеряется путем применения критерия покрытия, используемого для ..." | ||
| Том 30, № 4 (2023) | Совместное упрощение пространственных объектов различного типа с сохранением топологических отношений | Аннотация PDF (Rus) похожие документы |
| Ольга Павловна Якимова, Дмитрий Михайлович Мурин, Владислав Геннадьевич Горшков | ||
| "... уделяется особое внимание с начала исследований в этой области. Рассмотрение покрытий и сеточных структур ..." | ||
| Том 29, № 3 (2022) | Исследование моделей топологических отношений пространственных объектов | Аннотация PDF (Rus) похожие документы |
| Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова | ||
| "... из наиболее востребованных действий при работе с картами. При покрытии карты сеткой, внутри ячейки ..." | ||
| Том 26, № 2 (2019) | Линейная интерполяция на евклидовом шаре в Rⁿ | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... ) the norm of (P) as an operator from (C(B)) into (C(B)). Let us define (theta_n(B)) as minimal ..." | ||
| Том 25, № 3 (2018) | Oб оптимальной интерполяции линейными функциями на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... denote by (theta_n) the minimal possible value of (|P|.) Earlier, the first author proved various ..." | ||
| Том 24, № 5 (2017) | Об n-мерных симплексах, удовлетворяющих включениям S ⊂ [0, 1] n ⊂ nS | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... _n }.) By (alpha(S)) we denote the minimal (sigma>0) such that (Q_n) is contained in a translate of simplex ..." | ||
| 1 - 49 из 49 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
