咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1601-1610 订阅
排序:
A cognitive API and its application to AGI intelligence assessment
收藏 引用
7th international conference on Artificial General Intelligence, AGI 2014
作者: Goertzel, Ben Yu, Gino OpenCog Foundation Hong Kong School of Design Hong Kong Poly U Hong Kong
An Application programming Interface for human-level AGI systems is proposed, aimed at bridging the gap between proto-AGI R&D systems and practical AI application development. the API contains simply formalized qu... 详细信息
来源: 评论
international Joint conference on 9th international conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2014 with 7th international conference on Computational Intelligence in Security for Information Systems, CISIS 2014 and 5th international conference on EUropean Transnational Education, ICEUTE 2014
International Joint Conference on 9th International Conferen...
收藏 引用
international Joint conference on 9th international conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2014 with 7th international conference on Computational Intelligence in Security for Information Systems, CISIS 2014 and 5th international conference on EUropean Transnational Education, ICEUTE 2014
the proceedings contain 58 papers. the special focus in this conference is on Evolutionary computation and optimization, Intelligent systems, Applications, Classification and clustering methods, Soft computing methods...
来源: 评论
functional Imaging and Modeling of the Heart - 7th international conference, FIMH 2013, Proceedings
Functional Imaging and Modeling of the Heart - 7th Internati...
收藏 引用
7th international conference on functional Imaging and Modeling of the Heart, FIMH 2013
来源: 评论
A binary integer programming model for global optimization of learning path discovery
A binary integer programming model for global optimization o...
收藏 引用
Workshops on Educational Data Mining, WSEDM 2014 - Co-located with 7th international conference on Educational Data Mining, EDM 2014
作者: Belacel, Nabil Durand, Guillaume Laplante, François National Research Council Canada 100 des Aboiteaux St. MonctonE1A 7R1 Canada Université de Moncton 60 Notre-Dame-du-Sacré-Coeur St. MonctonE1A 3E9 Canada
this paper introduces a method based on graph theory and operations research techniques to optimize learning path discovery. In this method, learning objects are considered as nodes and competencies as vertices of a l... 详细信息
来源: 评论
Design and implementation of multilanguage name card reader on Android platform  7
Design and implementation of multilanguage name card reader ...
收藏 引用
2014 7th international conference on Advanced Technologies for Communications, ATC 2014
作者: Vuong, Bao Quoc Do, Hung Ngoc School of Electrical Engineering International University VNM National University Viet Nam
In recent years, the rapid development of smartphone subscribers has played an important role in the trend of moving applications from computers to mobile devices. there are thousands of new mobile applications upload... 详细信息
来源: 评论
Defensibility-based Classification for Argument Mining  14
Defensibility-based Classification for Argument Mining
收藏 引用
14th IEEE international conference on Data Mining (IEEE ICDM)
作者: Kido, Hiroyuki Ohsawa, Yukio Univ Tokyo Sch Engn Bunkyo Ku 7-3-1 Hongo Tokyo 1138656 Japan
this paper shows a preliminary report regarding classification techniques based on argumentation theory in artificial intelligence. A classification problem is defined on a directed graph, i.e., an argumentation frame... 详细信息
来源: 评论
Multiple objective optimization for multistage transportation system under uncertainty
Multiple objective optimization for multistage transportatio...
收藏 引用
7th international conference on Management Science and Engineering Management, ICMSEM 2013
作者: Feng, Cuiying Ouyang, Chi Song, Xiaoling Uncertainty Decision-Making Laboratory Sichuan University Chengdu 610064 China
this paper discusses a multistage dynamic transportation allocation problem (DTAP) in a earth-rock transportation system under fuzzy environment, which is a multi-objective optimization process for minimizing total co... 详细信息
来源: 评论
programming Global and Local Sequence Alignment by Using R
Programming Global and Local Sequence Alignment by Using R
收藏 引用
7th international conference on Intelligent Systems and Knowledge Engineering, ISKE 2012
作者: González-Pérez, Beatriz López, Victoria Sampedro, Juan Universidad Complutense de Madrid 28040 Madrid Spain
R [2] is a programming language primarily oriented to statistical and graphical analysis. Since R is an open source language, new functions of very different fields are continuously appearing all around the world. Ope... 详细信息
来源: 评论
A Case Study of Ordering Policy with Mass Customization  7
A Case Study of Ordering Policy with Mass Customization
收藏 引用
7th international Joint conference on Computational Sciences and Optimization (CSO)
作者: Tang, Huajun Zhang, Xiaodan Huang, Bo Macau Univ Sci & Technol Sch Business Taipa Peoples R China
Demand management has been one popular topic in supply chain management, but there is little attention on the demand forecasting in customized items. this study determines customized levels and proposes the ordering p... 详细信息
来源: 评论
Combinatorial Testing for an Automotive Hybrid Electric Vehicle Control System
Combinatorial Testing for an Automotive Hybrid Electric Vehi...
收藏 引用
7th IEEE international conference on Software Testing, Verification and Validation (ICST)
作者: Dhadyalla, Gunwant Kumari, Neelu Snell, Timothy Univ Warwick WMG Coventry CV4 7AL W Midlands England Jaguar Land Rover Hybrids & Electrificat Warwick England
Embedded electrical systems for passenger vehicles are highly complex distributed systems with varying system boundaries. the surge towards further electrification of vehicles demands the deployment of high voltage sy... 详细信息
来源: 评论