咨询与建议

限定检索结果

文献类型

  • 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 篇 俄文
检索条件"机构=RAS Institute for System Programming"
242 条 记 录,以下是221-230 订阅
排序:
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2018年 10742 LNCS卷
作者: Voronkov, Andrei Petrenko, Alexander K. The University of Manchester Manchester United Kingdom Ivannikov Institute for System Programming of RAS Moscow Russia
来源: 评论
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... 详细信息
来源: 评论
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...
来源: 评论
High-Probability Convergence for Composite and Distributed Stochastic Minimization and Variational Inequalities with Heavy-Tailed Noise
arXiv
收藏 引用
arXiv 2023年
作者: 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 and 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... 详细信息
来源: 评论
Mixed characteristic discontinuous Galerkin approach for perfect gas dynamics modeling
收藏 引用
Journal of Physics: Conference Series 2021年 第1期2028卷
作者: V.K. Gatsuk V.V. Lukin Bauman Moscow State Technical University Moscow Russia Keldysh Institute of Applied Mathematics RAS Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia
The numerical method based on the discontinuous Galerkin (DG) approach for perfect inviscid compressible gas dynamics modelling is developed. The approximate Riemann solvers in combination with gas dynamics equations ...
来源: 评论
Simulation and optimization of injector parameters with OpenFOAM and globalizer tools
收藏 引用
AIP Conference Proceedings 2023年 第1期2849卷
作者: Konstantin Barkalov Ilya Lebedev Daniil Ryazanov Sergey Strijak Lobachevsky State University of Nizhny Novgorod Nizhny Novgorod Russia Ivannikov Institute for System Programming of the RAS Moscow Russia
The paper presents results of simulation and optimization of the processes taking place in a fuel system injector. Simula-tion has been carried using tools of the OpenFOAM system. The problem of differential pressure ...
来源: 评论
HIGHLY SMOOTH ZEROTH-ORDER METHODS FOR SOLVING OPTIMIZATION PROBLEMS UNDER THE PL CONDITION†
arXiv
收藏 引用
arXiv 2023年
作者: Gasnikov, A.V. Lobanov, A.V. Stonyakin, F.S. Moscow Institute of Physics and Technology 141700 Dolgoprudny Institutskiy per. 9 Russia Skolkovo Institute of Science and Technology 121205 Moscow B. Boulevard 30 bld. 1 Russia Institute for System Programming of the RAS 125047 Moscow A. Solzhenitsyn st. 25 Russia V.I. Vernadsky Crimean Federal University 295007 Simferopol Prospekt Vernadskogo 4 Russia
– In this paper, we study the black box optimization problem under the Polyak–Lojasiewicz (PL) condition, assuming that the objective function is not just smooth, but has higher smoothness. By using "kernel-bas... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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...
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2017年 1989卷 5-7页
作者: Pozin, Boris A. Cavalli, Ana Rosa Petrenko, Alexander K. Department of Information and Analytical Systems EC-leasing Co. Russia Department of Network Software TELECOM and Management SudParis France Department of System Engineering Institute of System Programming of RAS Russia
来源: 评论