Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Val. 84

?

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

A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order

Канович М. И., Кузнецов С. Л., 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 г.

Приоритетные направления: компьютерно-математическое

Язык: английский

Текст на другом сайте

Ключевые слова: formal logic computer science

Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

WWW '26: Proceedings of the ACM Web Conference 2026

NY: Association for Computing Machinery (ACM), 2026.

Добавлено: 23 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Информатика и прикладная математика: Материалы IX Международной научно-пракической конференции (31.10 - 1.11.2024 г.)

Алматы: Институт информационных и вычислительных технологий КН МНВО РК, 2024.

В сборнике опубликованы доклады, представленные учеными от Республики Казахстан, Российской Федерации, Латвии, Польши, Республики Белорусь, Японии, Ирана, Малайзии, Кыргызской Республики, Республики Узбекистан и других. Рассмотрены актуальные вопросы в области математики, информатики и управления: математического моделирования сложных систем и бизнес-процессов, исследования и разработки защищенных и интеллектуальных информационных и телекоммуникационных технологий, математической теории управления, технологий искусственного интеллекта. Материалы сборника ...

Добавлено: 3 марта 2026 г.

Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9–13, 2024, Proceedings

Объедков С. А., Switzerland: Springer, 2024.

Добавлено: 23 января 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

Implementing Transport Coding in OMNeT++ for Message Delay Reduction

Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.

Добавлено: 24 декабря 2025 г.

Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks

Федянин Д. Н., , 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 г.

Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning

Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.

Добавлено: 21 ноября 2025 г.

Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.

Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.

Добавлено: 9 ноября 2025 г.

8th International Conference on Computing, Control and Industrial Engineering (CCIE2024). Advances in Computing, Control and Industrial Engineering VIII (Volume 1). (LNEE, volume 1252)

Singapore: Springer, 2024.

Добавлено: 6 ноября 2025 г.

Reliable Queuing One-Way Delay Metric for Computer Networks

Kulya M., Пусев Р. С., Moskvitin D., , in: 2025 International Russian Smart Industry Conference (SmartIndustryCon).: Sochi: IEEE, 2025. P. 83–88.

Добавлено: 19 мая 2025 г.

Procedia Computer Science: 2022 Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence: The 13th Annual Meeting of the BICA Society

[б.и.], 2022.

Добавлено: 10 мая 2025 г.

27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers. Distributed Computer and Communication Networks

Switzerland: Springer, 2025.

Добавлено: 29 апреля 2025 г.

Communications in Computer and Information Science

Springer Publishing Company, 2022.

Добавлено: 28 февраля 2025 г.

First International Conference, AIiH 2024, Swansea, UK, September 4–6, 2024, Proceedings, Part II. Artificial Intelligence in Healthcare. LNCS, volume 14976

Springer, 2024.

Добавлено: 28 января 2025 г.

Advances in Neural Computation, Machine Learning, and Cognitive Research VIII

Springer, 2024.

Добавлено: 23 октября 2024 г.

Правовой реализм против юридического формализма: вердикт судьи О. Холмса

Лесив Б. В., Антиномии 2024 Т. 24 № 2 С. 107–139

Подход к праву, разработанный известным американским судьей О. Холмсом, остается малоизученным в России по ряду причин методологического характера. Одна из них заключается в том, что исследования не предваряются целенаправленной концептуализацией формализма как общего импульса, побудившего американское юридическое сообщество XIX–XX вв. рассматривать юридическую практику с точки зрения новых ценностей. Реалистический подход к праву зародился не в ...

Добавлено: 6 августа 2024 г.

Introductory Remarks to the Special Issue Devoted to DAMDID/RCDL-2023

Baixeries J., D.I. Ignatov, S.O. Kuznetsov и др., Automation and Remote Control 2024 Vol. 85 No. 3 P. 259–261

Добавлено: 14 мая 2024 г.

The Role of the Scientific Council “Cybernetics” of the USSR Academy of Sciences/the Russian Academy of Sciences in the Development of National Cybernetics and Computer Technology

Amirdjanov G. P., Gurevich I. B., Kostyuk F. V. и др., Pattern Recognition and Image Analysis 2023 Vol. 33 No. 4 P. 988–1049

Добавлено: 13 марта 2024 г.

2022 IEEE Congress on Evolutionary Computation (CEC), 18-23 July 2022

IEEE, 2022.

Добавлено: 5 марта 2024 г.