咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 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...

作者

  • 48 篇 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 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
741 条 记 录,以下是481-490 订阅
排序:
An Approach to Discovery with miAamics and jABC
An Approach to Discovery with miAamics and jABC
收藏 引用
Web Intelligence and Intelligent Agent Technology Workshops (WI-IAT)
作者: Christian Kubczak Tiziana Margaria Christian Winkler Bernhard Steffen Chair of Software Engineering Universität Dortmund Germany Chair of Service and Software Engineering Universität Postdam Germany Chair of Programming Systems Universität Dortmund Germany
We address the discovery scenario using miAamics, a framework for rule-based evaluation originally developed for efficient and scalable personalization purposes, as a reasoning engine. The discovery service is impleme... 详细信息
来源: 评论
CONTROL SYSTEM DESIGN CONSIDERING A TRADEOFF BETWEEN EVALUATED UNCERTAINTY RANGES AND CONTROL PERFORMANCE
收藏 引用
Asian Journal of Control 2008年 第1期1卷
作者: Y. Wakasa Y. Yamamoto Dept. of Applied Analysis and Complex Dynamical Systems Graduate School of Informatics Kyoto University Kyoto Japan. Yuji Wakasa was born in Okayama Japan in 1968. He received the B.S. and M.S. degrees in engineering from Kyoto university Japan in 1992 and 1994 respectively. From 1994 to 1998 he was a Research Associate in the Department of Information Technology Okayama University. Since April 1998 he has been a Research Associate in the Graduate School of Informatics Kyoto University. His current research interests include robust control and control system design via mathematical programming. Yutaka Yamamoto received his B.S. and M.S. degrees in engineering from Kyoto University Kyoto Japan in 1972 and 1974 respectively and the M.S. and Ph.D. degree in mathematics from the University of Florida in 1976 and 1978 respectively. From 1978 to 1987 he was with Department of Applied Mathematics and Physics Kyoto University and from 1987 to 1997 with Department of Applied System Science. Since 1998 he is a professor at the current position. His current research interests include realization and robust control of distributed parameter systems learning control sampled-data systems and digital signal processing. Dr. Yamamoto is a receipient of the Sawaragi memorial paper award (1985) the Outstanding Paper Award of SICE (1987) Best Author Award of SICE (1990) the George Axelby Outstanding Paper Award of IEEE CSS in 1996 Takeda Paper Prize of SICE in 1997. He is a Fellow of IEEE. He was an associate editor of Automatica. He is currently an associate editor of IEEE Transactions on Automatic Control Systems and Control Letters and Mathematics of Control Signals and Systems. He is a member of the IEEE the Society of Instrument and Control Engineers (SICE) and the Institute of Systems Control and Information Engineers.
This paper presents a design method of control systems such that a designer can flexibly take account of tradeoffs between evaluated uncertainty ranges and the level of control performance. The problem is reduced to a... 详细信息
来源: 评论
Transactional memory introduction  18
Transactional memory introduction
收藏 引用
18th IEEE Hot Chips Symposium, HCS 2006
作者: Adl-Tabatabai, Ali-Reza Programming Systems Lab Intel Corporation United States
This article consists of a collection of slides from the author's conference presentation on transactional memory (TM). Some of the specific topics discussed include: an introduction to TM;TM implementation techni...
来源: 评论
Software transactional memory  18
Software transactional memory
收藏 引用
18th IEEE Hot Chips Symposium, HCS 2006
作者: Saha, Bratin Programming Systems Lab Intel Corporation United States
This article consists of a collection of slides from the author's conference presentation on software transactional memory (STM). Some of the specific topics discussed include: how to translate a language construc...
来源: 评论
Changes in EEG spectrograms, event-related potentials and event-related desynchronization induced by relative beta training in ADHD children
收藏 引用
Journal of Neurotherapy 2007年 第2期11卷 3-11页
作者: Kropotov, Jury D. Grin-Yatsenko, Vera A. Ponomarev, Valery A. Chutko, Leonid S. Yakovenko, Elena A. Nikishena, Inna S. Institute of Psychology Norwegian University of Science and Technology (NTNU) Trondheim Norway Laboratory for Neurobiology of Action Programming Institute of the Human Brain of Russian Academy of Sciences Trondheim Norway Laboratory for Rehabilitation of Sensory Systems Human Brain of Russian Academy of Sciences Trondheim Norway Laboratory for Neurophysiology of Electromagnetic Therapy Institute of the Human Brain of Russian Academy of Sciences Trondheim Norway
Background. During the last three decades EEG-based biofeedback (neurofeedback) was used as an alternative treatment for reducing symptoms of ADHD. The goal of this study was to objectively assess the efficacy of biof... 详细信息
来源: 评论
Semantic-enabled software engineering and development
Semantic-enabled software engineering and development
收藏 引用
36th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik fur Menschen, INFORMATIK 2006
作者: Bauer, Bernhard Roser, Stephan Programming of Distributed Systems University of Augsburg 86135 Augsburg Germany
Like in automotive and other production oriented domains industrialization was the key issue for reducing production costs and bein competitive. However software is still developed mainly from scratch in a labour inte... 详细信息
来源: 评论
Extended cross-serial dependencies in Tree Adjoining Grammars  8
Extended cross-serial dependencies in Tree Adjoining Grammar...
收藏 引用
8th International Workshop on Tree Adjoining Grammar and Related Formalisms, TAG 2006, co-located with COLING/ACL 2006
作者: Kuhlmann, Marco Möhl, Mathias Programming Systems Lab Saarland University Saarbrücken Germany
The ability to represent cross-serial dependencies is one of the central features of Tree Adjoining Grammar (TAG). The class of dependency structures representable by lexicalized TAG derivations can be captured by two... 详细信息
来源: 评论
Generic pickling and minimization
Generic pickling and minimization
收藏 引用
作者: Tack, Guido Kornstaedt, Leif Smolka, Gert Programming Systems Lab. Saarland University Saarbrücken Germany
This paper presents generic pickling and minimization mechanisms that are provided as services similar to garbage collection. Pickling is used to externalize and internalize data. Minimization means to maximize the sh... 详细信息
来源: 评论
Data flow analysis as model checking within the jABC
Data flow analysis as model checking within the jABC
收藏 引用
2006 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2006 - 2006 Conference of the GI Division on Software Engineering, Software Engineering 2006
作者: Lamprecht, Anna-Lena Margaria, Tiziana Steffen, Bernhard Service Engineering for Distributed Systems Universität Göttingen Germany Programming Systems Universität Dortmund Germany
来源: 评论
Mildly non-projective dependency structures  21
Mildly non-projective dependency structures
收藏 引用
21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, COLING/ACL 2006
作者: Kuhlmann, Marco Nivre, Joakim Programming Systems Lab Saarland University Germany Växjö University Sweden Uppsala University Sweden
Syntactic parsing requires a fine balance between expressivity and complexity, so that naturally occurring structures can be accurately parsed without compromising efficiency. In dependency-based parsing, several cons... 详细信息
来源: 评论