?
Communications in Computer and Information Science
Vol. 779: Tools and Methods of Program Analysis.
Springer, 2018.
Abdullin A., Stepanov D., Ахин М. Х., , in : Communications in Computer and Information Science. Vol. 779: Tools and Methods of Program Analysis.: Springer, 2018. P. 1-10.
Добавлено: 12 ноября 2018 г.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Cham : Springer, 2018
Добавлено: 11 марта 2019 г.
[б.и.], 2013
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’13) and the International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24–25, 2013. These are co-located events of Petri Nets 2013, the 34th international conference on Applications and Theory of Petri Nets and Concurrency.
PNSE'13 presents the use of Petri ...
Добавлено: 17 августа 2013 г.
Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21-32
Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...
Добавлено: 9 ноября 2020 г.
Springer, 2024
Добавлено: 31 января 2024 г.
Springer, 2022
Добавлено: 30 августа 2021 г.
Yaroslavl : Yaroslavl State University, 2013
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and verication, programming and specification languages, etc. ...
Добавлено: 14 июля 2013 г.
Berlin : Springer, 2014
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 ...
Добавлено: 3 июля 2014 г.
CEUR Workshop Proceedings, 2016
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on ...
Добавлено: 27 июня 2016 г.
M. : -, 2016
Добавлено: 14 сентября 2016 г.
Mikheyenkova M., Druzhinina E., Automatic Documentation and Mathematical Linguistics 2013 Vol. 47 No. 1 P. 36-43
The main directions of research in the field of artificial intelligence are presented on the basis of the Proceedings of the 13th Russian Conference on Artificial Intelligence with International Participation. ...
Добавлено: 28 сентября 2013 г.
St. Petersburg : ООО "Цифровая фабрика "Быстрый Цвет", 2019
Добавлено: 22 апреля 2021 г.
Добавлено: 31 октября 2019 г.
Позин Б. А., M. : HSE, 2017
Конференция посвящена анализу состояния, актуальным направлениям развития, научным проблемам и практическим результатам, полученным отечественными и зарубежными учеными и специалистами в области системной и программной инженерии, а также в области построения информационно-аналитических систем с применением технологии Big Data.
Аудиторией конференции являлись специалисты, студенты и аспиранты, работающие в области заказа, проектирования, разработки, внедрения, эксплуатации и сопровождения информационных и ...
Добавлено: 18 ноября 2017 г.
Springer, 2021
Добавлено: 28 октября 2021 г.
Coimbra : Association for Computational Creativity, 2020
Добавлено: 29 сентября 2020 г.
Sydney : [б.и.], 2017
Proceedings of Machine Learning Research. Volume 70: International Conference on Machine Learning, 6-11 August 2017, International Convention Centre, Sydney, Australia ...
Добавлено: 25 февраля 2018 г.
Switzerland : Springer, 2020
Добавлено: 9 октября 2020 г.
NY : ACM, 2014
The International Conference on Software and Systems Process (ICSSP) 2014 was held in Nanjing, China, between May 26th and 28th, 2014.The main theme of ICSSP 2014 is “Processes for Emerging and Evolving Software Systems”, emphasizing and encouraging the research and experiences related to the emerging trends in software and systems engineering from a process perspective ...
Добавлено: 27 мая 2014 г.
Singapore : Springer, 2020
Добавлено: 19 августа 2020 г.
Кузьминов И. Ф., Бахтин П. Д., Тимофеев А. А. и др., Искусственный интеллект и принятие решений 2020 № 1 С. 3-16
Статья посвящена обзору новейших технологий обработки естественного языка (NLP), которые могут быть применены для решения задач стратегической аналитики. Рассмотрены основные проблемы в этой области и конкретные задачи, которые могут быть решены с помощью средств NLP. Приведен обзор основных направлений, в которых задействуются эти средства. Исследованы последние достижения в области NLP и их возможное приложение. Сделаны ...
Добавлено: 6 мая 2020 г.
Болотова Л. С., Новиков А. П., Никишина А. А., Прикладная информатика 2014 № 3(51) С. 128-135
В статье описан новый взгляд на позиционирование теории создания систем ситуационного
управления как одного из направлений искусственного интеллекта, обладающего механизмами порождения. Ракурс предлагаемого взгляда позволил выявить задачи, решение
которых составляет развитие этой теории с возможностью создания программных систем
нового типа. ...
Добавлено: 19 августа 2014 г.
Болотова Л. С., Новиков А. П., Никишина А. А., Прикладная информатика 2014 № 4(52) С. 63-84
В статье описан новый взгляд на позиционирование теории создания систем ситуационного
управления как одного из направлений искусственного интеллекта, обладающего механизмами порождения. Ракурс предлагаемого взгляда позволил выявить задачи, решение
которых составляет развитие этой теории с возможностью создания программных систем
нового типа. ...
Добавлено: 19 августа 2014 г.
Springer, 2019
Добавлено: 11 декабря 2019 г.
Springer, 2021
Книга вклюает в себя работы 16ой международной конференции по Анализу формальных понятий. Книга поделена на 5 секций: теория, правила, методы и приложения, исследование и визуализация ...
Добавлено: 10 июля 2021 г.