咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是321-330 订阅
排序:
Correction: Enhancing SNV identification in whole-genome sequencing data through the incorporation of known genetic variants into the minimap2 index
收藏 引用
BMC bioinformatics 2024年 第1期25卷 268页
作者: Egor Guguchkin Artem Kasianov Maksim Belenikin Gaukhar Zobkova Ekaterina Kosova Vsevolod Makeev Evgeny Karpulevich Ivannikov Institute for System Programming Moscow Russia. guguchkin@ispras.ru. Institute for Information Transmission Problems Moscow Russia. Evogen LLC Moscow Russia. Vavilov Institute of General Genetics Moscow Russia. Institute of Biochemistry and Genetics of Ufa Scientific Centre Ufa Russia. Cancer Research UK National Biomarker Centre University of Manchester Manchester Manchester M20 4BX UK. Ivannikov Institute for System Programming Moscow Russia.
来源: 评论
Verifying cryptographic protocols by Tamarin Prover
Verifying cryptographic protocols by Tamarin Prover
收藏 引用
Ivannikov Memorial Workshop (IVMEM)
作者: Evgenii Vinarskii Alexey Demakov Alexander Kamkin Nina Yevtushenko Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Institute of Physics and Technology Higher School of Economics Moscow Russia Higher School of Economics Moscow Russia
Cryptographic protocols are utilized for establishing a secure session between “honest” agents which communicate strictly according to the protocol rules as well as for ensuring the authenticated and confidential tr... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Decentralized Personalized Federated Learning for Min-Max Problems
arXiv
收藏 引用
arXiv 2021年
作者: Borodich, Ekaterina Beznosikov, Aleksandr Sadiev, Abdurakhmon Sushko, Vadim Savelyev, Nikolay Takac, Martin Gasnikov, Alexander Moscow Institute of Physics and Technology Moscow Russia Mohamed bin Zayed University of Artificial Intelligence Abu Dhabi United Arab Emirates Ivannikov Institute for System Programming RAS Moscow Russia Bosch Center for Artificial Intelligence Renningen Germany
Personalized Federated Learning (PFL) has witnessed remarkable advancements, enabling the development of innovative machine learning applications that preserve the privacy of training data. However, existing theoretic... 详细信息
来源: 评论
Sydr: Cutting edge dynamic symbolic execution
arXiv
收藏 引用
arXiv 2020年
作者: Vishnyakov, Alexey Fedotov, Andrey Kuts, Daniil Novikov, Alexander Parygina, Darya Kobrin, Eli Logunova, Vlada Belecky, Pavel Kurmangaleev, Shamil Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Russia Moscow Institute of Physics and Technology Moscow Russia
The security development lifecycle (SDL) is becoming an industry standard. Dynamic symbolic execution (DSE) has enormous amount of applications in computer security (fuzzing, vulnerability discovery, reverse-engineeri... 详细信息
来源: 评论
Research on the wake of the ducted propeller with POD and DMD
Research on the wake of the ducted propeller with POD and DM...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Tianyuan Wang Hongda Shi Qin Zhang Bo Yang Xin Liu Kraposhin Matvey College of Engineering Ocean University of China Qingdao China Ivannikov Institute for System Programming of the RAS Moscow Russia
The paper attempts to apply the Proper Orthogonal Decomposition (POD) and Dynamic Mode Decomposition (DMD) to the ducted propeller wake analysis. The ducted propeller produces a complex wake flow field with multifrequ... 详细信息
来源: 评论
Using Ansible as Part of TOSCA Orchestrator
Using Ansible as Part of TOSCA Orchestrator
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Valeriya Shvetcova Oleg Borisenko Maxim Polischuk Ivannikov Institute for System Programming of the RAS Moscow Russia Bauman Moscow State Technical University Moscow Russia
Cloud computing is used in many areas and by many specialists to ease application distribution and deployment. Cloud providers basically aim at providing resources varying from others. So it becomes very difficult to ... 详细信息
来源: 评论
Computationally secure threshold secret sharing scheme with minimal redundancy  2
Computationally secure threshold secret sharing scheme with ...
收藏 引用
2nd International Workshop on Information, Computation, and Control systems for Distributed Environments, ICCS-DE 2020
作者: Babenko, M. Tchernykh, A. Golimblevskaia, E. Hung, Nguyen Viet Chaurasiya, V.K. North-Caucasus Federal University Stavropol Russia CICESE Research Center Ensenada BC Mexico South Ural State University Chelyabinsk Russia Ivannikov Institute for System Programming Moscow Russia LeQuyDon Technical University Hanoi Viet Nam Indian Institute of Information Technology Allahabad India
When designing and using distributed storage systems with cloud technology, the security issues become crucial. One of the promising mechanisms is the computationally secure threshold secret sharing scheme. We propose... 详细信息
来源: 评论
Evaluation of interpretability methods for adversarial robustness on real-world datasets
Evaluation of interpretability methods for adversarial robus...
收藏 引用
Ivannikov Memorial Workshop (IVMEM)
作者: Anna Chistyakova Maria Cherepnina Konstantin Arkhipenko Sergey D. Kuznetsov Chang-Seok Oh Sebeom Park Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia Moscow Institute of Physics and Technology (State University) Moscow Russia Plekhanov Russian University of Economics Moscow Russia Samsung Research Seoul South Korea
Adversarial training is considered the most powerful approach for robustness against attacks on deep neural networks involving adversarial examples. However, recent works have shown that the similar robustness level c... 详细信息
来源: 评论
The multifractal analysis in Geophysical Flows. In memory of Prof. Jose Manuel Redondo Apraiz
The multifractal analysis in Geophysical Flows. In memory of...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Jackson Tellez-Alvarez Sergei V. Strijhak FLUMEN Research Institute Technical University of Catalonia Barcelona Spain Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
This paper describes the multifractal methodology for analysis of different geophysical flows such as vertical plumes in water, wakes behind 3D Sparse grid turbulence generators in wind tunnel, wakes behind wind turbi... 详细信息
来源: 评论