咨询与建议

限定检索结果

文献类型

  • 234 篇 会议
  • 148 篇 期刊文献
  • 13 册 图书

馆藏范围

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

日期分布

学科分类号

  • 243 篇 工学
    • 182 篇 计算机科学与技术...
    • 124 篇 软件工程
    • 38 篇 信息与通信工程
    • 34 篇 控制科学与工程
    • 25 篇 生物医学工程(可授...
    • 22 篇 电气工程
    • 17 篇 生物工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 电子科学与技术(可...
    • 12 篇 化学工程与技术
    • 11 篇 机械工程
    • 9 篇 土木工程
    • 9 篇 网络空间安全
    • 7 篇 力学(可授工学、理...
    • 7 篇 仪器科学与技术
  • 170 篇 理学
    • 103 篇 数学
    • 29 篇 生物学
    • 26 篇 物理学
    • 22 篇 统计学(可授理学、...
    • 17 篇 系统科学
    • 12 篇 化学
  • 53 篇 管理学
    • 34 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 28 篇 医学
    • 24 篇 临床医学
    • 20 篇 基础医学(可授医学...
    • 11 篇 药学(可授医学、理...
    • 9 篇 公共卫生与预防医...
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 7 篇 法学
    • 7 篇 社会学
  • 6 篇 教育学
  • 5 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 15 篇 artificial intel...
  • 7 篇 semantics
  • 6 篇 neural networks
  • 6 篇 computational in...
  • 5 篇 computer science
  • 5 篇 support vector m...
  • 5 篇 software algorit...
  • 5 篇 optimization
  • 5 篇 decision making
  • 5 篇 software
  • 4 篇 programming prof...
  • 4 篇 reliability
  • 4 篇 software enginee...
  • 4 篇 informatics
  • 4 篇 monitoring
  • 4 篇 reusability
  • 4 篇 process algebra
  • 4 篇 decision trees
  • 4 篇 feature extracti...
  • 4 篇 dipper throated ...

机构

  • 24 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of th...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 department of in...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 programming rese...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 information comm...
  • 4 篇 computer enginee...
  • 4 篇 department of ap...

作者

  • 12 篇 abotaleb mostafa
  • 9 篇 maiti manoranjan
  • 9 篇 mostafa abotaleb
  • 8 篇 bergstra j.a.
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 el-kenawy el-say...
  • 7 篇 shahnaz n. shahb...
  • 6 篇 steffen bernhard
  • 6 篇 baeten j.c.m.
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 de meuter wolfga...
  • 5 篇 doaa sami khafag...
  • 5 篇 m. abotaleb
  • 4 篇 choe km
  • 4 篇 alkattan hussein
  • 4 篇 el-sayed m. el-k...
  • 4 篇 hayek ali

语言

  • 386 篇 英文
  • 6 篇 其他
  • 2 篇 中文
  • 1 篇 德文
检索条件"机构=Programming Technology Department"
395 条 记 录,以下是41-50 订阅
排序:
A technical overview of the information resource dictionary system
收藏 引用
Computers and Standards 1985年 第3期4卷 153-208页
作者: Goldfine, Alan Konig, Patricia U.S. Department of Commerce National Bureau of Standards Center for Programming Science and Technology Gaithersburg MD 20899 United States
This publication provides a technical overview of the computer software specifications for an Information Resource Dictionary System (IRDS). It summarizes the data architecture and the software functions and processes... 详细信息
来源: 评论
Using types as search keys in function libraries
收藏 引用
Journal of Functional programming 1991年 第1期1卷 71-89页
作者: Rittri, Mikael Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Goteborg S-412 96 Göteborg Sweden
A method is proposed to search for an identifier in a functional program library by using its Hindley-Milner type as a key. This can be seen as an approximation of using the specification as a key. Functions that only...
来源: 评论
A succinct canonical register automaton model for data domains with binary relations
A succinct canonical register automaton model for data domai...
收藏 引用
10th International Symposium on Automated technology for Verification and Analysis, ATVA 2012
作者: Cassel, Sofia Jonsson, Bengt Howar, Falk Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Department of Programming Systems Technical University Dortmund Germany
We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register aut... 详细信息
来源: 评论
A mechanisation of name-carrying syntax up to alpha-conversion  6th
A mechanisation of name-carrying syntax up to alpha-conversi...
收藏 引用
6th International Workshop on Higher Order Logic Theorem Proving and Its Applications, HUG 1993
作者: Gordon, Andrew D. Programming Methodology Group Department of Computing Science Chalmers University of Technology/University of Gothenburg Gothenburg412 96 Sweden
We present a new strategy for representing syntax in a mechanised logic. We define an underlying type of de Bruijn terms, define an operation of named lambda-abstraction, and hence inductively define a set of conventi... 详细信息
来源: 评论
L(0, 1)-Labelling of Trapezoid Graphs
收藏 引用
International Journal of Applied and Computational Mathematics 2017年 第1期3卷 599-610页
作者: Paul, Satyabrata Pal, Madhumangal Pal, Anita Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 India Department of Mathematics National Institute of Technology Durgapur Durgapur 713209 India
L(0, 1)-labelling of a graph G= (V, E) is a function f from the vertex set V(G) to the set of non-negative integers such that adjacent vertices get number zero apart, and vertices at distance two get distinct num... 详细信息
来源: 评论
Reuse contracts as component interface descriptions
Reuse contracts as component interface descriptions
收藏 引用
Workshops on Object-Oriented technology, ECOOP 1997
作者: Hondt, Koen De Lucas, Carine Steyaert, Patrick Programming Technology Lab Computer Science Department Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium
Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components interact with each other. Suggestions to improve comp... 详细信息
来源: 评论
L(0,1)-labelling of Permutation Graphs
收藏 引用
Journal of Mathematical Modelling and Algorithms in Operations Research 2015年 第4期14卷 469-479页
作者: Paul, Satyabrata Pal, Madhumangal Pal, Anita Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 India Department of Mathematics National Institute of Technology Durgapur Durgapur 713209 India
L(0,1)-labelling of a graph G=(V,E) is a function f from the vertex set V(G) to the set of non-negative integers such that adjacent vertices get number zero apart, and vertices at distance two get distinct numbers. Th... 详细信息
来源: 评论
Compiling pattern matching  2nd
收藏 引用
2nd International Conference on Functional programming Languages and Computer Architecture, 1985
作者: Augustsson, Lennart Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论
Effects on prey-predator with different functional responses
收藏 引用
International Journal of Biomathematics 2017年 第8期10卷 141-162页
作者: Banani Roy Sankar Kumar Roy M. H. A. Biswas Department of Applied Mathematicswith Oceanology and Computer Programming Vidyasagar University Midnapore 721102 West Bengal India Mathematics Discipline Science Engineering and Technology SchoolKhulna University Khulna 9208 Bangladesh
In this paper, we investigate the effects on prey of two predators which are also related in terms of prey-predator relationship. Different types of functional responses are con- sidered to formulate the mathematical ... 详细信息
来源: 评论
Note on the complement of a (minimal) linear language
收藏 引用
Information and Control 1964年 第3期7卷 307-314页
作者: Haines, L.H. Department of Mathematics Massachusetts Institute of Technology Cambridge MA United States Advanced Programming Development IBM White Plains NY United States
We exhibit a "pathological" minimal linear language and prove that its complement is not context free. This settles two open problems posed by Chomsky. © 1964 Academic Press Inc.
来源: 评论