咨询与建议

限定检索结果

文献类型

  • 3,396 篇 会议
  • 132 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,403 篇 工学
    • 1,901 篇 计算机科学与技术...
    • 1,151 篇 软件工程
    • 419 篇 电气工程
    • 270 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 交通运输工程
    • 55 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 41 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 674 篇 理学
    • 485 篇 数学
    • 104 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 50 篇 化学
  • 404 篇 管理学
    • 339 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 102 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 185 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 83 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 64 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 51 篇 mathematical mod...
  • 48 篇 computer program...
  • 47 篇 heuristic algori...
  • 42 篇 quadratic progra...
  • 42 篇 artificial intel...

机构

  • 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,431 篇 英文
  • 144 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3604 条 记 录,以下是2631-2640 订阅
排序:
Yield enhancement of 0.15um pHEMT milli-meter wave power amplifiers using an effective statistical analytical approach
Yield enhancement of 0.15um pHEMT milli-meter wave power amp...
收藏 引用
22nd international conference on Compound Semiconductor Manufacturing Technology, CS MANTECH 2007
作者: Chen, Nelson Lin, Scotie Lin, C.K. Chu, Wen Yeh, Paul Chou, H.C. Liu, Joe Wu, C.S. WIN Semiconductors Corporation Hwaya Technology Park No.69 Technology 7th Rd Kuei Shan Hsiang Tao Yuan Shien Taiwan
WIN's 0.15um power pHEMT technology has been popularly used by customers to design and produce Kato V-band power amplifier MMICs. It is a robust production technology that produces high performance and high yield ... 详细信息
来源: 评论
Comparative Study of Clustering Techniques for the Organization of Software Repositories
Comparative Study of Clustering Techniques for the Organizat...
收藏 引用
international conference on Hybrid Intelligent Systems (HIS)
作者: Ronaldo C. Veras Silvio R. L. Meira Adriano L. I. Oliveira Bruno J. M. Melo Center of Informatics Federal University of Pernambuco (UFPE) Brazil Department of Computing Systems Polytechnic School University of Pernambuco (UPE) Brazil
Software reuse is essential for improving the productivity and quality of software projects. One of the key issues to promote the adoption of software reuse in companies is the development of effective repositories of... 详细信息
来源: 评论
IEEE 7th BIBE Research Tutorial Lecture: Decoding Novel Genomes: From Microbiomes to the Eukaryota
IEEE 7th BIBE Research Tutorial Lecture: Decoding Novel Geno...
收藏 引用
IEEE Symposium on Bioinformatics and Bioengineering (BIBE)
作者: Mark Borodovsky Department of Biomedical Engineering and Division of Computational Science Georgia Institute of Technology Atlanta GA USA
One of the main goals of computational genomics is fast and accurate biological interpretation of newly sequenced genomic DNA. the complexity of the task varies among genomes but is never simple. Currently, for a new ... 详细信息
来源: 评论
Rewriting haskell strings  07
收藏 引用
Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
作者: Duncan Coutts Don Stewart Roman Leshchinskiy Programming Tools Group Oxford University Computing Laboratory Computer Science & Engineering University of New South Wales
the Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict arrays with lazy evaluation. Equational transfor... 详细信息
来源: 评论
Data Discretization Unification
Data Discretization Unification
收藏 引用
7th IEEE international conference on Data Mining (ICDM 2007)
作者: Ruoming Jin Yuri Breitbart Chibuike Muoh Department of Computer Science Kent University Kent OH USA
Data discretization is defined as a process of converting continuous data attribute values into a finite set of intervals with minimal loss of information. In this paper, we prove that discretization methods based on ... 详细信息
来源: 评论
Design and Optimization of Highly Linear CMOS Low Noise Amplifiers via Geometric programming
Design and Optimization of Highly Linear CMOS Low Noise Ampl...
收藏 引用
2007 7th international conference on ASIC Electronic Version(ASICON 2007)
作者: Wai-Kit So Wing-Tai Cheung Hing-Kit Kwan Ngai Wong Department of Electrical and Electronic Engineering The University of Hong Kong Pokfulam Road Hong Kong
Linearity is an important measurement for the performance of a CMOS low noise amplifier(LNA).the high computational cost required in the linearity simulation,however,constitutes a major bottleneck in the design verifi... 详细信息
来源: 评论
Real-time cooperative behavior acquisition by a humanoid apprentice
Real-time cooperative behavior acquisition by a humanoid app...
收藏 引用
IEEE-RAS international conference on Humanoid Robots
作者: Peter Ford Dominey Anthony Mallet Eiichi Yoshida EMC-NCRM CNRS University of Lyon 2 Bron France LAAS CNRS Toulouse France Advanced Industrial Science and Technology (AIST) CNRS Joint Japanese-French Robotics Laboratory (JRL) National Institute Tsukuba Ibaraki Japan
An apprentice is an able-bodied individual that should interactively assist an expert, and through this interaction, they should acquire knowledge and skill in the given task domain. In this context the robot should h... 详细信息
来源: 评论
Design of NOR flash memory cells with high speed programming by utilizing an asymmetric Silicide(TiSi2) Drain
Design of NOR flash memory cells with high speed programming...
收藏 引用
2007 7th international conference on ASIC Electronic Version(ASICON 2007)
作者: Kyeong-Rok Kim Jung-Woo Lee Sang-Su Park Kae-Dal Kwack Division of Electronics and Computer Engineering Hanyang University17 Haendang-dongSeongdong-guSeoul 133-791Korea
An unique not-OR(NOR) flash memory cell using an asymmetric Schottky barrier(SB) was designed to increase programming speed and driving *** asymmetric SB NOR flash memory cell was proposed on the basis of the fundamen... 详细信息
来源: 评论
Applications, implementation and performance evaluation of bit stream programming in erlang  07
收藏 引用
Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
作者: Per Gustafsson Konstantinos Sagonas Uppsala University and Ericsson AB Sweden National Technical University of Athens Greece
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in programmer-allocated buffers. Still, t...
来源: 评论
Explicit consideration of multiple objectives in cellular manufacturing
收藏 引用
ENGINEERING OPTIMIZATION 2007年 第5期39卷 551-565页
作者: Dimopoulos, C. Cyprus Coll Sch Engn & Comp Sci CY-1516 Nicosia Cyprus
Although many methodologies have been proposed for solving the cell-formation problem, few of them explicitly consider the existence of multiple objectives in the design process. In this article, the development of mu... 详细信息
来源: 评论