咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是571-580 订阅
排序:
InfoShield: a security architecture for protecting information usage in memory
InfoShield: a security architecture for protecting informati...
收藏 引用
IEEE Symposium on High-Performance Computer Architecture
作者: W. Shi J.B. Fryman G. Gu H.-H.S. Lee Y. Zhang J. Yang School of Electrical and Computer Engineering Georgia Tech College of Computing Georgia Institute of Technology Programming System Lab Corporate Technology Intel Corporation USA Department of Computer Science University of Pittsburgh USA Department of Computer Science and Engineering University of California Riverside USA
Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information can be encrypted when stored in non-vol... 详细信息
来源: 评论
QUANTUM RANDOM WALKS AND QUANTUM OSCILLATOR IN AN INFINITE-DIMENSIONAL PHASE SPACE
arXiv
收藏 引用
arXiv 2024年
作者: Busovikov, Vladimir Pechen, Alexander Sakbaev, Vsevolod Department of Mathematical Methods for Quantum Technologies Steklov Mathematical Institute of Russian Academy of Sciences Gubkina Str. 8 Moscow Russia University of Science and Technology MISIS Leninskiy prosp. 4 Moscow Russia Ivannikov Institute for System Programming of RAS Alexander Solzhenitsyn Str. 25 Moscow Russia
We consider quantum random walks in an infinite-dimensional phase space constructed using Weyl representation of the coordinate and momentum operators in the space of functions on a Hilbert space which are square inte... 详细信息
来源: 评论
Performance Impact of Error Correction Codes in RNS with Returning Methods and Base Extension
Performance Impact of Error Correction Codes in RNS with Ret...
收藏 引用
Engineering and Telecommunication (En&T), International Conference
作者: Egor Shiryaev Ekaterina Bezuglova Mikhail Babenko Andrei Tchernykh Bernardo Pulido-Gaytan Jorge M. Cortés-Mendoza North-Caucasus Federal University Stavropol Russia North-Caucasus Center for Mathematical Research North-Caucasus Federal University Stavropol Russia CICESE Research Center Ensenada Mexico Ivannikov Institute for System Programming Moscow Russia South Ural State University Chelyabinsk Russia
In this paper, we study techniques of correction codes for systems based on the Residue Number system (RNS). Self-correcting and error detection are important properties of RNS that allow the development of distribute... 详细信息
来源: 评论
A Simple and Effective Method of Cross-Lingual Plagiarism Detection
arXiv
收藏 引用
arXiv 2023年
作者: Avetisyan, Karen Malajyan, Arthur Ghukasyan, Tsolak Avetisyan, Arutyun Institute for System Programming The Russian Academy of Sciences Alexander Solzhenitsyn 25 Moscow109004 Russia Russian-Armenian University Hovsep Emin 123 Yerevan0051 Armenia ISP RAS Research Center for Trusted Artificial Intelligence Alexander Solzhenitsyn 25 Moscow109004 Russia
We present a simple cross-lingual plagiarism detection method applicable to a large number of languages. The presented approach leverages open multilingual thesauri for candidate retrieval task and pre-trained multili... 详细信息
来源: 评论
Equivalence checking and intersection of deterministic timed finite state machines
arXiv
收藏 引用
arXiv 2021年
作者: Bresolin, Davide El-Fakih, Khaled Villa, Tiziano Yevtushenko, Nina Dipartimento di Matematica University of Padova Italy American University of Sharjah Sharjah United Arab Emirates Dipartimento di Informatica University of Verona Italy Ivannikov Institute for System Programming of the Russian Academy of Sciences National Research University Higher School of Economics Moscow Russia
There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study deterministic timed finite state machines (TF... 详细信息
来源: 评论
Ti-Patch: Tiled Physical Adversarial Patch for no-reference video quality metrics
arXiv
收藏 引用
arXiv 2024年
作者: Leonenkova, Victoria Shumitskaya, Ekaterina Antsiferova, Anastasia Vatolin, Dmitriy Lomonosov Moscow State University Leninskiye Gory 1 Moscow119991 Russia ISP RAS Research Center for Trusted Artificial Intelligence Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia MSU Institute for Artificial Intelligence Lomonosovskiy Prospekt 27/1 Moscow119192 Russia
Objective no-reference image- and video-quality metrics are crucial in many computer vision tasks. However, state-of-the-art no-reference metrics have become learning-based and are vulnerable to adversarial attacks. T... 详细信息
来源: 评论
Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments  5
Scientific Data Lake for High Luminosity LHC project and oth...
收藏 引用
5th International Conference on Particle Physics and Astrophysics, ICPPA 2020
作者: Alekseev, A. Kiryanov, A. Klimentov, A. Korchuganova, T. Mitsyn, V. Oleynik, D. Smirnov, A. Smirnov, S. Zarochentsev, A. Compiler Technology Department Ivannikov Institute for System Programming of the Ras Moscow109004 Russia Cloud Technologies and Big Data Analytics Laboratory Plekhanov Russian University of Economics Moscow117997 Russia Atlas Group Universidad Andres Bello Santiago7550196 Chile Department of Computing Resources and Technologies Nrc "kurchatov Institute"-PNPI Gatchina188300 Russia Physics Department Brookhaven National Laboratory UptonNY11973 United States Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg198504 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 and... 详细信息
来源: 评论
Machine Learning Model for Predicting Failures in the Context of Autonomous Vehicles
Machine Learning Model for Predicting Failures in the Contex...
收藏 引用
International Conference on system Reliability and Science (ICSRS)
作者: Abderrahim Krini Aymen Ouertani Habil. Josef Börcsök Engineering of Reliability and Quality Functional Safety Robert Bosch GmbH Schwäbisch Gmünd Germany Institute of Functional Safety & Cyber Security Baden-Wuerttemberg Cooperative State University Lörrach Germany Computer Architecture und System Programming University of Kassel Kassel Germany
In general, failure data is obtained in the automotive industry during the warranty period. If these contain the expression of a service life characteristic for each failure, statements can be made about the reliabili...
来源: 评论
High-probability convergence for composite and distributed stochastic minimization and variational inequalities with heavy-tailed noise  24
High-probability convergence for composite and distributed s...
收藏 引用
Proceedings of the 41st International Conference on Machine Learning
作者: Eduard Gorbunov Abdurakhmon Sadiev Marina Danilova Samuel Horváth Gauthier Gidel Pavel Dvurechensky Alexander Gasnikov Peter Richtárik Mohamed bin Zayed University of Artificial Intelligence UAE King Abdullah University of Science and Technology KSA Moscow Institute of Physics and Technology Russia Université de Montréal and Mila Canada and Canada CIFAR AI Chair Weierstrass Institute for Applied Analysis and Stochastics Germany University Innopolis Russia and Ivannikov Institute for System Programming RAS Russia and Moscow Institute of Physics and Technology Russia and Skolkovo Institute of Science and Technology Russia
High-probability analysis of stochastic first-order optimization methods under mild assumptions on the noise has been gaining a lot of attention in recent years. Typically, gradient clipping is one of the key algorith...
来源: 评论
Comparison of Propeller Wake Characteristics With/Without Duct Against a Vertical Wall
SSRN
收藏 引用
SSRN 2024年
作者: Wang, Mengfei Liang, Bingchen Zhang, Qin Wang, Zhicheng Epikhin, Andrey College of Engineering Ocean University of China 238 Songling Road Qingdao266100 China Shandong Provincial Key Laboratory of Ocean Engineering 238 Songling Road Qingdao266100 China Institute for System Programming of the Russian Academy of Sciences Alexander Solzhenitsyn st. 25 Moscow Russia
This paper conducts highly-refined numerical simulations to study the wake dynamics of the propeller, with and without duct, with a vertical wall. The arbitrary mesh interfaces (AMI) method and delayed detached-eddy s... 详细信息
来源: 评论