咨询与建议

限定检索结果

文献类型

  • 481 篇 会议
  • 161 篇 期刊文献
  • 6 册 图书

馆藏范围

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

日期分布

学科分类号

  • 363 篇 工学
    • 298 篇 计算机科学与技术...
    • 236 篇 软件工程
    • 45 篇 力学(可授工学、理...
    • 43 篇 控制科学与工程
    • 33 篇 信息与通信工程
    • 30 篇 机械工程
    • 23 篇 电气工程
    • 20 篇 安全科学与工程
    • 19 篇 电子科学与技术(可...
    • 15 篇 化学工程与技术
    • 15 篇 航空宇航科学与技...
    • 14 篇 生物工程
    • 11 篇 仪器科学与技术
    • 11 篇 动力工程及工程热...
    • 10 篇 生物医学工程(可授...
    • 9 篇 光学工程
    • 9 篇 交通运输工程
    • 8 篇 石油与天然气工程
    • 7 篇 材料科学与工程(可...
    • 7 篇 土木工程
  • 202 篇 理学
    • 121 篇 数学
    • 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
  • 14 篇 linux
  • 14 篇 safety
  • 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...
  • 20 篇 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 篇 vishnyakov alexe...
  • 11 篇 mostafa abotaleb
  • 11 篇 kuts daniil
  • 11 篇 josef börcsök
  • 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...

语言

  • 627 篇 英文
  • 13 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute for System Programming"
648 条 记 录,以下是1-10 订阅
排序:
Regularization of Machine Learning and Linear Algebra  24
Regularization of Machine Learning and Linear Algebra
收藏 引用
8th International Conference on Computer Science and Artificial Intelligence, CSAI 2024
作者: Liu, Shuang Kabanikhin, Sergey Igorevich Strijhak, Sergei Vladimirovich Novosibirsk State University Akademgorodok Novosibirsk Russia Sobolev Institute of Mathematics Siberian Branch of the Russian Academy of Sciences Novosibirsk Russia Ivannikov Institute of System Programming of the Russian Academy of Sciences Moscow Russia
This paper explores the connection between systems of linear algebraic equations (SLAE) and machine learning methods, including regularization techniques, to establish a more novel neural network model based on linear... 详细信息
来源: 评论
On The Visualization of Subattractor Under Mixed Tidal Forcing
Scientific Visualization
收藏 引用
Scientific Visualization 2025年 第1期17卷 138-149页
作者: Elistratov, Stepan But, Ivan Shirshov Institute of Oceanology RAS Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia Sobolev Institute of Mathematics of Siberian Branch RAS Novosibirsk Russia
One of the principle conditions of a wave attractor appearance is a periodic external forcing. Real forcing in natural basins caused by tidal interaction is more complex than a monochromatic which is usually used in i... 详细信息
来源: 评论
Multi-Record Web Page Information Extraction From News Websites
arXiv
收藏 引用
arXiv 2025年
作者: Kustenkov, Alexander Varlamov, Maksim Yatskov, Alexander Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia Lomonosov Moscow State University Moscow Russia
In this paper, we focused on the problem of extracting information from web pages containing many records, a task of growing importance in the era of massive web data. Recently, the development of neural network metho... 详细信息
来源: 评论
Complexity of the Uniform Membership Problem for Hyperedge Replacement Grammars
arXiv
收藏 引用
arXiv 2025年
作者: Pshenitsyn, Tikhon Steklov Mathematical Institute 8 Gubkina st. Moscow119991 Russia Ivannikov Institute for System Programming 25 Alexander Solzhenitsyn st. Moscow109004 Russia
We investigate complexity of the uniform membership problem for hyperedge replacement grammars in comparison with other mildly context-sensitive grammar formalisms. It turns out that the complexity of the problem cons... 详细信息
来源: 评论
Decentralised convex optimisation with probability-proportional-to-size quantization
arXiv
收藏 引用
arXiv 2025年
作者: Pasechnyuk, D.A. Dvurechensky, P. Uribe, C.A. Gasnikov, A.V. Mohamed bin Zayed University of Artificial Intelligence United Arab Emirates Ivannikov Institute for System Programming the Russian Academy of Sciences Russia Weierstrass Institute for Applied Analysis and Stochastics Germany Rice University United States Moscow Institute of Physics and Technology Russia
Communication is one of the bottlenecks of distributed optimisation and learning. To overcome this bottleneck, we propose a novel quantization method that transforms a vector into a sample of components’ indices draw... 详细信息
来源: 评论
Classifiers of the Functional State of Living systems Based on Voigt Model Optimization  2nd
Classifiers of the Functional State of Living Systems Based ...
收藏 引用
2nd International Conference on Applied Intelligence, ICAI 2024
作者: Al-kasasbeh, Riad Taha Filist, Sergey Shaqadan, Ashraf Shatalova, Olga Starkov, Evgeny Korenevskiy, Nikolay A. Al-Habahbeh, Osama M. Tarawneh, Emad Saleh Maksim, Ilyash Miroshnikova, Karina Miroshnikov, Andrey Aikeyeva, Altyn A. The University of Jordan Amman Jordan South-West State University Kursk Russia Zarqa University Zarqa Jordan Institute of System Programming of the Russian Academy of Sciences Moscow Russia Eurasian National University Astana Kazakhstan
A novel bioimpedance spectroscopy method is introduced;the proposed method can help in the development of objective and accessible criteria for disease assessment, in addition to evaluating the effectiveness of treatm... 详细信息
来源: 评论
SXDGL: Snapshot based concurrency control protocol for XML data
SXDGL: Snapshot based concurrency control protocol for XML d...
收藏 引用
5th International XML Database Symposium
作者: Pleshachkov, Peter Kuznetcov, Sergei Institute for System Programming RAS Russian Federation
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the two-phase locking protocol, which pote... 详细信息
来源: 评论
Efficient implementation of XQuery constructor expressions
Efficient implementation of XQuery constructor expressions
收藏 引用
5th Spring Young Researchers Colloquium on Databases and Information systems, SYRCoDIS 2008
作者: Grinev, Maxim Novak, Leonid Taranov, Ilya Institute of System Programming Russia
Element constructor is one of most expensive operations of the XQuery language as it requires deep copy of the nodes which make up the content of the constructed element. In this paper we propose various optimization ... 详细信息
来源: 评论
Operating system of the multi-machine computer AS-6  1st
Operating system of the multi-machine computer AS-6
收藏 引用
1st IFIP WG 9.7 Conference on Perspectives on Soviet and Russian Computing, SoRuCom 2006
作者: Bourdonov, I.B. Ivannikov, V.P. Kossatchev, A.S. Kuznetsov, S.D. Tomilin, A.N. Institute for System Programming of RAS Russia
The S.A. Lebedev institute developed operating system for the AS-6 distributed computing system (OS AS-6) in the 1970s. The OS AS-6 consisted of peer operating systems of separate machines making up the AS-6 computer ... 详细信息
来源: 评论
A Method to Evaluate Binary Code Comparison Tools
A Method to Evaluate Binary Code Comparison Tools
收藏 引用
2021 Ivannikov Memorial Workshop, IVMEM 2021
作者: Arutunian, Mariam Hovhannisyan, Hripsime Vardanyan, Vahagn Sargsyan, Sevak Kurmangaleev, Shamil Aslanyan, Hayk Russian-Armenian University System programming department Yerevan Armenia Institute for System Programming Russian Academy of Sciences System programming department Moscow Russia
Binary code comparison tools are widely used to analyze vulnerabilities, search for malicious code, detect copyright violations, etc. The article discusses three tools - BCC, BinDiff, Diaphora. Those are based on stat... 详细信息
来源: 评论