?
Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017
Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017).
2017.
Под общей редакцией: D. Miller
Главы книги
Канович М. И., Кузнецов С. Л., Morrill G. и др., , in: Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017).: [б.и.], 2017. P. 22:1–22:17.
Добавлено: 15 сентября 2017 г.
Netherlands: ScienceDirect, 2025.
Добавлено: 28 июня 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
NY: Association for Computing Machinery (ACM), 2026.
Добавлено: 23 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Алматы: Институт информационных и вычислительных технологий КН МНВО РК, 2024.
В сборнике опубликованы доклады, представленные учеными от Республики Казахстан, Российской Федерации, Латвии, Польши, Республики Белорусь, Японии, Ирана, Малайзии, Кыргызской Республики, Республики Узбекистан и других.
Рассмотрены актуальные вопросы в области математики, информатики и управления: математического моделирования сложных систем и бизнес-процессов, исследования и разработки защищенных и интеллектуальных информационных и телекоммуникационных технологий, математической теории управления, технологий искусственного интеллекта.
Материалы сборника ...
Добавлено: 3 марта 2026 г.
Объедков С. А., Switzerland: Springer, 2024.
Добавлено: 23 января 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Федянин Д. Н., , in: 17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787Vol. 2.: Switzerland: Springer, 2025. P. 247–256.
Добавлено: 13 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Singapore: Springer, 2024.
Добавлено: 6 ноября 2025 г.
Kulya M., Пусев Р. С., Moskvitin D., , in: 2025 International Russian Smart Industry Conference (SmartIndustryCon).: Sochi: IEEE, 2025. P. 83–88.
Добавлено: 19 мая 2025 г.
Switzerland: Springer, 2025.
Добавлено: 29 апреля 2025 г.
Springer Publishing Company, 2022.
Добавлено: 28 февраля 2025 г.
Springer, 2024.
Добавлено: 28 января 2025 г.
Springer, 2024.
Добавлено: 23 октября 2024 г.
Лесив Б. В., Антиномии 2024 Т. 24 № 2 С. 107–139
Подход к праву, разработанный известным американским судьей О. Холмсом, остается малоизученным в России по ряду причин методологического характера. Одна из них заключается в том, что исследования не предваряются целенаправленной концептуализацией формализма как общего импульса, побудившего американское юридическое сообщество XIX–XX вв. рассматривать юридическую практику с точки зрения новых ценностей. Реалистический подход к праву зародился не в ...
Добавлено: 6 августа 2024 г.
Baixeries J., D.I. Ignatov, S.O. Kuznetsov и др., Automation and Remote Control 2024 Vol. 85 No. 3 P. 259–261
Добавлено: 14 мая 2024 г.