咨询与建议

限定检索结果

文献类型

  • 482 篇 会议
  • 163 篇 期刊文献
  • 6 册 图书

馆藏范围

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

日期分布

学科分类号

  • 364 篇 工学
    • 298 篇 计算机科学与技术...
    • 236 篇 软件工程
    • 47 篇 力学(可授工学、理...
    • 43 篇 控制科学与工程
    • 33 篇 信息与通信工程
    • 30 篇 机械工程
    • 23 篇 电气工程
    • 20 篇 安全科学与工程
    • 19 篇 电子科学与技术(可...
    • 15 篇 化学工程与技术
    • 15 篇 航空宇航科学与技...
    • 14 篇 生物工程
    • 12 篇 动力工程及工程热...
    • 11 篇 仪器科学与技术
    • 10 篇 生物医学工程(可授...
    • 9 篇 光学工程
    • 9 篇 交通运输工程
    • 8 篇 石油与天然气工程
    • 7 篇 材料科学与工程(可...
    • 7 篇 土木工程
  • 203 篇 理学
    • 122 篇 数学
    • 68 篇 物理学
    • 45 篇 统计学(可授理学、...
    • 16 篇 生物学
    • 16 篇 系统科学
    • 13 篇 化学
  • 64 篇 管理学
    • 33 篇 图书情报与档案管...
    • 31 篇 管理科学与工程(可...
    • 13 篇 工商管理
  • 8 篇 医学
    • 8 篇 临床医学
  • 6 篇 法学
  • 5 篇 农学
  • 3 篇 经济学
  • 1 篇 哲学
  • 1 篇 教育学
  • 1 篇 历史学

主题

  • 29 篇 static analysis
  • 24 篇 libraries
  • 20 篇 conferences
  • 19 篇 computer archite...
  • 18 篇 computational mo...
  • 17 篇 software
  • 15 篇 programming
  • 15 篇 safety
  • 14 篇 linux
  • 13 篇 registers
  • 13 篇 semantics
  • 13 篇 numerical models
  • 12 篇 tools
  • 12 篇 hardware
  • 12 篇 testing
  • 11 篇 xml
  • 11 篇 software testing
  • 10 篇 machine learning
  • 10 篇 cloud computing
  • 10 篇 mathematical mod...

机构

  • 57 篇 ivannikov instit...
  • 45 篇 lomonosov moscow...
  • 42 篇 ivannikov instit...
  • 36 篇 ivannikov instit...
  • 24 篇 moscow institute...
  • 21 篇 ivannikov instit...
  • 21 篇 institute for sy...
  • 19 篇 department of sy...
  • 18 篇 lomonosov moscow...
  • 18 篇 ivannikov instit...
  • 17 篇 bauman moscow st...
  • 17 篇 institute for sy...
  • 17 篇 south ural state...
  • 15 篇 institute for sy...
  • 15 篇 north-caucasus f...
  • 15 篇 institute for sy...
  • 13 篇 bauman moscow st...
  • 12 篇 ivannikov instit...
  • 11 篇 ivannikov instit...
  • 11 篇 ivannikov instit...

作者

  • 22 篇 yevtushenko nina
  • 14 篇 alexander kamkin
  • 13 篇 khoroshilov alex...
  • 12 篇 turdakov denis
  • 12 篇 josef börcsök
  • 12 篇 vishnyakov alexe...
  • 11 篇 mostafa abotaleb
  • 11 篇 kuts daniil
  • 10 篇 gasnikov alexand...
  • 10 篇 parygina darya
  • 10 篇 fedotov andrey
  • 10 篇 arutyun avetisya...
  • 9 篇 denis turdakov
  • 9 篇 avetisyan arutyu...
  • 9 篇 ilia marchevsky
  • 9 篇 burdonov igor
  • 9 篇 el-kenawy el-say...
  • 9 篇 nina yevtushenko
  • 9 篇 abotaleb mostafa
  • 8 篇 drobyshevskiy mi...

语言

  • 629 篇 英文
  • 14 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute of System Programming"
651 条 记 录,以下是541-550 订阅
排序:
Energy Consumption and Quality of Service Optimization in Containerized Cloud Computing
Energy Consumption and Quality of Service Optimization in Co...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Rewer Canosa Andrei Tchernykh Jorge M. Cortés-Mendoza Raúl Rivera-Rodriguez Jose Lozano Rizk Arutyun Avetisyan Zhihui Du Gleb Radchenko Eduardo R. Concepción Morales CICESE Research Center Ensenada Mexico Institute for System Programming of the Russian Academy of Sciences Moscow Russia Tsinghua University Beijing China South Ural State University Chelyabinsk Russia Metropolitan University Quito Ecuador
Lightweight virtualization technology has emerged as an alternative to traditional hypervisor-based virtualization. Containers based on an operating system level virtualization have shown superior performance and more... 详细信息
来源: 评论
Evaluation of interpretability methods for adversarial robustness on real-world datasets
Evaluation of interpretability methods for adversarial robus...
收藏 引用
Ivannikov Memorial Workshop (IVMEM)
作者: Anna Chistyakova Maria Cherepnina Konstantin Arkhipenko Sergey D. Kuznetsov Chang-Seok Oh Sebeom Park Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia Moscow Institute of Physics and Technology (State University) Moscow Russia Plekhanov Russian University of Economics Moscow Russia Samsung Research Seoul South Korea
Adversarial training is considered the most powerful approach for robustness against attacks on deep neural networks involving adversarial examples. However, recent works have shown that the similar robustness level c... 详细信息
来源: 评论
Local Methods with Adaptivity via Scaling
arXiv
收藏 引用
arXiv 2024年
作者: Chezhegov, Savelii Skorik, Sergey Khachaturov, Nikolas Shalagin, Danil Avetisyan, Aram Takáč, Martin Kholodov, Yaroslav Beznosikov, Aleksandr Moscow Institute of Physics and Technology Dolgoprudny Russia Ivannikov Institute for System Programming Moscow Russia Mohamed bin Zayed University of Artificial Intelligence Abu Dhabi United Arab Emirates Russian-Armenian University Yerevan Armenia Innopolis University Innopolis Russia
The rapid development of machine learning and deep learning has introduced increasingly complex optimization challenges that must be addressed. Indeed, training modern, advanced models has become difficult to implemen... 详细信息
来源: 评论
Verifying SDN data path requests
arXiv
收藏 引用
arXiv 2019年
作者: Burdonov, Igor Kossachev, Alexandre Yevtushenko, Nina López, Jorge Kushik, Natalia Zeghlache, Djamal Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia National Research University Higher School of Economics Moscow Russia SAMOVAR CNRS Télécom SudParis Université Paris-Saclay Evry France
Software Defined Networking (SDN) is a pillar technology for network virtualization, which currently attracts a lot of attention due to the provided capabilities. In recent years, different works have been devoted to ... 详细信息
来源: 评论
Speaker's Emotions Recognition Module Based on the GoogleLeNet Neural Network
Speaker's Emotions Recognition Module Based on the GoogleLeN...
收藏 引用
2022 International Conference on Smart Information systems and Technologies, SIST 2022
作者: Tereikovskyi, Ihor Tereikovska, Liudmyla Kryvoruchko, Olena Tereikovskyi, Oleh Tyshchenko, Dmytro Franchuk, Tamara National Technical University Of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. Of System Programming And Specialized Computer Systems Kyiv Ukraine Kyiv National University Of Construction And Architecture Dept. Of Information Technology For Design And Applied Mathematics Kyiv Ukraine Kyiv National University Of Trade And Economics Dept. Of Software Engineering And Cyber Security Kyiv Ukraine National Technical University Of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. Of Department Of Computer Engineering Kyiv Ukraine
The article is devoted to the development of means for recognition of the emotions of the speaker, based on the neural network analysis of fixed fragments of the voice signal. The possibility of improving recognition ... 详细信息
来源: 评论
The first optimal algorithm for smooth and strongly-convex-strongly-concave minimax optimization  22
The first optimal algorithm for smooth and strongly-convex-s...
收藏 引用
Proceedings of the 36th International Conference on Neural Information Processing systems
作者: Dmitry Kovalev Alexander Gasnikov King Abdullah University of Science and Technology Thuwal Saudi Arabia Moscow Institute of Physics and Technology Dolgoprudny Russia and Institute for System Programming RAS Research Center for Trusted Artificial Intelligence Moscow Russia and National Research University Higher School of Economics Moscow Russia
In this paper, we revisit the smooth and strongly-convex-strongly-concave minimax optimization problem. Zhang et al. (2021) and Ibrahim et al. (2020) established the lower bound $\Omega\left(\sqrt{\kappa_x\kappa_y} \l...
来源: 评论
Intelligent system for Classifying of Acoustic Endoscopic Images of the Pancreas Based the Analysis of Walsh Spectra of Local Windows  25
Intelligent System for Classifying of Acoustic Endoscopic Im...
收藏 引用
25th International Arab Conference on Information Technology, ACIT 2024
作者: Al-Kasasbeh, Riad Taha Filist, Sergey Shatalova, Olga Kondrashov, Dmitry Sergeevich Shaqadan, Ashraf Korenevskiy, Nikolay A. Al-Habahbeh, Osama M. Tarawneh, Emad Saleh Starkov, Evgeny The University of Jordan Mechatronics Engineering Department Amman Jordan Moscow Polytechnic University Department of Smart Technologies Moscow Russia Southwest State University Department of Biomedical Engineering Kursk Russia Zarqa University Civil Engineering Department Zarqa Jordan University of Business and Technology Jeddah21448 Saudi Arabia South-West State University Russia The University of Jordan Jordan Institute of System Programming The Russian Academy of Sciences Russia
The purpose of the work is to develop and study methods and algorithms for intelligent classification systems for digital medical images. A method for automatic classification of medical images was developed using neu... 详细信息
来源: 评论
Accelerated primal-dual gradient method for smooth and convex-concave saddle-point problems with bilinear coupling  22
Accelerated primal-dual gradient method for smooth and conve...
收藏 引用
Proceedings of the 36th International Conference on Neural Information Processing systems
作者: Dmitry Kovalev Alexander Gasnikov Peter Richtárik King Abdullah University of Science and Technology Thuwal Saudi Arabia Moscow Institute of Physics and Technology Dolgoprudny Russia and Institute for System Programming RAS Research Center for Trusted Artificial Intelligence Moscow Russia and National Research University Higher School of Economics Moscow Russia
In this paper we study the convex-concave saddle-point problem minx maxy f(x) + yTAx – g(y), where f(x) and g(y) are smooth and convex functions. We propose an Accelerated Primal-Dual Gradient Method (APDG) for solvi...
来源: 评论
Optimizing Machine Learning Algorithms to Enhance Blood Donation for Liver Patients: A Case Study  7
Optimizing Machine Learning Algorithms to Enhance Blood Dona...
收藏 引用
7th IET Smart Cities Symposium, SCS 2023
作者: Mijwil, Maad M. El-Kenawy, El-Sayed M. Bala, Indu Aljanabi, Mohammad Abotaleb, Mostafa Ibrahim, Abdelhameed Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt School of Electrical and Electronics Engineering Lovely Professional University Punjab India Department of Computer Aliraqia University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt
Blood is vital for transporting oxygen, nutrients, and hormones to all body parts as it circulates through arteries and veins. It removes carbon dioxide, regulates body temperature, and maintains the body's immune... 详细信息
来源: 评论
Comparative analysis of the scalar point multiplication algorithms in the NIST FIPS 186 elliptic curve cryptography  3
Comparative analysis of the scalar point multiplication algo...
收藏 引用
3rd International Workshop on Information, Computation, and Control systems for Distributed Environments, ICCS-DE 2021
作者: Babenko, Mikhail Tchernykh, Andrei Redvanov, Aziz Djurabaev, Anvar North-Caucasus Center for Mathematical Research North-Caucasus Federal University 1 Pushkin Street Stavropol355017 Russia Institute for System Programming of the Russian Academy of Sciences Moscow109004 Russia CICESE Research Center carr. Tijuana-Ensenada 3918 Ensenada22860 Mexico South Ural State University Prospekt Lenina 76 Chelyabinsk454080 Russia ITMO University 9 Lomonosova Street Saints-Petersburg191002 Russia
In today's world, the problem of information security is becoming critical. One of the most common cryptographic approaches is the elliptic curve cryptosystem. However, in elliptic curve arithmetic, the scalar poi... 详细信息
来源: 评论