arXiv:2608.18445v1 Анонс Тип: кросс-абстракт: Мы представляем первую механизированную формализацию Тройной Логики Романова (TLS) в ассистенте доказательства Rocq. TLS - это комбинаторная структура на основе тройняшек для рассуждений о совместимых путях через слоистые структуры тройняшек, называемые…
arXiv: 261 030,34923v2 Annuales Type: заменить кросс-бюллетень: Глубокие нейронные сети (NN) для компьютерного зрения уязвимы к состязательным атакам, так что минус злонамеренные изменения в вводе инф...
arXiv:2610.37430v1 Анонс Тип: новое резюме: для надежного использования модели мультимодальных больших языков (MLMs) должны признавать, что изображение не дает достаточных доказательств для ответа на ...
arXiv:2610.37309v1 Анонс Тип: новое резюме: камеры событий все чаще используются для отслеживания нескольких объектов (MOT), но их асинхронный результат часто требует специализированных методов. Сущес...
Успех экспериментальной операции, проведенной на животных, открывает возможность забирать органы из более отдаленных регионов и существенно расширять базу доноров, сообщил замдиректора НМИЦ им. академ...
arXiv: 2606.20967v2 Annuales Type: заменить резюме: Обобщение имеет решающее значение для современного контроля, но обучение по всем заданиям может быть дорогостоящим. Недавняя работа показывает, что ...
arXiv: 261 030,35975v1 Аннонс Тип: новая резюме: оптимизация планировки ветряных ферм становится все более сложной по мере увеличения количества турбин, особенно при использовании высокоточных аэродин...
Платформа прогнозной аналитики обеспечила анализ более чем 4 млн цифровых профилей пациентов
По словам российского космонавта, у американских коллег большой объем подготовительной работы на себя берет Земля за счет того, что связь очень хорошо налажена
Ученые Санкт-Петербургского государственного университета вошли в число 2% самых цитируемых исследователей мира по версии международной базы Scopus. Это означает, что их работы чаще всего упоминают др...
Lenta.ru
Витамин Е может защищать клетки мозга от повреждений и снижать вероятность ухудшения памяти и мышления при сахарном диабете. К такому выводу пришли китайские ученые, проанализировавшие существующие ис...
Руководитель Центра математического моделирования в разработке лекарств Сеченовского университета привел в пример разработку первой в мире физиологически обоснованной модели, описывающей динамику Т-кл...
Исследователи обнаружили небольшую группу клеток мозга, которые предотвращают опасные перепады кровяного давления даже в тех случаях, когда средние показатели выглядят нормальными. Находка показывает ...