咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2481-2490 订阅
排序:
Software Process Fusion: Exploring process relationships
Software Process Fusion: Exploring process relationships
收藏 引用
IEEE international conference on Cognitive Informatics
作者: Kim Man Lui Keith C.C. Chan Department of Computing Hong Kong Polytechnic University Hong Kong China
Software process fusion has been reported that two processes can be fused together for team productivity. In this paper, we will discuss why and how two processes can actually be fused. We further examine two fused mo... 详细信息
来源: 评论
programming agents as a means of capturing self-strategy
Programming agents as a means of capturing self-strategy
收藏 引用
7th international Joint conference on Autonomous Agents and Multiagent Systems, AAMAS 2008
作者: Chalamish, Michal Sarne, David Kraus, Sarit Computer Science Department Bar-llan University Ramat-Gan 52900 Israel
In this paper we report results of an extensive evaluation of people's ability to reproduce the strategies they use in simple real-life settings. Having the ability to reliably capture people's strategies in d... 详细信息
来源: 评论
Strong probabilistic planning
收藏 引用
7th Mexican international conference on Artificial Intelligence, MICAI 2008
作者: Do Lago Pereira, Silvio De Barros, Leliane Nunes Cozman, Fábio Gagliardi Institute of Mathematics and Statistics University of São Paulo Rua do Matão 1010 São Paulo Brazil
We consider the problem of synthesizing policies, in domains where actions have probabilistic effects, that are optimal in the expected-case among the optimal worst-case strong policies. thus we combine features from ... 详细信息
来源: 评论
A Particle Swarm Optimization Based Algorithm for Fuzzy Bilevel Decision Making with Objective-Shared Followers
A Particle Swarm Optimization Based Algorithm for Fuzzy Bile...
收藏 引用
7th international conference on Simulated Evolution and Learning
作者: Gao, Ya Zhang, Guangquan Lu, Jie Univ Technol Sydney Fac Engn & Informat Technol Sydney NSW 2007 Australia
A bilevel decision problem may have multiple followers as the lower decision units and have fuzzy demands simultaneously. this paper focuses on problems of fuzzy linear bilevel decision making with multiple followers ... 详细信息
来源: 评论
Novel silicon mems fabrication processes including anodic bonding of extremely thin (60 μm -thick) silicon film on glass substrate
Novel silicon mems fabrication processes including anodic bo...
收藏 引用
7th international conference on Semiconductor Technology, ISTC 2008
作者: Nara, Takayuki Oku, Kouki Fukai, Yoshifumi Hatagouchi, Hideki Nishioka, Yasushiro Department of Precision Machinery College of Science and Technology Nihon University 7-24-1 Narashinodai Funabashi-shi Chiba 274-8501 Japan Research Center for Micro-Functional Devices Nihon University College of Science and Technology 7-24-1 Narashinodai Funabashi-shi Chiba 274-8501 Japan
A new silicon MEMS process has been proposed utilizing anodic bonding of an extremely thin silicon film (60 μm) on a glass substrate, followed by photo lithographically defining micro spring structures on the silicon... 详细信息
来源: 评论
Parallel multiprocessor approaches to the RNA folding problem
收藏 引用
7th international conference on Parallel Processing and Applied Mathematics, PPAM 2007
作者: Ogoubi, Étienne Pouliot, David Turcotte, Marcel Hafid, Abdelhakim Département d'Informatique et de Recherche Opérationnelle Université de Montréal Pavillon André-Aisenstadt C.P. 6128 succursale Centre-ville Montréal QC H3C 3J7 Canada School of Information Technology and Engineering University of Ottawa 800 King Edward Avenue Ottawa ON K1N 6N5 Canada
To quickly and efficiently fold long ribonucleic acid (RNA) sequences, fast computational models are needed. this paper compares two parallel multiprocessor computer architectures for the prediction of RNA secondary s... 详细信息
来源: 评论
Linear-programming Decoding of Non-binary Linear Codes
Linear-programming Decoding of Non-binary Linear Codes
收藏 引用
7th international ITG conference on Source and Channel Coding
作者: Mark F. Flanagan Vitaly Skachek Eimear Byrne Marcus Greferath Institute for Digital Communications The University of Edinburgh EH9 3JL Scotland Claude Shannon Institute University College Dublin Belfield Dublin 4 Ireland
We develop a framework for linear-programming (LP) decoding of non-binary linear codes over rings. We prove that the resulting LP decoder has the `maximum likelihood certificate' property, and we show that the dec... 详细信息
来源: 评论
An Island Based Hybrid Evolutionary Algorithm for Optimization
An Island Based Hybrid Evolutionary Algorithm for Optimizati...
收藏 引用
7th international conference on Simulated Evolution and Learning
作者: Li, Changhe Yang, Shengxiang Univ Leicester Dept Comp Sci Leicester LE1 7RH Leics England
Evolutionary computation has become an important problem Solving methodology among the Set of search and Optimization techniques. Recently, more and more different evolutionary techniques have been developed, especial... 详细信息
来源: 评论
Numerical limit analysis of two dimensional structures by the MLPG method with natural neighbour interpolation
Numerical limit analysis of two dimensional structures by th...
收藏 引用
7th international conference on Fracture and Strength of Solids
作者: Chen, S. S. Li, Y. H. Cen, Z. Z. Tsinghua Univ Dept Engn Mech Beijing 100084 Peoples R China
In most engineering applications, solutions derived from the lower bound theorem of limit analysis are particularly valuable because they provide a safe estimate of the load that will cause collapse. In this paper, th... 详细信息
来源: 评论
Optical access network design for reliability optimization in 3G cellular networks
Optical access network design for reliability optimization i...
收藏 引用
the Joint international conference on Optical Internet and Next Generation Network (COIN-NGNCON)
作者: Ekkaluk Eksook Chutima Prommak School of Telecommunication Engineering Suranaree University슠of Technology Nakhon Ratchasima Thailand
this paper address the network reliability optimization problem in the optical access network design for the 3G cellular systems. We presents a novel 0-1 integer programming model for designing optical access network ... 详细信息
来源: 评论