咨询与建议

限定检索结果

文献类型

  • 520 篇 期刊文献
  • 364 篇 会议

馆藏范围

  • 884 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 758 篇 工学
    • 595 篇 计算机科学与技术...
    • 369 篇 软件工程
    • 122 篇 电气工程
    • 35 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 19 篇 机械工程
    • 16 篇 力学(可授工学、理...
    • 15 篇 动力工程及工程热...
    • 13 篇 材料科学与工程(可...
    • 11 篇 仪器科学与技术
    • 8 篇 交通运输工程
    • 7 篇 环境科学与工程(可...
    • 6 篇 测绘科学与技术
    • 6 篇 生物医学工程(可授...
    • 5 篇 光学工程
    • 5 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 石油与天然气工程
    • 4 篇 航空宇航科学与技...
  • 144 篇 理学
    • 70 篇 数学
    • 53 篇 物理学
    • 20 篇 生物学
    • 9 篇 化学
  • 47 篇 医学
    • 31 篇 临床医学
    • 11 篇 基础医学(可授医学...
    • 5 篇 公共卫生与预防医...
    • 5 篇 药学(可授医学、理...
  • 47 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 4 篇 工商管理
  • 12 篇 农学
    • 6 篇 作物学
  • 3 篇 教育学
  • 2 篇 经济学
  • 2 篇 法学
  • 1 篇 哲学
  • 1 篇 文学

主题

  • 25 篇 software enginee...
  • 25 篇 computer softwar...
  • 22 篇 artificial intel...
  • 19 篇 computer program...
  • 19 篇 machine learning
  • 18 篇 operating system...
  • 17 篇 computer science
  • 17 篇 software enginee...
  • 16 篇 reliability
  • 16 篇 algorithms
  • 16 篇 general
  • 15 篇 residue number s...
  • 15 篇 semantics
  • 14 篇 openfoam
  • 14 篇 cloud computing
  • 13 篇 verification
  • 13 篇 testing
  • 11 篇 static analysis
  • 9 篇 homomorphic encr...
  • 8 篇 internal waves

机构

  • 216 篇 russian acad sci...
  • 93 篇 russian acad sci...
  • 56 篇 ras ivannikov in...
  • 46 篇 moscow mv lomono...
  • 34 篇 russian acad sci...
  • 33 篇 south ural state...
  • 27 篇 lomonosov moscow...
  • 26 篇 ras inst syst pr...
  • 23 篇 natl res univ hi...
  • 20 篇 north caucasus f...
  • 20 篇 tu braunschweig ...
  • 17 篇 natl res univ hi...
  • 17 篇 cicese res ctr e...
  • 15 篇 russian acad sci...
  • 14 篇 south ural state...
  • 14 篇 moscow inst phys...
  • 12 篇 ivannikov inst s...
  • 11 篇 moscow inst phys...
  • 11 篇 moscow inst phys...
  • 10 篇 bauman moscow st...

作者

  • 34 篇 tchernykh andrei
  • 31 篇 avetisyan arutyu...
  • 29 篇 yevtushenko nina
  • 26 篇 babenko mikhail
  • 20 篇 goltz ursula
  • 17 篇 tchernykh a.
  • 16 篇 kushik natalia
  • 13 篇 abotaleb mostafa
  • 12 篇 radchenko gleb
  • 12 篇 mutschler christ...
  • 12 篇 turdakov d. yu.
  • 12 篇 kossatchev a. s.
  • 11 篇 lopez jorge
  • 11 篇 padaryan v. a.
  • 11 篇 khoroshilov a. v...
  • 11 篇 cortes-mendoza j...
  • 11 篇 kalinov a
  • 10 篇 kamkin alexander
  • 10 篇 kuliamin v. v.
  • 10 篇 avetisyan a. i.

语言

  • 851 篇 英文
  • 29 篇 其他
  • 2 篇 德文
  • 1 篇 俄文
检索条件"机构=Inst Syst Programming"
884 条 记 录,以下是311-320 订阅
排序:
Bayesian and deep-learning models applied to the early detection of ovarian cancer using multiple longitudinal biomarkers
收藏 引用
CANCER MEDICINE 2024年 第7期13卷 e7163页
作者: Abrego, Luis Zaikin, Alexey Marino, Ines P. Krivonosov, Mikhail I. Jacobs, Ian Menon, Usha Gentry-Maharaj, Aleksandra Blyuss, Oleg UCL EGA Inst Womens Hlth Dept Womens Canc London England UCL Dept Math London WC1E 6BT England Univ Rey Juan Carlos Dept Biol Geol Phys & Inorgan Chem Madrid Spain Russian Acad Sci Ivannikov Inst Syst Programming Res Ctr Trusted Artificial Intelligence Moscow Russia Lobachevsky State Univ Inst Biogerontol Nizhnii Novgorod Russia UCL MRC Clin Trials Unit London England Queen Mary Univ London Wolfson Inst Populat Hlth London England Sechenov First Moscow State Med Univ Sechenov Univ Inst Childs Hlth Dept Paediat & Paediat Infect Dis Moscow Russia Queen Mary Univ London Wolfson Inst Populat Hlth Ctr Canc Screening Prevent & Early Detect Charterhouse Sq London EC1M 6BQ England
BackgroundOvarian cancer is the most lethal of all gynecological cancers. Cancer Antigen 125 (CA125) is the best-performing ovarian cancer biomarker which however is still not effective as a screening test in the gene... 详细信息
来源: 评论
Random Graph Modeling: A Survey of the Concepts
收藏 引用
ACM COMPUTING SURVEYS 2020年 第6期52卷 131-131页
作者: Drobyshevskiy, Mikhail Turdakov, Denis Russian Acad Sci Ivannikov Inst Syst Programming Alexander Solzhenitsyn St 25 Moscow 109004 Russia Moscow Inst Phys & Technol Alexander Solzhenitsyn St 25 Moscow 109004 Russia
Random graph (RG) models play a central role in complex networks analysis. They help us to understand, control, and predict phenomena occurring, for instance, in social networks, biological networks, the Internet, and... 详细信息
来源: 评论
Experimental Evaluation of Timed Finite State Machine Based Test Derivation  20
Experimental Evaluation of Timed Finite State Machine Based ...
收藏 引用
20th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM)
作者: Tvardovskii, Aleksandr S. Vinarskii, Evgenii M. Yevtushenko, Nina, V Tomsk State Univ Tomsk Russia Lomonosov Moscow State Univ Moscow Russia Ivannikov Inst Syst Programming Moscow Russia
Finite State Machines (FSMs) are widely used for deriving tests with guaranteed fault coverage for various kinds of discrete and hybrid systems such as telecommunication protocols and services. A Timed FSM (TFSM) seem... 详细信息
来源: 评论
EndoNuke: Nuclei Detection Dataset for Estrogen and Progesterone Stained IHC Endometrium Scans
收藏 引用
DATA 2022年 第6期7卷 75页
作者: Naumov, Anton Ushakov, Egor Ivanov, Andrey Midiber, Konstantin Khovanskaya, Tatyana Vishnyakova, Polina Nora, Sergei Mikhaleva, Liudmila Fatkhudinov, Timur Karpulevich, Evgeny Russian Acad Sci ISP RAS Ivannikov Inst Syst Programming Informat Syst Dept Moscow 109004 Russia AP Avtsyn Sci Res Inst Human Morphol Moscow 117418 Russia City Clin Hosp 31 Moscow Healthcare Dept Moscow 119415 Russia RUDN Univ Peoples Friendship Univ Russia Med Inst Moscow 117198 Russia Minist Healthcare Russian Federat Natl Med Res Ctr Obstet Gynecol & Perinatol Lab Regenerat Med Moscow 117997 Russia Yaroslav The Wise Novgorod State Univ Dept Microbiol Immunol & Infect Dis Veliky Novgorod 173003 Russia
We present EndoNuke, an open dataset consisting of tiles from endometrium immunohistochemistry slides with the nuclei annotated as keypoints. Several experts with various experience have annotated the dataset. Apart f... 详细信息
来源: 评论
Approaching natural conversation chatbots by interactive dialogue modelling & Microsoft LUIS  1
Approaching natural conversation chatbots by interactive dia...
收藏 引用
1st IEEE International Conference on Conversational Data and Knowledge Engineering (CDKE)
作者: Wachtel, Alexander Fuchss, Dominik Schulz, Sophie Tichy, Walter F. Educ Support Ctr Deutschland GmbH AI Res Lab Karlsruhe Germany Karlsruhe Inst Technol Chair Programming Syst Karlsruhe Germany
In this paper, we preset guidelines on how to model a dialogue-based conversation with a chatbot build on Microsoft conversational services. Therefore, we created a free framework which manages dialogues and user sess... 详细信息
来源: 评论
Using an SMT Solver for Checking the Completeness of FSM-Based Tests  1
收藏 引用
32nd IFIP WG 6.1 International Conference on Testing Software and systems (ICTSS)
作者: Vinarskii, Evgenii Laputenko, Andrey Yevtushenko, Nina Lomonosov Moscow State Univ 1 Leninskiye Gory St Moscow 119991 Russia Natl Res Tomsk State Univ 36 Lenin Ave Tomsk 634050 Russia Russian Acad Sci Ivannikov Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow 109004 Russia
Deriving tests with guaranteed fault coverage by FSM-based test methods is rather complex for systems with a large number of states. At the same time, formal verification methods allow to effectively process large tra... 详细信息
来源: 评论
Modulating glucocorticoid receptor actions in physiology and pathology: Insights from coregulators
收藏 引用
PHARMACOLOGY & THERAPEUTICS 2023年 251卷 108531页
作者: Fadel, Lina Dacic, Marija Fonda, Vlera Sokolsky, Baila A. Quagliarini, Fabiana Rogatsky, Inez Uhlenhaut, N. Henriette Helmholtz Munich Inst Diabet & Endocrinol IDE Ingolstaedter Landstr 1 D-857649 Neuherberg Germany Hosp Special Surg Res Inst David Rosenzweig Genom Ctr New York NY USA Weill Cornell Grad Sch Med Sci Grad Program Physiol Biophys & Syst Biol New York NY USA Weill Cornell Grad Sch Med Sci Grad Program Immunol & Microbial Pathogenesis New York NY USA TUM Sch Life Sci Metab Programming D-85354 Freising Weihenstephan Germany ZIEL Inst Food & Hlth Gregor11 Mendel Str 2 D-85354 Freising Weihenstephan Germany
Glucocorticoids (GCs) are a class of steroid hormones that regulate key physiological processes such as metabolism, immune function, and stress responses. The effects of GCs are mediated by the glucocorticoid receptor... 详细信息
来源: 评论
Smart wearable system for safety-related medical IoT application: case of epileptic patient working in industrial environment
收藏 引用
HEALTH AND TECHNOLOGY 2020年 第1期10卷 363-372页
作者: Hayek, Ali Telawi, Samer Boercsoek, Josef Daou, Roy Abi Zeid Halabi, Nashaat Univ Kassel Inst Comp Architecture & Syst Programming Wilhelmshoeher Allee 71 D-34121 Kassel Germany Lebanese German Univ Dept Biomed Engn Sahel Alma Lebanon Mart Learning Educ & Res Ctr Chananiir Lebanon Amer Univ Sci & Technol Fac Engn Achrafieh Lebanon
Medical/Industrial IoT is being implemented currently in several domains due to the autonomy it offers to patients, as well as the productivity efficiency that it could enhance. Additionally, the ease of monitoring of... 详细信息
来源: 评论
Fine-Grained Address Space Layout Randomization on Program Load
收藏 引用
programming AND COMPUTER SOFTWARE 2018年 第5期44卷 363-370页
作者: Nurmukhametov, A. R. Zhabotinskiy, E. A. Kurmangaleev, Sh F. Gaissaryan, S. S. Vishnyakov, A. V. Russian Acad Sci Ivannikov Inst Syst Programming Moscow 109004 Russia
Software vulnerabilities are a serious security threat. It is important to develop protection mechanisms preventing their exploitation, especially with a rapid increase of ROP attacks. State of the art protection mech... 详细信息
来源: 评论
Parallel multigrid method for solving inverse problems
收藏 引用
METHODSX 2022年 9卷 101887页
作者: Al-Mahdawi, H. K. Sidikova, A., I Alkattan, Hussein Abotaleb, Mostafa Kadi, Ammar El-kenawy, El-Sayed M. Univ Diyala Elect Comp Ctr Diyala 32001 Iraq South Ural State Univ Dept Syst Programming Chelyabinsk 454080 Russia South Ural State Univ Dept Food & Biotechnol Chelyabinsk 454080 Russia Delta Higher Inst Engn & Technol Dept Commun & Elect Mansoura 35111 Egypt
We considered in this work the linear operator equation and used the Landweber iterative method as an iterative solver. After that, we used the multigrid method as an optimization method for obtaining an approximation... 详细信息
来源: 评论