咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
Foundations of Intelligent systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Troels Andreasen Henning Christiansen Juan-Carlos Cubero Zbigniew W. Raś
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful... 详细信息
来源: 评论
Workload Balancing Model for Heterogeneous IoT Nodes Architectures
Workload Balancing Model for Heterogeneous IoT Nodes Archite...
收藏 引用
Electrical Engineering and Automatic Control (ICEEAC), International Conference on
作者: Mustafa Kh Aswad Fozia Al-Badree Beetro Ayad Ali Keshlaf Sintific commtiee Research Dept. Libyan Center for Electronic Systems Programming and Aviation Research Tripoli Libya Faculty Of Engineering University of Zawia Zawia Libya Computer Engineering and IT Dept. Faculty of Engneering Sabrahta Univeristy Sabrahta Libya
Heterogeneous IoT architectures are evolving rapidly and different challenged are faced with the traditional IoT architectures including the performance time of real-time IoT application. Parallel computing programmin... 详细信息
来源: 评论
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes
arXiv
收藏 引用
arXiv 2024年
作者: Gorczyca, Piotr Arndt, Dörthe Diller, Martin Kettmann, Pascal Mennicke, Stephan Strass, Hannes Computational Logic Group Institute of Artificial Intelligence Germany Logic Programming and Argumentation Group Institute of Artificial Intelligence Germany Knowledge-Based Systems Group Institute for Theoretical Computer Science Germany Faculty of Computer Science TU Dresden Germany
We introduce the Riskman ontology & shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary precautions so a medical device d... 详细信息
来源: 评论
Creating a Dynamic Online Learning Environment with AI Integration
Creating a Dynamic Online Learning Environment with AI Integ...
收藏 引用
International Computer Sciences and Information Technologies (CSIT)
作者: Oleksandra Bulgakova Zarina Viniarska Viacheslav Zosimov P.M Platonov Educational and Scientific Institute of Computer Engineering Automation Robotics and Computer Programming Odesa National University of Technology Odesa Ukraine Department of Applied information systems Taras Shevchenko National University of Kyiv Kyiv Ukraine
Educational, online learning has become a common practice due to rapid digitalization and recent global events. This study focuses on developing a comprehensive online learning platform that addresses users' needs... 详细信息
来源: 评论
Flexible Query Answering systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Henrik Legind Larsen Gabriella Pasi Daniel Ortiz-Arroyo Troels Andreasen Henning Christiansen
来源: 评论
Easy and improved algorithms to joint determination of the replenishment lot size and number of shipments for an EPQ model with rework
收藏 引用
Mathematical and Computational Applications 2013年 第2期18卷 132-138页
作者: Cárdenas-Barrón, Leopoldo Eduardo Sarkar, Biswajit Trevino-Garza, Gerardo Department of Industrial and Systems Engineering School of Engineering Tecnológico de Monterrey E. Garza Sada 2501 Sur C.P. 64849 Monterrey Mexico Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University West Midnapore 721102 West Bengal India
Recently, in Mathematical and Computational Applications Journal Chiu et al. [1] and Chen and Chiu [2] propose an inventory model based on EPQ with rework to determine the replenishment lot size and the number of ship... 详细信息
来源: 评论
Analysis of Hardware and Software Tools for Implementation of Cognitive Radio Networks
Analysis of Hardware and Software Tools for Implementation o...
收藏 引用
2022 International Conference on Information Science and Communications Technologies, ICISCT 2022
作者: Reypnazarov, Ernazar Khujamatov, Halimjon Khasanov, Doston Allamuratova, Zamira Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi The Computer Enjineering Faculty Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of Data Communication Networks and Systems Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of Information-Computer Technologies and Programming Tashkent Uzbekistan
This paper analyzes of the hardware and software tools for implementing a cognitive radio network. In particular, software-configurable radio modules, which are considered the main element of the cognitive network, we... 详细信息
来源: 评论
Model-based Generation of Attack-Fault Trees
arXiv
收藏 引用
arXiv 2023年
作者: Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany
Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and ... 详细信息
来源: 评论
An efficient algorithm for the configuration problem of dominance graphs  01
An efficient algorithm for the configuration problem of domi...
收藏 引用
Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
作者: Ernst Althaus Denys Duchier Alexander Koller Kurt Mehlhorn Joachim Niehren Sven Thiel Max-Planck-Institute for Computer Science Saarbrücken Germany programming Systems Lab Fachbereich Informatik Universität des Saarlandes Saarbrücken Germany Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany
Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In...
来源: 评论
probabilistic and deterministic local search for solving the binary multiknapsack problem*
收藏 引用
Optimization 1995年 第2期33卷 155-166页
作者: Bertocchi, M. Butti, A. Slominski, L. Sobczynska, J. Department of Mathematics Statistics and Computer Science University of Bergamo Bergamo Piazza Rosate 2 Italy Mathematical Programming Department Systems Research Institute Polish Academy of Sciences Warsaw Newelska str 6 Poland
Results of extensive computational experiments aimed at comparing performance quality (accuracy of an approximate solution and the running time) of the Threshold Accept (TA) approach versus the Simulated Annealing (SA... 详细信息
来源: 评论