咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
A viscous effect of wave attractor in geometry with underwater peak
收藏 引用
Intelligent Marine Technology and systems 2024年 第1期2卷 1-9页
作者: Elistratov, Stepan But, Ivan Shirshov Institute of Oceanology of RAS Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia Sobolev Institute of Mathematics of Siberian Branch of RAS Novosibirsk Russia
The influence of the viscosity on a wave attractor flow has been previously studied, particularly in relation to the widening of the hydrodynamical structures. In this work, we simulate an attractor flow with a peculi...
来源: 评论
Combined Approach to Solving Problems in Binary Code Analysis
Combined Approach to Solving Problems in Binary Code Analysi...
收藏 引用
International Conference on Computer Science and Information Technologies
作者: Alexander Getman Vartan Padaryan Mikhail Solovyev Institute for System Programming of the Russian Academy of Sciences (ISP RAS)
This paper proposes a decomposition of generic software security problems, mapping them to smaller problems of static and dynamic binary code analysis.
来源: 评论
Performance Optimizations in an LLVM-based Cloud Application Store
Performance Optimizations in an LLVM-based Cloud Application...
收藏 引用
International Conference on Computer Science and Information Technologies
作者: Viktor Ivanikov Shamil Kurmangaleev Andrey Belevantsev Arutyun Avetisyan Institute for System Programming of the Russian Academy of Sciences (ISP RAS)
This paper describes the two-stage compilation system based on LLVM compiler infrastructure and the performance optimizations made possible by this deployment technique.
来源: 评论
Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments  2
Training Policy for Privacy-Preserving Logistic Regression i...
收藏 引用
2nd IEEE International Conference on Federated Learning Technologies and Applications, FLTA 2024
作者: Cortés-Mendoza, Jorge M. Tchernykh, Andrei González-Vélez, Horacio 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... 详细信息
来源: 评论
Validation of a newly developed implementation of the PFEM-2 method using an open-source framework
Validation of a newly developed implementation of the PFEM-2...
收藏 引用
2021 Ivannikov Ispras Open Conference, ISPras 2021
作者: Popov, Andrey Marchevsky, Ilia Serbin, Georgy Bauman Moscow State Technical University Fundamental Sciences Department Moscow Russia Ivannikov Institute For System Programming Of The Ras Bauman Moscow State Technical University Moscow Russia
A description of a newly developed implementation of the Particle Finite Element Method, 2nd generation (PFEM-2) is given. Main steps of the FEM and particles' parts of the algorithm are outlined. The results of i... 详细信息
来源: 评论
Methods of Visualisation for Flows with Internal Waves Attractors
Scientific Visualization
收藏 引用
Scientific Visualization 2021年 第5期13卷 113-121页
作者: Ryazanov, D.A. Elistratov, S.A. Kraposhin, M.V. Ivannikov Institute for System Programming The RAS Russia Lomonosov Moscow State University Russia
Application of different approaches for visualization of hydrodynamic fields of internal waves is closely connected with the possibility of extracting important numerical characteristics of the flows. In this paper we... 详细信息
来源: 评论
Comparative analysis of non/ductedpropeller under the influence of vertical wall
Comparative analysis of non/ductedpropeller under the influe...
收藏 引用
2022 Ivannikov Open Conference, ISPras 2022
作者: Wang, Mengfei Qingxu Zhang, Qin Epikhin, Andrey Liang, Bingchen Ocean University of China College of Engineering Qingdao China Programming of the Ras Ivannikov Institute for System 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...
收藏 引用
2022 Ivannikov Open Conference, ISPras 2022
作者: Yakushev, Aleksey Markin, Yury Obydenkov, Dmitry Frolov, Alexander Fomin, Stas Akopyan, Manuk Kozachok, Alexander Gaynov, Arthur 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.... 详细信息
来源: 评论
Halocline Internal Wave Attractors Visualization
Scientific Visualization
收藏 引用
Scientific Visualization 2024年 第50期16卷 82-94页
作者: Elistratov, Stepan A Shirshov Institute of Oceanology of RAS Russia B Ivannikov Institute for System Programming of RAS Russia C Sobolev Institute of Mathematics the Siberian Branch of the RAS Russia
The phenomenon of wave attractor, originating from ocean dynamics, in the last couple decades has become widely-studied both laboratorily and numerically. However, their discoveries in wild nature are still rare hence... 详细信息
来源: 评论
Dynamic verification of hybrid systems
Dynamic verification of hybrid systems
收藏 引用
Tools & Methods of Program Analysis (TMPA)
作者: Nikolay Pakulin Department of Software Engineeing Institute for System Programming of RAS Moscow Russia
In the recent decade we face aggressive replacement of analog control loops with digital ones. Even for critical systems there are ongoing projects for digital control: “Smart Grids” in power industry, “Integrated ... 详细信息
来源: 评论