咨询与建议

限定检索结果

文献类型

  • 27 篇 会议
  • 7 篇 期刊文献
  • 3 册 图书

馆藏范围

  • 37 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 20 篇 工学
    • 15 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 3 篇 信息与通信工程
    • 3 篇 土木工程
    • 2 篇 电气工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 建筑学
    • 1 篇 交通运输工程
    • 1 篇 船舶与海洋工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 14 篇 理学
    • 11 篇 数学
    • 3 篇 生物学
    • 1 篇 物理学
    • 1 篇 海洋科学
  • 4 篇 管理学
    • 2 篇 公共管理
    • 2 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 公共卫生与预防医...

主题

  • 4 篇 petri nets
  • 3 篇 software enginee...
  • 3 篇 semantics
  • 3 篇 heuristic algori...
  • 2 篇 fuzzy logic
  • 2 篇 informatics
  • 2 篇 computers and ed...
  • 2 篇 computer languag...
  • 2 篇 computational mo...
  • 2 篇 frequency domain...
  • 2 篇 artificial intel...
  • 2 篇 logics and meani...
  • 2 篇 unified modeling...
  • 1 篇 object oriented ...
  • 1 篇 complex networks
  • 1 篇 software systems
  • 1 篇 conferences
  • 1 篇 computer circuit...
  • 1 篇 reinforcement le...
  • 1 篇 clustering

机构

  • 6 篇 department of th...
  • 3 篇 rostov state med...
  • 3 篇 russian universi...
  • 3 篇 kherson state un...
  • 3 篇 russian customs ...
  • 2 篇 institute of app...
  • 2 篇 department of th...
  • 2 篇 department of sy...
  • 2 篇 department of th...
  • 2 篇 zaporizhzhya nat...
  • 2 篇 lviv polytechnic...
  • 2 篇 department of fi...
  • 2 篇 don state techni...
  • 2 篇 faculty of ecomo...
  • 2 篇 mayr application...
  • 2 篇 department of in...
  • 1 篇 department of pr...
  • 1 篇 programming theo...
  • 1 篇 dept. kino and a...
  • 1 篇 school of mathem...

作者

  • 3 篇 aleksander spiva...
  • 3 篇 vadim ermolayev
  • 3 篇 heinrich c. mayr
  • 3 篇 vasilenko marina...
  • 3 篇 bergenthum robin
  • 3 篇 nikitchenko myko...
  • 3 篇 tagiltseva julia...
  • 3 篇 kuzina elena l.
  • 3 篇 drozdov nikita a...
  • 3 篇 mykola nikitchen...
  • 2 篇 f. xavier moncun...
  • 2 篇 pere palà-schönw...
  • 2 篇 tymofieiev valen...
  • 2 篇 nikitchenko myko...
  • 2 篇 christopher t. l...
  • 2 篇 jordi bonet-dalm...
  • 2 篇 edward j. latess...
  • 2 篇 grygoriy zholtke...
  • 2 篇 francisco del ág...
  • 2 篇 tymofieiev valen...

语言

  • 35 篇 英文
  • 2 篇 其他
