Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

doi:10.1007/978-3-030-62077-6

Публикации

?

Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Issue 12300. Хам : Springer, 2020.

Научный редактор: Нигам В., T. Ban Kirigin, C. Talcott, J. Guttman, Кузнецов С. Л., B. T. Loo, M. Okada

A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential

Кузнецов С. Л., , in: Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th BirthdayIssue 12300.: Cham: Springer, 2020. P. 3–16.

Добавлено: 25 ноября 2020 г.

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

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

DOI

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

Ключевые слова: computer security formal languages Logic

Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

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

Multilinear nilalgebras and the Jacobian theorem

Пионтковский Д. И., / Series arXiv "math". 2025.

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

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 г.

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 г.

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 г.

Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.

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

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

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

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

Онтологическая логика абсурда Александра Зиновьева

Поляков Л. В., Вестник Московского университета. Серия 7: Философия 2024 Т. 48 № 4 С. 29–43

В статье предпринимается попытка описать логику трансформации логической концепции Александра Зиновьева, обозначенной им самим как «комплексная логика», в художественный текст особого жанра — «социологический роман». При этом поиск Зиновьева сопоставляется с центральной задачей Гегеля в его трехтомнике «Наука логики» и с парадоксальными исходными посылками «Логико-философского трактата» Л. Витгенштейна. Единство логики, гносеологии и онтологии, постулированное Зиновьевым, оборачивается ...

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

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track. European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part X. LNCS, volume 14950

Cham: Springer, 2024.

Добавлено: 22 ноября 2024 г.

Themes from Weir: A Celebration of the Philosophy of Alan Weir

Cham: Springer, 2024.

This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen’s, Belfast. In a number of areas, Weir has elaborated strikingly original views which involve a radical departure from the mainstream. ...

Добавлено: 12 сентября 2024 г.

On Decidability of Theories of Regular Languages

Sergey Dudakov, Karlov B., Theory of Computing Systems 2021 Vol. 65 No. 3 P. 462–478

Добавлено: 12 ноября 2023 г.

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Cham: Springer, 2022.

Добавлено: 7 августа 2022 г.

Information Systems and Design. Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers

Springer, 2022.

Добавлено: 16 февраля 2022 г.

Octagonal picture languages

Govindaraj R., Махендран А., International Journal of Reasoning-based Intelligent Systems 2018 Vol. 3 No. 4 P. 197–203

Добавлено: 24 ноября 2021 г.

On Security Analysis of Periodic Systems: Expressiveness and Complexity.

AlTurki M. A., Kirigin T. B., Канович М. И. и др., , in: Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021.: SciTePress, 2021. P. 43–54.

Добавлено: 18 октября 2021 г.

Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021

SciTePress, 2021.

Добавлено: 18 октября 2021 г.

. Resource and timing aspects of security protocols.

Urquiza A. A., AlTurki M. A., Kirigin T. B. и др., , in: Journal of Computer SecurityVol. 25. Issue 6.: Amsterdam: IOS Press, 2017. Ch. 29(3) P. 299–340.

Добавлено: 18 октября 2021 г.

Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings

Switzerland: Springer International Publishing, 2021.

Добавлено: 28 сентября 2021 г.

Demystifying Blockchain Technology for Resource-Constrained IoT Devices: Parameters, Challenges and Future Perspective

Romashkova I., Комаров М. М., Ometov A., IEEE Access 2021 No. 9 P. 129264–129277

Добавлено: 26 сентября 2021 г.

Internet of Things, Smart Spaces, and Next Generation Networks and Systems. 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part II

Switzerland: Springer, 2020.

Добавлено: 23 декабря 2020 г.

Стратегии аргументации в Древнем мире

Крючкова С. Е., М.: Юрайт, 2020.

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

Добавлено: 28 декабря 2019 г.