咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 108 篇 期刊文献
  • 8 册 图书

馆藏范围

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

日期分布

学科分类号

  • 214 篇 工学
    • 156 篇 计算机科学与技术...
    • 112 篇 软件工程
    • 37 篇 信息与通信工程
    • 29 篇 控制科学与工程
    • 19 篇 生物医学工程(可授...
    • 18 篇 电气工程
    • 15 篇 生物工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 化学工程与技术
    • 7 篇 建筑学
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 5 篇 动力工程及工程热...
  • 126 篇 理学
    • 80 篇 数学
    • 20 篇 生物学
    • 20 篇 统计学(可授理学、...
    • 19 篇 系统科学
    • 16 篇 物理学
    • 6 篇 化学
  • 52 篇 管理学
    • 36 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 8 篇 法学
    • 7 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 教育学
    • 5 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 11 篇 artificial intel...
  • 6 篇 computer science
  • 5 篇 support vector m...
  • 4 篇 programming prof...
  • 4 篇 compilers
  • 4 篇 reliability
  • 4 篇 concurrent compu...
  • 4 篇 computer archite...
  • 4 篇 neural networks
  • 4 篇 computational in...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 decision making
  • 4 篇 dipper throated ...
  • 4 篇 software design
  • 4 篇 artificial neura...
  • 4 篇 functional progr...
  • 3 篇 safety
  • 3 篇 grey wolf optimi...
  • 3 篇 automation

机构

  • 16 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 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 篇 computer enginee...
  • 4 篇 university of lü...
  • 4 篇 department of ap...
  • 4 篇 national institu...
  • 3 篇 university spbpu...
  • 3 篇 department of ap...
  • 3 篇 zuse institute b...

作者

  • 9 篇 maiti manoranjan
  • 8 篇 mostafa abotaleb
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 scholz sven-bodo
  • 7 篇 grelck clemens
  • 7 篇 abotaleb mostafa
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 börcsök j.
  • 5 篇 de meuter wolfga...
  • 5 篇 van cutsem tom
  • 5 篇 doaa sami khafag...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 schwarz m.h.
  • 4 篇 hayek ali
  • 4 篇 dybjer peter
  • 4 篇 mostinckx stijn

语言

  • 305 篇 英文
  • 5 篇 其他
  • 2 篇 中文
  • 1 篇 日文
检索条件"机构=Computer Programming Technology"
313 条 记 录,以下是51-60 订阅
排序:
Boolean differential calculus
Boolean differential calculus
收藏 引用
作者: Steinbach, Bernd Posthoff, Christian Department of Computer Science Software Engineering and Programming Freiberg University of Mining and Technology Germany
Boolean Differential Calculus (BDC) extends Boolean *** Boolean algebra is focused on values of logic functions,BDC allows the evaluation of changes of the function values. Such changes can be investigated between cer... 详细信息
来源: 评论
programming software agents as designing executable business processes: A Model-driven perspective  1
Programming software agents as designing executable business...
收藏 引用
First International Workshop ProMAS 2003: programming Multi-Agent Systems
作者: Müller, Jörg P. Bauer, Bernhard Friese, Thomas Siemens AG Corporate Technology Intelligent Autonomous Systems Otto-Hahn-Ring 6 D-81739 München Germany Programming of Distributed Systems Institute of Computer Science University of Augsburg D-86135 Augsburg Dept. of Mathematics and Computer Science University of Marburg D-35032 Marburg Germany
The contribution of this paper is fourfold. First, we sketch an architecture of agent-enabled business process management that cleanly separates between agent capabilities, business process modeling, and the modeling ... 详细信息
来源: 评论
Lambda lifting: Transforming programs to recursive equations  2nd
收藏 引用
2nd International Conference on Functional programming Languages and computer Architecture, 1985
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables in the function definitions, into a program consisting only of global function (combina... 详细信息
来源: 评论
Optimization of MIMO Antenna Approach for 5G Wireless Applications  11
Optimization of MIMO Antenna Approach for 5G Wireless Applic...
收藏 引用
11th IEEE International Conference on Systems and Control, ICSC 2023
作者: Atuwayr, Aqreerah Asmeida, Akrem Ben Abdelmula, Haitham Saleh Anaiba, Abdulhakim Alhadi High Institution of Engineering Technology College of Computer Technology Zawia Libya Libyan Center for Electronic Systems Programming and Aviation Research Libya
In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 p... 详细信息
来源: 评论
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...
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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
来源: 评论
Efficient compilation of lasy evaluation
Efficient compilation of lasy evaluation
收藏 引用
1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
A distributed garbage collection algorithm  2nd
收藏 引用
2nd International Conference on Functional programming Languages and computer Architecture, 1985
作者: Hughes, John Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论