检索条件"机构=Department of Theory of Programming"
37 条 记 录,以下是1-10 订阅
排序:
AI methods of control for distributed space systems: a review  8
AI methods of control for distributed space systems: a revie...
收藏 引用
8th Scientific School "Dynamics of Complex Networks and their Applications", DCNA 2024
作者: Granichin, Oleg Tikhonov, Alexey Ivanskiy, Yury Kopylova, Kseniia Department of System Programming Saint Petersburg State University Saint Petersburg Russia Department of Theory and Applied Mechanics Saint Petersburg State University Saint Petersburg Russia Faculty of Ecomonic Cybernetics Saint Petersburg State University Saint Petersburg Russia
The paper is a short review of the problems arising in control of distributed systems of spacecraft due to different kinds of uncertainties and of various AI-based approaches to deal with them. The considered uncertai... 详细信息
来源: 评论
AI methods of control for distributed space systems: a review
AI methods of control for distributed space systems: a revie...
收藏 引用
School on Dynamics of Complex Networks and their Application in Intellectual Robotics (DCNAIR)
作者: Oleg Granichin Alexey Tikhonov Yury Ivanskiy Kseniia Kopylova Department of System Programming Saint Petersburg State University Saint Petersburg Russia Department of Theory and Applied Mechanics Saint Petersburg State University Saint Petersburg Russia Faculty of Ecomonic Cybernetics Saint Petersburg State University Saint Petersburg Russia
The paper is a short review of the problems arising in control of distributed systems of spacecraft due to different kinds of uncertainties and of various AI-based approaches to deal with them. The considered uncertai... 详细信息
来源: 评论
Efficient Quality and Environmental Management of a Digital Transport Company
Efficient Quality and Environmental Management of a Digital ...
收藏 引用
2021 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", T and QM and IS 2021
作者: Vasilenko, Marina A. Kuzina, Elena L. Drozdov, Nikita A. Tagiltseva, Julia A. Prokopova, Anastasia M. Semibratova, Svetlana V. Rostov State Medical University Department of Economic and Social Theory Rostov-on-Don Russia Russian University of Transport Department of Quality Management Moscow Russia of Don State Technical University in Azov Computing and Programming Rostov-on-Don Russia Russian Customs Academy Rostov Branch Department of Customs Operations and Customs Control Rostov-on-Don Russia
The main problem of transport companies is the imperfection of quality, environmental monitoring and pollution accounting systems. The article presents the goals and motives for the development and implementation of a... 详细信息
来源: 评论
The Intelligent Transportation System in Multimodal Freight Transportation
The Intelligent Transportation System in Multimodal Freight ...
收藏 引用
2021 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", T and QM and IS 2021
作者: Tagiltseva, Julia A. Kuzina, Elena L. Drozdov, Nikita A. Vasilenko, Marina A. Barashyan, Vitalina Yu. Churilov, Artem I. Russian Customs Academy Rostov Branch Department of Customs Operations and Customs Control Rostov-on-Don Russia Russian University of Transport Department of Quality Management Moscow Russia Don State Technical University in Azov Computing and Programming Rostov-on-Don Russia Rostov State Medical University Department of Economic and Social Theory Rostov-on-Don Russia Department of Financial Management Rostov-on-Don Russia
The article deals with the issues of the international transport system. Digitalization of the transport industry involves an automated process of managing cargo flows. In this regard, the authors propose the structur... 详细信息
来源: 评论
The International Cargo Transportations in South Russian Transport and Logistics System
The International Cargo Transportations in South Russian Tra...
收藏 引用
2021 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", T and QM and IS 2021
作者: Tagiltseva, Julia A. Kuzina, Elena L. Drozdov, Nikita A. Vasilenko, Marina A. Kuzina, Marina A. Korenyakina, Natalia N. Russian Customs Academy Rostov Branch Department of Customs Operations and Customs Control Rostov-on-Don Russia Russian University of Transport Department of Quality Management Moscow Russia Don State Technical University in Azov Computing and Programming Rostov-on-Don Russia Rostov State Medical University Department of Economic and Social Theory Rostov-on-Don Russia Department of Financial Management Rostov-on-Don Russia Rostov State Transport University Department of Station and Cargo Work Rostov-on-Don Russia
Digitalization is becoming a key area for improving the efficiency of the transport industry. Planning of effective measures for the operational management of transportation is based on the information integration of ... 详细信息
来源: 评论
Polynomial speedup in Torontonian calculation by a scalable recursive algorithm
arXiv
收藏 引用
arXiv 2021年
作者: Kaposi, Ágoston Kolarovszki, Zoltán Kozsik, Tamás Zimborás, Zoltán Rakyta, Péter Department of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary Wigner Research Centre for Physics The Hungarian Academy of Sciences Budapest Hungary BME-MTA Lendület Quantum Information Theory Research Group Budapest Hungary Department of Physics of Complex Systems Eötvös Loránd University Budapest Hungary
Evaluating the Torontonian function is a central computational challenge in the simulation of Gaussian Boson Sampling (GBS) with threshold detection. In this work, we propose a recursive algorithm providing a polynomi... 详细信息
来源: 评论
Phase Shifter for Millimeter-Wave Frequency Range Based on Glide Symmetric Structures
Phase Shifter for Millimeter-Wave Frequency Range Based on G...
收藏 引用
European Conference on Antennas and Propagation
作者: Angel Palomares-Caballero Antonio Alex-Amor Juan Valenzuela-Valdes Francisco Luna Pablo Padilla Department of Computer Science and Programming Languages University of Malaga Malaga Spain Dept. of Signal Theory University of Granada-CITIC Granada Spain
The use of glide symmetry in radiofrequency devices to introduce dispersive effects has been recently proposed and demonstrated. One of these effects is to control the propagation constant of the structure. Here, we p... 详细信息
来源: 评论
Satisfiability problems in quasiary program logics  8
Satisfiability problems in quasiary program logics
收藏 引用
8th International Conference Advanced Computer Information Technologies, ACIT 2018
作者: Nikitchenko, Mykola Shkilniak, Stepan Tymofieiev, Valentyn Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv 60 Volodymyrska Street City of Kyiv01033 Ukraine
In the paper we present special program specification algebras and logics defined for classes of quasiary mappings. Informally speaking, such mappings are partial mappings defined over partial states (partial assignme... 详细信息
来源: 评论
On the Ultra-Dense Small Cell Deployment for 5G Networks  1
On the Ultra-Dense Small Cell Deployment for 5G Networks
收藏 引用
1st IEEE 5G World Forum, 5GWF 2018
作者: Valenzuela-Valdés, Juan Fco Palomares, Ángel González-Macías, Juan C. Valenzuela-Valdés, Antonio Padilla, Pablo Luna-Valero, F. Department of Signal Theory Telematics and Communications - CITIC University of Granada Granada18071 Spain Department of Computer Science and Programming Languages University of Malaga Malaga29071 Spain
The paradigm shift that has to take place in the new 5G networks in order to meet the expected data rates is a huge technological challenge. The use of super dense heterogeneous networks is one of the most promising a... 详细信息
来源: 评论
Preface
Communications in Computer and Information Science
收藏 引用
Communications in Computer and Information Science 2019年 1007卷 V-VIII页
作者: Ermolayev, Vadim Suárez-Figueroa, Mari Carmen Yakovyna, Vitaliy Mayr, Heinrich C. Nikitchenko, Mykola Spivakovsky, Aleksander Zaporizhzhya National University Zaporizhzhia Ukraine Universidad Politecnica de Madrid Boadilla del MonteMadrid Spain Lviv Polytechnic National University Lviv Ukraine Faculty of Mathematics and Computer Science University of Warmia and Mazury in Olsztyn Olsztyn Poland Institute of Applied Informatics Alpen-Adria-Universität Klagenfurt Klagenfurt Austria Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Kyiv Ukraine Kherson State University Kherson Ukraine
来源: 评论