咨询与建议

限定检索结果

文献类型

  • 65 篇 会议
  • 34 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 58 篇 工学
    • 44 篇 计算机科学与技术...
    • 38 篇 软件工程
    • 12 篇 信息与通信工程
    • 7 篇 控制科学与工程
    • 7 篇 生物医学工程(可授...
    • 6 篇 电气工程
    • 6 篇 网络空间安全
    • 4 篇 生物工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 1 篇 冶金工程
  • 35 篇 理学
    • 20 篇 数学
    • 8 篇 物理学
    • 6 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 3 篇 系统科学
    • 1 篇 大气科学
    • 1 篇 海洋科学
  • 12 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 4 篇 基础医学(可授医学...
    • 3 篇 药学(可授医学、理...
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 农学

主题

  • 8 篇 artificial intel...
  • 5 篇 computational in...
  • 4 篇 dipper throated ...
  • 4 篇 mathematical mod...
  • 3 篇 decision support...
  • 3 篇 grey wolf optimi...
  • 3 篇 software enginee...
  • 3 篇 learning algorit...
  • 3 篇 classification a...
  • 3 篇 software
  • 2 篇 intrusion detect...
  • 2 篇 information syst...
  • 2 篇 information syst...
  • 2 篇 game theory, eco...
  • 2 篇 metaheuristics
  • 2 篇 deep learning
  • 2 篇 concurrent softw...
  • 2 篇 software algorit...
  • 2 篇 informatics
  • 2 篇 computer communi...

机构

  • 13 篇 department of sy...
  • 6 篇 department of in...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 department of co...
  • 4 篇 information comm...
  • 4 篇 computer enginee...
  • 3 篇 dept. of informa...
  • 3 篇 faculty of engin...
  • 3 篇 department of sy...
  • 3 篇 department of in...
  • 2 篇 department of co...
  • 2 篇 department of co...
  • 2 篇 department of co...
  • 2 篇 department of so...
  • 2 篇 "aurel vlaicu" u...
  • 2 篇 institute of nuc...
  • 2 篇 lovely professio...
  • 2 篇 department of th...

作者

  • 7 篇 shahnaz n. shahb...
  • 6 篇 mostafa abotaleb
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 steffen bernhard
  • 5 篇 doaa sami khafag...
  • 4 篇 abotaleb mostafa
  • 3 篇 reem alkanhel
  • 3 篇 jonsson bengt
  • 3 篇 howar falk
  • 3 篇 valentina emilia...
  • 3 篇 m. abotaleb
  • 2 篇 vladik kreinovic...
  • 2 篇 shahbazova shahn...
  • 2 篇 marius mircea ba...
  • 2 篇 a. ali subhi
  • 2 篇 aleksander spiva...
  • 2 篇 alkattan hussein
  • 2 篇 cassel sofia

语言

  • 106 篇 英文
  • 1 篇 德文
  • 1 篇 其他
检索条件"机构=“Information Technology and Programming” department"
108 条 记 录,以下是51-60 订阅
排序:
Research and Development of Reflectarray Antennas
Research and Development of Reflectarray Antennas
收藏 引用
International Conference on Mathematical Methods in Electromagnetic Theory (MMET)
作者: Viktor Hoblyk Nadiia Hoblyk Department of Electronics and Information Technology Lviv Polytechnic National University Lviv Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine
This work presents results of computer simulation of a flat reflective array of rectangular waveguides and results of the investigation of the influence of phase errors on the formation of the radiation field.
来源: 评论
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... 详细信息
来源: 评论
Modeling of Thermoviscoelasticity Time Harmonic Variational Problem for a Thin Wall Body
Modeling of Thermoviscoelasticity Time Harmonic Variational ...
收藏 引用
IEEE International Conference on Data Stream Mining & Processing (DSMP)
作者: Romanna Malets Heorgiy Shynkarenko Igor Malets Petro Vahin Department of programming Ivan Franko National University of Lviv Lviv Ukraine Department of Information System Opole University of Technology Opole Poland Lviv Ukraine Department of Project Management Information Technologies and Telecommunications Lviv State University of Life Safety Lviv Ukraine Department of Information System Ivan Franko National University of Lviv Lviv Ukraine
The paper presents the construction and analysis of vibration problem of thermoviscoelastic shells under the influence of non-stationary heat and under forced loads. The studied model was based on application of simpl... 详细信息
来源: 评论
Formation of gas hydroxide of sulfur dioxide at liquid sulfur dioxide injection in a porous medium saturated with methane and water
收藏 引用
AIP Conference Proceedings 2019年 第1期2141卷
作者: M. K. Khasanov S. R. Kildibaeva 1Department of Applied Informatics and Programming Faculty of mathematics and information technology Sterlitamak branch of Bashkir state University Lenin avenue 49 Sterlitamak 453100 Republic of Bashkortostan Russia
A mathematical model of injection of liquid sulfur dioxide into a porous medium saturated with water and methane, accompanied by the formation of SO2 gas hydrate on the frontal surface is presented. The dependences of...
来源: 评论
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... 详细信息
来源: 评论
Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments
收藏 引用
Journal of Physics: Conference Series 2020年 第1期1690卷
作者: A Alekseev A Kiryanov A Klimentov T Korchuganova V Mitsyn D Oleynik A Smirnov S Smirnov A Zarochentsev Compiler Technology Department Ivannikov Institute for System Programming of the RAS Moscow 109004 Russia Cloud technologies and Big Data analytics laboratory Plekhanov Russian University of Economics Moscow 117997 Russia ATLAS group Universidad Andres Bello Santiago 7550196 Chile Department of computing resources and technologies NRC 'Kurchatov Institute' - PNPI 188300 Gatchina Russia Physics Department Brookhaven National Laboratory Upton NY 11973 USA Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna 141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow 115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg 198504 Russia
The next phase of LHC Operations – High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 ...
来源: 评论
Recurrent Neural Networks on Drifting Time-of-Flight Measurements
Recurrent Neural Networks on Drifting Time-of-Flight Measure...
收藏 引用
International Conference on Indoor Positioning and Indoor Navigation (IPIN)
作者: Tobias Feigl Thorsten Nowak Michael Philippsen Thorsten Edelhäußer Christopher Mutschler Programming Systems Group (Informatics II) Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Institute of Information Technology (Comm. Electronics) Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Precise Positioning and Analytics Department Fraunhofer Institute for Integrated Circuits IIS Nürnberg Nürnberg Germany Machine Learning and Data Analytics Lab Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany
Kalman filters (KFs) are popular methods to estimate position information from a set of time-of-flight (ToF) values in radio frequency (RF)-based locating systems. Such filters are proven to be optimal under zero-mean... 详细信息
来源: 评论
Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems
收藏 引用
IFAC-PapersOnLine 2016年 第3期49卷 459-464页
作者: Durmus, Mustafa S. Ustoglu, lker Tsarev, Roman Y. Schwarz, Michael Electrical and Electronics Engineering Department Pamukkale University Denizli Turkey Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Institute of Space and Information Technology Siberian Federal University Krasnoyarsk Russia Computer Architecture and System Programming Kassel University Kassel Germany
The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occu... 详细信息
来源: 评论
The Approximate Solution of one Task on Thermal Processes by Means of the Finite Element Method
收藏 引用
IOP Conference Series: Materials Science and Engineering 2017年 第1期225卷
作者: A A Aliyev C K Kazimov R B Samadov Department of Information technology and programming Baku State University Baku city AZ-1073/1 Republic of Azerbaijan
An elliptic second-order equation is solved by support of the finite element method that describes one thermal process. The solution is sought in the space . The finite-element approximation of the problem is provided...
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2019年 2514卷 1-2页
作者: Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia
来源: 评论