咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 214 篇 工学
    • 171 篇 计算机科学与技术...
    • 141 篇 软件工程
    • 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...

作者

  • 32 篇 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 篇 其他
  • 3 篇 德文
  • 1 篇 法文
检索条件"机构=Department for Programming Systems"
348 条 记 录,以下是41-50 订阅
排序:
Information resources analysis system of dynamic integration semi-structured data in a web environment  3
Information resources analysis system of dynamic integration...
收藏 引用
3rd IEEE International Conference on Data Stream Mining and Processing, DSMP 2020
作者: Berko, Andrii Pelekh, Irina Chyrun, Lyubomyr Dyyak, Ivan Lviv Polytechnic National University Information Systems and Networks Department Lviv Ukraine Ivan Franko National University of Lviv Programming Department Lviv Ukraine
The article describes the procedure for analyzing information resources of the system of dynamic integration of weakly structured data in the web-environment to determine the common features of information resources a... 详细信息
来源: 评论
Visual Language Plans - Formalization of a pedagogical learnflow modeling language
Visual Language Plans - Formalization of a pedagogical learn...
收藏 引用
International Workshop on Petri Nets and Software Engineering, PNSE 2014
作者: Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany
In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learnin... 详细信息
来源: 评论
Design of a system for dynamic integration of weakly structured data based on mash-up technology  3
Design of a system for dynamic integration of weakly structu...
收藏 引用
3rd IEEE International Conference on Data Stream Mining and Processing, DSMP 2020
作者: Pelekh, Irina Berko, Andrii Andrunyk, Vasyl Chyrun, Lyubomyr Dyyak, Ivan Lviv Polytechnic National University Information Systems and Networks Department Lviv Ukraine Ivan Franko National University of Lviv Programming Department Lviv Ukraine
The article describes the design of a system for dynamic integration of weakly structured data using Mash-Up technology. Functional requirements to the system of dynamic data integration based on Mash-Up technology ar... 详细信息
来源: 评论
Semantics-based composition of EMBOSS services with Bio-jETI
Semantics-based composition of EMBOSS services with Bio-jETI
收藏 引用
Workshop on Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2009
作者: Lamprecht, Anna-Lena Naujokat, Stefan Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany
Bio-jETI is a framework for model-based, graphical design, execution and management of bioinformatics analysis processes. Formal methodology like automatic service composition extends the framework and, in particular,... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Constraint-guided workflow composition based on the EDAM ontology
Constraint-guided workflow composition based on the EDAM ont...
收藏 引用
Workshop on Semantic Web Applications and Tools for Life Sciences 2010, SWAT4LS 2010
作者: Lamprecht, Anna-Lena Naujokat, Stefan Steffen, Bernhard Margaria, Tiziana Department of Programming Systems Technical University Dortmund Dortmund D-44227 Germany Department of Service and Software Engineering University Potsdam Potsdam D-14482 Germany
Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available services and their behavior in terms of input/output ... 详细信息
来源: 评论
Accented visualization by augmented reality for smart manufacturing aplications  1
Accented visualization by augmented reality for smart manufa...
收藏 引用
1st IEEE International Conference on Industrial Cyber-Physical systems, ICPS 2018
作者: Ivaschenko, Anton Khorina, Anastasia Sitnikov, Pavel Information Systems and Technologies Department Samara National Research University Samara Russia Department of Applied Programming and Technological Innovations ITMO University Saint-Petersburg Russia
Effective application of Augmented Reality user interfaces is one of the challenging trends of industrial cyber-physical systems development and implementation. Despite reach functionality of modern AR devices (like g... 详细信息
来源: 评论
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.... 详细信息
来源: 评论
A Case Study of Valency Patterns for Motion Verbs in Vakh Khanty by Means of Lingvodoc
A Case Study of Valency Patterns for Motion Verbs in Vakh Kh...
收藏 引用
2022 Ivannikov Open Conference, ISPRAS 2022
作者: Novitskaya, Irina Vorobeva, Victoria National Research Tomsk State University Department of Foreign Languages Tomsk Russia Ivannikov Institute for System Programming of the Ras Information Systems Department Tomsk Moscow Russia Tpu Information Systems Department Tomsk Moscow Russia
The article presents a study of the syntactic compatibility of verbs of motion in the Vakh dialect of the Khanty language. The study was conducted with the help of the tools of the platform for documentation of the Ur... 详细信息
来源: 评论
Automated learning setups in automata learning
Automated learning setups in automata learning
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Merten, Maik Isberner, Malte Howar, Falk Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany
Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime d... 详细信息
来源: 评论