咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 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,494 篇 英文
  • 82 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3605 条 记 录,以下是2711-2720 订阅
排序:
Generating stylistically consistent product form designs using interactive evolutionary parametric shape grammars
Generating stylistically consistent product form designs usi...
收藏 引用
7th international conference on Computer-Aided Industrial Design and Conceptual Design (CAID&CD)
作者: Lee, Ho Cheong Tang, Ming Xi Hong Kong Polytech Univ Sch Design Design Technol Res Ctr Hong Kong Hong Kong Peoples R China
Interactive grammar based design systems (IGBDS) are capable of generating large numbers of alternative designs. Prior to the application of IGBDS, a set of rules should be defined based on the theoretical theories an... 详细信息
来源: 评论
Contingency clearing time calculation based on nonlinear programming and interior point method
Contingency clearing time calculation based on nonlinear pro...
收藏 引用
7th IET international conference on Advances in Power System Control, Operation and Management, APSCOM 2006
作者: Yude, Yang Hua, Wei Department of Electrical Engineering Guangxi University Nanning 530004 China Electrical Engineering College Guangxi University 530004 China
Based on interpolation formula or curve fitting and under special relating angle limitation, maximum contingency clearing time to be target function, all swing equations in power system will be converted into numerica... 详细信息
来源: 评论
A semi-infinite programming algorithm for dynamic security-constrained generation rescheduling
A semi-infinite programming algorithm for dynamic security-c...
收藏 引用
7th IET international conference on Advances in Power System Control, Operation and Management, APSCOM 2006
作者: Xia, Yan Chan, Ka Wing Ho, Fai Ho Department of Electrical Engineering Hong Kong Polytechnic University Hung Hom Kowloon Hong Kong
Preventive control or remedial actions should be taken if dynamic instability for a contingency is detected. Generation rescheduling is an effective means to enhance security of power systems. A novel methodology, bas... 详细信息
来源: 评论
Load-shedding algorithm based on successive quadratic programming method to avoid losing transient voltage stability
Load-shedding algorithm based on successive quadratic progra...
收藏 引用
7th IET international conference on Advances in Power System Control, Operation and Management, APSCOM 2006
作者: Sheng, Si-Qing Zhou, Jing-Yao Sun, Li-Ying School of Electrical Engineering North China Electric Power University Baoding 071003 Hebei China Zhejiang Electric Power Test and Research Institute Hangzhou 310014 Zhejiang China
Load shedding is a simple but effective emergency control strategy when the system loses transient voltage stability after a heavy disturbance. Systematic algorithm and its realization for the optimal load shedding co... 详细信息
来源: 评论
Fuzzy multi-objective mixed integer linear programming based secondary voltage control
Fuzzy multi-objective mixed integer linear programming based...
收藏 引用
7th IET international conference on Advances in Power System Control, Operation and Management, APSCOM 2006
作者: Yun, Zhihao Liu, Yutian Mu, Hong Ma, Xiaohong School of Electrical Engineering Shandong University Jinan Shandong 250061 China Shandong Electric Power System Control Center Jinan Shandong 250001 China
the hierarchical voltage control has been utilized and proved as an effective method in some power systems. the secondary voltage control provides voltage support to an area of the transmission network. there are seve... 详细信息
来源: 评论
Learning to identify facial expression during detection using Markov decision process
Learning to identify facial expression during detection usin...
收藏 引用
7th international conference on Automatic Face and Gesture Recognition
作者: Isukapalli, Ramana Elgammal, Ahmed Greiner, Russell Ball Labs Innovat Lucent Technol Whippany NJ 07981 USA Rutgers State Univ Piscataway NJ 08854 USA Univ Alberta Edmonton AB T6G 2M7 Canada
While there has been a great deal of research in face detection and recognition, there has been very limited work on identifying the expression on a face. Many current face detection methods use a Viola-Jones style &q... 详细信息
来源: 评论
Extreme programming and Agile Processes in Software Engineering  2006
收藏 引用
丛书名: Lecture Notes in Computer Science
2006年
作者: Pekka Abrahamsson Michele Marchesi Giancarlo Succi
来源: 评论
Towards a framework for integrating agile development and user-centred design
收藏 引用
7th international conference on Extreme programming and Agile Processing in Software Engineering
作者: Chamberlain, Stephanie Sharp, Helen Maiden, Neil Bit10 Ltd Coventry CV4 7EZ W Midlands England Open Univ Ctr Res Comp Milton Keynes MK7 6AA Bucks England City Univ London Ctr HCI Design London EC1V 0HB England
Due to a number of similarities between user-centred design (UCD) and agile development, coupled with an appreciation that developers are rarely usability experts, it seems attractive to integrate these two approaches... 详细信息
来源: 评论
Modeling research based on Petri net and dynamic programming for regional power grid with pumped storage stations
Modeling research based on Petri net and dynamic programming...
收藏 引用
7th IET international conference on Advances in Power System Control, Operation and Management, APSCOM 2006
作者: Chen, Gang Zhang, Yao Jing, Zhao-Xia College of Electrical Engineering South China University of Technology Guangzhou 510640 China
Petri net (PN), as a kind of powerful modeling tool for discrete-event dynamic systems, has widely applied in many domains. In this paper, two classes of high-level PN, controlled colored Petri net and controlled hybr... 详细信息
来源: 评论
RCA: Experiences with an IDE annotation tool  06
RCA: Experiences with an IDE annotation tool
收藏 引用
CHINZ 2006: 7th international conference NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction(SIGCHI-NZ)
作者: Priest, Richard Plimmer, Beryl Department of Computer Science University of Auckland Private Bag 92019 Auckland New Zealand
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. this project extends existing research ideas to develop a digit... 详细信息
来源: 评论