咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 307 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 49 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 19 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
743 条 记 录,以下是471-480 订阅
排序:
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... 详细信息
来源: 评论
Advanced Technologies in Robotics and Intelligent systems  1
收藏 引用
丛书名: Mechanisms and Machine Science
1000年
作者: Sergey Yu. Misyurin Vigen Arakelian Arutyun I. Avetisyan
来源: 评论
Towards incremental model slicing for delta-oriented software product lines
Towards incremental model slicing for delta-oriented softwar...
收藏 引用
IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
作者: Sascha Lity Hauke Baller Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems Braunschweig Germany TU Braunschweig Institute of Software Engineering and Automotive Informatics Braunschweig Germany
The analysis of nowadays software systems for supporting, e.g., testing, verification or debugging is becoming more challenging due to their increasing complexity. Model slicing is a promising analysis technique to ta... 详细信息
来源: 评论
Automatic classification Infectious disease X-ray images based on Deep learning Algorithms  8
Automatic classification Infectious disease X-ray images bas...
收藏 引用
8th International Conference on Information Technology and Nanotechnology, ITNT 2022
作者: Makarovskikh, Tatiana Salah, Amir Badr, Amr Kadi, Ammar Alkattan, Hussein Abotaleb, Mostafa South Ural State University System of Programming Department Chelyabinsk Russia Ain Shams University Computers and Systems Engineering Cairo Egypt New England University School of Science and Technology ArmidaleNSW Australia South Ural State University Department of Food and Biotechnology Chelyabinsk Russia
Recent technological advancements allow deep learning to be employed in practically every aspect of life. Because deep learning techniques are so precise, they can be used in medicine to classify and detect various di... 详细信息
来源: 评论
Image noise reduction by denoising autoencoder
Image noise reduction by denoising autoencoder
收藏 引用
IEEE International Conference on Dependable systems, Services and Technologies (DESSERT)
作者: Lev Yasenko Yaroslav Klyatchenko Oksana Tarasenko-Klyatchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" Kyiv Ukraine
Neural networks are used in many tasks today. One of them is the images processing. Autoencoder is very popular neural networks for such problems. Denoising autoencoder is an important autoencoder because some tasks w...
来源: 评论
A Distributed Polling with Probabilistic Privacy
A Distributed Polling with Probabilistic Privacy
收藏 引用
Reliable Distributed systems
作者: Yahya Benkaouz Rachid Guerraoui Mohammed Erradi Florian Huc Networking and Distributed Systems Research Group Mohammed V-Souissi University Rabat Morocco Distributed Programming Laboratory EPFL Lausanne Switzerland
In this paper, we present PDP, a distributed polling protocol that enables a set of participants to gather their opinion on a common interest without revealing their point of view. PDP does not rely on any centralized... 详细信息
来源: 评论
Distributed Low-Latency Out-of-Order Event Processing for High Data Rate Sensor Streams
Distributed Low-Latency Out-of-Order Event Processing for Hi...
收藏 引用
International Symposium on Parallel and Distributed Processing (IPDPS)
作者: Christopher Mutschler Michael Philippsen Friedrich-Alexander-Universitat Erlangen-Nurnberg Erlangen Bayern DE Programming Systems Group CS Department University of Erlangen-Nuremberg Germany
Event-based systems (EBS) are used to detect and analyze meaningful events in surveillance, sports, finances and many other areas. With rising data and event rates and with correlations among these events, sequential ... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
Frontiers in Education (FIE) Conference
作者: Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck
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 $(\text{TLA}^{+}... 详细信息
来源: 评论
The use of a Reasoning process to solve the almost SLAM Challenge at the Robocup legged league
The use of a Reasoning process to solve the almost SLAM Chal...
收藏 引用
8th Catalan Conference on Artificial Intelligence, CCIA 2005
作者: Monferrer, M. Teresa Escrig Broch, Juan Carlos Peris Jaume I University Engineering and Computer Science Department Campus Riu Sec CastellónE-12071 Spain Jaume I University Programming Languages and Computer Systems Department Campus Riu Sec CastellónE-12071 Spain
The problem that a robot navigates autonomously through its environment, builds its own map and localizes itself in the map (known a the SLAM problem), is still an open problem. Most of the approaches to solve the SLA... 详细信息
来源: 评论
Univariate & Multivariate Forecasting of Time Series Through a Contemporary Manner
Univariate & Multivariate Forecasting of Time Series Through...
收藏 引用
International Conference on High Technology for Sustainable Development (HiTech)
作者: Kiril Koparanov Daniela Minkovska Elena Antonova Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Department of Computer Systems Technical University of Sofia Sofia Bulgaria
Detailed forecasting of time series is one of the fields where the latest advancements in information technology make significant contributions. Operating with financial data poses noteworthy challenges owing to its i... 详细信息
来源: 评论