咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是461-470 订阅
排序:
Developing quasi-steady model for studying hemostatic response using supercomputer technologies
Supercomputing Frontiers and Innovations
收藏 引用
Supercomputing Frontiers and Innovations 2018年 第4期5卷 67-72页
作者: Trifanov, Petr V. Kaneva, Valeriia N. Strijhak, Sergei V. Panteleev, Mikhail A. Ataullakhanov, Fazoil I. Dunster, Joanne Voevodin, Vadim V. Nechipurenko, Dmitry Y. Department of Physics Lomonosov Moscow State University Moscow Russia Dmitry Rogachev National Research Center of Pediatric Hematology Oncology and Immunology Moscow Russia Center for Theoretical Problems of Physicochemical Pharmacology Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia Faculty of Biological and Medical Physics Moscow Institute of Physics and Technology Dolgoprudny Russia Institute for Cardiovascular and Metabolic Research School of Biological Sciences University of Reading Berkshire United Kingdom Research Computing Center of Lomonosov Moscow State University Moscow Russia
Formation of the platelet plug represents a primary response to the vessel wall injury, but may also result in vessel occlusion. The decrease of the local blood flow due to platelet thrombus formation may lead to seri... 详细信息
来源: 评论
Simulation of viscoelastic flow past circular airfoil by using the modified LS-STAG immersed boundary method
收藏 引用
Journal of Physics: Conference Series 2019年 第1期1348卷
作者: Valeria V Puzikova Applied Mathematics Department Bauman Moscow State Technical University 2-ya Baumanskaya st. 5 str. 1 Moscow 105005 Russian Federation Compiler Technology Department Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow 109004 Russian Federation
The LS-STAG immersed boundary cut-cell method modification for viscoelastic flow computations is presented. Rate type viscoelastic flow models (linear and quasilinear) are considered. Rate type viscoelastic flow model...
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2019年 2514卷 1-2页
作者: Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia
来源: 评论
Dynamic Diluted Taint Analysis for Evaluating Detected Policy Violations
Dynamic Diluted Taint Analysis for Evaluating Detected Polic...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Maksim Bakulin Maria Klimushenkova Danila Egorov Ivannikov Institute for System Programming of the RAS The Yaroslav-the-Wise Novgorod State University. Faculty of Computational Mathematics and Cybernetics Moscow State University
Dynamic taint analysis is a well-known technique. This article describes some difficulties that have to be dealt with when using dynamic taint analysis with full-system emulation. A new method is proposed to evaluate ... 详细信息
来源: 评论
Numerical simulation in 2D strongly coupled FSI problems for incompressible flows by using vortex method
收藏 引用
AIP Conference Proceedings 2018年 第1期2027卷
作者: Kseniia Kuzmina Ilia Marchevsky Evgeniya Ryatina 1Bauman Moscow State Technical University Russia 2Ivannikov Institute for System Programming of the Russian Academy of Sciences Russia
Two coupling strategies for numerical simulation in Fluid-Structure Interaction problems using vortex methods are considered and implemented in new open-source code VM2D developed by the authors for 2D incompressible ...
来源: 评论
MayAnd at SemEval-2016 task 5: Syntactic and word2vec-based approach to aspect-based polarity detection in Russian  10
MayAnd at SemEval-2016 task 5: Syntactic and word2vec-based ...
收藏 引用
10th International Workshop on Semantic Evaluation, SemEval 2016
作者: Mayorov, Vladimir Andrianov, Ivan Institute for System Programming Russian Academy of Sciences 25 Alexander Solzhenitsyn Street Moscow Russia
This paper describes aspect-based polarity detection system for Russian, used in aspectbased sentiment analysis task (ABSA) of SemEval-2016 (Task 5, subtask 1, slot 3). The system consists of two independent classifie... 详细信息
来源: 评论
Implementation of POD and DMD methods in Apache Spark framework for simulation of unsteady turbulent flow in the model combustor  7
Implementation of POD and DMD methods in Apache Spark framew...
收藏 引用
7th European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS Congress 2016
作者: Kalugin, Michael D. Strijhak, Sergei V. Institute for System Programming Russian Academy of Sciences Alexander Solzhenitsyn st. 25 Moscow109004 Russia
The paper is devoted to modelling and analysis of unsteady turbulent flow in a model combustor (channel) using LES (Large Eddy Simulation). Simulations were provided for 2D and 3D cases on different grids of a flow in... 详细信息
来源: 评论
Numerical simulation of compressible gas flows using regularized gas dynamic equations solver QGDFoam
收藏 引用
AIP Conference Proceedings 2018年 第1期2027卷
作者: M. V. Kraposhin T. G. Elizarova M. A. Istomina D. A. Ryazanov K. A. Vatutin 1Ivannikov Institute for System Programming of RAS Moscow Russia 2Keldysh Institute of Applied Mathematics of RAS Moscow Russia 3Lomonosov Moscow State University Moscow Russia
The work presents results of the application of a new OpenFOAM® solver QGDFoam for the numerical simulation of viscous compressible flows in a wide range of Mach numbers. The new solver is based on the explicit a...
来源: 评论
Simulation of transonic low-Reynolds jets using quasi-gas dynamics equations
收藏 引用
Journal of Physics: Conference Series 2019年 第1期1382卷
作者: M V Kraposhin A S Epikhin T G Elizarova K A Vatutin Ivannikov Institute for System Programming of the RAS Russia Moscow Solzhenitsyna str. 25 The Department of Aeromechanics and Flight Engineering Moscow Institute of Physics and Technology Russia Moscow Region Jukovskiy Gagarin str. 16 Keldysh Institute of Applied Mathematics of the RAS Russia Moscow Miusskaya Sqr. 4 Bauman Moscow State Technical University Russia Moscow 2nd Baumanskay str. 5 building 1 Faculty of Mechanics and Mathematics Lomonosov Moscow State University Russia Moscow GSP-1 Leninskiye gory 1
In this paper application of the OpenFOAM solver QGDFoam for numerical simulation of transonic viscous flows is considered. The developed solver, which implements regularized or quasi- gas dynamics (QGD) algorithms, i...
来源: 评论
Reproducing Network Structure: A Comparative Study of Random Graph Generators
Reproducing Network Structure: A Comparative Study of Random...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Mikhail Drobyshevskiy Denis Turdakov Sergey Kuznetsov Moscow Institute of Physics and Technology (State University) Moscow Russia Russian Academy of Sciences Ivannikov Institute for System Programming Moscow Russia National Research University Higher School of Economics Moscow Russia Lomonosov Moscow State University Moscow Russia
The problem of generating graphs similar to a given one arises in such tasks as data anonymization and significance testing of network mining tools. Main challenges lie in a rich diversity of graph domains emerging in... 详细信息
来源: 评论