Bodin E. An approach to using Golang programs for the specification and verification of distributed systems // Bulletin of the Novosibirsk Computing Center. – 2023. – No. 47. – P. 1 -9. DOI: 10.31144/BNCC.CS.2542-1972.2023.N47.P1-9. (РИНЦ).
Brausse F., Korovin K., Korovina M.V., Muller N.Th. The KSMT calculus is a δ-complete decision procedure from non-linear constraints // Theoretical Computer Science. – 2023. – Vol. 975. – P. 114125. DOI: 10.1016/j.tcs.2023.114125.
Demin A. V., Ponomaryov D. K. Machine learning with probabilistic law discovery: a concise introduction // The Bulletin of Irkutsk State University. Series Mathematics. – 2023. – Vol. 43. – P. 91–109. DOI: 10.26516/1997-7670.2023.43.91.
Dyrkheeva N., Malakhova A., Zakharenko A., Okorokova L., Shtokalo D., Pavlova S., Medvedev S., Zakian S., Nushtaeva A., Tupikin A., Kabilov M., Khodyreva S., Luzina O., Salakhutdinov N., Lavrik O. Transcriptomic analysis of CRISPR/Cas9-Mediated PARP1-Knockout cells under the influence of Topotecan and TDP1 inhibitor // International Journal of Molecular Sciences. – 2023. – Vol. 24, No. 6. – P. 5148. DOI: 10.3390/ijms24065148.
Garanina N.O., Staroletov S.M., Zyubin V.E., Anureev I.S. Model checking process-oriented IEC 61131-3 structured text programs // System Informatics. – 2023. – No. 22. – P. 21 - 30. DOI: 10.31144/si.2307-6410.2023.n.22.p21-30.
Gribovskaya N., Virbitskaite I. Comparative transition system semantics for cause-respecting reversible prime event structures // Electronoc Proceedings in Theoretical Computer Science. – 2023. – Vol. 386. – P. 112-126. DOI: 10.4204/eptcs.386.10.
Kisakov D.N., Antonets D.V., Shaburova E.V. et al.DNA vaccine encoding the artificial T-cell polyepitope immunogen of tick-borne encephalitis virus // Bulletin of Experimental Biology and Medicine. – 2023. – Vol. 176, No. 1. – P. 72-76. DOI: 10.1007/s10517-023-05970-4.
Kondratyev D.A. Logic for reasoning about bugs in loops over data sequences (IFIL) // Modeling and Analysis of Information Systems. – 2023. – Vol. 30, No.3. – P. 214-233. DOI: 10.18255/1818-1015-2023-3-214-233.
Korovina M.V., Kudinov O.V. On the computability of ordered fields //
Сибирские электронные математические известия. – 2023. – Т.20, №2. – С. 1341-1360. DOI: 10.33048/semi.2023.020.081.
Krayneva I. On the history of the START project // Bulletin of the Novosibirsk Computing Center. – 2023. – No. 47. – P. 11 - 21. DOI: 10.31144/BNCC.CS.2542-1972.2023.N47.P11-21. (РИНЦ).
Krayneva I., Meriste M, Sanborn K. Enn Tyugu: social and professional background // Review of the National Center for Digitization. – Belgrade: Faculty of Mathematics, University of Belgrade, 2023. – Iss. 43. – P. 59–68. (РИНЦ).
Loukachevitch N., Artemova E., Batura T., Braslavski P., Ivanov V., Manandhar S., Pugachev A., Rozhkov I., Shelmanov A., Tutubalina E. NEREL: a Russian information extraction dataset with rich annotation for nested entities, relations, and wikidata entity links // Language Resources and Evaluation. – 2023. – Vol. 57, Iss. 3. DOI: 10.1007/s10579-023-09674-z.
Loukachevitch N., Manandhar S., Baral E., Rozhkov I., Braslavski P., Ivanov V., Batura T., Tutubalina E. NEREL-BIO: a dataset of biomedical abstracts annotated with nested named entities // Bioinformatics. – 2023. – Vol. 39, Iss. 4. DOI: 10.1093/bioinformatics/btad161.
Marshalova A., Bruches E., Batura T. Automatic aspect extraction from scientific texts // Communications in Computer and Information Science. – 2023. – Vol. 1905. – https://arxiv.org/abs/2310.04074 .
McCaffrey T.A., Toma I., Yang Z., Katz R., Reiner J., Mazhari R., Shah P., Falk Z., Wargowsky R., Goldman J., Jones D., Shtokalo D., Antonets D., Jepson T., Fetisova A., Jaatinen K., Ree N., Ri M. RNAseq profiling of blood from patients with coronary artery disease: Signature of a T cell imbalance // Journal of Molecular and Cellular Cardiology Plus. – 2023. – Vol. 4, No. 10. – P. 100033. DOI: 10.1016/j.jmccpl.2023.100033.
Palyanova N.V., Sobolev L.A., Palyanov A.Yu., Kurskaya O.G., Komissarov A.B., Danilenko D.M., Fadeev A.V., Shestopalov A.M. The development of the SARS-COV-2 epidemic in different regions of Siberia in the 2020-2022 period // Viruses. – 2023. – Vol. 15, No.10. – P. 2014. DOI: 10.3390/v15102014.
Rybakov V.V. Algorithms for recognizing formulas with none-stable truth values in branching time logic // Procedia Computer Science. – 2023. – Vol. 225. – P. 574-580. DOI: 10.1016/j.procs.2023.10.042.
Shelekhov V.I. Automata-Based Software Engineering with Event-B // Programming and Computer Software. – 2023. – Vol. 49, No. 5. – P. 470–483. DOI: 10.1134/S0361768823050079.
Sidirova E.A., Akhmadeeva I.R., Kononenko I.S., Chagina P.M. Agrument extraction based on the indicator approach // Pattern Recognition and Image Analysis. Advances in Mathematical Theory and Applications. – 2023. – Vol. 33, No. 3. – P. 498–505. DOI: 10.1134/S1054661823030410.
Skiba A., Batura T. Comparison of ELMO-based models on the named entity recognition task // Bulletin of the Novosibirsk Computing Center. – 2023. – No. 47. – P. 33 - 41. DOI: 10.31144/BNCC.CS.2542-1972.2023.N47.P33-41. (РИНЦ).
Starchevskaya M., Kamanova E., Vyatrin Yu., Tregubchak T., Bauer T., Bonev S., Rotskaya U., Polenogova O., Kryukov V., Antonets D. The metagenomic analysis of viral diversity in Colorado potato beetle public NGS data // Viruses. – 2023. – Vol. 15, No. 2. – P. 395. DOI: 10.3390/v15020395.
Turnaev A., Apanovich Z. Extraction of the author’s terminology and definitions from mathematical texts // Bulletin of the Novosibirsk Computing Center. – 2023. – No. 47. – P. 43 - 51. DOI: 10.31144/BNCC.CS.2542-1972.2023.N47.P43-51. (РИНЦ).
Zagorulko Yu.A., Zagorulko G.B. Experince of using content patterns in the development of ontologies of scientific subject areas // Pattern Recognition and Image Analysis. Advances in Mathematical Theory and Applications. – 2023. – Vol. 33, No. 3. – P. 560–567. DOI: 10.1134/S1054661823030513.
Zyubin V.E., Garanina N.O., Anureev I.S., Staroletov S.M. Towards topology-free programming for cyber-physical systems with process-oriented paradigm // Sensors. – 2023. – Vol. 23, No. 13. – P. 6216. DOI: 10.3390/s23136216.
Андреева Т.А., Городня Л.В. Можно ли измерять вклад программистских решений в производительность программ? // Научный сервис сети интернет. – 2023. – № 25. – С. 12-24. DOI: 10.20948/abrau-2023-2.
Городняя Л.В. Относительное определение языков программирования // Научный сервис сети интернет. – 2023. – № 25. – С. 117-129. DOI: 10.20948/abrau-2023-7.
Городняя Л.В., Андреева Т.А. О вопросе измерения вклада программистских решений в производительность программ // Электронные библиотеки. – 2023. – Т. 26, № 6. – С. 738-759. DOI: 10.26907/1562-5419-2023-26-6-738-759. (РИНЦ).
Гусев Д.И., Апанович З.В. Как эмбеддинги имен сущностей влияют на качество выравнивания сущностей // Электронные библиотеки. – 2023. – Т. 26, № 1. – С. 52–79. DOI: 10.26907/1562-5419-2023-26-1-52-79.
Емельянов П.Г. Средства декомпозиции булевых функций логических схем микроэлектроники // Наука и технологии Сибири. – 2023. – № 1 (8). – С. 42–46.
Загорулько Ю.А., Загорулько Г.Б, Серый А.С., Шестаков В.К. Программный комплекс для разработки интеллектуальных систем поддержки принятия решений в слабоформализованных областях // Наука и технология в Сибири. – 2023. – № 3(10). – С. 34-38. (РИНЦ).
Касьянов В.Н. Методы и средства визуализации информации на основе атрибутированных иерархических графов с портами // Сибирский аэрокосмический журнал. – 2023.– Т. 24, № 1. – C. 8-17. DOI: 10.31772/2712-8970-2023-24-1-8-17.
Коровина М.В., Кудинов О.В. Порядково позитивные поля I // Алгебра и логика. – 2023. – Т. 62, № 3. – С. 307 – 322. DOI: 10.33048/alglog.2023.62.301.
Крайнева И.А. Научно-техническая политика в области вычислительной техники в период позднесоветской модернизации 1960-1980-е гг. // История науки и техники. – 2023. – № 5. – С. 37-48. DOI: 10.25791/intstg.5.2023.1420.
Крайнева И.А., Шилов В.В. Профессор Дмитрий Юрьевич Панов: от авиации к информатике // Вопросы истории естествознания и техники. 2023. – Т. 44, № 1. – С. 128-151. DOI: 10.31857/S020596060024517-0.
Марчук А.Г. Модель ТРИЗ-системы, предназначенная для создания ассистирующей программы / / Системная информатика. – 2023. – № 23. DOI: 10.31144/SI.2307-6410.2023.N23.P1-12.
Марчук А.Г. Рецензия. Н.А. Куперштох, И.А. Крайнева «Их именами названы институты Новосибирского научного центра» // Вестник РАН. – 2023. – Т. 93, № 4. – С. 390–393. DOI: 10.31857/S0869587323040060.
Мишинов С.В., Русских Н.Е., Строганов М.С., Штокало Д.Н. Использование подходов машинного обучения для воссоздания утраченной части костей черепа // Российский нейрохирургический журнал имени профессора А.Л. Поленова. – 2023. – Т. 15, № S1. – С. 17. (РИНЦ).
Овчинникова К.А., Иванов А.И., Сидорова Е.А. Автоматизация построения терминологического ядра онтологии по компьютерной лингвистике на основе корпуса текстов // Системная информатика. – 2023. – № 23. – С. 13-32. DOI: 10.31144/SI.2307-6410.2023.N23.P13-32.
Пальянов А.Ю., Пальянова Н.В. О пространстве вариантов генетических последовательностей SARS-COV-2 // Вавиловский журнал генетики и селекции. – 2023. – Т. 27, №7. – С. 839–850. DOI: 10.18699/VJGB-23-97.
Рыбаков В.В. Многоагентные временные логики, информация, унифицируемость и проективность // Алгебра и логика. – 2023. – Т. 62, № 3. – С. 424 – 431. DOI: 10.33048/alglog.2023.62.307.
Серый А.С. Доверие к данным при пополнении онтологий // Онтология проектирования. – 2023. – Т. 13, № 1(47). – С. 113-124. DOI: 10.18287/2223-9537-2023-13-1-113-124.
Сидорова Е.А., Ахмадеева И.Р., Загорулько Ю.А., Кононенко И.С., Серый А.С., Чагина П.М., Шестаков В.К. Комплексный подход к анализу аргументативных отношений в текстах научной коммуникации // Онтология проектирования. – 2023. – Т. 13, № 4 (50). – С. 562-579. DOI: 10.18287/2223-9537-2023-13-4-562-579.
Тихонова Т. И. Социализации учащихся начальной школы путем вовлечение их в конкурсную деятельность // Сибирский учитель. – 2023. – № 1(146). – С. 54-62.
Трофимов В.К. Кодирование сообщений, порожденных произвольным марковским источником, при неизвестной статистике сообщений // Вестник СибГУТИ. – 2023. – Т. 17. № 4. – С. 109–115. DOI: 10.55648/1998-6920-2023-17-4-109-115.
Шелехов В.И., Тумуров Э.Г. Разработка и верификация автоматных программ для систем управления // Наука и технология в Сибири. – 2023. – № 3(10). – С. 100-106. (РИНЦ).
Российские конференции и семинары
Levichev, A.; Palyanov, A. A brief recollection of the Multi-Level Model, and some of its properties which distinguish it from the Standard Model // All-Russia conference with the international participation "Knowledge-Ontology-Theories". Proc.ZONТ-2023. – Novosibirsk. – 2023. – P. 337-347. (РИНЦ).
Андреева Т.А., Городняя Л.В. Можно ли измерять вклад программистских решений в производительность программ? // Научный сервис в сети Интернет: труды XXV Всероссийской научной конференции (18–21 сентября). – М.: ИПМ им. М.В. Келдыша, 2023. – С. 12–24. DOI: 10.20948/abrau-2023-2.
Антонец Д.В., Русских Н.Е., Минин А.Р., Замятин В.И., Вяткин Ю.В., Раменский В.Е., Штокало Д.Н. Использование условных вариационных автокодировщиков и трансформеров для анализа данных SCRNA-SEQ // Тр. 11-й Московской конференции по вычислительной молекулярной биологии. МССМВ’23. – М.: Институт проблем передачи информации РАН, 2023. – Порядковый номер 66. (РИНЦ).
Апанович З.В. Приложение графов знаний для цифровизации предприятий // Научный сервис в сети Интернет: труды XXV Всероссийской научной конференции (18–21 сентября). – М.: ИПМ им. М.В. Келдыша, 2023. – С. 25–37. DOI: 10.20948/abrau-2023-11.
Вяткин Ю.В., Антонец Д.В., Шабурова В.Е., И И.М., Васюченко Е.П., Раменский В.Е., Штокало Д.Н. Языковые модели в изучении белков // Тр. 11-й Московской конференции по вычислительной молекулярной биологии. МССМВ’23. – М.: Институт проблем передачи информации РАН, 2023. – Порядковый номер 58. (РИНЦ).
Гондран Альмега Б.П., Батура Т.В. Реализация алгоритма на основе коллаборативной фильтрации для Item-Based подхода // Сборник избранных статей научной сессии ТУСУР. – Томск: ТГУ, 2023. – № 1-2. –С. 184-186. (РИНЦ).
Городняя Л.В. Относительное определение языков программирования // Научный сервис в сети Интернет: труды XXV Всероссийской научной конференции (18–21 сентября). – М.: ИПМ им. М.В. Келдыша, 2023. – С. 117–129. DOI: 10.20948/abrau-2023-7. (РИНЦ).
Клевцова Ю.Ю. О законах сохранения стационарных мер для стохастической модели Лоренца // Тр. Общество. Наука. Инновации. (НПК-2023). Сборник материалов XXIII Всероссийской (национальной) научно-практической конференции, приуроченной к 60-летию ВятГУ . –Киров. – 2023. – Т. 2. – С. 135-136. (РИНЦ).
Крайнева И.А. Труды и дни профессора Парамонова (1957–2022) // Тр. Историческая наука и архивы в XXI веке. Материалы Второй Всероссийской с международным участием научной конференции историков и архивистов. – Самара . – 2023. – С. 480-489. DOI: 10.18287/978-5-6049622-0-6-2023-60. (РИНЦ).
Сидорова Е.А., Загорулько Ю.А., Кононенко И.С., Серый А.С., Чагина П.М. Подход к построению датасета для задачи извлечения аргументативных отношений // Тр. XXI Национальная конференция по искусственному интеллекту. КИИ-2023. – Смоленск: Принт-Экспресс, 2023. – С. 211-222. (РИНЦ).
Тихонова Т.И. Научно-исследовательская деятельность как метод обучения и социализации // Тр. Профильное образование и специализированное обучение: стратегия, тактика и технология развития в поликультурном пространстве. Сборник материалов Всероссийской научно-методической конференции с международным участием, Новосибирск, 9–10 декабря 2023 года. – Новосибирск: НГУ, 2023. – С. 58–62.
Международные конференции и семинары
Bozhenkova E.N., Virbitskaite I.B. Extended Future in Testing Semantics for Time Petri Nets // Concurrency, Specification and Programming. Revised Selected Papers. Proc. CS&P'21. – 2023. – Vol. 1091. – P. 65 – 89. (Scopus).
Kolganova A., Apanovich Z. AEVis: a visualization method to facilitate understanding data and entity alignment results // 4th International Siberian Scientific Workshop on Data Analysis Technologies with Applications SibDATA-2023, September 22–23, 2023, Ashgabat, Turkmenistan.
Levichev A.V., Palyanov A. Yu. A brief recollection of the multi-level model, and some of its properties which distinguish it from the standard model // Тр. IX Международной конференции «Знания-Онтологии-Теории». — Новосибирск: ИМ СО РАН, 2023. – С. 337-347. (РИНЦ).
Tikhobaeva O., Bruches E. Relation extraction from scientific texts in Russian with limited training data // 2nd Workshop on Information Extraction from Scientific Publications. Proc. WIESP. – 2023. – P. 25-30. DOI: 10.18653/v1/2023.wiesp-1.3. (Scopus).
Городняя Л.В. Ершовские научные конференции по программированию // Тр. VI международной конференции «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ». SORUCOM -23. – Н. Новгород. – 2023. – С. 137-143. DOI: 10.31144/SOR.978-5-6050958-0-4.2023.P.137-143.
Касьянов В.Н., Касьянова Е.В. Модель атрибутированных иерархических графов с портами для визуализации структурированной информации // Тр. XXIII Международной научно-практической конференции «Информатика: проблемы, методы, технологии». – Воронеж: Воронежский государственный университет, 2023. – С.1287-1296. (РИНЦ).
Клевцова Ю.Ю. Одна предельная теорема для модели Лоренца, возмущенной белым шумом // Тр. Современные методы теории краевых задач. Понтрягинские чтения - XXXIV. Материалы международной Воронежской весенней математической школы, посвящённой 115-летию со дня рождения академика Л.С. Понтрягина. – Воронеж. – 2023. – С. 216. (РИНЦ).
Клевцова Ю.Ю. О некоторых неравенствах для стационарных мер модели Лоренца // Тр. Международной научной конференции «Уфимская осенняя математическая школа 2023». – Уфа: ООО "Аэтерна", 2023. – Т. 2. – С. 66. (РИНЦ).
Колганова А. В., Апанович З.В. Метод визуализации, упрощающий понимание данных и результатов выравнивания сущностей // Тр. IX Международной конференции «Знаний-Онтологии-Теории». ЗОНТ – 2023. – Новосибирск: Изд-во Института математики им. С.Л.Соболева СО РАН, 2023. – С. 169–177. (РИНЦ).
Кононенко И.С., Загорулько Ю.А., Серый А.С., Сидорова Е.А., Шестаков В.К. Классификация типовых моделей рассуждения и их применение для исследования аргументации в текстах научной коммуникации // Тр. IX Международной конференции «Знаний-Онтологии-Теории». ЗОНТ – 2023. – Новосибирск: Изд-во Института математики им. С.Л.Соболева СО РАН, 2023. – С. 178–187. (РИНЦ).
Крайнева И.А. К истории ИТМ и ВТ АН СССР: Лаврентьев vs Бруевич (1948-1953) // Тр. VI международной конференции «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ». SORUCOM -23. – Н. Новгород. – 2023. – С. 223-228. DOI: 10.31144/SOR.978-5-6050958-0-4.2023.P.223-228.
Левичев А.В., Нещадим М.В., Пальянов А.Ю. О применении переноса Ферми-Уолкера в звёздных наблюдениях: общий подход и солнечная конкретика. // Тр. IX Международной конференции «Знания – Онтологии – Теории». ЗОНТ-2023. – Новосибирск: Изд-во Института математики им. С.Л.Соболева СО РАН, 2023. – С. 195-201. (РИНЦ).
Малышев А.А. Кроссплатформенный компилятор языка Cloud Sisal // Тр. XXIII Международной научно-практической конференции «Информатика: проблемы, методы, технологии». – Воронеж: Воронежский государственный университет, 2023. – С.75-83. (РИНЦ).
Шелехов В.И., Каблуков И.В., Янбулатов Д.Р. Разработка и верификация программ обработки графов в предикатном программировании // Тр. IX Международной конференции «Знания-Онтологии-Теории». ЗОНТ-2023. – Новосибирск: ИМ СО РАН, 2023. – С. 299-306. (РИНЦ).
Тезисы докладов на конференциях
Korovina M.V., Kudinov O.V. Index sets for order positive fields // Тез. докл. Мальцевские чтения. – Новосибирск: ИМ СО РАН, 2023. – С. 140. (РИНЦ).
Rybakov V.V. Temporal and multi-agent logics, common knowledge, satisfability, unification, admissibility // Тез. докл. Мальцевские чтения. – Новосибирск: ИМ СО РАН, 2023. – С. 22. (РИНЦ).
Касьянов В.Н., Касьянова Е.В. Модель атрибутированных иерархических графов с портами для визуализации сложно структурированной информации // Тез. докл. Преподавание информационных технологий в Российской Федерации: Двадцать первая открытая Всероссийская конференция. – Нижний Новгород: Издательство Нижегородского государственного университета им. Н.И. Лобачевского, 2023. – С. 53-54. ISBN 978-5-91326-827-3.
Касьянов В.Н., Касьянова Е.В., Малышев А.А. Кроссплатформенный компилятор для функционального языка Cloud Sisal // Тез. докл. Преподавание информационных технологий в Российской Федерации: Двадцать первая открытая Всероссийская конференция. – Нижний Новгород: Издательство Нижегородского государственного университета им. Н.И. Лобачевского, 2023. – С. 55-56. ISBN 978-5-91326-827-3.
Матвеев А.В., Нартова А.В., Машуков М.Ю., Белоцерковский В.А., Санькова Н.Н., Кудинов В.Ю., Окунев А.Г. Применение методов глубокого машинного обучения для автоматического анализа изображений с помощью сервисов, представленных на платформе IOK // Тез. докл.VIII Всесоюзной конференции по наноматериалам. НАНО 2023. – Москва, 2023. – С. 183-184. (РИНЦ).
Старцев П., Девятериков А., Стучинский А., Линке А., Колобов В., Пальянова Н., Пальянов А. Программный комплекс с WEB-доступом для хранения, обработки и анализа генетических последовательностей респираторных вирусов // Тез. докл. V Международная конференция «Влияние изменения климата на биологическое разнообразие и распространение вирусных инфекций животных в Евразии». – Новосибирск, 2023. –С.31. (РИНЦ).
Пальянова Н., Соболев И., Пальянов А., Курская О., Комиссарова А., Даниленко Д., Фадеев А., Шестопалова А. Эпидемия SARSCOV-2 в Сибирском федеральном округе в 2020-2022 гг. // Тез. докл. V Международная конференция «Влияние изменения климата на биологическое разнообразие и распространение вирусных инфекций животных в Евразии». – Новосибирск, 2023. –С.15. (РИНЦ).
Статьи в сборнике
Гондран Альмега Б.П., Батура Т.В. Реализация алгоритма на основе коллаборативной фильтрации для ITEM-BASED подхода // Сборник избранных статей научной сессии ТУСУР. – Томск, 2023. – С. 184-186. (РИНЦ).
Препринты
Tarasyuk I.V. Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC. – France, 2023. – (Preprint / HAL Open Archives hal-02573419v4). – https://hal.science/hal-02573419v4/file/dtsdpbchal3rv.pdf.
Емельянов П.Г. Патентная заявка на результат интеллектуальной деятельности: Способ детерминированной проверки принадлежности индекса индексному множеству при потоковой обработке данных с эффективным расходованием оперативной памяти для представления множества и времени работы центрального процессора ЭВМ. (08.12.2023, № приоритета 2023132431).
Свидетельство о регистрации программы для ЭВМ
Штокало Д.Н., Тарасенко Е.Ф., Русских Н.Е., Мишинов С.В., Строганов М.С. / Свидетельство о регистрации программы для ЭВМ RU 2023615076, 09.03.2023. (РИНЦ).
Учебные и методические издания
Бульонков М.А., Емельянов П.Г., Скопин И.Н. Базовые понятия и методы программирования: Учеб. пособие. – Новосибирск: ИПЦ НГУ, 2023. ISBN 978-5-4437-1495-0.
