咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 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 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 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 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 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...

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
423 条 记 录,以下是301-310 订阅
排序:
Automatic synthesis of both the topology and parameters for a robust controller for a nonminimal phase plant and a three-lag plant by means of genetic programming
Automatic synthesis of both the topology and parameters for ...
收藏 引用
IEEE Conference on Decision and Control
作者: J.R. Koza M.A. Keane J. Yu F.H. Bennett W. Mydlowec O. Stiffelman Section on Medical Informatics School of Medicine University of Stanford Stanford CA USA Econometrics Inc. Chicago IL USA Genetic Programming Inc. Los Altos CA USA Computer Science Department University of Stanford Stanford CA USA
This paper describes how genetic programming can be used to automate the synthesis of the design of both the topology and parameter values for controllers. The method described in this paper automatically makes decisi... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Fold and unfold for program semantics  98
Fold and unfold for program semantics
收藏 引用
Proceedings of the third ACM SIGPLAN international conference on Functional programming
作者: Graham Hutton Languages and Programming Group Department of Computer Science University of Nottingham UK
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structur...
来源: 评论
Aspect-oriented programming workshop report
Aspect-oriented programming workshop report
收藏 引用
Workshops on Object-Oriented Technology, ECOOP 1997
作者: Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands
Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or ch... 详细信息
来源: 评论
Nested datatypes  4th
收藏 引用
4th International Conference on Mathematics of Program Construction, MPC 1998
作者: Bird, Richard Meertens, Lambert Programming Research Group Oxford University Wolfson Building Parks Road OxfordOX1 3QD United Kingdom CWI and Department of Computer Science Utrecht University P.O. Box 94079 AmsterdamGB1090 Netherlands
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datatypes have been mostly ignored in func... 详细信息
来源: 评论
A theory of core fudgets  98
A theory of core fudgets
收藏 引用
Proceedings of the third ACM SIGPLAN international conference on Functional programming
作者: Colin J. Taylor Languages and Programming Group Department of Computer Science University of Nottingham University Park Nottingham NG7 2RD England
The Fudgets system is a toolkit for developing graphical applications in the lazy functional programming language Haskell. In this paper we develop an operational semantics for a subset of this system, inspired by ide...
来源: 评论
Functional entropy and decision trees
Functional entropy and decision trees
收藏 引用
International Symposium on Multiple-Valued Logic
作者: V. Cheushev D.A. Simovici V. Shmerko S. Yanushkevich Department of Programming Technology State University Minsk Belarus Institute of Computer Science Technical University Szczecin Poland Department of Mathematics and ComputerScience University of Massachusetts Boston Boston MA USA
We introduce a technique to compute several information estimations for Boolean and multivalued functions. Special features of these estimations for completely and incompletely specified logic functions, including sym... 详细信息
来源: 评论
Software cost estimation using economic production models
收藏 引用
Journal of Management Information Systems 1998年 第1期15卷 143-163页
作者: Hu, Q. Plant, R.T. Hertz, D.B. Dept. of Decis. and Info. Systems Florida Atlantic University United States University of Miami FL United States Dept. of Comp. Information Systems University of Miami Coral Gables FL United States University of Liverpool United Kingdom Programming Research Group Oxford University Wadham College Oxford United Kingdom Department of Computer Science Univ. of Wolverhampton in England Templeton College Oxford United Kingdom Dept. of Comp. Information Systems University of Miami United States Columbia University CEO Identification Technol. Intl. Inc. United States McKinsey and Co. New York City NY United States
One of the major difficulties in controlling software development project cost overruns and schedule delays has been developing practical and accurate software cost models. Software development could be modeled as an ... 详细信息
来源: 评论
Automated geometric reasoning: Dixon resultants, gröbner bases, and characteristic sets
收藏 引用
International Workshop on Automated Deduction in Geometry, 1996
作者: Kaput, Deepak Institute for Programming and Logics Department of Computer Science State University of New York AlbanyNY12222 United States
Three different methods for automated geometry theorem proving-a generalized version of Dixon resultants, Gröbner bases and characteristic sets--axe reviewed. The main focus is, however, on the use of the general... 详细信息
来源: 评论
A constraint-based approach for specification and verification of real-time systems
A constraint-based approach for specification and verificati...
收藏 引用
Real-Time Systems Symposium (RTSS)
作者: G. Gupta E. Pontelli Laboratory for Logic Databases and Advanced Programming Department Computer Science New Mexico State University USA
We develop a general constraint logic programming (CLP) based framework for specification and verification of real time systems. Our framework is based on the notion of timed automata that have traditionally been used... 详细信息
来源: 评论