咨询与建议

限定检索结果

文献类型

  • 246 篇 会议
  • 88 篇 期刊文献
  • 13 册 图书

馆藏范围

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

日期分布

学科分类号

  • 213 篇 工学
    • 170 篇 计算机科学与技术...
    • 140 篇 软件工程
    • 26 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 15 篇 土木工程
    • 15 篇 生物工程
    • 11 篇 电气工程
    • 11 篇 船舶与海洋工程
    • 10 篇 机械工程
    • 10 篇 建筑学
    • 10 篇 生物医学工程(可授...
    • 9 篇 电子科学与技术(可...
    • 8 篇 网络空间安全
    • 7 篇 材料科学与工程(可...
    • 5 篇 光学工程
  • 117 篇 理学
    • 61 篇 数学
    • 24 篇 物理学
    • 19 篇 生物学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
    • 8 篇 海洋科学
    • 6 篇 化学
  • 60 篇 管理学
    • 38 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 20 篇 工商管理
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 9 篇 医学
    • 8 篇 临床医学
    • 7 篇 基础医学(可授医学...
  • 8 篇 教育学
    • 8 篇 教育学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 法学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 军事学

主题

  • 16 篇 artificial intel...
  • 8 篇 semantics
  • 8 篇 information stor...
  • 7 篇 monitoring
  • 6 篇 information syst...
  • 6 篇 forecasting
  • 6 篇 data models
  • 5 篇 computer science
  • 5 篇 software enginee...
  • 5 篇 predictive model...
  • 5 篇 middleware
  • 5 篇 data structures
  • 5 篇 software
  • 5 篇 standards
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 supercomputers
  • 4 篇 electronic mail
  • 4 篇 neural networks
  • 4 篇 information tech...

机构

  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 department of co...
  • 4 篇 department of pr...
  • 4 篇 computer enginee...
  • 4 篇 tashkent univers...
  • 4 篇 institute for so...

作者

  • 31 篇 steffen bernhard
  • 23 篇 margaria tiziana
  • 11 篇 gancheva veska
  • 8 篇 mostafa abotaleb
  • 8 篇 christiansen hen...
  • 8 篇 abdelhameed ibra...
  • 7 篇 howar falk
  • 7 篇 veska gancheva
  • 7 篇 philippsen micha...
  • 7 篇 zimborás zoltán
  • 6 篇 michael philipps...
  • 6 篇 rakyta péter
  • 6 篇 morse gregory
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 merten maik
  • 5 篇 lamprecht anna-l...
  • 5 篇 koller alexander
  • 5 篇 naujokat stefan
  • 5 篇 doaa sami khafag...

语言

  • 340 篇 英文
  • 4 篇 其他
  • 2 篇 德文
  • 1 篇 法文
检索条件"机构=Department for Programming Systems"
347 条 记 录,以下是161-170 订阅
排序:
Ar optimization for interactive user guides
Ar optimization for interactive user guides
收藏 引用
作者: Ivaschenko, Anton Sitnikov, Pavel Milutkin, Michael Khasanov, Denis Krivosheev, Arkadiy Information Systems and Technologies Department Samara National Research University Samara Russia Department of Applied Programming and Technological Innovations ITMO University Saint-Petersburg Russia AR and VR Group SEC "Open Code" Samara Russia
This paper presents the results of Augmented Reality (AR) implementation as a part of an interactive user guide. As an example, there is considered a software solution for a robot constructor that can be deployed on a... 详细信息
来源: 评论
Impact of fluctuation interferences to the responders performance of secondary surveillance radar system
Impact of fluctuation interferences to the responders perfor...
收藏 引用
2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018
作者: Svyd, I.V. Goriushkina, A.E. Zavolodko, G.E. Maltsev, O.S. Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine
The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-sys... 详细信息
来源: 评论
Problems of Designing the Information systems for the Quality Monitoring of Protective Consortive Ecotones
Problems of Designing the Information Systems for the Qualit...
收藏 引用
International Conference on CAD systems in Microelectronics (CADSM)
作者: Anatoliy Obshta Mykola Prodaniuk Ihor Kohut Maria Ruda Iryna Soroka Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Department of Information Systems and Networks Lviv Polytechnic National University Lviv Ukraine Department of Environmental Safety and Nature Protection Activity Lviv Polytechnic National University Lviv Ukraine Department of Project Management Lviv Polytechnic National University Lviv Ukraine
We analyzed the methods and means of quality monitoring of the functioning of natural protective forest stands along the railroad tracks. On the basis of experimental studies, we identified the factors of horizontal a... 详细信息
来源: 评论
Comparative analysis of signal processing methods secondary surveillance radar
Comparative analysis of signal processing methods secondary ...
收藏 引用
2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018
作者: Goriushkina, A.E. Svyd, I.V. Zavolodko, G.E. Maistrenko, G.V. National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Department of Electronic Computers Kharkiv Ukraine
In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding o... 详细信息
来源: 评论
A proposal of an example and experiments repository to foster industrial adoption of formal methods  8th
A proposal of an example and experiments repository to foste...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot... 详细信息
来源: 评论
Use of convolutional neural networks for segmenting images of roads from satellite
收藏 引用
IOP Conference Series: Materials Science and Engineering 2020年 第5期971卷
作者: Ya A Seliverstov S A Seliverstov R S Naryshkin M N Kripak Laboratory of Intelligent Transport Systems Solomenko Institute of Transport Problems of the Russian Academy of Sciences 13 12-th Line VO 199178 Saint Petersburg Russia Department of Programming Technologies Saint-Petersburg State University Universitetsky ave. 35 Peterhof St. Petersburg 198504 Russia Automobile Transport Department Sevastopol State University 33 Universitetskaya Street Sevastopol 299053 Russia
The article developed a technique for using convolutional neural networks for automatic segmentation of roads in images obtained from satellites with a synthesized aperture. The analysis of the subject area and the re...
来源: 评论
Impact of fluctuation interferences to the responders performance of secondary surveillance radar system
Impact of fluctuation interferences to the responders perfor...
收藏 引用
International Conference on Radio Electronics & Info Communications (UkrMiCo)
作者: I.V. Svyd A.E. Goriushkina G.E. Zavolodko O.S. Maltsev Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics KNURE Kharkiv Ukraine Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine
The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-sys...
来源: 评论
Comparative analysis of signal processing methods secondary surveillance radar
Comparative analysis of signal processing methods secondary ...
收藏 引用
International Conference on Radio Electronics & Info Communications (UkrMiCo)
作者: A.E. Goriushkina I.V. Svyd G.E. Zavolodko G.V. Maistrenko Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine
In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding o... 详细信息
来源: 评论
Design and Development of a Mobile Robotic Complex
Design and Development of a Mobile Robotic Complex
收藏 引用
International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE)
作者: Aigul Adamova Tamara Zhukabayeva Laula Zhumabayeva Zhanna Mukanova Khu Ven-Tsen Department of Computer engineering and software Saken Seifullin Kazakh Agrotechnical University Astana Kazakhstan Department of Computing Engineering L.N. Gumilyov Eurasian National University Astana Kazakhstan Department of Information Systems and Power Engineering S. Yessenov Caspian State University of Technology and Engineering Aktau Kazakhstan Department of Information and Computing Systems Karaganda Economic University of Kazpotrebsoyuz Karaganda Kazakhstan Department of Computer engineering and software programming M. Auezov South Kazakhstan State University Shymkent Kazakhstan
Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the indus... 详细信息
来源: 评论
Monte-Carlo Tree Search with Tree Shape Control
Monte-Carlo Tree Search with Tree Shape Control
收藏 引用
IEEE Ukraine Conference on Electrical and Computer Engineering
作者: Oleksandr I. Marchenko Oleksii O. Marchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv polytechnic institute"
The paper, basing on analysis of the Monte-Carlo Tree Search (MCTS) method and specific features of its behavior for various cases of usage, proposes a new variant of the method, which was called as Monte-Carlo Tree S... 详细信息
来源: 评论