咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1731-1740 订阅
排序:
Buffer allocation using exact linear programming formulations and sampling approaches
Buffer allocation using exact linear programming formulation...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Stolletz, Raik Weiss, Sophie University of Mannheim Business School Production Management Schloss 68131 Mannheim Germany
Several sampling approaches have been proposed in literature for the analysis of flow lines with stochastic processing times and finite buffer capacities. the system's performance can be evaluated by a linear prog... 详细信息
来源: 评论
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013 - Proceedings
7th IFAC Conference on Manufacturing Modelling, Management, ...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
the proceedings contain 371 papers. the topics discussed include: simulation technologies for long-term target planning and in-flight management of the spacecraft control systems;a graphical approach for solving singl...
来源: 评论
Multi-multiway cut problem on graphs of bounded branch width
Multi-multiway cut problem on graphs of bounded branch width
收藏 引用
7th international Frontiers in Algorithmics Workshop and the 9th international conference on Algorithmic Aspects in Information and Management, FAW-AAIM 2013
作者: Deng, Xiaojie Lin, Bingkai Zhang, Chihao Department of Computer Science Shanghai Jiao Tong University China
the Multi-Multiway Cut problem proposed by Avidor and Langberg [2] is a natural generalization of Multicut and Multiway Cut problems. that is, given a simple graph G and c sets of vertices S1, a,S c, the problem asks ... 详细信息
来源: 评论
Reliable speculative processing of out-of-order event streams in generic publish/subscribe middlewares  13
Reliable speculative processing of out-of-order event stream...
收藏 引用
7th ACM international conference on Distributed Event-Based Systems, DEBS 2013
作者: Mutschler, Christopher Philippsen, Michael University of Erlangen-Nuremberg Department of Computer Science Programming Systems Group Erlangen Germany Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany
In surveillance, sports, finances, etc., distributed event-based systems are used to detect meaningful events with low latency in high data rate event streams. Both known approaches to deal with the predominant out-of... 详细信息
来源: 评论
Genetic programming of augmenting topologies for hypercube-based indirect encoding of artificial neural networks
Genetic programming of augmenting topologies for hypercube-b...
收藏 引用
7th international conference on Soft Computing Models in Industrial and Environmental Applications, SOCO'12
作者: Drchal, Jan Šnorek, Miroslav Department of Computer Science and Engineering FEE CTU Karlovo náměstí 13 121 35 Praha 2 Czech Republic
In this paper we present a novel algorithm called GPAT (Genetic programming of Augmenting Topologies) which evolves Genetic programming (GP) trees in a similar way as a well-established neuro-evolutionary algorithm NE... 详细信息
来源: 评论
Adding secure communication mechanism to existing distributed applications by means of AOP
Adding secure communication mechanism to existing distribute...
收藏 引用
7th international conference on Ubiquitous Information Technologies and Applications, CUTE 2012
作者: Sahingoz, Ozgur Koray Turkish Air Force Academy Computer Engineering Department 34149 Istanbul Turkey
the object-oriented programming paradigm is a process of implementing a program by means of 'Objects' into which separate concerns are grouped. However, it does not map some types of concerns such as security,... 详细信息
来源: 评论
Rule revision in normal DL logic programs
Rule revision in normal DL logic programs
收藏 引用
7th international conference on Web Reasoning and Rule Systems, RR 2013
作者: Binnewies, Sebastian Wang, Yisong Stantic, Bela Wang, Kewen School of Information and Communication Technology Griffith University QLD Australia
Although several proposals to combine description logics with logic programming rules have been brought forward, hardly any of these approaches capture the dynamic nature of the Semantic Web. In this paper, we look at... 详细信息
来源: 评论
7th international Summer School on Aggregation Operators, AGOP 2013
7th International Summer School on Aggregation Operators, AG...
收藏 引用
7th international Summer School on Aggregation Operators, AGOP 2013
the proceedings contain 51 papers. the special focus in this conference is on Aggregation Operators. the topics include: R Package to Handle Archimax or Any User-Defined Continuous Copula Construction: acopula;how to ...
来源: 评论
A New Multiobjective Genetic programming for Extraction of Design Information from Non-dominated Solutions
A New Multiobjective Genetic Programming for Extraction of D...
收藏 引用
7th international conference on Eevolutionary Mmulti-Criterion Optimization (EMO)
作者: Tatsukawa, Tomoaki Nonomura, Taku Oyama, Akira Fujii, Kozo Japan Aerosp Explorat Agcy Inst Space & Astronaut Sci Sagamihara Kanagawa 2525210 Japan
We propose a new type of multi-objective genetic programming (MOGP) for multi-objective design exploration (MODE). the characteristic of the new MOGP is the simultaneous symbolic regression to multiple objective funct... 详细信息
来源: 评论
A Dimensionally-Aware Genetic programming Architecture for Automated Innovization
A Dimensionally-Aware Genetic Programming Architecture for A...
收藏 引用
7th international conference on Evolutionary Multi-Criterion Optimization (EMO)
作者: Bandaru, Sunith Deb, Kalyanmoy Indian Inst Technol Kanpur 208016 Uttar Pradesh India
Automated innovization is an unsupervised machine learning technique for extracting useful design knowledge from Pareto-optimal solutions in the form of mathematical relationships of a certain structure. these relatio... 详细信息
来源: 评论