咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 127 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 277 篇 工学
    • 217 篇 计算机科学与技术...
    • 160 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 steffen bernhard

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 德文
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
424 条 记 录,以下是31-40 订阅
排序:
Modelling human expertise in knowledge engineering: some preliminary observations
收藏 引用
International Journal of Man-Machine Studies 1987年 第1期26卷 81-92页
作者: Littman, David C. Cognition and Programming Project Department of Computer Science Yale University New Haven Connecticut 06520 United States
This paper reports the results of an empirical analysis of the knowledge engineering behavior of six persons with extensive experience in artificial intelligence (AI). The six persons were given the task of designing ...
来源: 评论
Adaptive detection of design flaws
Adaptive detection of design flaws
收藏 引用
作者: Kreimer, Jochen Research Group Programming Languages and Compilers Department of Computer Science University of Paderborn Germany
Criteria for software quality measurement depend on the application area. In large software systems criteria like maintainability, comprehensibility and extensibility play an important role. My aim is to identify desi... 详细信息
来源: 评论
Algorithmic Debugging For Lazy Functional Languages
收藏 引用
Journal of Functional programming 1994年 第3期4卷 337-369页
作者: Nilsson, Henrik Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linkoping University S-581 83 Linkoping Sweden
Lazy functional languages have non-strict semantics and are purely declarative, i.e. they support the notion of referential transparency and are devoid of side-effects. Traditional debugging techniques are, however, n...
来源: 评论
A syntactical approach to weak ω-Groupoids
A syntactical approach to weak ω-Groupoids
收藏 引用
26th International Workshop on computer science Logic, CSL 2012/21st Annual Conference of the European Association for computer science Logic, EACSL
作者: Altenkirch, Thorsten Rypáček, Ondřej Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom Department of Computer Science University of Sheffield United Kingdom
When moving to a Type Theory without proof-irrelevance the notion of a setoid has to be generalized to the notion of a weak ω-groupoid. As a first step in this direction we study the formalisation of weak ω-groupoid... 详细信息
来源: 评论
Compilation of modelica array computations into single assignment C for efficient execution on CUDA-enabled GPUs
Compilation of modelica array computations into single assig...
收藏 引用
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference
作者: Stavåker, Kristian Rolls, Daniel Guo, Jing Fritzson, Peter Scholz, Sven-Bodo School of Computer Science University of Hertfordshire United Kingdom Programming Environment Laboratory Department of Computer Science Linköping University Sweden
Mathematical models, derived for example from discretisation of partial differential equations, often contain operations over large arrays. In this work we investigate the possibility of compiling array operations fro... 详细信息
来源: 评论
A parallel framework for explicit FEM  7th
收藏 引用
7th International Conference on High Performance Computing, HiPC 2000
作者: Bhandarkar, Milind A. Kalé, Laxmikant V. Parallel Programming Laboratory Department of Computer Science University of Illinois Urbana-Champaign United States
As a part of an ongoing effort to develop a "standard library" for scientific and engineering parallel applications, we have developed a preliminary finite element framework. This framework allows an applica... 详细信息
来源: 评论
Towards LLM-Based System Migration in Language-Driven Engineering  8th
Towards LLM-Based System Migration in Language-Driven Engin...
收藏 引用
8th International Conference on Engineering of computer-Based Systems, ECBS 2023
作者: Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany
In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are ... 详细信息
来源: 评论
Run-time support for adaptive load balancing
Run-time support for adaptive load balancing
收藏 引用
15 Workshops Held in Conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000
作者: Bhandarkar, Milind A. Brunner, Robert K. Kalé, Laxmikant V. Parallel Programming Laboratory Department of Computer Science University of Illinois at Urbana-Champaign United States
Many parallel scientific applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and communication structure. This allows us to embed ... 详细信息
来源: 评论
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages  1st
ChatGPT in the Loop: A Natural Language Extension for Dom...
收藏 引用
1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023
作者: Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany
This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual inform... 详细信息
来源: 评论
A refinement calculus for specifications in Hennessy-Milner logic with recursion
收藏 引用
Formal Aspects of Computing 1989年 第1期1卷 242-272页
作者: Holmström, Sören Programming Methodology Group Department of Computer Science Chalmers University of Technology Göteborg S-412 96 Sweden
This paper is about specification and verification of processes, modelled as CCS-agents. We show, by means of examples that Hennessy-Milner Logic (HML) with recursion is a suitable language for expressing implicit or ... 详细信息
来源: 评论