咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL
收藏 引用
INFORMATION PROCESSING LETTERS 1991年 第4期40卷 201-211页
作者: KIM, DH CHOE, KM Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 371-1 Kusong-Dong Yusang-Gu Taejon 305-701 South Korea
An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during executio... 详细信息
来源: 评论
Different aspects to be considered for safety related development
Different aspects to be considered for safety related develo...
收藏 引用
23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010
作者: Schwarz, M.H. Börcsök, J. Dept. Computer Architecture and System Programming University of Kassel Germany Safety Computer Technology University of Kassel Germany
This paper presents the recent design and development aspects considered within a current project running at the department of computer architecture and system programming. The project "Safety WLAN architectures ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Normalising the associative law: An experiment with Martin-Löf's type theory
收藏 引用
Formal Aspects of Computing 1991年 第3期3卷 218-252页
作者: Hedberg, Michael Programming Methodology Group Department of Computer Sciences Chalmers University of Technology Göteborg S-412 96 Sweden
Martin-Löf's type theory contains a logic, a specification language and a programming language, so it is a tool with different uses. Although it is traditionally used as an integrated programming logic, it ma... 详细信息
来源: 评论
Variable Length Optimization Based on Integrated Particle Swarm Optimization for Data Gathering in Wireless Sensor Networks  4
Variable Length Optimization Based on Integrated Particle Sw...
收藏 引用
4th International Congress on Human-computer Interaction, Optimization and Robotic Applications, HORA 2022
作者: Al-Jumaah, Kareema Inan, Timur Altinbas Univeristy Information Technology Istanbul Turkey Altinbas Univeristy Computer Programming Istanbul Turkey
Data gathering is an active research topic for wireless sensor networks WSNs with internet of things IoTs. Optimal data gathering enables collecting sensor data efficiently with minimum cost and energy consumption for... 详细信息
来源: 评论
Coloring gray-scale image using artificial neural networks
Coloring gray-scale image using artificial neural networks
收藏 引用
2nd International Conference on Adaptive Science and technology, ICAST 2009
作者: Karlik, Bekir Sariöz, Mustafa Haliç University Department of Computer Engineering 34381 Istanbul Turkey Fatih University Computer Technology and Programming 34500 Istanbul Turkey
This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-sele... 详细信息
来源: 评论
Cyclic Quasi-Orthogonal Matrices in Image and Signal Encoding
Cyclic Quasi-Orthogonal Matrices in Image and Signal Encodin...
收藏 引用
2022 International Conference on Information Science and Communications Technologies, ICISCT 2022
作者: Alexandr, Sergeev Saint Petersburg State University of Aerospace Instrumentation Department of Computer Technology and Programming Saint Petersburg Russia
orthogonal and quasi-orthogonal matrices with a limited number of element values and structured in some way are of considerable interest for many technical applications related to image processing and signal coding. T... 详细信息
来源: 评论
On optimising shape-generic array programs using symbolic structural information
收藏 引用
18th International Symposium on Implementation and Application of Functional Languages, IFL 2006
作者: Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science
Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledg... 详细信息
来源: 评论
Ensuring the reliability of remote online monitoring systems
Ensuring the reliability of remote online monitoring systems
收藏 引用
2022 International Conference on Information Science and Communications Technologies, ICISCT 2022
作者: Alexandr, Sergeev Mikhail, Sergeev Saint Petersburg State University of Aerospace Instrumentation Department of Computer Technology and Programming Saint Petersburg Russia
the issue of ensuring the reliability of the functioning of global systems of remote online monitoring of the condition of patients is considered. Remote monitoring is in demand when supervision the health status of d... 详细信息
来源: 评论
A filtered tuning method for a GPC controller
A filtered tuning method for a GPC controller
收藏 引用
IET Irish Signals and Systems Conference, ISSC 2010
作者: Schwarz, M.H. Cox, C.S. Börcsök, J. Department of Computer Architecture and System Programming Safety Computer Technology University of Kassel Kassel Germany Control Systems Centre University of Sunderland Sunderland United Kingdom Department of Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas ex... 详细信息
来源: 评论