咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Fail-safety techniques and their extensions to concurrent systems
收藏 引用
COMPUTER LANGUAGES 1996年 第4期22卷 193-203页
作者: Drew, SJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Sydney Queensland Australia 4000
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an a... 详细信息
来源: 评论
PRECEDENCES IN SPECIFICATIONS AND IMPLEMENTATIONS OF programming-LANGUAGES
收藏 引用
THEORETICAL COMPUTER SCIENCE 1995年 第1期142卷 3-26页
作者: AASA, A Department of Computer Sciences Programming Methodology Group Chalmers University of Technology S-412 96 G?teborg Sweden
Although precedences are often used to resolve ambiguities in programming language descriptions, there has been no parser-independent definition of languages which are generated by grammars with precedence rules. This...
来源: 评论
The use of Cryptography in Network Security
The use of Cryptography in Network Security
收藏 引用
9th International Conference on Application of Information and Communication Technologies, AICT 2015
作者: Jafarov, Zafar Information Technology and Programming' Department Azerbaijan Technical University Baku Azerbaijan
Network Security is the most vital component in information security because it is responsible for securing all information passed through networked computers. Network Security refers to all hardware and software func... 详细信息
来源: 评论
FAMILIES OF SOLUTIONS OF NONLINEAR PSEUDO-BOOLEAN RELATIONS
收藏 引用
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS 1994年 第3-4期54卷 175-184页
作者: SYNEFAKI, AI [a]Faculty of Technology-General Department University of Thessaloniki Faculty of Technology Div. Computational Methods and Computer Programming Thessaloniki 540 06 Greece Fax: [b]University of Macedonia Thessaloniki
In this paper we develop an algorithm in order to solve pseudo-Boolean nonlinear equations and inequalities. The solutions to these problems are given in the form of set families. The objective of the proposed algorit... 详细信息
来源: 评论
Deleting Outliers in Robust Regression with Mixed Integer programming
收藏 引用
Acta Mathematicae Applicatae Sinica 2005年 第2期21卷 323-334页
作者: Georgios Zioutas Antonios Avramidis Division of Computational Methods and Computer Programming General Department Faculty of Technology Aristotle University of Thessaloniki 541 24 Thessaloniki GreeceDivision of Computational Methods and Computer Programming General Department Faculty of Technology Aristotle University of Thessaloniki 541 24 Thessaloniki Greece
In robust regression we often have to decide how many are the unusualobservations, which should be removed from the sample in order to obtain better fitting for the restof the observations. Generally, we use the basic... 详细信息
来源: 评论
Derivation of axiomatic definitions of programming languages from algorithmic definitions
Derivation of axiomatic definitions of programming languages...
收藏 引用
1972 ACM Conference on Proving Assertions about Programs
作者: Allen, C. David Programming Technology Department IBM Product Test Laboratory Hursley United Kingdom
Language definitions by abstract interpreters are appropriate to the design and development of a language. Axiomatic definitions are more appropriate to proving program properties and verification of compilers. The pr... 详细信息
来源: 评论
AmbientOriented programming in AmbientTalk: Combining mobile hardware with simplicity and expressiveness
AmbientOriented Programming in AmbientTalk: Combining mobile...
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Cutsem, Tom Van Mostinckx, Stijn De Meuter, Wolfgang D Hond, Theo Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient Intelligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mobi... 详细信息
来源: 评论
Ambient-oriented programming
Ambient-oriented programming
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn D'Hondt, Theo De Meuter, Wolfgang Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient In-telligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mob... 详细信息
来源: 评论
Design patterns and framework for WIMP+ user interfaces design
Design patterns and framework for WIMP+ user interfaces desi...
收藏 引用
Conference on Human Factors in Computing Systems, CHI EA 2000
作者: Wu, Yongmei Programming Languages and Compiler Department of Computer Science Darmstadt University of Technology Germany
The purpose of my HCI research is to use the Design Patterns approach to establish a framework to support designing WIMP User Interfaces. In this paper I will introduce the WIMP+ User Interfaces and the idea to use th... 详细信息
来源: 评论
On σ-semipermutable Subgroups of Finite Groups
收藏 引用
Acta Mathematica Sinica,English Series 2018年 第9期34卷 1379-1390页
作者: Wen Bin GUO Alexander N. SKIBA Department of Mathematics University of Science and Technology of China Hefei 230026 P. R. China Department of Mathematics and Technologies of Programming Francisk Skorina Gomel State University Gomel 246019 Belarus
Let a = {σi| i ∈ I} be some partition of the set of all primes P, G a finite group and σ(G) = {σi|σi ∩ π (G) ≠ Ф}. A set H of subgroups of G is said to be a complete Hall or-set of G if every member ≠... 详细信息
来源: 评论