咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 131 篇 期刊文献
  • 72 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 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. ...
  • 6 篇 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,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是161-170 订阅
排序:
Sequential Power per Area Optimization of Multichannel Neural Recording Interface Based on Dual Quadratic programming  7
Sequential Power per Area Optimization of Multichannel Neura...
收藏 引用
7th Annual international IEEE EMBS conference on Neural Engineering (NER)
作者: Zjajo, Amir Galuzzi, Carlo van Leuken, Rene Delft Univ Technol Circuits & Syst Grp NL-2628 CD Delft Netherlands
In this paper, we propose a novel method for power per area optimization under yield constrains in multichannel neural recording interface. Using a sequence of minimizations with iteratively-generated low-dimensional ... 详细信息
来源: 评论
Advanced Non-functional Property Evaluation of Web Services
Advanced Non-functional Property Evaluation of Web Services
收藏 引用
7th IEEE European conference on Web Services
作者: Li, Pei Comerio, Marco Maurino, Andrea De Paoli, Flavio Univ Milano Bicocca DISCo I-20126 Milan Italy
Web service evaluation is a phase in Web service selection where discovered Web services are evaluated with respect to user requests, which means that the non functional properties (NFPs) offered by Web services are c... 详细信息
来源: 评论
A Novel System for Robot Trajectory programming based on VR Tracking System  7
A Novel System for Robot Trajectory Programming based on VR ...
收藏 引用
7th international conference on Automation, Control and Robotics Engineering (CACRE)
作者: Ji, Yiming Kong, Minxiu Bian, Chuancheng Wang, Jiawang Harbin Inst Technol Sch Mechatron Engn State Key Lab Robot & Syst Harbin Peoples R China
this paper proposes an efficiently robot trajectory programming system that enables operators to program a robot conveniently. Based on VR tracking devices, a pen-shaped teaching tool is designed to track its position... 详细信息
来源: 评论
Multiple-Representation Visual Compositional Dataflow programming  23
Multiple-Representation Visual Compositional Dataflow Progra...
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Homer, Michael Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand
Many tasks that end users want to accomplish with a computer program are fundamentally data-flow transformations, and both visual and textual programming systems have been created to fill this need, but these are ofte... 详细信息
来源: 评论
Traffic Signal Light Control Model Based on Evolutionary programming Algorithm Optimization BP Neural Network  7
Traffic Signal Light Control Model Based on Evolutionary Pro...
收藏 引用
7th IEEE international conference on Electronics Information and Emergency Communication (ICEIEC)
作者: Jiang, Linying Li, Yachen Liu, Yuanlong Chen, Chao Northeastern Univ Dept Software Engn Software Coll Shenyang Liaoning Peoples R China
In this paper, evolutionary programming algorithm through the mutation operator and the selection strategy to find weights and threshold value. through this way, we can improve the training efficiency, speed up the co... 详细信息
来源: 评论
Zonotopes and the LP-Newton method
收藏 引用
OPTIMIZATION AND ENGINEERING 2009年 第2期10卷 193-205页
作者: Fujishige, Satoru Hayashi, Takumi Yamashita, Kei Zimmermann, Uwe Kyoto Univ Math Sci Res Inst Kyoto 6068502 Japan Tech Univ Carolo Wilhelmina Braunschweig Inst Math Optimierung D-38106 Braunschweig Germany
Although linear programming problems can be solved in polynomial time by the ellipsoid method and interior-point algorithms, there still remains a long-standing open problem of devising a strongly polynomial algorithm... 详细信息
来源: 评论
A Bi-Objective programming Model for Multimodal Transportation Routing Problem of Bulk Cargo Transportation  7
A Bi-Objective Programming Model for Multimodal Transportati...
收藏 引用
IEEE 7th international conference on Industrial Engineering and Applications (ICIEA)
作者: Maneengam, Apichit King Mongkuts Univ Technol North Bangkok Dept Mech Engn Technol Coll Ind Technol Bangkok Thailand
In this paper, we propose a bi-objective programming model to select the optimal route for moving a consignment of goods between the anchorage area at the Gulf of thailand to factories throughout thailand using a mult... 详细信息
来源: 评论
the typical environmental system optimization problems solved by computer software  7
The typical environmental system optimization problems solve...
收藏 引用
7th international conference on Modelling, Identification and Control (ICMIC)
作者: Liu, Baoyou Jin, Nanxi Hebei Univ Sci & Technol Coll Environm Sci & Engn Shijiazhuang 050018 Hebei Peoples R China
the best ecological and environmental benefits can be obtained with limited economic inputs by system optimization of typical ecological problems. In this paper, two typical ecological problems including resource allo... 详细信息
来源: 评论
Twelf and delphin:: Logic and functional programming in a meta-logical framework
Twelf and delphin:: Logic and functional programming in a me...
收藏 引用
7th international Symposium on functional and Logic programming
作者: Schürmann, C Yale Univ New Haven CT 06520 USA
来源: 评论
Solver Based Heuristics for Rolling Stocks Corrective Maintenance Scheduling  7th
Solver Based Heuristics for Rolling Stocks Corrective Mainte...
收藏 引用
7th international conference on Logistics Operations Management (GOL)
作者: Ray, Tom Bocquillon, Ronan T'kindt, Vincent SNCF Voyageurs Ingn Mat Cluster Ouest St Pierre Des Corps France Univ Tours Lab Informat Fondamentale & Appl Tours LIFAT Tours France
Trains have a constrained schedule and are not available on demand. If a malfunction is detected, the moment and the place to fix the problem while keeping the network at its optimal use may not be easy to find, given... 详细信息
来源: 评论