咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,402 篇 工学
    • 1,900 篇 计算机科学与技术...
    • 1,151 篇 软件工程
    • 418 篇 电气工程
    • 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
  • 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...
  • 64 篇 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,430 篇 英文
  • 144 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是2111-2120 订阅
排序:
Optimization of Nonlinear Structures based on Object-Oriented Parallel programming
Optimization of Nonlinear Structures based on Object-Oriente...
收藏 引用
7th international conference on Engineering Computational Technology
作者: Fischer, M. Firl, M. Masching, H. Bletzinger, K. -U. Tech Univ Munich Chair Struct Anal D-80290 Munich Germany
this contribution presents a computational framework for simulation and gradient-based structural optimization of geometrically nonlinear and large-scale structural finite element models. CAGD-free optimization method... 详细信息
来源: 评论
On using 3D animation for teaching computer programming in Cairo University
On using 3D animation for teaching computer programming in C...
收藏 引用
2010 7th international conference on Informatics and Systems, INFOS2010
作者: Salim, Ahmed Hassan, Sarah Hamdi, Sara Youssef, Shimaa Adel, Heba Khattab, Sherif El-Ramly, Mohammad Computer Science Department Faculty of Computers and Information Cairo University 5 Ahmed Zweil St. Orman Giza Egypt Egyptian E-Learning University 33 Mesaha St. Dokki Giza Egypt
In Egypt and in many developing countries, there is a high level of unemployment among youth with high and middle diplomas but with limited IT and computer programming skills or with limited ability to readjust to mar... 详细信息
来源: 评论
A decision support system for energy trading and portfolio optimization
A decision support system for energy trading and portfolio o...
收藏 引用
2010 7th international conference on the European Energy Market, EEM 2010
作者: Teive, R.C.G. Lange, T. Arfux, G.A.B. Queiroz, A.K. Rosa, L.F.S.C. Vieira Neto, A. Vale do Itajaí University - UNIVALI Santa Catarina Brazil ELETROSUL Brazilian Utility S.A Santa Catarina Brazil
In the new competitive environment of the electricity market, risk analysis is a powerful tool to guide investors under both contract uncertainties and energy prices of the spot market. Moreover, simulation of spot pr... 详细信息
来源: 评论
Understanding and optimizing weight factors in multi-objective geometric programming
Understanding and optimizing weight factors in multi-objecti...
收藏 引用
7th Annual international conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON 2010
作者: Soorapanth, theerachet National Electronics and Computer Technology Center Thailand
this paper provides insights into the impact of weight factors in multi-objective geometric programming (MOGP) optimization. Optimization of the weight factors is also considered. Generally, solving the multi-objectiv... 详细信息
来源: 评论
Constraint programming and Combinatorial Optimisation in Numberjack
Constraint Programming and Combinatorial Optimisation in Num...
收藏 引用
7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems
作者: Hebrard, Emmanuel O'Mahony, Eoin O'Sullivan, Barry Natl Univ Ireland Univ Coll Cork Dept Comp Sci Cork Constraint Computat Ctr Cork Ireland
Numberjack is a modelling package written in Python for embedding constraint programming and combinatorial optimisation into larger applications. It has been designed to seamlessly and efficiently support a number of ... 详细信息
来源: 评论
GM(1,1) based grey programming model for emergency goods scheduling
GM(1,1) based grey programming model for emergency goods sch...
收藏 引用
2010 7th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010
作者: Song, Xiaoyu Chang, Chunguang Liu, Chunhui School of Information and Control Engineering Shenyang Jianzhu University Shenyang China
To schedule emergency goods scientifically and effectively so as to meet the demand of emergency goods within limited time under uncertain circumstance, grey theory is introduced to establish a multi-objective grey pr... 详细信息
来源: 评论
the Gentle Art of Levitation
The Gentle Art of Levitation
收藏 引用
15th ACM SIGPLAN international conference on functional programming
作者: Chapman, James Dagand, Pierre-Evariste McBride, Conor Morris, Peter Tallinn Univ Technol Inst Cybernet Tallinn Estonia Univ Strathclyde Glasgow G1 1XQ Lanark Scotland Univ Nottingham Nottingham NG7 2RD England
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arises by interpreting its description-a fi... 详细信息
来源: 评论
A parallel branch and bound algorithm for solving large scale integer multiobjective problems
A parallel branch and bound algorithm for solving large scal...
收藏 引用
2010 7th international conference on Informatics and Systems, INFOS2010
作者: Ismail, Mahmoud M. Abd El-Wahed, Waiel F. Abd El-raoof, Osama Operations Research Department Faculty of Computers and Information Systems Zagazig EL-Sharkia Egypt Department of Operations Research Faculty of Computers and Information Menofia Univ. Egypt Decision Support Faculty of Computers and Information Menofia Univ. Egypt
the multi-objective integer programming problems in large scale are considered time consuming. In the past, mathematical structures were used that can get benefits of high processing powers and parallel processing. th... 详细信息
来源: 评论
Constraint programming with Arbitrarily Large Integer Variables
Constraint Programming with Arbitrarily Large Integer Variab...
收藏 引用
7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems
作者: Moss, Anna Intel Corp Haifa Israel
In the standard Constraint programming (CP) framework, an integer variable represents a signed integer and its domain is bounded by some minimal and maximal integer type values. In existing CP tools, the integer type ... 详细信息
来源: 评论
Proceedings of the 7th IASTED international conference on Signal Processing, Pattern Recognition and Applications, SPPRA 2010
Proceedings of the 7th IASTED International Conference on Si...
收藏 引用
7th IASTED international conference on Signal Processing, Pattern Recognition and Applications, SPPRA 2010
the proceedings contain 58 papers. the topics discussed include: analog multiplier for feed forward neural network signal processing;speech document retrieval based on dual roles of text classification;multiple object...
来源: 评论