Сортировать по:
| Выпуск | Название | |
| Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
| "... that the equivalence checking problem and the minimization problem for these transducers are also decidable ..." | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... of such programs can be reduced to minimization and equivalence checking problems for finite state transducers ..." | ||
| Том 20, № 5 (2013) | Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения | Аннотация PDF (Rus) похожие документы |
| Турсун Камалдинович Юлдашев | ||
| Том 23, № 2 (2016) | Об эффективности минимизирующего подхода к оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович | ||
| "... execution plans. The goal of this paper is to prove the efficiency of the query minimization algorithms ..." | ||
| Том 20, № 5 (2013) | Точные значения поперечников некоторых классов функций из L₂ и минимизация констант в неравенствах типа Джексона – Стечкина | Аннотация PDF (Rus) похожие документы |
| Гулзорхон Амиршоевич Юсупов | ||
| "... ωm(f (r) , t), принадлежащих пространству Lp, 0 < p ≤ 2. В частности, решена задача о минимизации ..." | ||
| Том 21, № 3 (2014) | Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения | Аннотация PDF (Rus) похожие документы |
| Турсун Камалдинович Юлдашев | ||
| Том 17, № 2 (2010) | Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения | Аннотация PDF (Rus) похожие документы |
| В. С. Рублев, А. В. Смирнов | ||
| "... . The problem of minimization of the errors of rounding off in the problem of integer-valued balancing ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| Том 19, № 4 (2012) | Замечания о расположениях точек на квадриках | Аннотация PDF (Rus) похожие документы |
| Александр Владиславович Селиверстов | ||
| "... It is considered the minimization of a quadratic polynomial on the set of all points ..." | ||
| Том 15, № 1 (2008) | О разрешимости проблем ограниченности для счетчиковых машин Минского | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... . It is proved, that for Minsky machines with two counters the boundedness is partial decidable ..." | ||
| Том 26, № 1 (2019) | Алгоритм минимизации количества правил маршрутизации в ПКС | Аннотация PDF (Rus) похожие документы |
| Иван Сергеевич Петров | ||
| "... задача минимизации числа дополнительных правил, устанавливаемых на ПКС коммутаторы приложениями для ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... sequences of pairs of events of the request-response type, and, therefore, finite transducers are most often ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... is decidable if the equivalence problem is decidable in special program models without procedures. For some ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... Finite transducers, two-tape automata, and biautomata are related computational models descended ..." | ||
| Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... and complementation. We prove that an empty language problem and a word recognition problem are decidable ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| "... minimization technique to search an autoregressive model of phonemes specified its multiple samples ..." | ||
| Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
| Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
| "... are demonstrated on numerical examples. We show that the algorithm for the problem of processing time minimization ..." | ||
| Том 20, № 6 (2013) | Общие знания в хорошо структурированных системах с абсолютной памятью | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... is decidable. ..." | ||
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... schemes belonging to these gateway models. The equivalence problem is decidable for these schemes ..." | ||
| Том 26, № 2 (2019) | eT-сводимость множеств | Аннотация PDF (Rus) похожие документы |
| Роман Ревович Яруллин | ||
| "... of algorithmic reducibility, which is both enumeration reducibility and decidable one. The corresponding ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... systems behaviour is a finite state transducer which operates over an input alphabet of control signals ..." | ||
| Том 21, № 3 (2014) | Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности | Аннотация PDF (Rus) похожие документы |
| Мирганд Шабозович Шабозов | ||
| "... Рассматривается задача минимизации погрешности кубатурной формулы на классах функций, задаваемых ..." | ||
| Том 27, № 1 (2020) | Определение расстояний между изображениями методом потоков де Рама | Аннотация похожие документы |
| Сергей Николаевич Чуканов | ||
| "... минимизации квадрата расстояния между деформированным и терминальным изображениями. ..." | ||
| Том 28, № 1 (2021) | Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации | Аннотация PDF (Rus) похожие документы |
| Фредерик Дадо, Жан-Филипп Гро, Ольга Борисовна Кушнаренко | ||
| "... разрабатываются для оптимизации некоторых нефункциональных свойств, например, минимизации потребления ресурсов ..." | ||
| Том 24, № 1 (2017) | О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... решения относительно нетрудоемкой задачи минимизации числа обусловленности модифицированной ..." | ||
| Том 25, № 6 (2018) | Особые точки кривых | Аннотация PDF (Rus) похожие документы |
| Артем Дмитриевич Уваров | ||
| "... глобального минимума только в особых точках кривых пересечения, и решает задачу минимизации этой функции ..." | ||
| Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
| "... гармоники. Она находится с помощью минимизации расстояния между автокорреляционной функцией сигналов и ..." | ||
| 1 - 28 из 28 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
