咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是191-200 订阅
排序:
A filtered tuning method for a GPC controller
A filtered tuning method for a GPC controller
收藏 引用
IET Irish Signals and systems Conference, ISSC 2010
作者: Schwarz, M.H. Cox, C.S. Börcsök, J. Department of Computer Architecture and System Programming Safety Computer Technology University of Kassel Kassel Germany Control Systems Centre University of Sunderland Sunderland United Kingdom Department of Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas ex... 详细信息
来源: 评论
Hybrid-logical reasoning in false-belief tasks  14
Hybrid-logical reasoning in false-belief tasks
收藏 引用
14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013
作者: Braüner, Torben Programming Logic and Intelligent Systems Research Group Roskilde University P.O. Box 260 RoskildeDK-4000 Denmark
The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called falsebelief tasks in cognitive psychology, thereby investigating the interplay between cognition and logic... 详细信息
来源: 评论
Optimization of MIMO Antenna Approach for 5G Wireless Applications  11
Optimization of MIMO Antenna Approach for 5G Wireless Applic...
收藏 引用
11th IEEE International Conference on systems and Control, ICSC 2023
作者: Atuwayr, Aqreerah Asmeida, Akrem Ben Abdelmula, Haitham Saleh Anaiba, Abdulhakim Alhadi High Institution of Engineering Technology College of Computer Technology Zawia Libya Libyan Center for Electronic Systems Programming and Aviation Research Libya
In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 p... 详细信息
来源: 评论
An interactive action set detection in natural language hybrid system  11
An interactive action set detection in natural language hybr...
收藏 引用
11th International Conference on Interfaces and Human Computer Interaction
作者: Wachtel, Alexander Paczia, Jonas Tichy, Walter F. Karlsruhe Institute of Technology Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 Karlsruhe76131 Germany
In this paper, we introduce an interface for natural language dialog system and the Microsoft Excel API. This interface enables users to describe actions in unrestricted natural language interactively and run these ac... 详细信息
来源: 评论
Grid resource management using lottery scheduling  11
Grid resource management using lottery scheduling
收藏 引用
Proceedings of the 12th International Conference on Computer systems and Technologies
作者: Borovska, Plamenka Aleksieva-Petrova, Adelina Gancheva, Veska Beshkov, Stefan Department of Computer Systems Technical University of Sofia Bulgaria Department of Programming and Computer Technologies Technical University of Sofia Bulgaria Experian Bulgaria Bulgaria
The GRID infrastructure provides an aggregation of a wide variety of distributed resources for solving large-scale data intensive problems in various fields. The aim of this paper is to propose a method for grid resou... 详细信息
来源: 评论
Principles and practice of constraint programming - CP 97: Third international conference, CP 97 Linz, Austria, October 29 - November 1, 1997 proceedings  3rd
Principles and practice of constraint programming - CP 97: T...
收藏 引用
3rd International Conference on Principles and Practice of Constraint programming, CP 1997
作者: Smolka, Gert Programming Systems Lab Universität des Saarlandes Geb. 45 Postfach 15 11 50 Saarbrücken Germany
来源: 评论
Architecture potential analysis: A closer look inside architecture evaluation
Journal of Software
收藏 引用
Journal of Software 2007年 第4期2卷 43-56页
作者: Florentz, Bastian Huhn, Michaela Institute for Programming and Reactive Systems Technical University Brunswick Germany
The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of the development of embedded systems to d... 详细信息
来源: 评论
Inferring semantic interfaces of data structures
Inferring semantic interfaces of data structures
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden
In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising p... 详细信息
来源: 评论
A recommender system for WordPress themes using item-based collaborative filtering technique  29
A recommender system for WordPress themes using item-based c...
收藏 引用
29th International Scientific Conference Electronics, ET 2020
作者: Ujkani, Berat Minkovska, Daniela Stoyanova, Lyudmila Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria
Recommender systems allow making personalized recommendations for items or products while browsing online, using numerous algorithms and techniques to predict and recommend potentially useful items to a specific user.... 详细信息
来源: 评论
Why you should establish a connection to the internet
收藏 引用
TechTrends 1996年 第2期41.0卷 10-16页
作者: Hill, Judy A. Misic, Mark M. Information Systems and Computer Programming Dept. Purdue University-Calumet in Hammond Indiana United States College of Business Northern Illinois University in DeKalb United States
来源: 评论