#Логики

8 статей
arXiv Machine Learning
arXiv Machine Learning

Логики нападения, а не результаты: Концепции нападений на имущество в целях его сокращения в нервных сетях

arXiv: 261 030,34923v2 Annuales Type: заменить кросс-бюллетень: Глубокие нейронные сети (NN) для компьютерного зрения уязвимы к состязательным атакам, так что минус злонамеренные изменения в вводе инф...

arXiv Machine Learning
3
Читать
arXiv AI
arXiv AI

ПАТАС: рамки для пропаганды доверия в нейронных сетях с использованием субъективной логики

arXiv: 2511.20586v5 Вид уведомления: заменить резюме: Достоверность стала одним из ключевых требований для использования искусственного интеллекта в важнейших целях обеспечения безопасности, однако тр...

arXiv AI
6
Читать
arXiv AI
arXiv AI

Простая доксастичная деонтическая логика для принятия решений под руководством Норм

arXiv: 261 0600668v1 Сообщение типа: новое резюме: принятие решений, несмотря на противоречащие нормы и неполную или ненадежную информацию, является одной из основных проблем для автономных систем. Мы...

arXiv AI
3
Читать
arXiv AI
arXiv AI

Логик-дифф: внедрение защитных свойств в доступные киберфизические системы АИ

arXiv: 2609.38381v1 Вид уведомления: перекрестное резюме: Кибер-физические системы с АИ (КПС) крайне уязвимы для состязательных и аномальных вводимых факторов, когда небольшие нарушения могут вызвать ...

arXiv AI
4
Читать
Путин передал "дочку" французского Аptar в управление "Логики молока" Закриева Деловой Петербург
Деловой Петербург

Путин передал "дочку" французского Аptar в управление "Логики молока" Закриева

Президент России Владимир Путин передал дочернюю компанию французского Аptar Europe Holding в управление организации "Логика молока". Соответствующий документ опубликован 21 сентября 2026 года на офиц...

Деловой Петербург
От Цифровой Логики к Процессору через ПЛИС. Программа годового курса для школьников физматшкол Хабр
Хабр

От Цифровой Логики к Процессору через ПЛИС. Программа годового курса для школьников физматшкол

В картине мира, представляемой школьным образованием, существует “слепое пятно” в области принципов проектирования цифровой электроники, между физикой и программированием. Курсы роботики и ардуино это...

Хабр
arXiv AI
arXiv AI

Формальная проверка тройной логики Романова: проверяемый фильтр для раздвижного окна 3-CNF с применением к структурированным формулам

arXiv:2608.18445v1 Анонс Тип: кросс-абстракт: Мы представляем первую механизированную формализацию Тройной Логики Романова (TLS) в ассистенте доказательства Rocq. TLS - это комбинаторная структура на ...

arXiv AI
4
Читать