咨询与建议

限定检索结果

文献类型

  • 242 篇 会议
  • 56 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 168 篇 工学
    • 114 篇 计算机科学与技术...
    • 90 篇 软件工程
    • 22 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 18 篇 生物医学工程(可授...
    • 17 篇 安全科学与工程
    • 16 篇 电气工程
    • 14 篇 生物工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 网络空间安全
    • 7 篇 仪器科学与技术
    • 7 篇 材料科学与工程(可...
    • 6 篇 光学工程
    • 6 篇 土木工程
    • 5 篇 动力工程及工程热...
    • 5 篇 交通运输工程
  • 91 篇 理学
    • 42 篇 数学
    • 30 篇 物理学
    • 18 篇 统计学(可授理学、...
    • 15 篇 生物学
    • 12 篇 系统科学
    • 4 篇 化学
    • 4 篇 海洋科学
  • 45 篇 管理学
    • 31 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 11 篇 工商管理
  • 16 篇 医学
    • 14 篇 临床医学
    • 12 篇 基础医学(可授医学...
    • 9 篇 药学(可授医学、理...
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 法学
  • 4 篇 农学
  • 3 篇 经济学

主题

  • 14 篇 software
  • 10 篇 training
  • 8 篇 forecasting
  • 7 篇 computer archite...
  • 7 篇 neural networks
  • 7 篇 monitoring
  • 6 篇 safety
  • 6 篇 static analysis
  • 6 篇 machine learning
  • 6 篇 hardware
  • 6 篇 testing
  • 6 篇 mathematical mod...
  • 5 篇 tools
  • 5 篇 software quality
  • 4 篇 information syst...
  • 4 篇 reliability
  • 4 篇 registers
  • 4 篇 support vector m...
  • 4 篇 programming
  • 4 篇 automation

机构

  • 30 篇 department of sy...
  • 25 篇 department of co...
  • 13 篇 department of co...
  • 8 篇 computer techniq...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 mart learning ed...
  • 5 篇 computer enginee...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of fo...
  • 5 篇 department of co...
  • 5 篇 department of in...
  • 5 篇 universitat kass...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 university of ka...
  • 4 篇 information comm...
  • 4 篇 department of sy...

作者

  • 19 篇 abotaleb mostafa
  • 16 篇 mostafa abotaleb
  • 14 篇 josef börcsök
  • 12 篇 ali hayek
  • 10 篇 börcsök josef
  • 10 篇 hayek ali
  • 10 篇 boercsoek josef
  • 9 篇 yevtushenko nina
  • 9 篇 el-kenawy el-say...
  • 9 篇 roy abi zeid dao...
  • 8 篇 makarovskikh tat...
  • 8 篇 abdelhameed ibra...
  • 7 篇 daou roy abi zei...
  • 7 篇 oleg savenko
  • 7 篇 tetiana hovorush...
  • 6 篇 el-sayed m. el-k...
  • 6 篇 hovorushchenko t...
  • 6 篇 krini abderrahim
  • 6 篇 savenko oleg
  • 5 篇 el-sayed m.el-ke...

语言

  • 294 篇 英文
  • 3 篇 中文
  • 1 篇 俄文
  • 1 篇 其他
检索条件"机构=Department System Programming"
299 条 记 录,以下是181-190 订阅
排序:
Heterogeneous computing
Heterogeneous computing
收藏 引用
作者: Kalinov, Alexey Lastovetsky, Alexey Robert, Yves Institue for System Programming Russain Academy of Sciences B. Kommunisticheskaya 25 109004 Moscow Russia Department of Computer Science University College Dublin Belfield Dublin 4 Ireland LIP Ecole Normale Supérieure de Lyon Laboratoire LIP F-69364 Lyon Cedex 07 France
No abstract available
来源: 评论
Searching by Code: a New SearchBySnippet Dataset and SnippeR Retrieval Model for Searching by Code Snippets
arXiv
收藏 引用
arXiv 2023年
作者: Sedykh, Ivan Abulkhanov, Dmitry Sorokin, Nikita Nikolenko, Sergey Malykh, Valentin Huawei Noah's Ark lab Russia St. Petersburg Department of the Steklov Institute of Mathematics Russia Ivannikov Institute for System Programming Russia
Code search is an important and well-studied task, but it usually means searching for code by a text query. We argue that using a code snippet (and possibly an error traceback) as a query while looking for bugfixing i... 详细信息
来源: 评论
Towards safe data flow processing by integration of design by contract in deterministic UML activities
Towards safe data flow processing by integration of design b...
收藏 引用
XXII International Symposium on Information, Communication and Automation Technologies, ICAT
作者: Zamira Daw Marcus Vetter Josef Boercsoek Institute of Embedded Systems Hochschule Mannheim-University of Applied Sciences Mannheim Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany
Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For... 详细信息
来源: 评论
Pulse DRFM Jamming Formation and Its Mathematical Simulation
Pulse DRFM Jamming Formation and Its Mathematical Simulation
收藏 引用
Ukrainian Microwave Week (UkrMW), IEEE
作者: Viacheslav P. Riabukha Andrii V. Semeniaka Yevhen A. Katiushyn Dmytro V. Atamanskiy department of system analysis modeling and programming Limited liability company “Radionix” Kyiv Ukraine Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine
The paper describes the principles for formation of a simulated pulse DRFM jamming in response to a sounding linear frequency modulated (LFM) pulse, the technique and results of mathematical (simulation) modeling of s... 详细信息
来源: 评论
Lemma Functions for Frama-C: C Programs as Proofs
Lemma Functions for Frama-C: C Programs as Proofs
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
The Knowledge Management system Development for Smart Education
The Knowledge Management System Development for Smart Educat...
收藏 引用
IEEE Conference on Quality Management, Transport and Information Security, Information Technologies (IT&MQ&IS)
作者: Natalia V. Dneprovskaya Inessa V. Shevtsova Department of Information System Management and Programming Plekhanov Russian University of Economics Moscow Russia School of Public Administration Lomonosov Moscow State University Moscow Russia
This paper is devoted to solving a problem of improving the content of education and instructional materials used. The digital technologies are developing so fast that the engineering aspects of application and scient... 详细信息
来源: 评论
Modelling the Decision Making Process on Legal Conducting the Surrogate Motherhood
Modelling the Decision Making Process on Legal Conducting th...
收藏 引用
IEEE International Conference on Dependable systems, Services and Technologies (DESSERT)
作者: Tetiana Hovorushchenko Alla Herts Yelyzaveta Hnatchuk Computer Engineering & System Programming Department Khmelnytskyi National University Khmelnytskyi Ukraine Civil Law and Legal Proceedings Department Ivan Franko National University of Lviv Lviv Ukraine
Currently, there is a need in Ukraine for the design and development of multidisciplinary decision support systems (DSSs) for the medical and other related spheres - for example, the medical law sector, in particular,...
来源: 评论
Forecasting and modeling on average rainwater and vapor pressure in Chelyabinsk Russia using deep learning models
Forecasting and modeling on average rainwater and vapor pres...
收藏 引用
6th Smart Cities Symposium (SCS 2022)
作者: M. Abotaleb T. Makarovskikh A. Ali Subhi H. Alkattan A.O. Adebayo Department of System Programming South Ural State University Chelyabinsk Russia University of Diyala Diyala Iraq Information Communication and Technology Department Lagos State University Lagos Nigeria
Machine learning technique is full-fledged as a boosting sector to develop modeling and forecasting of complex time series observations in the present environment. This study made an attempt to inspect the future perf...
来源: 评论
Optimizing Machine Learning Algorithms to Enhance Blood Donation for Liver Patients: A Case Study  7
Optimizing Machine Learning Algorithms to Enhance Blood Dona...
收藏 引用
7th IET Smart Cities Symposium, SCS 2023
作者: Mijwil, Maad M. El-Kenawy, El-Sayed M. Bala, Indu Aljanabi, Mohammad Abotaleb, Mostafa Ibrahim, Abdelhameed Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt School of Electrical and Electronics Engineering Lovely Professional University Punjab India Department of Computer Aliraqia University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt
Blood is vital for transporting oxygen, nutrients, and hormones to all body parts as it circulates through arteries and veins. It removes carbon dioxide, regulates body temperature, and maintains the body's immune... 详细信息
来源: 评论
Network-based safety-related vibration and position analysis for railway vehicles
Network-based safety-related vibration and position analysis...
收藏 引用
International Conference on Connected Vehicles and Expo (ICCVE)
作者: Samer Telawi Yusuf Sima Bashier Machmur Ali Hayek Josef Börcsök Udo Pinders Walter Schreiber Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE Reuschling GmbH & Co KG Hattingen Germany
Nowadays, many considerable efforts are focused on the development of efficient and effective systems that increase the productivity of vehicles by controlling and manipulating the extraordinary states, such as slidin... 详细信息
来源: 评论