咨询与建议

限定检索结果

文献类型

  • 284 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 275 篇 工学
    • 213 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 33 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 13 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 动力工程及工程热...
    • 6 篇 化学工程与技术
    • 6 篇 石油与天然气工程
  • 145 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 14 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 54 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 13 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
  • 12 篇 教育学
    • 10 篇 教育学
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 7 篇 法学
    • 7 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 libraries
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 computer languag...
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 doaa sami khafag...
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 403 篇 英文
  • 22 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
426 条 记 录,以下是331-340 订阅
排序:
CONCURRENT LARGE-SIGNAL SIMULATION OF AN ACTIVE MICROSTRIP ANTENNA
收藏 引用
INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年 第1期8卷 3-12页
作者: MCDOWALL, DS FUSCO, VF High Frequency Electronics Laboratory. Department of Electrical and Electronic Engineering The Queen's University of Belfast Ashby Building Stranmillis Road Belfast BT9 5AH U.K. D. Stewart McDowall was born in Dublin Republic of Ireland in 1967. He received the M. Eng. degree in Electrical and Electronic Engineering from the Queen's University of Belfast in 1990. In the same year he was presented with a Distinction Award from the Departmnet of Education of Northern Ireland and he is currently pursuing his Ph.D. in the Microwave Research Group at Q.U.B. His principal research area is the electromagnetic field mapping of microwave systems using concurrent programming. He is an Associate Member of the Institute of Electrical Engineers. Vincent F. Fusco was educated at the Queens's University of Belfast where he obtained the degree of Ph.D. in 1982. He has worked as a research engineer on short-range radar and radio telemetry systems. Currently he is a reader in Microwave Communications in the School of Electrical engineering and Computer Science the Queen's University of Belfast. His current research interests include non-linear microwave circuit simulatino and concurrent programming techniques for electromagnetic field problems with particular emphasis on EMC applications. He has published numerous research papers in these areas. He is the author of the bookMicrowave Circuits Analysis and Computer Aided Design Prentice-Hall 1987. Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.
This paper details the use of a circuit-based EM modelling technique combined with a harmonic balance simulator used to model the radiation from the microstrip bodies comprising an active antenna circuit. The modellin... 详细信息
来源: 评论
EXCEPTION HANDLING - EXPECTING THE UNEXPECTED
收藏 引用
computer LANGUAGES 1994年 第2期20卷 69-87页
作者: DREW, SJ GOUGH, KJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Queensland Australia 4000
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever mor... 详细信息
来源: 评论
AN EFFICIENT COMPUTATION OF RIGHT CONTEXT FOR LR-BASED ERROR REPAIR
收藏 引用
INFORMATION PROCESSING LETTERS 1994年 第2期49卷 63-71页
作者: JUNG, MS CHOE, KM HAN, T Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusong-Gu Taejon 305-701 South Korea
The left context in LR-based parsing is the sequence of states in the parsing stack. The right context is the vocabulary strings to appear for a given left context. We propose an efficient method of computing right co... 详细信息
来源: 评论
Algorithmic Debugging For Lazy Functional Languages
收藏 引用
Journal of Functional programming 1994年 第3期4卷 337-369页
作者: Nilsson, Henrik Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linkoping University S-581 83 Linkoping Sweden
Lazy functional languages have non-strict semantics and are purely declarative, i.e. they support the notion of referential transparency and are devoid of side-effects. Traditional debugging techniques are, however, n...
来源: 评论
An automated tool for analyzing completeness of equational specifications  94
An automated tool for analyzing completeness of equational s...
收藏 引用
1994 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1994
作者: Kapur, Deepak Institute for Programming and Logics Department of Computer Science University at Albany AlbanyNY12222 United States
Books on software engineering methodologies talk about the significance and need for designing consistent and complete specifications during the requirement analysis and design stages of a software development cycle. ... 详细信息
来源: 评论
A generalized carrier-null method for conservative parallel simulation  94
A generalized carrier-null method for conservative parallel ...
收藏 引用
8th Workshop on Parallel and Distributed Simulation, PADS 1994
作者: Wood, Kenneth R. Turner, Stephen J. Programming Research Group Oxford University Computing Laboratory United Kingdom Department of Computer Science University of Exeter United Kingdom
The carrier-null message approach to conservative distributed discrete-event simulation can significantly reduce the number of synchronization messages required to avoid deadlock. In thts paper we show that the origin... 详细信息
来源: 评论
Algebraic and geometric reasoning using Dixon resultants  94
Algebraic and geometric reasoning using Dixon resultants
收藏 引用
Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation
作者: Kapur, Deepak Saxena, Tushar Yang, Lu Institute for Programming and Logics Department of Computer Science State University of New York at Albany Albany NY Centre for Mathematical Sciences Chengdu Institute of Computer Applications Academia Sinica 610041 Chengdu China
Dixon's method for computing multivariate resultants by simultaneously eliminating many variables is reviewed. The method is found to be quite restrictive because often the Dixon matrix is singular, and the Dixon ... 详细信息
来源: 评论
On sequential composition, action prefixes and process prefix
收藏 引用
Formal Aspects of Computing 1994年 第3期6卷 250-268页
作者: Baeten, J.C.M. Bergstra, J.A. Department of Mathematics and Computer Science Eindhoven University of Technology MB Eindhoven 5600 PO Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands
We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework exte... 详细信息
来源: 评论
On anti-links  5th
收藏 引用
5th International Conferenceon Logic programming and Automated Reasoning, LPAR 1994
作者: Beckert, Bernhard Hähnle, Reiner Ramesh, Anavai Murray, Neil V. Institute for Logic Complexity and Deduction Systems Universität Karlsruhe Karlsruhe Germany Institute for Programming & Logics Department of Computer Science University at Albany AlbanyNY12222 United States
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths i... 详细信息
来源: 评论
Seven more myths of formal methods: Dispelling industrial prejudices  2nd
收藏 引用
2nd International Symposium of Formal Methods Europe, FME 1994
作者: Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majori... 详细信息
来源: 评论