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

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

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

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

WWW '26: The ACM Web Conference 2026

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

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

Ising models on the hydrogen peroxide and other lattices

Qin X., Deng Y., Щур Л. Н. и др., / Series arXiv "math". 2026. No. 2603.02962.

Добавлено: 20 апреля 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 г.

Diffusion on language model embeddings for protein sequence generation

Мещанинов В. П., Strashnov, P., Shevtsov A. и др., / Cornell University. Серия CoRR, arXiv:2403.03726 "Computing Research Repository,". 2025.

Дизайн белков требует глубокого понимания присущей сложности «белкового вселенной». Хотя многие работы ориентируются на условную генерацию или сосредоточены на отдельных семействах белков, базовая задача безусловной генерации остаётся недостаточно изученной и недооценённой. В этой работе мы исследуем именно этот ключевой аспект и представляем DiMA — модель, которая использует непрерывную диффузию по эмбеддингам, полученным из языковой модели для белков ESM-2, ...

Добавлено: 5 октября 2025 г.

Smoothie: Smoothing Diffusion on Token Embeddings for Text Generation

Шабалин А. М., Мещанинов В. П., Vetrov D., / Series cs.CL, arXiv:2505.18853 "Computation and Language". 2025.

Диффузионные модели достигли передовых результатов в генерации изображений, аудио и видео, однако их адаптация к тексту остаётся сложной из-за его дискретной природы. Ранее подходы либо применяют гауссовскую диффузию в непрерывных латентных пространствах, что наследует семантическую структуру, но затрудняет декодирование токенов, либо работают в пространстве категориального симплекса, что учитывает дискретность, но игнорирует семантические связи между токенами. ...

Добавлено: 5 октября 2025 г.

A Feature Engineering Framework for Computer Vision Based on Topological Data Analysis

Абрамов А. С., Чернышев В. Л., Михайлец Е. В. и др., / Series Social Science Research Network "Social Science Research Network". 2025.

Добавлено: 23 сентября 2025 г.

On the construction of frieze patterns from partitions of convex polygons by nonintersecting diagonals

Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 07600.

Добавлено: 17 сентября 2025 г.

On one property of Catalan numbers

Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 20584.

Добавлено: 9 сентября 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.