咨询与建议

限定检索结果

文献类型

  • 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 for System Programming"
651 条 记 录,以下是521-530 订阅
排序:
Deductive verification of unmodified linux kernel library functions
arXiv
收藏 引用
arXiv 2018年
作者: Efremov, Denis Mandrykin, Mikhail Khoroshilov, Alexey National Research University Higher School of Economics Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia Moscow Institute of Physics and Technology Moscow Russia Lomonosov Moscow State University Moscow Russia
This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. ... 详细信息
来源: 评论
Food Resources in Food system Technology: Bifunctional Food system Technology Based on Pickering Emulsions  6
Food Resources in Food System Technology: Bifunctional Food ...
收藏 引用
6th Smart Cities Symposium, SCS 2022
作者: Potoroko, Irina Kadi, Ammar Paymulina, Anastasia Bagale, Uday Abotaleb, Mostafa El-Kenawy, El-Sayed M. Department of Food and Biotechnology South Ural State University Chelyabinsk454080 Russia Siberian Federal Scientific Center of Agro-Bio Technologies of the Russian Academy of Sciences Novosibirsk region Krasnoobsk Russia Department of System Programming South Ural State University Chelyabinsk454080 Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Mansoura Egypt
The development of domestically generated food additives based on eco-technologies with specified functional-technological and bioactive qualities is now a significant focus of contemporary study. Pickering emulsions ... 详细信息
来源: 评论
ADVERSARIAL ATTACKS AND DEFENSES IN FAULT DETECTION AND DIAGNOSIS: A COMPREHENSIVE BENCHMARK ON THE TENNESSEE EASTMAN PROCESS
arXiv
收藏 引用
arXiv 2024年
作者: Pozdnyakov, Vitaliy Kovalenko, Aleksandr Makarov, Ilya Drobyshevskiy, Mikhail Lukyanov, Kirill AIRI Moscow Russia ISP RAS Research Center for Trusted Artificial Intelligence Moscow Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Moscow Russia
Integrating machine learning into Automated Control systems (ACS) enhances decision-making in industrial process management. One of the limitations to the widespread adoption of these technologies in industry is the v... 详细信息
来源: 评论
Upper bounds on the maximum admissible level of noise in zeroth-order optimisation
arXiv
收藏 引用
arXiv 2023年
作者: Pasechniuk, Dmitrii A. Lobanov, Aleksandr Gasnikov, Alexander Mohamed bin Zayed University of Artificial Intelligence United Arab Emirates Moscow Institute of Physics and Technology Dolgoprudny Russia Kharkevich Institute for Information Transmission Problems RAS Russia Ivannikov Institute for System Programming RAS Russia Skoltech Russia
MSC Codes 65K10In this paper, we leverage an information-theoretic upper bound on the maximum admissible level of noise (MALN) in convex Lipschitz-continuous zeroth-order optimisation to establish corresponding upper ... 详细信息
来源: 评论
Enhancing Cloud Security through Efficient Polynomial Approximations for Homomorphic Evaluation of Neural Network Activation Functions
Enhancing Cloud Security through Efficient Polynomial Approx...
收藏 引用
Cluster, Cloud and Internet Computing Workshops (CCGridW), IEEE/ACM International Symposium on
作者: Bernardo Pulido-Gaytan Andrei Tchemykh Mikhail Babenko Jorge M. Cortés-Mendoza Horacio González-Vélez Arutyun Avetisyan CICESE Researeh Center Ensenada Baja California Mexico Institute for System Programming RAS Moscow Russia North-Caucasus Federal University Stavropol Russia National College of Ireland Dublin Ireland
Current security cloud practices can successfully protect stored data and data in transit, but they do not keep the same protection during data processing. The data value extraction requires decryption, creating criti... 详细信息
来源: 评论
Erratum to: Methods of Spatial Indexing of Dynamic Scenes Based on Regular Octrees
收藏 引用
programming and Computer Software 2019年 第6期44卷 554-554页
作者: V. A. Zolotov K. S. Petrishchev V. A. Semenov Institute for System Programming Russian Academy of Sciences Moscow Russia Institute for System Programming of the Russian Academy of Moscow Russia
https://***/10.1134/S0361768816060098
来源: 评论
Forecasting nonlinear nonstationary processes in machine learning task  3
Forecasting nonlinear nonstationary processes in machine lea...
收藏 引用
3rd IEEE International Conference on Data Stream Mining and Processing, DSMP 2020
作者: Bidyuk, Peter Gozhyj, Aleksandr Kalinina, Irina Vysotska, Victoria Vasilev, Mikhail Malets, Romanna Department of Mathematical Methods of System Analysis National Technical University of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Kyiv Ukraine Petro Mohyla Black Sea National University Department of Intelligent Information Systems Nikolaev Ukraine National University Lvivska Politechnika Department of Information Systems and Networks Lviv Ukraine Ivan Franko Lviv National University Programming Department Lviv Ukraine
The article discusses the features of the solving the forecasting problems using machine learning techniques. The issues of accounting and correctly processing non-linear non-stationary processes in the problems of mo... 详细信息
来源: 评论
Stochastic Gradient Methods with Preconditioned Updates
arXiv
收藏 引用
arXiv 2022年
作者: Sadiev, Abdurakhmon Beznosikov, Aleksandr Almansoori, Abdulla Jasem Kamzolov, Dmitry Tappenden, Rachael Takáč, Martin Ivannikov Institute for System Programming Moscow Russia Moscow Institute of Physics and Technology Moscow Russia Mohamed bin Zayed University of Artificial Intelligence Abu Dhabi United Arab Emirates University of Canterbury Christchurch New Zealand
This work considers the non-convex finite sum minimization problem. There are several algorithms for such problems, but existing methods often work poorly when the problem is badly scaled and/or ill-conditioned, and a... 详细信息
来源: 评论
Control of Overfitting with Physics
arXiv
收藏 引用
arXiv 2024年
作者: Kozyrev, Sergei V. Lopatin, Ilya A. Pechen, Alexander N. Steklov Mathematical Institute of Russian Academy of Sciences Gubkina St. 8 Moscow119991 Russia Ivannikov Institute for System Programming The Russian Academy of Sciences Alexandra Solzhenitsyna str. 25 Moscow109004 Russia
While there are many works on the applications of machine learning, not so many of them are trying to understand the theoretical justifications to explain their efficiency. In this work, overfitting control (or genera... 详细信息
来源: 评论
A Case Study of Valency Patterns for Motion Verbs in Vakh Khanty by Means of Lingvodoc
A Case Study of Valency Patterns for Motion Verbs in Vakh Kh...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Irina Novitskaya Victoria Vorobeva Department of Foreign Languages National Research Tomsk State University Tomsk Russian Federation Information Systems Department Ivannikov Institute for System Programming of the RAS TPU Moscow Tomsk Russian Federation
The article presents a study of the syntactic compatibility of verbs of motion in the Vakh dialect of the Khanty language. The study was conducted with the help of the tools of the platform for documentation of the Ur... 详细信息
来源: 评论