Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Anton A. Vasilyev"'
Autor:
Anton V. Vasilyev, Konstantin S. Zaikov, Lyubov A. Zarubina, Inga M. Zashikhina, Taro Kuusiholma, Hao Liu, Svetlana V. Popkova
Publikováno v:
Арктика и Север, Vol 55, Iss 55, Pp 150-161 (2024)
The review summarizes the results of the Russian-Chinese expert seminar “Development of Science Diplomacy in the Arctic under the Global Challenges”, which was organized in December 2023 in Arkhangelsk, Russia. The aim of the seminar is described
Externí odkaz:
https://doaj.org/article/c19176cb10ed48e8ae4db302048df8ab
Autor:
Anton A. Vasilyev, Vadim Mutilin
Publikováno v:
Programming and Computer Software. 46:747-754
An approach to the static verification of the program source code for correct memory usage is considered. The method is based on the use of symbolic graphs for representing the program memory. An extension of symbolic memory graphs that makes it poss
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20043ae8892d3ad616034907837458d9
https://doi.org/10.1134/s0361768820080071
https://doi.org/10.1134/s0361768820080071
Autor:
Egor A. Kulikov, Zhamaladen I. Ibrahimov, Andrey A. Serebryakov, Anton A. Vasilyev, Aleksey Yu. Rezinkin, Evgeniy S. Anichkin
Publikováno v:
Journal of Advanced Research in Dynamical and Control Systems. 12:75-88
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::80454fc6a0b26055df544852139a52b9
https://doi.org/10.5373/jardcs/v12sp7/20202085
https://doi.org/10.5373/jardcs/v12sp7/20202085
Publikováno v:
History of state and law. 4:18-23
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b601b7dd26c9fd37c09652d9fe88882c
https://doi.org/10.18572/1812-3805-2020-4-18-23
https://doi.org/10.18572/1812-3805-2020-4-18-23
Autor:
Olga Vasilyeva, Anton A. Vasilyev
Publikováno v:
De Securitate et Defensione. O Bezpieczeństwie i Obronności. 5:113-120
The article is devoted to a critical review of the European Parliament Resolution of February 16, 2017 on the regulations in the field of robotics. The authors analyze the approaches of the creators of the law in terms of perception of autonomous rob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ec0044d05e07b6dc844c23124e7bb10
https://doi.org/10.34739/dsd.2019.01.08
https://doi.org/10.34739/dsd.2019.01.08
Autor:
Aleksey Ovchinnikov, Vladimir Miliev, Ella Goryan, Ol'ga Kotlyar, Tat'yana Evseeva, Nikita YAkovenko, Tatiana Bespalova, Ilia Minnikes, Anna Savluk, Mohd Rusli Mohd Hazmi, Victor Zatonskiy, Vyacheslav Filimonov, N.V. Shashlo, Viktor Uglev, YAroslav Konoplya, Anastasiya Kozhemyakina, Benedict Tristen, Ekaterina Ali-Osmanova, Sergey Volobuev, Gagik Serobyan, Anton A. Vasilyev, Evgeniya Kupryashkina, Ol'ga Savchenko, Lyubov' Grogulenko, Zahar Kurshakov, Andrey Mordovtsev, Chen Zhao, Violetta Nazarova, Aleksey Mamychev, DariusH Shopper, Ekaterina Ten, Arina Ivanova, Anastasiya Zareckaya, Roman Dremliuga, Sergey Vorontsov, Alina Kirishchuk, Sergey Zharov, Dmitrij Son, Dmitry Boychuk, Alkeksandr Alekseenko, Nikita CHebunin, Svetlana Tomashuk, Nikita ZHuravlev, Lilia Pankratova, Dmitry Lobach, Inna Vetrenko, Ol'ga Sergeeva, Il'ya Vakurov, Ilya Kupryashkin, Anna Basinskaya, Aleksandr Voronin, Galina Komkova, Natalia Platonova, Maria Omelyanenko, Victoria Kovaleva, Lyuj Guanhaj, Tat'yana Mordovceva
The monograph was prepared based on the results of the I far Eastern international forum "Robots claim their rights: doctrinal and legal foundations and moral and ethical standards for the use of Autonomous robotic technologies and devices", dedicate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4a2244309aaf790d03493f3b76fdc89
https://doi.org/10.29039/02027-2
https://doi.org/10.29039/02027-2
Autor:
Yury A. Zelenin, Anton A. Vasilyev
Publikováno v:
Vestnik Tomskogo gosudarstvennogo universiteta. Pravo. :5-13
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c358aedc8677c16d8fdb0e1cc2aed7c0
https://doi.org/10.17223/22253513/30/1
https://doi.org/10.17223/22253513/30/1
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783319899626
TACAS (2)
TACAS (2)
Our submission to SV-COMP’18 is a composite tool based on software verification framework CPAchecker and static analysis platform Frama-C. The base verifier uses a combination of predicate and explicit value analysis with block-abstraction memoizat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a137cadbc49472aa6b09fd6cfb695e6
https://doi.org/10.1007/978-3-319-89963-3_26
https://doi.org/10.1007/978-3-319-89963-3_26