咨询与建议

限定检索结果

文献类型

  • 246 篇 会议
  • 88 篇 期刊文献
  • 13 册 图书

馆藏范围

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

日期分布

学科分类号

  • 213 篇 工学
    • 170 篇 计算机科学与技术...
    • 140 篇 软件工程
    • 26 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 15 篇 土木工程
    • 15 篇 生物工程
    • 11 篇 电气工程
    • 11 篇 船舶与海洋工程
    • 10 篇 机械工程
    • 10 篇 建筑学
    • 10 篇 生物医学工程(可授...
    • 9 篇 电子科学与技术(可...
    • 8 篇 网络空间安全
    • 7 篇 材料科学与工程(可...
    • 5 篇 光学工程
  • 117 篇 理学
    • 61 篇 数学
    • 24 篇 物理学
    • 19 篇 生物学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
    • 8 篇 海洋科学
    • 6 篇 化学
  • 60 篇 管理学
    • 38 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 20 篇 工商管理
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 9 篇 医学
    • 8 篇 临床医学
    • 7 篇 基础医学(可授医学...
  • 8 篇 教育学
    • 8 篇 教育学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 法学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 军事学

主题

  • 16 篇 artificial intel...
  • 8 篇 semantics
  • 8 篇 information stor...
  • 7 篇 monitoring
  • 6 篇 information syst...
  • 6 篇 forecasting
  • 6 篇 data models
  • 5 篇 computer science
  • 5 篇 software enginee...
  • 5 篇 predictive model...
  • 5 篇 middleware
  • 5 篇 data structures
  • 5 篇 software
  • 5 篇 standards
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 supercomputers
  • 4 篇 electronic mail
  • 4 篇 neural networks
  • 4 篇 information tech...

机构

  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 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 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 department of co...
  • 4 篇 department of pr...
  • 4 篇 computer enginee...
  • 4 篇 tashkent univers...
  • 4 篇 institute for so...

作者

  • 31 篇 steffen bernhard
  • 23 篇 margaria tiziana
  • 11 篇 gancheva veska
  • 8 篇 mostafa abotaleb
  • 8 篇 christiansen hen...
  • 8 篇 abdelhameed ibra...
  • 7 篇 howar falk
  • 7 篇 veska gancheva
  • 7 篇 philippsen micha...
  • 7 篇 zimborás zoltán
  • 6 篇 michael philipps...
  • 6 篇 rakyta péter
  • 6 篇 morse gregory
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 merten maik
  • 5 篇 lamprecht anna-l...
  • 5 篇 koller alexander
  • 5 篇 naujokat stefan
  • 5 篇 doaa sami khafag...

语言

  • 340 篇 英文
  • 4 篇 其他
  • 2 篇 德文
  • 1 篇 法文
检索条件"机构=Department for Programming Systems"
347 条 记 录,以下是91-100 订阅
排序:
Self-management in a control architecture for parallel kinematic robots
Self-management in a control architecture for parallel kinem...
收藏 引用
2008 ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC 2008
作者: Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany
Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are... 详细信息
来源: 评论
Analysis of Trade-Offs Between Accuracy And Speed of Real-Time Object Detectors for the Tasks of Explosive Ordnance Detection  5
Analysis of Trade-Offs Between Accuracy And Speed of Real-Ti...
收藏 引用
5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024
作者: Mishchuk, Vadym Podorozhniak, Andrii Department of Computer Systems Networks and Cybersecurity National Aerospace University "Kharkiv Aviation Institute" Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine
This paper investigates the performance trade-offs between accuracy and inference time in real-time object detection models, particularly for detecting landmines and unexploded ordnance (UXO). Using subsets from the C... 详细信息
来源: 评论
LearnLib: A library for automata learning and experimentation
LearnLib: A library for automata learning and experimentatio...
收藏 引用
FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical systems
作者: Raffelt, Harald Steffen, Bernhard Berg, Therese University of Dortmund Chair of Programming Systems Baroper Str. 301 44227 Dortmund Germany Department of Information Technology Uppsala University S-751 05 Uppsala Sweden
In this paper we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the e... 详细信息
来源: 评论
Reliable speculative processing of out-of-order event streams in generic publish/subscribe middlewares  13
Reliable speculative processing of out-of-order event stream...
收藏 引用
7th ACM International Conference on Distributed Event-Based systems, DEBS 2013
作者: Mutschler, Christopher Philippsen, Michael University of Erlangen-Nuremberg Department of Computer Science Programming Systems Group Erlangen Germany Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany
In surveillance, sports, finances, etc., distributed event-based systems are used to detect meaningful events with low latency in high data rate event streams. Both known approaches to deal with the predominant out-of... 详细信息
来源: 评论
Synthesis-based variability control: Correctness by construction
Synthesis-based variability control: Correctness by construc...
收藏 引用
10th International Symposium on Formal Methods for Components and Objects, FMCO 2011
作者: Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Department for Service and Software Engineering University of Potsdam Germany Institut für Softwaretechnik und Fahrzeuginformatik Technische Universität Braunschweig Germany Department for Programming Systems Technical University Dortmund Germany
In this paper, we show the power of combining modern synthesis technology with a constraint-oriented approach to variability modeling. This combination guarantees the validity of all the required properties simply by ... 详细信息
来源: 评论
Modified asymptotic method of studying the mathematical model of nonlinear oscillations under the impact of a moving environment  14th
Modified asymptotic method of studying the mathematical mode...
收藏 引用
14th International Scientific and Technical Conference on Computer Science and Information Technologies, CSIT 2019
作者: Pukach, Petro Il’kiv, Volodymyr Nytrebych, Zinovii Vovk, Myroslava Pukach, Pavlo Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Department of Mathematics Lviv Polytechnic National University Lviv Ukraine Department of Artificial Intelligence Systems Lviv Polytechnic National University Lviv Ukraine
Wave theory of movement is used to study the mathematical model of a physical system which describes oscillations of a one-dimensional elastic body under the impact of a moving continuous flow of a homogeneous environ... 详细信息
来源: 评论
An Approach to Investigating Plagiarism in Artificial Intelligence Content  12
An Approach to Investigating Plagiarism in Artificial Intell...
收藏 引用
12th International Scientific Conference on Computer Science, COMSCI 2024
作者: Minkovska, Daniela Veleva Antonova, Elena Ventseslavova Koparanov, Kiril Andreev Nakov, Plamen Ognyanov Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Computer Systems 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
A growing number of human-centric tasks like learning, planning, and creative writing require the integration of Artificial Intelligence (AI) in the current era of exponential advancements. Such systems collect and an... 详细信息
来源: 评论
Machine learning methods as a tool for diagnostic and prognostic research in cardiovascular disease
Machine learning methods as a tool for diagnostic and progno...
收藏 引用
2021 International Conference on Information Science and Communications Technologies, ICISCT 2021
作者: Khidirova, Charos Sadikova, Shakhnoza Mukhsinov, Shamil Nashvandova, Gulrukhsor Mirzaeva, Sarvinoz Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of System and Applied Programming Tashkent Uzbekistan Tashkent State Technical University Department of Information Processing and Control Systems Tashkent Uzbekistan
Machine learning (ML) methods are the main tool of artificial intelligence, the use of which makes it possible to automate the processing and analysis of big data, to reveal hidden or non-obvious patterns on this basi... 详细信息
来源: 评论
Strict bidirectional type checking
Strict bidirectional type checking
收藏 引用
TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
作者: Chlipala, Adam Petersen, Leaf Harper, Robert Computer Science Division University of California Berkeley United States Programming Systems Laboratory Intel Corporation United States Computer Science Department Carnegie Mellon University United States
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, the completely annotated forms are alm... 详细信息
来源: 评论
Real-time refinement: Semantics and application  18th
收藏 引用
18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993
作者: Scholefield, David Zedan, Hussein Jifeng, He Formal Systems Research Group Department of Computer Science University of York Heslington York United Kingdom Programming Research Group Oxford University Keble Road Oxford United Kingdom
A formal framework for a calculus of real-time systems is presented. Specifications and program statements are combined into a single language called TAM (the Temporal Agent Model), that allows the user to express bot... 详细信息
来源: 评论