咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 446 篇 期刊文献
  • 23 册 图书

馆藏范围

  • 1,372 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 809 篇 工学
    • 601 篇 计算机科学与技术...
    • 434 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 25 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 487 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 25 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,339 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1372 条 记 录,以下是171-180 订阅
排序:
Estimating Breathing Levels of Asthma Patients with Artificial Intelligence Methods
Estimating Breathing Levels of Asthma Patients with Artifici...
收藏 引用
International Conference on Intelligent and Fuzzy Systems, INFUS 2020
作者: Yüksel, Asım Sinan Tan, Fatma Gülşah Computer Engineering Department Süleyman Demirel University Isparta Turkey Vocational School Computer Programming Department Manisa Celal Bayar University Manisa Turkey
Pollen contains highly allergic proteins. One of the major causes of allergic diseases is the pollen in the air we breathe. Asthma patients are known to show allergic reaction to pollens. Therefore, they need to be mo... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
arXiv
收藏 引用
arXiv 2024年
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com... 详细信息
来源: 评论
Automated System for Freight Transportation Optimization on the Transport Network
收藏 引用
Periodica Polytechnica Transportation Engineering 2023年 第4期51卷 386-393页
作者: Dekhtyaruk, Mykola Department of Information Technologies and Programming Institute of Computer Technologies Open International University of Human Development "Ukraine" 23 Lvivska Str. Kyiv03115 Ukraine
An automated system for freight traffic optimization on a transport network has been developed, which is realized in the form of a complex computer program with application of the visual design environment of Embarcad... 详细信息
来源: 评论
Research of Neural Network Methods of Visual Defectoscopy of Metal Structures
Research of Neural Network Methods of Visual Defectoscopy of...
收藏 引用
2023 International Conference on Industrial Engineering, Applications and Manufacturing, ICIEAM 2023
作者: Chernikov, Alexander Smirnova, Elena Zhavoronkov, Oleg Peter the Great St. Petersburg Polytechnic University Higher School of Automation and Robotics St. Petersburg Russia Saint Petersburg State University Department of System Programming St. Petersburg Russia Computer Vision Systems Llc St. Petersburg Russia
The production of metal pipes is an important component of metallurgy and the entire industry as a whole. Traditional surface quality control is carried out by human inspectors, which is unsatisfactory due to low prod... 详细信息
来源: 评论
Synthesis of The Theory of Motion of Solid Bodies Filled With Bulk Substances For Fault-Tolerant Identification of Their Parameters  13
Synthesis of The Theory of Motion of Solid Bodies Filled Wit...
收藏 引用
13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023
作者: Kolodnenko, Vitalii Shyman, Anna Kalinin, Yevhen Kuchuk, Nina Sumy National Agrarian University Department of Agricultural Engineering Sumy Ukraine National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine National University of life and environmental sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine
In the article, the Lagrange equations of motion of a solid body having volumes fully or partially filled with a granular media presented in the form of an ideal liquid. To expand the possibility of applying the theor... 详细信息
来源: 评论
Development and Analysis of Genetic Algorithm for Optimization of Continuous Cast Billets Warehousing Process
Development and Analysis of Genetic Algorithm for Optimizati...
收藏 引用
International Russian Smart Industry Conference (SmartIndustryCon)
作者: Ivan S. Shchegolikhin Sergey M. Andreev Department of Computer Engineering and Programming Nosov Magnitogorsk State Technical University Magnitogorsk Russia Department of Automated Control Systems Nosov Magnitogorsk State Technical University Magnitogorsk Russia
Warehouses are an important logistic component of various companies. Warehouses may have different layouts, equipment and their own features. Optimization of warehouse operations can decrease overhead costs and increa...
来源: 评论
Approach and Concept of Workflow for Animal Husbandry Data Integration and Analysis
Approach and Concept of Workflow for Animal Husbandry Data I...
收藏 引用
National Conference with International Participation (TELECOM)
作者: Veska Gancheva Stella Vetova Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Computer Systems Technical University of Sofia Sofia Bulgaria
A concept for data integration and risk analysis in animal husbandry production is presented in this paper. The proposed animal husbandry data integration and analysis model structure consists of three layers, each of... 详细信息
来源: 评论
Machine Learning Model for Predicting Failures in the Context of Autonomous Vehicles  7
Machine Learning Model for Predicting Failures in the Contex...
收藏 引用
7th International Conference on System Reliability and Safety, ICSRS 2023
作者: Krini, Abderrahim Ouertani, Aymen Börcsök, Habil. Josef Robert Bosch GmbH Engineering of Reliability and Quality Functional Safety Schwäbisch Gmünd Germany Institute of Functional Safety & Cyber Security Baden-Wuerttemberg Cooperative State University Lörrach Germany University of Kassel Computer Architecture und System Programming Kassel Germany
In general, failure data is obtained in the automotive industry during the warranty period. If these contain the expression of a service life characteristic for each failure, statements can be made about the reliabili... 详细信息
来源: 评论
A theoretical approach to a safety-based predictive adaptation of wireless communication channel parameters in harsh environments
收藏 引用
Safety in Extreme Environments 2020年 第1期2卷 93-101页
作者: Gaus, L. Schwarz, M. Boercsoek, J. Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents an approach to a real-time optimization of safety parameters in wireless communication systems. When considering the GEC–model (Generalized Erasure Channel) and the black channel design of a commu... 详细信息
来源: 评论
A new Estimation Method for Automotive Multidimensional Metrics  31st
A new Estimation Method for Automotive Multidimensional Metr...
收藏 引用
31st European Safety and Reliability Conference, ESREL 2021
作者: Krini, Abderrahim Börcsök, Josef Engineering of Reliability and Quality Robert Bosch GmbH Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany
In general, failure data is obtained in the automotive industry during the warranty period. If these contain the expression of a service life characteristic for each failure, statements can be made about the reliabili... 详细信息
来源: 评论