Многокритериальная оптимизация: взгляд на народные методы
Новое исследование систематизирует и формализует интуитивно понятные подходы к многокритериальной оптимизации, раскрывая их теоретические основы и границы применимости.
Проверка свойств бесконечных семейств систем: новый подход
В статье представлен инновационный метод верификации бесконечных семейств конечных систем, моделируемых графовыми грамматиками, с использованием логики CTL*.
Тонкости реконструкции типов и эффектов: новые выводы
В статье анализируются скрытые ошибки в алгоритме вывода типов для систем с полиморфизмом высшего порядка и эффектами, подчеркивая важность точной обработки связывания переменных.
Гипергеометрические функции: вычислительные методы и алгебраические свойства
В статье представлены алгоритмы для анализа поведения гипергеометрических функций при вычислении по модулю простых чисел, позволяющие установить их алгебраичность и находить уничтожающие полиномы.
Молекулярный язык и геометрия: новый подход к предсказанию квантовых свойств
Исследователи разработали систему, способную предсказывать квантовые гамильтонианы молекул, используя только их SMILES-представления, без необходимости учитывать трехмерную структуру.
Нелинейные сети: новый подход к физическим нейронным вычислениям
Исследователи продемонстрировали физическую реализацию сети Колмогорова-Арнольда, открывая путь к более компактным и энергоэффективным нейронным системам.
Адаптивное распознавание речи: обучение без забывания в условиях ограниченных ресурсов
Новый подход позволяет системам распознавания речи непрерывно обучаться новым командам и адаптироваться к меняющимся условиям, не теряя при этом эффективности и скорости работы.
Вычислительные сети по воздуху: новый подход к оценке каналов связи
![Оценивается влияние количества бит квантования на среднеквадратичную ошибку [latex]MSE[/latex] суммарной оценки OAC, при [latex]N=0[/latex] - отсутствии обратной связи по фазе, и [latex]K=10[/latex], где векторы [latex]v_{k}, g_{k}, n[/latex] независимо распределены как комплексные нормальные с нулевым средним и единичной дисперсией, а результаты усреднены по [latex]10^{5}[/latex] испытаниям.](https://arxiv.org/html/2601.16054v1/x2.png)
В статье представлено гибридное решение для оценки каналов в системах Over-the-Air Computation, позволяющее повысить эффективность и снизить задержки.
Самообучающиеся данные: новый подход к улучшению качества наборов данных
Исследователи предлагают инновационный метод повышения точности и надежности моделей машинного обучения за счет итеративного улучшения самих данных.
Квантовые Забавы и Инфраструктурные Головоломки
Квантовые Забавы и Инфраструктурные Головоломки Знаете, вот что забавно: мы гонимся за квантовыми битами, мечтая о невероятных вычислениях, а потом вдруг понимаем, что у нас банально нет электричества, чтобы их запитать! Это как строить космический корабль, не имея гаечного ключа. Представьте себе огромный оркестр. Квантовые биты – это виртуозные музыканты, способные играть сложнейшие пассажи. Но … Читать далее