咨询与建议

限定检索结果

文献类型

  • 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 for System Programming"
651 条 记 录,以下是601-610 订阅
排序:
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 ...
来源: 评论
Vortex cluster arising from an axisymmetric inertial wave attractor
arXiv
收藏 引用
arXiv 2020年
作者: Boury, Samuel Sibgatullin, I. Ermanyuk, E. Shmakova, N. Odier, P. Joubaud, S. Maas, L.R.M. Dauxois, T. Univ Lyon ENS de Lyon Univ Claude Bernard CNRS Laboratoire de Physique LyonF-69342 France Lavrentyev Institute of Hydrodynamics av. Lavrentyev 15 Novosibirsk630090 Russia P.P. Shirshov Institute of Oceanology Nahimovskiy prospect 36 Moscow117997 Russia 1 rue Descartes Paris75005 France Institute for Marine and Atmospheric Research Utrecht University Utrecht3584 CC Netherlands Ivannikov Institute for System Programming str. Alexander Solzhenitsyn 25 Moscow109004 Russia
We present an experimental study of the saturated non-linear dynamics of an inertial wave attractor in an axisymmetric geometrical setting. The experiments are carried out in a rotating ring-shaped fluid domain delimi... 详细信息
来源: 评论
Sophisticated Calculation of the 1oo4-architecture for Safety-related systems Conforming to IEC61508
收藏 引用
Journal of Physics: Conference Series 2012年 第1期364卷
作者: A Hayek M Al Bokhaiti M H Schwarz J Boercsoek To whom any correspondence should be addressed Institute of Computer Architecture and System Programming University of Kassel Wilhelmshoeher Allee 71 34121 Kassel Germany
With the publication and enforcement of the standard IEC 61508 of safety related systems, recent system architectures have been presented and evaluated. Among a number of techniques and measures to the evaluation of s...
来源: 评论
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
来源: 评论
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) 2019年 11771 LNCS卷 v页
作者: Mazzara, Manuel Bruel, Jean-Michel Meyer, Bertrand Petrenko, Alexander Innopolis University Innopolis Russia IUT de Blagnac Blagnac France Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia
来源: 评论
Sensing metric-based hybrid underlay/overlay transmission framework for CR-IoT networks for smart city applications
Sensing metric-based hybrid underlay/overlay transmission fr...
收藏 引用
7th IET Smart Cities Symposium (SCS 2023)
作者: Indu Bala Maad M. Mijwil Mostafa Abotaleb El-Sayed M. El-kenawy Abdelhameed Ibrahim School of Electrical and Electronics Engineering Lovely Professional University Punjab India Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt
With the increasing number of IoT devices, there is a growing need for bandwidth to support their communication. Unfortunately, there is a shortage of available bandwidth due to preallocated bands for various services...
来源: 评论
Numerical simulation of jet flows in homogeneous and heterogeneous media
收藏 引用
Journal of Physics: Conference Series 2019年 第1期1404卷
作者: A K Shevchenko S V Strijhak S N Yakovenko Khristianovich Institute of Theoretical and Applied Mechanics Siberian Branch of Russian Academy of Sciences Novosibirsk 630090 Russia Ivannikov Institute for System Programming Russian Academy of Sciences Moscow 109004 Russia
Submerged jets at different Reynolds numbers (Re) with random perturbations added to the inlet velocity profile are simulated numerically by solving the Navier–Stokes equations. The effects of Re on flow behavior and...
来源: 评论
Network Intrusion Detection Based on Feature Selection and Hybrid Metaheuristic Optimization
收藏 引用
Computers, Materials & Continua 2023年 第2期74卷 2677-2693页
作者: Reem Alkanhel El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Manal Abdullah Alohali Mostafa Abotaleb Doaa Sami Khafaga Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Information Systems Department College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of System Programming South Ural State UniversityChelyabinsk454080Russia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia
Applications of internet-of-things(IoT)are increasingly being used in many facets of our daily life,which results in an enormous volume of *** computing and fog computing,two of the most common technologies used in Io... 详细信息
来源: 评论
A parallel language and its programming system for heterogeneous networks
收藏 引用
Concurrency and Computation: Practice and Experience 2000年 第13期12卷
作者: Alexey Lastovetsky Dmitry Arapov Alexey Kalinov Ilya Ledovskih Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 109004 Russia 50 Hollybrook Park Bray County Wicklow Ireland
The paper presents a new parallel language, mpC, designed specially for programming high-performance computations on heterogeneous networks of computers, as well as its supportive programming environment. The main ide... 详细信息
来源: 评论
Accelerated Bregman gradient methods for relatively smooth and relatively Lipschitz continuous minimization problems
arXiv
收藏 引用
arXiv 2024年
作者: Savchuk, O.S. Alkousa, M.S. Shushko, A.S. Vyguzov, A.A. Stonyakin, F.S. Pasechnyuk, D.A. Gasnikov, A.V. V. I. Vernadsky Crimean Federal University Vernadsky Avenue 4 Simferopol Russia Adyghe State University 208 Pervomayskaya st. Maykop Russia Innopolis University Universitetskaya Str. 1 Innopolis420500 Russia Moscow Institute of Physics and Technology 9 Institutsky lane Dolgoprudny141701 Russia Mohamed bin Zayed University of Artificial Intelligence Abu Dhabi United Arab Emirates Ivannikov Institute for System Programming The Russian Academy of Sciences Russia
In this paper, we propose some accelerated methods for solving optimization problems under the condition of relatively smooth and relatively Lipschitz continuous functions with an inexact oracle. We consider the probl... 详细信息
来源: 评论