咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
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... 详细信息
来源: 评论
Security goals assurance based on software active monitoring
Security goals assurance based on software active monitoring
收藏 引用
International Conference on Secure Software Integration and Reliability Improvement
作者: Zhao, Changzhi Dong, Wei Leucker, Martin Qi, Zhichang Department of Computer Science National University of Defense Technology Changsha 410073 China Institute of Software Technology and Programming Languages University of Lubeck Germany
Access control is a vital security mechanism in today's operating systems and the security policies dictating the security relevant behaviors is lengthy and complex for example in Security-Enhanced Linux (SELinux)... 详细信息
来源: 评论
Satisfiability in composition-nominative logics
Satisfiability in composition-nominative logics
收藏 引用
作者: Nikitchenko, Mykola Tymofieiev, Valentyn Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv 64 Volodymyrska Street Kyiv01601 Ukraine
Composition-nominative logics are algebra-based logics of partial predicates constructed in a semantic-syntactic style on the methodological basis, which is common with programming. They can be considered as generaliz... 详细信息
来源: 评论
Method for an automatic generation of a semantic-level contextual translational dictionary
Method for an automatic generation of a semantic-level conte...
收藏 引用
作者: Kan, Dmitry Department of Technology of Programming Saint-Petersburg State University Universitetsky prosp. 35 Peterhof Russia
In this paper we demonstrate the semantic feature machine translation (MT) system as a combination of two fundamental approaches, where the rule-based side is supported by the functional model of the Russian language ... 详细信息
来源: 评论
Semantics-based logics over hierarchical nominative data
Semantics-based logics over hierarchical nominative data
收藏 引用
8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, ICTERI 2012
作者: Nikitchenko, M.N.S. Shkilniak, S.S. Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Volodymyrska st 60 01601 Kyiv Ukraine
In the paper new logics oriented on hierarchical data are developed. Algebras of partial predicates over such data with special compositions as operations form a semantic base for constructed logics. Characteristic pr... 详细信息
来源: 评论
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
来源: 评论
Efficient compilation of lazy evaluation
Efficient compilation of lazy evaluation
收藏 引用
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology S-412 96 Göteborg Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is based on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
Using domain algebras to prove the correctness of a compiler  2nd
收藏 引用
2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS 1985
作者: Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology GöteborgS-412 96 Sweden
Domain algebras are proposed as a tool for structuring compiler correctness proofs which are based on denotational semantics of the source and target language. The correctness of a compiler for a small imperative lang... 详细信息
来源: 评论
Satisfiability problem in composition-nominative logics of quantifier-equational level
Satisfiability problem in composition-nominative logics of q...
收藏 引用
8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, ICTERI 2012
作者: Nikitchenko, Mykola S. Tymofieiev, Valentyn G. Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv 64 Volodymyrska Street 01601 Kyiv Ukraine
We investigate algorithms for solving the satisfiability problem in composition-nominative logics of quantifier-equational level. These logics are algebra-based logics of partial predicates constructed in a semantic-s... 详细信息
来源: 评论
Lazy memo-functions  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
来源: 评论