咨询与建议

限定检索结果

文献类型

  • 174 篇 会议
  • 64 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 135 篇 工学
    • 113 篇 计算机科学与技术...
    • 94 篇 软件工程
    • 29 篇 力学(可授工学、理...
    • 20 篇 控制科学与工程
    • 13 篇 机械工程
    • 12 篇 信息与通信工程
    • 11 篇 电气工程
    • 11 篇 安全科学与工程
    • 8 篇 航空宇航科学与技...
    • 6 篇 电子科学与技术(可...
    • 6 篇 生物工程
    • 5 篇 动力工程及工程热...
    • 4 篇 轻工技术与工程
    • 3 篇 光学工程
    • 3 篇 化学工程与技术
    • 3 篇 石油与天然气工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 测绘科学与技术
  • 83 篇 理学
    • 50 篇 数学
    • 33 篇 物理学
    • 17 篇 统计学(可授理学、...
    • 10 篇 系统科学
    • 6 篇 生物学
    • 4 篇 化学
    • 4 篇 大气科学
  • 25 篇 管理学
    • 13 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 哲学
  • 1 篇 法学
  • 1 篇 历史学
  • 1 篇 农学

主题

  • 19 篇 static analysis
  • 12 篇 conferences
  • 9 篇 computational mo...
  • 7 篇 libraries
  • 7 篇 fuzzing
  • 7 篇 codes
  • 7 篇 numerical models
  • 7 篇 source coding
  • 6 篇 registers
  • 6 篇 programming
  • 6 篇 numerical simula...
  • 6 篇 software testing
  • 6 篇 software
  • 6 篇 testing
  • 6 篇 mathematical mod...
  • 6 篇 standards
  • 5 篇 tools
  • 5 篇 instruments
  • 5 篇 computer archite...
  • 5 篇 computer bugs

机构

  • 57 篇 ivannikov instit...
  • 36 篇 ivannikov instit...
  • 29 篇 lomonosov moscow...
  • 17 篇 moscow institute...
  • 14 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 11 篇 ivannikov instit...
  • 9 篇 bauman moscow st...
  • 9 篇 bauman moscow st...
  • 8 篇 ivannikov instit...
  • 7 篇 moscow institute...
  • 7 篇 institute for sy...
  • 6 篇 ivannikov instit...
  • 5 篇 tomsk state univ...
  • 5 篇 ivannikov instit...
  • 5 篇 programming of t...
  • 5 篇 lomonosov moscow...
  • 4 篇 college of engin...
  • 4 篇 ivannikov instit...
  • 4 篇 mohamed bin zaye...

作者

  • 15 篇 yevtushenko nina
  • 12 篇 vishnyakov alexe...
  • 11 篇 kuts daniil
  • 10 篇 parygina darya
  • 10 篇 fedotov andrey
  • 8 篇 gasnikov alexand...
  • 8 篇 burdonov igor
  • 7 篇 logunova vlada
  • 7 篇 marchevsky ilia
  • 6 篇 daniil kuts
  • 6 篇 epikhin andrey
  • 6 篇 ilia marchevsky
  • 6 篇 kobrin eli
  • 6 篇 savidov georgy
  • 6 篇 nina yevtushenko
  • 5 篇 andrey belevants...
  • 5 篇 borodin alexey
  • 5 篇 alexey vishnyako...
  • 5 篇 alexey borodin
  • 5 篇 alexander kamkin

语言

  • 235 篇 英文
  • 5 篇 其他
  • 4 篇 俄文
检索条件"机构=Institute for System Programming of RAS"
242 条 记 录,以下是191-200 订阅
排序:
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 ... 详细信息
来源: 评论
Docmarking: Real-Time Screen-Cam Robust Document Image Watermarking
arXiv
收藏 引用
arXiv 2023年
作者: Yakushev, Aleksey Markin, Yury Obydenkov, Dmitry Frolov, Alexander Fomin, Stas Akopyan, Manuk Kozachok, Alexander Gaynov, Arthur Ivannikov Institute for System Programming of the RAS Russia Russian Federation Security Guard Service Federal Academy Russia Ministry of Defence The Russian Federation Moscow Russia
This paper focuses on investigation of confidential documents leaks in the form of screen photographs. Proposed approach does not try to prevent leak in the first place but rather aims to determine source of the leak.... 详细信息
来源: 评论
High-Probability Convergence for Composite and Distributed Stochastic Minimization and Variational Inequalities with Heavy-Tailed Noise  41
High-Probability Convergence for Composite and Distributed S...
收藏 引用
41st International Conference on Machine Learning, ICML 2024
作者: Gorbunov, Eduard Sadiev, Abdurakhmon Danilova, Marina Horváth, Samuel Gidel, Gauthier Dvurechensky, Pavel Gasnikov, Alexander Richtárik, Peter Mohamed bin Zayed University of Artificial Intelligence United Arab Emirates King Abdullah University of Science and Technology Saudi Arabia Moscow Institute of Physics and Technology Russia Université de Montréal Mila Canada Canada CIFAR AI Canada Weierstrass Institute for Applied Analysis and Stochastics Germany University Innopolis Russia Ivannikov Institute for System Programming RAS Russia 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... 详细信息
来源: 评论
Checking Robustness of Web Services based on Solving Automata Equations
Checking Robustness of Web Services based on Solving Automat...
收藏 引用
Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)
作者: Anton Kolomeets Ekaterina Shirokova Maxim Gromov Nina Yevtushenko MainConcept-NLD LLC Tomsk Russia Tomsk State University Tomsk Russia Ivannikov Institute for System Programming of RAS Higher School of Economics Moscow Russia
In this paper, we consider checking the robustness of web services using the model of finite state automata and analyzing the solvability of an automaton equation over the concatenation operator. The paper contains th... 详细信息
来源: 评论
Profile-based type reconstruction for decompilation
IEEE International Conference on Program Comprehension
收藏 引用
IEEE International Conference on Program Comprehension 2009年 263-267页
作者: Troshina, K. Chernov, A. Fokin, A. Institute for System Programming RAS 25 Alexander Solzhenitsyn st. Moscow 109004 Russia Moscow State University Computational Math. and Cybernetics Dept. Leninskie Gory Moscow Russia
Decompilation is reconstruction of a program in a highlevel language from a program in a low-level language. In most cases static decompilation is unable to completely reconstruct high-level data types due to loss of ...
来源: 评论
Test Program Generator MicroTESK for RISC-V
Test Program Generator MicroTESK for RISC-V
收藏 引用
International Workshop on Microprocessor Test and Verification (MTV)
作者: Mikhail Chupilko Alexander Kamkin Artem Kotsynyak Alexander Protsenko Sergey Smolov Andrei Tatarnikov Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Lomonosov Moscow State University (MSU) National Research University - Higher School of Economics (HSE)
The paper presents a test program generator for functional verification of RISC-V microprocessors. The generator is implemented on the base of MicroTESK framework and consists of formal specifications of RISC-V ISA an... 详细信息
来源: 评论
Nesterov’s method of dichotomy via Order Oracle: The problem of optimizing a two-variable function on a square
arXiv
收藏 引用
arXiv 2024年
作者: Chervonenkis, Boris Krasnov, Andrei Gasnikov, Alexander Lobanov, Aleksandr Moscow Institute of Physics and Technology Russia Institute for Information Transmission Problems RAS Moscow Russia Innopolis University Russia Skolkovo Institute of Science and Technology Russia The Institute for System Programming The Russian Academy of Sciences Russia
The challenges of black box optimization arise due to imprecise responses and limited output information. This article describes new results on optimizing multivariable functions using an Order Oracle, which provides ... 详细信息
来源: 评论
Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments
Training Policy for Privacy-Preserving Logistic Regression i...
收藏 引用
Federated Learning Technologies and Applications (FLTA), International Conference on
作者: Jorge M. Cortés-Mendoza Andrei Tchernykh Horacio González-Vélez Cloud Competency Centre National College of Ireland Dublin Ireland Computer Science Department CICESE Research Center Ensenada Mexico Institute for System Programming RAS Moscow Russia
Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR red... 详细信息
来源: 评论
Comparative analysis of non/ductedpropeller under the influence of vertical wall
Comparative analysis of non/ductedpropeller under the influe...
收藏 引用
Ivannikov ISPras Open Conference (ISPras)
作者: Mengfei Wang QingXu Qin Zhang Andrey Epikhin Bingchen Liang College of Engineering Ocean University of China Qingdao China Ivannikov Institute for System Programming of the RAS Moscow Russia Shandong Provincial Key Laboratory of Ocean Engineering Qingdao China
A numerical and experimental study has been conducted to explore the influence of vertical wall on the wake of the non/ducted propeller. The numerical simulation is achieved using a structured and transient sliding me... 详细信息
来源: 评论
Docmarking: Real-Time Screen-Cam Robust Document Image Watermarking
Docmarking: Real-Time Screen-Cam Robust Document Image Water...
收藏 引用
Ivannikov ISPras Open Conference (ISPras)
作者: Aleksey Yakushev Yury Markin Dmitry Obydenkov Alexander Frolov Stas Fomin Manuk Akopyan Alexander Kozachok Arthur Gaynov Ivannikov Institute for System Programming of the RAS Moscow Russia Russian Federation Security Guard Service Federal Academy Oryol Russia Ministry of Defence of the Russian Federation Moscow Russia
This paper focuses on investigation of confidential documents leaks in the form of screen photographs. Proposed approach does not try to prevent leak in the first place but rather aims to determine source of the leak.... 详细信息
来源: 评论