咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是491-500 订阅
排序:
Model-based design of distributed collaborative bioinformatics processes in the jABC
Model-based design of distributed collaborative bioinformati...
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: T. Margaria C. Kubczak M. Njoku B. Steffen Chair Servce and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service Engineering for Distributed Systems University of Göttingen Gottingen Germany
Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC for model driven mediation and choreography to complement a Web service-based elementary service provisio... 详细信息
来源: 评论
Understanding Student Success Prediction Using SHapley Additive exPlanations
Understanding Student Success Prediction Using SHapley Addit...
收藏 引用
Computer Science (COMSCI), International Scientific Conference on
作者: Berat Ujkani Daniela Minkovska Ognyan Nakov Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria
Predicting student success is an important task in educational institutions, as it allows for targeted interventions and support systems to enhance educational outcomes. This paper explores the use of SHAP (SHapley Ad...
来源: 评论
Automatic loop shaping of QFT applied to an active control design
Automatic loop shaping of QFT applied to an active control d...
收藏 引用
Mediterranean Conference on Control and Automation (MED)
作者: R. Comasòlivas T. Escobet J. Quevedo Automatic Control Department Technical University of Catalonia Terrassa Spain Department of Electronic Systems Design and Programming Technical University of Catalonia Terrassa Spain
This paper presents a methodology to design automatically a QFT (Quantitative Feedback Theory) robust controller for plants with model uncertainty. The method proposed has as objective to find a QFT robust controller ... 详细信息
来源: 评论
A Formal Model of XML Schema
A Formal Model of XML Schema
收藏 引用
International Conference on Data Engineering Workshops
作者: L. Novak A. Zamulin Institute for System Programming Russian Academy of Science Moscow Russia A.P. Ershov Institute of Informatics Systems Russian Academy of Science Novosibirsk Russia
The semantics of the core features of XML Schema in terms of XQuery 1.0 and XPath 2.0 data model algebraically defined is given. The database state is represented as a many sorted algebra whose sorts are sets of data ... 详细信息
来源: 评论
Neuromorphic Assisted Sensor Grids
Neuromorphic Assisted Sensor Grids
收藏 引用
International Scientific Conference Electronics (ET)
作者: Ianislav Trendafilov Veska Gancheva Neuromorphica Ltd. Sofia Bulgaria Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia Sofia Bulgaria
A particular problem in using artificial intelligence techniques in the sensor grid is the high power consumption. Remote sensors are usually limited by the amount of power available, thus our general goal is to minim...
来源: 评论
Social Engineering Attacks Detection Approach  13
Social Engineering Attacks Detection Approach
收藏 引用
13th International Conference on Dependable systems, Services and Technologies, DESSERT 2023
作者: Lysenko, Sergii Vorobiov, Volodymyr Bokhonko, Oleksandr Gaj, Piotr Savenko, Oleg Woloszyn, Jacek Khmelnitsky National University Department of Computer Engineering and Information Systems Khmelnitsky Ukraine Silesian University of Technology Gliwice Poland Khmelnitsky National University Department of Computer Engineering and System Programming Khmelnitsky Ukraine Kazimierz Pulaski University of Technology and Humanities in Radom Department of Informatics and Teleinformatics Radom Poland
The paper focuses on the problem of technical social engineering attacks that encompass the manipulation of individuals to reveal sensitive information, execute actions, or breach security systems. These exploits freq... 详细信息
来源: 评论
Neuromorphic Neurons and Networks for Artificial Intelligence Built Using Temporal Space Calculations
Neuromorphic Neurons and Networks for Artificial Intelligenc...
收藏 引用
International Scientific Conference Electronics (ET)
作者: Ianislav Trendafilov Veska Gancheva Neuromorphica Ltd. Sofia Bulgaria Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia Sofia Bulgaria
We deigned a spiking neural network that computes network weights in the temporal dimension. Such a network can be used for artificial intelligence and deep learning. We demonstrate circuits implementing blocks for bu...
来源: 评论
Human VS AI-Generated Content: Where to Draw the Line?
Human VS AI-Generated Content: Where to Draw the Line?
收藏 引用
International Scientific Conference Electronics (ET)
作者: Daniela V. Minkovska Elena V. Antonova Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria
The integration and detection of AI (Artificial Intelligence) in a variety of fields, primarily education, are examined in this paper. With an emphasis on virtual assistants and their uses, it explores the potential a... 详细信息
来源: 评论
Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures
收藏 引用
Research on Language and Computation 2003年 第1期1卷 127-169页
作者: Erk, Katrin Koller, Alexander Niehren, Joachim Programming Systems Lab Universität des Saarlandes Saarbrücken Germany (E-mail Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany (E-mail
The Constraint Language for Lambda Structures (CLLS)is an expressive language of tree descriptions which combinesdominance constraints with powerful parallelism and bindingconstraints. CLLS was introduced as a uniform...
来源: 评论
Customs Fraud Detection Method Based on Artificial Intelligence and Data Analytics  4
Customs Fraud Detection Method Based on Artificial Intellige...
收藏 引用
4th International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2024
作者: Gancheva, Veska Popov, George Nakov, Ognyan Raynova, Kamelia Popova, Antoaneta Technical University of Sofia Dept. of Programming and Computer Technologies Sofia Bulgaria Technical University of Sofia Dept. of Cybersecurity Sofia Bulgaria University of Sofia Dept. of Computer Systems Technical Sofia Bulgaria Technical University of Sofia Dept. of Information Technologies in Industry Sofia Bulgaria
Because of the increased market opening and massive data collection brought about by globalization, the need of maintaining control over customs procedures has increased. However, the integration and processing of cus... 详细信息
来源: 评论