От циклических доказательств к индукции: новый взгляд на формальную верификацию

Исследование предлагает методологию преобразования циклических доказательств в эквивалентные индуктивные, открывая возможности для более широкого использования в системах формальной верификации.

Квантовые нейросети: ускорение обучения с помощью «заморозки» параметров

Новый алгоритм оптимизации WSBD позволяет значительно сократить время обучения квантовых нейронных сетей, динамически отключая наименее значимые параметры.

Рентгеновская томография с нано-разрешением: новый взгляд на микроэлектронику

В ходе исследования была разработана схема эксперимента, включающая в себя электронно-лучевой микроскоп с системой энергодисперсионной спектроскопии и детектором HPCD, расположенным вне вакуумной камеры, для проведения конусно-лучевой рентгеновской микротомографии, где геометрическое увеличение [latex]MG = S_{D}/S_{F}[/latex] определяется расстоянием между источником и детектором [latex]S_{D}[/latex] и расстоянием между источником и объектом исследования [latex]S_{F}[/latex], позволяя изучать взаимодействие электронного луча с мишенью из платины и распространение рентгеновского спектра через исследуемый образец.

Исследователи продемонстрировали возможности быстрой и эффективной трехмерной визуализации интегральных схем с использованием гибридного фотонного детектора.

Магнитный резонанс: от кубитов к точному измерению моментов

В статье представлен углубленный теоретический анализ методов магнитного резонанса, используемых как в квантовых вычислениях, так и в прецизионных измерениях ядерных и электронных моментов.

Спин-кубит и фотонный контур: баланс между связью и точностью

В предлагаемой схеме кубита реализованного на основе донорно-акцепторной структуры, электронное волновое состояние может быть делокализовано электрическим полем к границе раздела кремния и изолятора, а спиновые состояния [latex]\vert\uparrow\Downarrow\rangle[/latex], [latex]\vert\downarrow\Uparrow\rangle[/latex] разделяются зеемановским расщеплением [latex]\omega_B[/latex], в то время как орбитальное расщепление [latex]\omega_0[/latex] определяет энергетические уровни основного (красный) и возбужденного (синий) зарядового коллектора, при этом считывание состояния кубита осуществляется посредством дисперсионного взаимодействия с резонатором частотой [latex]\omega_r[/latex] и эффективной скоростью релаксации γ, а также скоростью потерь фотонов в резонаторе κ.

Новое исследование показывает, как добиться одновременной высокой точности считывания и сильного взаимодействия спина с фотонами в кубитах на основе доноров, интегрированных в схемы КЦП.

Сплетение квантовых миров: настройка для гибридных систем

Разработанная разбавительная холодильная установка и гибридная криогенная система обеспечивают температурные стадии с минимальной температурой менее 10 мК, при этом сверхпроводящий соленоидный магнит, теплосвязанный с промежуточной холодной пластиной при температуре около 100 мК, питается через сверхпроводящие провода между смесителем и 4 К стадией, а также медными линиями постоянного тока между 4 К стадией и комнатной температурой.

В статье представлена детальная разработка криогенной установки, позволяющей одновременно управлять сверхпроводящими кубитами и ансамблями спинов для создания перспективных квантовых систем памяти.

Ускорение работы больших языковых моделей: новый подход к обработке длинных текстов

Исследование сравнительной производительности сквозного декодирования демонстрирует, что SnapMLA обеспечивает высокую скорость генерации на моделях DeepSeek-R1 и LongCat-Flash-Thinking при различных конфигурациях параллелизации и длинах контекста, что подробно описано в разделе 4.4.

Исследователи представили SnapMLA — систему, оптимизирующую процесс декодирования в моделях Multi-Head Latent Attention для эффективной работы с большими объемами данных.