咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2571-2580 订阅
排序:
the estimation of optimum rate of possible routes for transportation system in chador-malu iron ore mine
The estimation of optimum rate of possible routes for transp...
收藏 引用
7th international Scientific conference on Modern Management of Mine Producing, Geology and Environmental Protection, SGEM 2007
作者: Ataei, M. Mikaeil, R. Shahrood University of Technology Mining Engineering Department Shahrood Iran
In the open-pit mining industry, trucks and shovels are the mining technology of choice;however, it is widely recognized that the operation of these trucks and shovels contributes significantly to the overall operatio... 详细信息
来源: 评论
Stack-based strategic control
Stack-based strategic control
收藏 引用
7th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2007, as part of the 4th Federated conference on Rewriting, Deduction, and programming, RDP 2007
作者: Winter, Victor L. Department of Computer Science University of Nebraska at Omaha United States
In a strategic framework, combinators provide a fundamental mechanism for exercising control over rewriting. this type of control is based on the observation of the success or failure of strategy application. this pap... 详细信息
来源: 评论
A genetic algorithm for solving a special class of Nonlinear bilevel programming problems
A genetic algorithm for solving a special class of Nonlinear...
收藏 引用
7th international conference on Computational Science (ICCS 2007)
作者: Li, Hecheng Wang, Yuping Xidian Univ Sch Comp Sci & Technol Xian 710071 Peoples R China Xidian Univ Sch Sci Xian 710071 Peoples R China
A special nonlinear bilevel programming problem (BLPP), whose follower-level problem is a convex programming with a linear objective function in y, is transformed into an equivalent single-level programming by using K... 详细信息
来源: 评论
Evolvable Systems: From Biology to Hardwares - 7th international conference, ICES 2007 Proceedings
收藏 引用
7th international conference on Evolvable Systems: From Biology to Hardware, ICES 2007
the proceedings contain 41 papers. the topics discussed include: an online EHW pattern recognition system applied to sonar spectrum classification;design of electronic circuits using a divide-and-conquer approach;impl... 详细信息
来源: 评论
Reduction of complexity and automation of parallel execution through loop level parallelism
Reduction of complexity and automation of parallel execution...
收藏 引用
7th international conference on Quality Software
作者: Tefft, Robert A. Lee, Roger Y. Cent Michigan Univ Dept Comp Sci Mt Pleasant MI 48859 USA Cent Michigan Univ SEITI Mt Pleasant MI 48859 USA
SHAM (Single Instruction Multiple Data) is a processor-architecture classification from Flynn's taxonomy. the concept is that a single instruction set operates on multiple units of data simultaneously. Computers u... 详细信息
来源: 评论
Anahy: A programming environment for cluster computing
Anahy: A programming environment for cluster computing
收藏 引用
7th international conference on High Performance Computing for Computational Science
作者: Cavalheiro, Gerson Geraldo H. Gaspary, Luciano Paschoal Cardozo, Marcelo Auguste Cordeiro, Otavio Corra Univ Fed Pelotas Pelotas Brazil Univ Fed Rio Grande do Sul Porto Alegre RS Brazil Univ Vale Rio dos Sinos Sao Leopoldo RS Brazil
this paper presents Anahy, a programming environment for cluster computing. Anahy is presented in terms of its programming interface (API) and its scheduling mechanism. the main features of this environment are the sp... 详细信息
来源: 评论
A conference management system based on the iData toolkit
收藏 引用
18th international Symposium on Implementation and Application of functional Languages, IFL 2006
作者: Plasmeijer, Rinus Achten, Peter Software Technology Nijmegen Institute for Computing and Information Sciences Radboud University Nijmegen
the iData Toolkit is a purely functional toolkit for the Clean programming language to create highly dynamic, interactive, thin client web applications on a high level of abstraction. Its main building block is the iD... 详细信息
来源: 评论
Automatic synthesis of practical passive filters using clonal selection principle-based gene expression programming  1
收藏 引用
7th international conference on Evolvable Systems
作者: Gan, Zhaohui Yang, Zhenkun Li, Gaobin Jiang, Min Wuhan Univ Sci & Technol Coll Informat Sci & Engn Wuhan 430081 Peoples R China Wuhan Univ Sci & Technol Coll Comp Sci AH-430081 Wuhan Peoples R China
this paper proposes a new method to synthesize practical passive filter using Clonal Selection principle-based Gene Expression programming and binary tree representation. the circuit encoding of this method is simple ... 详细信息
来源: 评论
Explicit consideration of multiple objectives in cellular manufacturing
Explicit consideration of multiple objectives in cellular ma...
收藏 引用
7th international conference on Adaptive Computing in Design and Manufacture (ACDM)
作者: 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... 详细信息
来源: 评论
JaceV: A programming and execution environment for asynchronous iterative computations on volatile nodes
JaceV: A programming and execution environment for asynchron...
收藏 引用
7th international conference on High Performance Computing for Computational Science
作者: Bahi, Jacques M. Couturier, Raphael Vuillemin, Philippe Univ Franche Comte LIFC F-25030 Besancon France
In this paper we present JaceV, a multi-threaded Java based library designed to build asynchronous parallel iterative applications (with direct communications between computation nodes) and execute them in a volatile ... 详细信息
来源: 评论