?
Generation of Synthesizable Verilog Code From Natural Language Specifications
IEEE Access. 2026. Vol. 14. P. 4990–5001.
Язык:
английский
Ключевые слова: design automationhardware description languageVerilogAutomatic natural language processing artificial intelligenceautomatic programmingdigital integrated circuits
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Михайлов И. А., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 1 Article 8
Whole-slide histology images (WSIs) can exceed 100 k × 100 k pixels, making direct pixel-level segmentation infeasible and requiring patch-level classification as a practical alternative for downstream WSI segmentation. However, most approaches either treat patches independently, ignoring spatial and biological context, or rely on deep graph models prone to oversmoothing and loss of local tissue ...
Добавлено: 16 июля 2026 г.
Кунинец А. А., Малыгина Е. С., Leevik A. G. и др., Journal of Computer Virology and Hacking Techniques 2026 No. 22 Article 62
Добавлено: 16 июля 2026 г.
Силаков Д. В., Системный администратор 2026 № 5 С. 46–51
В предыдущей статье про Open Source в КНР [1] мы рассказали про Alibaba – крупную корпорацию, занимающую тридцатое место в рейтинге самых значимых мировых брэндов за 2025 год [2]. Место почетное, но не первое среди китайских компаний – на тринадцатом месте расположилась Tencent, разработчик WeChat и ряда других продуктов, широко используемых нашими восточными соседями. Tencent ...
Добавлено: 14 июля 2026 г.
Клементьев А. П., Касаткина А. С., Legal Issues in the Digital Age 2026 Vol. 7 No. 2 P. 40–60
Добавлено: 14 июля 2026 г.
Sochi: IEEE, 2026.
Добавлено: 13 июля 2026 г.
IEEE, 2026.
Добавлено: 13 июля 2026 г.
Switzerland: Springer, 2026.
Добавлено: 12 июля 2026 г.
Шиманогов И. Н., Вялый М. Н., Дискретный анализ и исследование операций 2025 Т. 32 № 4(166) С. 213–230
Хорошо изученным классом алгоритмических задач являются задачи регулярной реализуемости: проверка непустоты пересечения регулярного языка с заданным языком. Данная задача имеет естественную алгебраическую интерпретацию: проверка принадлежности элемента булевой алгебры ядру определенного гомоморфизма. Это мотивирует рассмотрение аналогичной задачи бесконечной регулярной реализуемости: проверка бесконечности пересечения регулярного языка с заданным. В работе рассматриваются задачи регулярной реализуемости для разрешимых языков ...
Добавлено: 12 июля 2026 г.
Добавлено: 8 июля 2026 г.
Springer, 2027.
Добавлено: 8 июля 2026 г.
Маликов М. А., Монахова Э. А., Рзаев Э. Р. и др., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
В качестве топологий сетей на кристалле рассмотрены серии семейств оптимальных по диаметру двумерных циркулянтных сетей с прямоугольным контуром укладки на плоскости. Прямоугольный контур укладки графа межмодульных соединений даёт возможность компоновки
элементов в сетях на кристалле с минимальным количеством пересечений связей и ограниченной
длиной максимальной из них, не зависящей от размера сети. Для серий семейств циркулянтных сетей с ...
Добавлено: 8 июля 2026 г.
K. O. Petrosyants, I. A. Kharitonov, Tegin M. S., Russian Microelectronics 2025 Vol. 54 No. 7 P. 743–750
работе предложена и реализована усовершенствованная схема многоуровневого автоматизированного электротеплового моделирования мощных электронных компонентов с использованием программного обеспечения Comsol на уровне полупроводниковых приборов, Spice-моделирования на уровне принципиальных схем и системы «Асоника-ТМ» на уровне печатных плат. Описаны разработанные дополнительные программные средства для реализации предложенного маршрута, обеспечивающие автоматизацию процессов расчета мощностей компонентов мощных схем, передачи этих значений в ...
Добавлено: 7 июля 2026 г.
Пиле Я. Э., Deng Y., Щур Л. Н., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 1 Article 014101
Добавлено: 6 июля 2026 г.
Стоянова О. В., Окусков И. С., Бизнес-информатика 2026 Т. 20 № 2 С. 81–93
Интеграция искусственного интеллекта (ИИ) в информационные технологии трансформирует требования к компетенциям специалистов, однако проникновение ИИ-компетенций на ранние этапы жизненного цикла программного обеспечения (Software Development Life Cycle, SDLC) – анализ требований и планирование – остаётся недостаточно изученным. Существующие работы опираются на статические модели компетенций без эмпирической валидации либо анализируют рынок труда на агрегированном уровне профессий, не ...
Добавлено: 5 июля 2026 г.
М.: Наука и технологии, 2026.
«Телекоммуникации» ежемесячный рецензируемый производственный, информационно-аналитический и учебно-методический журнал выходит в свет с июля 2000 г.
Для руководителей и работников промышленности, научно-исследовательских и проектно-конструкторских институтов, высших учебных заведений, аспирантов и студентов, а также для специалистов, разрабатывающих, выпускающих и эксплуатирующих средства телекоммуникаций.
Новости разработок и производства, прогнозы развития, защита информации, Нормативные, справочные, аналитические и учебно-методические материалы.
Переход к глобальному информационному ...
Добавлено: 4 июля 2026 г.
МФТИ, 2025.
абота редакции научного журнала «Труды Московского физико-технического института» (кратко «Труды МФТИ»), редакционной коллегии и редакционного совета осуществляется в соответствии с Положением, утвержденным ректором института. В состав редакционной коллегии входят руководители института, факультетов, институтских и факультетских кафедр. Главный редактор журнала —президент МФТИ, член-корр. РАН Кудрявцев Н.Н.
Журнал «Труды МФТИ» входит в базу данных РИНЦ (Российский Индекс Научного Цитирования) и доступен в электронной ...
Добавлено: 4 июля 2026 г.
Hualin M., Jie Z., Jerome Y. и др., Journal of Internet Technology 2026 Vol. 27 No. 3 P. 367–382
Добавлено: 3 июля 2026 г.
Осипов Д. С., Информационно-управляющие системы 2026 № 3 С. 49–62
Введение: во многих проектируемых в настоящее время и перспективных системах связи методы оценивания характеристик канала и управления мощностью сигнала, разработанные для систем связи предыдущих поколений, не могут обеспечить требуемую точность оценивания и выравнивания мощности сигналов на приемном конце. Одним из вариантов решения этой проблемы является использование методов приема на основе порядковых статистик, которые не требуют управления
мощностью ...
Добавлено: 3 июля 2026 г.
Singapore: Springer, 2025.
Добавлено: 1 июля 2026 г.
Springer, 2026.
Добавлено: 30 июня 2026 г.
Сельский А. К., Снегирев А. Ю., Колбин Е. И. и др., В кн.: Цифровая клиентоцентричность. Как современные технологии помогают компаниям и государству сделать шаг навстречу потребителям.: М.: ИСИЭЗ ВШЭ, 2026. Гл. 2 С. 71–142.
Вторая глава монографии посвящена анализу современных мегатрендов клиентоцентричности, которые формируются под воздействием цифровых технологий и трансформируют подходы компаний и государственных органов к взаимодействию с клиентами и гражданами. На основе семантического анализа больших данных (с использованием системы iFORA) и экспертных интервью авторы выделяют четыре ключевых мегатренда.
Первый мегатренд, проактивное взаимодействие и персонализация, описывает переход от реактивного обслуживания к предвосхищению ...
Добавлено: 26 июня 2026 г.
Космарский А. А., Напреенко И. В., Journal of Cultural Economy 2026 P. 1–4
Добавлено: 23 июня 2026 г.
В декабре 2025 г. в Институте философии РАН состоялся «круглый стол» с международным участием на тему «Социальное программирование как методологический инструмент сетевой самоорганизации: проблемы и тенденции». Организаторы «круглого стола» – журнал «Вопросы философии» и представители научного проекта № 25-28-00707 «Социальное программирование как проблема сетевой самоорганизации», поддержанного Российским научным фондом. В обсуждении приняли участие философы-эпистемологи, специалисты ...
Добавлено: 18 июня 2026 г.