咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1971-1980 订阅
排序:
Action-seeking team coordination for Unmanned Vehicles team planning
Action-seeking team coordination for Unmanned Vehicles team ...
收藏 引用
2011 7th international conference on Computational Intelligence and Security, CIS 2011
作者: Luo, Jiang-Feng Tang, Luo-Hao Zhu, Cheng Zhang, Wei-Ming Science and Technology on Information Systems Engineering Laboratory National University of Defense and Technology Changsha China
Current researches about multi-vehicle cooperation task assignment models, such as capacitated transshipment assignment problem (CTAP) and mixed integer linear programming (MILP), have extreme amounts of computation n... 详细信息
来源: 评论
A genetic algorithm based on duality for linear bilevel programming problems
A genetic algorithm based on duality for linear bilevel prog...
收藏 引用
2011 7th international conference on Computational Intelligence and Security, CIS 2011
作者: Li, Hecheng Department of Mathematics Key Laboratory of Tibetan Information Processing of Ministry of Education Qinghai Normal University Xining 810008 China
Linear bilevel programming problem, as a NP-hard problem, is the linear version of bilevel programming, in this paper we design an efficient algorithm for solving this kind of problems by combining genetic algorithm w... 详细信息
来源: 评论
ECOTRUCK: An Agent System for Paper Recycling  1
收藏 引用
12th INNS EANN-SIG international conference (EANN 2011)/7th IFIP 12 5 international conference (AIAI 2011)
作者: Bezirgiannis, Nikolaos Sakellariou, Ilias Univ Utrecht Dept Inf & Comp Sci POB 80-089 NL-3508 TB Utrecht Netherlands Univ Macedonia Dept Appl Informat Thessaloniki 54124 Greece
Recycling has been gaining ground, thanks to the recent progress made in the related technology. However, a limiting factor to its wide adoption, is the lack of modern tools for managing the collection of recyclable r... 详细信息
来源: 评论
A GPU-supported high-level programming language for image processing
A GPU-supported high-level programming language for image pr...
收藏 引用
7th international conference on Signal Image Technology and Internet-Based Systems, SITIS 2011
作者: Ono, Ami Kondo, Katsuhiko Inaba, Takafumi Tsumura, Tomoaki Matsuo, Hiroshi Nagoya Institute of Technology Gokiso Showa Nagoya Japan
Real-time image/video processing applications are now in demand with the advance of general purpose computers and mobile devices. However, programmers have to handle the digital images, and be aware of the resolutions... 详细信息
来源: 评论
Stability Analysis and Constrained Control of Positive Systems with Time-Varying Delays: A Linear Copositive Lyapunov-Krasovskii functional Method
Stability Analysis and Constrained Control of Positive Syste...
收藏 引用
7th international conference on Intelligent Computing (ICIC)
作者: Song, Yulin College of Tourism Historical Culture Southwest University for Nationalities China
this paper considers the analysis and constrained control problems of positive systems with time-varying delays. A system is a called positive system if its states keep nonnegative whenever its initial conditions and ... 详细信息
来源: 评论
A modified shuffled frog leaping algorithm and its application to short-term hydrothermal scheduling
A modified shuffled frog leaping algorithm and its applicati...
收藏 引用
2011 7th international conference on Natural Computation, ICNC 2011
作者: Li, Yinghai Dong, Xiaohua Lv, Cuimei Du, Faxing College of Hydraulic and Environmental Engineering China Three Gorges University Yichang Hubei 443002 China
Hydrothermal system scheduling is a large, dynamic, non-convex and nonlinear programming with complicated constraints. In order to solve such complex engineering problems, a new modified shuffled frog leaping algorith... 详细信息
来源: 评论
Arbitrage opportunities between energy, bilateral contracts and ancillary service markets
Arbitrage opportunities between energy, bilateral contracts ...
收藏 引用
7th international conference on Electrical and Electronics Engineering, ELECO 2011
作者: Çetin, Nebi Onur Özkan, Ziya Tör, Osman Bülent Electrical and Electronics Department Ankara Turkey TÜBITAK UZAY Power Systems Department METU Ankara Turkey
A competitive generation company (GENCO) can maximize its profit by discovering arbitrage opportunities in electricity markets. this paper formulates a GENCO's arbitrage problem using price-based unit commitment (... 详细信息
来源: 评论
Linear programming with fuzzy constraints based on nonlinear membership function
Linear programming with fuzzy constraints based on nonlinear...
收藏 引用
2011 8th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th international conference on Natural Computation, ICNC'11
作者: Qiu, Haiquan Hou, Yongchao Pan, Hua Mathematics Department Anhui Science and Technology University Fengyang 233100 China Mathematics Department Chaohu College Chaohu 238000 China
In this article, a new kind of method is proposed for solving linear programming (LP) problem with fuzzy constraints whose membership function are nonlinear. Firstly, a new target set is defined to characterize the op... 详细信息
来源: 评论
Graph matching based a probabilistic spectral method
Graph matching based a probabilistic spectral method
收藏 引用
2011 7th international conference on Natural Computation, ICNC 2011
作者: Ren, Zhenhua Zhao, Jieyu Research Institute of Computer Science and Technology Ningbo University Ningbo 315211 China
A large number of tasks in computer vision involve finding consistent correspondences between two sets of features. A common solution is graph matching which is widely used in various research areas. In this paper, we... 详细信息
来源: 评论
Changing system interfaces consistently: A new refinement strategy for CSP∥B
收藏 引用
SCIENCE OF COMPUTER programming 2011年 第10期76卷 837-860页
作者: Schneider, Steve Treharne, Helen Univ Surrey Dept Comp Guildford GU2 7XH Surrey England
this paper is concerned with event refinement in the context of CSP parallel to B. Our motivation to include this notion within the CSP parallel to B framework is the desire to increase flexibility in the refinement p... 详细信息
来源: 评论