咨询与建议

限定检索结果

文献类型

  • 3,394 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

  • 3,601 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,401 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 420 篇 电气工程
    • 272 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 74 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 61 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 43 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 37 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 675 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 53 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 7 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,496 篇 英文
  • 79 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是2961-2970 订阅
排序:
7th international Symposium on Component-Based Software Engineering, CBSE 2004
收藏 引用
7th international Symposium on Component-Based Software Engineering, CBSE 2004
the proceedings contain 27 papers. the special focus in this conference is on Component-Based software engineering. the topics include: Putting change at the center of the software process;a balancing act;an open comp...
来源: 评论
Effects of CHE and CHISEL programming operation on the characteristics of SONOS memory
Effects of CHE and CHISEL programming operation on the chara...
收藏 引用
international conference on Solid-State and Integrated Circuit Technology
作者: Lei Sun Liyang Pan Ying Zeng J. Chen Huiqing Pang Xiyou Li Jun Zhu Institute of Microelectronics Tsinghua University Beijing China Semiconductor Manufacturing International Corporation Shanghai China
this paper presents the characteristics of programmed SONOS memory. the CHE and CHISEL programming mechanisms are analyzed and the effects of programming bias to the program speed and saturated VT under different prog... 详细信息
来源: 评论
Research on edge detection method of infrared image based-on dynamic programming theory
Research on edge detection method of infrared image based-on...
收藏 引用
international conference on Signal Processing Proceedings (ICSP)
作者: Xiaoke Yan Caisheng Shi Baojun Zhao Peikun He Department of Electronic Engineering Beijing Institute of Technology Beijing China
In this paper, a dynamic programming (DP) method, concerning the edge detection of infrared (IR) target from a given field background, is proposed. It involves locally adaptive threshold technique and fractal theory. ... 详细信息
来源: 评论
Wrist kinematics from computed tomography data
Wrist kinematics from computed tomography data
收藏 引用
7th international conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2004
作者: Beek, Maarten Small, Carolyn F. Csongvay, Steve Sellens, Rick W. Ellis, R.E. Pichora, David R. Human Mobility Research Centre Kingston General Hospital KingstonONK7L 2V7 Canada
three-dimensional (3-d) surface models of human carpal bones obtained from Computed Tomography (CT) were used to investigate their kinematic behavior throughout the entire physiological range of motion of the human wr... 详细信息
来源: 评论
the bi-level programming of airport time slot allocation at a peak hour
The bi-level programming of airport time slot allocation at ...
收藏 引用
international conference on Intelligent Transportation
作者: Sui-Ling Li Department of Shipping & Transportation Management National Penghu Institute of Technology Makung Taiwan
the allocation of airport time slot not only impacts the airlines' service level to passengers, but also influences airlines' profits of market share. therefore, this study attempts to present the optimal allo... 详细信息
来源: 评论
Globally optimal solutions to the on-ramp metering problem - Part 1
Globally optimal solutions to the on-ramp metering problem -...
收藏 引用
international conference on Intelligent Transportation
作者: G. Gomes R. Horowitz Department of Mechanical Engineering University of California Berkeley USA
A mathematical programming approach to the freeway on-ramp metering problem is formulated. the objective function is a linear combination of mainline and on-ramp flows, termed the generalized total travel time. the un... 详细信息
来源: 评论
A programming language for ad-hoc networks of mobile devices  04
A programming language for ad-hoc networks of mobile devices
收藏 引用
7th Workshop on Languages, Compilers, and Run-Time Support for Scalable Systems, LCR '04
作者: Ni, Yang Kremer, Ulrich Iftode, Liviu Department of Computer Science Rutgers University Piscataway NJ United States
Networks of mobile devices and embedded systems represent a new computing platform. Typical network nodes range from sensors, cell phones, PDA's, to laptop computers. Wireless ad-hoc networks are used to connect t... 详细信息
来源: 评论
Biogenic amine receptors in the sea pansy: activity, molecular structure, and physiological significance
Biogenic amine receptors in the sea pansy: activity, molecul...
收藏 引用
7th international conference on Coelenterate Biology
作者: Anctil, M Bouchard, C Univ Montreal Downtown Branch Dept Biol Sci Montreal PQ H3C 3J7 Canada Univ Montreal Downtown Branch Ctr Rech Sci Neurol Montreal PQ H3C 3J7 Canada
Although cnidarian nervous systems appear to make heavy use of neuropeptides, evidence of the presence of biogenic amine transmitter systems has also surfaced over the past two decades. Our and other laboratories have... 详细信息
来源: 评论
Biogenic amine receptors in the sea pansy: activity, molecular structure, and physiological significance
收藏 引用
HYDROBIOLOGIA 2004年 第1-3期530卷 35-40页
作者: Anctil, M Bouchard, C Univ Montreal Downtown Branch Dept Biol Sci Montreal PQ H3C 3J7 Canada Univ Montreal Downtown Branch Ctr Rech Sci Neurol Montreal PQ H3C 3J7 Canada
Although cnidarian nervous systems appear to make heavy use of neuropeptides, evidence of the presence of biogenic amine transmitter systems has also surfaced over the past two decades. Our and other laboratories have... 详细信息
来源: 评论
A framework for detailed objective comparison of non-rigid registration algorithms in neuroimaging
收藏 引用
Medical Image Computing and Computer-Assisted Intervention, MICCAI 2004 - 7th international conference, Proceedings
作者: Crum, William R. Rueckert, Daniel Jenkinson, Mark Kennedy, David Smith, Stephen M. Division of Imaging Sciences Thomas Guy House Guy's Hospital London SEI 9RT United Kingdom Department of Computing Imperial College London SW7 2AZ United Kingdom Oxford Centre for Functional Magnetic Resonance Imaging of the Brain John Radcliffe Hospital Headington Oxford OX3 9DU United Kingdom Center for Morphometric Analysis Department of Neurology MGH 13th Street Charlestown MA 02129 United States
Non-rigid image registration is widely used in the analysis of brain images to the extent it is provided as a standard tool in common packages such as SPM. However the performance of algorithms in specific application... 详细信息
来源: 评论