Наука

Российские бойцы получили дроны-перехватчики «Рита-2» для борьбы с БПЛА

Российские бойцы получили дроны-перехватчики «Рита-2» для борьбы..

Российские военнослужащие в Запорожской и Херсонской областях получили новые дроны-перехватчики «Рита-2», способные перехватывать ударные и...


Российский детектор «Диспетчер» перехватывает видео с FPV-дронов

Российский детектор «Диспетчер» перехватывает видео с FPV-дронов..

Российская компания «Аналогов Нет» разработала детектор «Диспетчер», способный перехватывать видеосигнал с бортовых камер FPV-дронов...


Бессонная ночь увеличивает число активных синапсов в мозге — исследование PLOS Biology

Бессонная ночь увеличивает число активных синапсов в мозге —..

Ученые выяснили, что 28-часовое бодрствование ведет к росту числа активных связей между нейронами. Двухчасовой сон помогает частично...


«Росэл» представил защищённые от РЭБ навигационные модули для дронов

«Росэл» представил защищённые от РЭБ навигационные модули для..

Холдинг «Росэл» (входит в «Ростех») на форуме «Инженеры будущего» показал два навигационных модуля для беспилотников. Старшая модель...


Покупка подержанного флагмана: способ сэкономить до 50% за год

Покупка подержанного флагмана: способ сэкономить до 50% за год..

Аналитики SellCell выяснили, что даже дорогие смартфоны за год теряют около половины стоимости. Покупка подержанного устройства позволяет...


T2D-Bench: новый бенчмарк выявил ошибки ИИ в рекомендациях при диабете 2 типа

T2D-Bench: новый бенчмарк выявил ошибки ИИ в рекомендациях при..

Исследователи представили T2D-Bench — тестовую среду для оценки ИИ-моделей типа GPT-4o применительно к диабету 2 типа. Бенчмарк использует...


Формально верифицированное право стало сигналом вознаграждения для самообучающегося ИИ

Формально верифицированное право стало сигналом вознаграждения..

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


VeryTrace: фреймворк для верификации цепочек рассуждений ИИ и исправления ошибок

VeryTrace: фреймворк для верификации цепочек рассуждений ИИ и..

Исследователи представили VeryTrace — метод, который формализует многошаговые рассуждения ИИ в компилируемое представление и с помощью...


Новый метод сертификации устойчивости нейросетей: быстрее и надёжнее

Новый метод сертификации устойчивости нейросетей: быстрее и..

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


Исследователи построили сети совместных упоминаний алгоритмов за 40 лет научных публикаций

Исследователи построили сети совместных упоминаний алгоритмов за..

Ученые проанализировали влияние алгоритмов в области NLP, построив сети их совместных упоминаний на основе полных текстов статей за 40 лет....