咨询与建议

限定检索结果

文献类型

  • 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 篇 日文
检索条件"机构=Programming Systems"
741 条 记 录,以下是201-210 订阅
排序:
Intelligent system of a smart house  3
Intelligent system of a smart house
收藏 引用
3rd International Conference on Advanced Information and Communications Technologies, AICT 2019
作者: Lytvyn, Vasyl Vysotska, Victoria Mykhailyshyn, Vladyslav Peleshchak, Ivan Peleshchak, Roman Kohut, Ihor Information Systems and Networks Department Lviv Polytechnic National University Lviv Ukraine Department of Physics Pedagogical University Drohobych Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine
In the work intelligent system of a smart house is developed, which is designed to create from any house, office, or building a smart room. The best solutions and tools were chosen to develop the system, which allowed... 详细信息
来源: 评论
Two Algorithms for Designing Control over Centerof-Mass Motion of a Moving Object with Incomplete Description
Two Algorithms for Designing Control over Centerof-Mass Moti...
收藏 引用
International Conference on Control systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA)
作者: S. I. Kolesnikova Yu. I. Paraev S. A. Tsvetnitskaya Institute of Computational Systems and Programming St.Petersburg State University of Aerospaсe Instrumentation St. Petersburg Russia Institute of Applied Mathematics and Computer Science National Research Tomsk State University Tomsk Russia
The methods of nonlinear adaptation based on an analytical design of aggregated regulators and modal control are discussed for solving the problem of nonlinear control over a robotic arm operating under the conditions... 详细信息
来源: 评论
Structure and Functioning of Information systems of Background Monitoring of Landscape Elements of Gorgany Nature Reserve  10
Structure and Functioning of Information Systems of Backgrou...
收藏 引用
10th International Conference on Advanced Computer Information Technologies, ACIT 2020
作者: Nykolaychuk, Yaroslav Petrashchuk, Yaroslav Slobodian, Olena Pitukh, Ihor Grynchyshyn, Taras Nykolaychuk, Lyubov Hryha, Volodymyr Ternopil National Economic University Department of Specialized Computer Systems Ternopil Ukraine Gorgany Nature Reserve Nadvirna Ukraine Nadvirna College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine
This paper discusses the structural organization of the background monitoring system (BMS) of the transboundary UNESCO World Heritage Site 'Beech forests of the Carpathians and ancient beech forests of Germany'... 详细信息
来源: 评论
Dialog-Based Meaning Derivation Service for Technical Language Domains
Dialog-Based Meaning Derivation Service for Technical Langua...
收藏 引用
International Conference on Semantic Computing
作者: Alexander Wachtel Sophie Schulz Walter F. Tichy Chair for Programming Systems Prof Walter F. Tichy Karlsruhe Institute of Technology Karlsruhe Germany
In our previous work, we present on how new algorithms can be recognized and learned from human descriptions. In this case, end users are able to extend the given system by their own functionality. During the evaluati... 详细信息
来源: 评论
Method of Activity of Intelligent Agent for Semantic Analysis of Software Requirements
Method of Activity of Intelligent Agent for Semantic Analysi...
收藏 引用
IEEE International Conference on Intelligent Data Acquisition and Advanced Computing systems
作者: Olga Pavlova Tetiana Hovorushchenko Artem Boyarchuk System Programming Department of Khmelnytsky National University Computer Engineering & System Programming Department of Khmelnytsky National University Lecturer of Computer Systems Networks and Cybersecurity Department of National Aerospace University "Kharkiv Aviation Institute"
The paper deals with the development of the method of activity and the realization of the intelligent agent (IA) for semantic analysis of the natural language software requirements. This IA performs the analysis of th... 详细信息
来源: 评论
Centering Climate Science in Learning
收藏 引用
Connected Science Learning 2024年 第4期6卷
作者: Déana Scipio Priya Pugh Kali Natarajan Deb L. Morrison Bethany Kogut Karli Honebein Michelle Grove Jen Eklund a Director Graduate and Higher Education Programming Islandwood Bainbridge Island WA b Graduate and Higher Education Programming Senior Faculty for Practicum Islandwood Bainbridge Island WA c Climate Literacy Outreach Specialist Climate Institute Gonzaga University Spokane WA d Learning Scientist Institute of Science and Math Education College of Education University of Washington Seattle WA e Program Manager EarthGen Seattle WA f Climate Literacy Program Manager Climate Institute Gonzaga University Spokane WA g Elementary Science Coordinator Elementary Science Network NorthEast Washington Educational Service District 101 Spokane WA h Education Liaison & Project Manager Institute for Systems Biology Seattle WA
The Washington StateClimeTime Networkhas been designed to build capacity for climate science learning, as well as broader NGSS implementation. As a network, we acknowledge the diversity of scientific histories and pra... 详细信息
来源: 评论
Design and implementation of an embedded interactive timing system for medical treatment of patients with learning and attention issues  28
Design and implementation of an embedded interactive timing ...
收藏 引用
28th International Scientific Conference Electronics, ET 2019 - Proceedings
作者: Angelova, Maria A. Velchev, Yuliyan S. Dimitrov, Kalin L. Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria Department of Radio Communications and Video Technologies Faculty of Telecommunications Technical University of Sofia 8 Kliment Ohridski blvd Sofia1000 Bulgaria
This article describes the design and implementation of an Embedded Interactive Timing System. Such systems are used in the therapy of children who have learning problems. The matching of different beats can help the ... 详细信息
来源: 评论
DSLs for decision services: A tutorial introduction to language-driven engineering  8th
DSLs for decision services: A tutorial introduction to langu...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Gossen, Frederik Margaria, Tiziana Murtovi, Alnis Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany CSIS University of Limerick Limerick Ireland
Language-Driven Engineering (LDE) is a new paradigm that aims at involving stakeholders, including the application experts, in the system development and evolution process using dedicated domains-specific languages (D... 详细信息
来源: 评论
Highly optimized quantum circuits synthesized via data-flow engines
arXiv
收藏 引用
arXiv 2022年
作者: Rakyta, Péter Morse, Gregory Nádori, Jakab Majnay-Takács, Zita Mencer, Oskar Zimborás, Zoltán Department of Physics of Complex Systems Eötvös Loránd University Pázmány Péter sétány 1/a Budapest1117 Hungary Wigner Research Center for Physics 29–33 Konkoly–Thege Miklos Str Budapest1121 Hungary Department of Programming Languages and Compilers Eötvös Loránd University Pázmány Péter sétány 1/a Budapest1117 Hungary Maxeler Technologies a Groq Company 16192 Coastal Hwy LewesDE19958 United States Algorithmiq Ltd Kanavakatu 3C Helsinki00160 Finland
The formulation of quantum programs in terms of the fewest number of gate operations is crucial to retrieve meaningful results from the noisy quantum processors accessible these days. In this work, we demonstrate a us... 详细信息
来源: 评论
Retro-: An event-sourced platform for serverless applications with retroactive computing support  12
Retro-: An event-sourced platform for serverless application...
收藏 引用
12th ACM International Conference on Distributed and Event-Based systems, DEBS 2018
作者: Meißner, Dominik Erb, Benjamin Kargl, Frank Tichy, Matthias Institute of Distributed Systems Ulm University Germany Institute of Software Engineering and Programming Languages Ulm University Germany
State changes over time are inherent characteristics of stateful applications. So far, there are almost no attempts to make the past application history programmatically accessible or even modifiable. This is primaril... 详细信息
来源: 评论