咨询与建议

限定检索结果

文献类型

  • 3,394 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,401 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 420 篇 电气工程
    • 272 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 74 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 61 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 43 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 37 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 675 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 53 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 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...
  • 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,496 篇 英文
  • 79 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是1281-1290 订阅
排序:
ACM international conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
7th Workshop on Parallel programming and Run-Time Management Techniques for Many-Core Architectures and 5th Workshop on Design Tools and Architectures For Multicore Embedded Computing Platforms, PARMA-DITAM 2016
the proceedings contain 6 papers. the topics discussed include: stack size estimation on machine-independent intermediate code for OpenCL kernels;predictive modeling methodology for compiler phase-ordering;flexible re...
来源: 评论
Initial implementation of natural language turn-based dialog system  7th
Initial implementation of natural language turn-based dialog...
收藏 引用
7th international conference on Intelligent Human Computer Interaction (IHCI)
作者: Wachtel, Alexander Weigelt, Sebastian Tichy, Walter F. Karlsruhe Inst Technol Programming Syst Prof Walter F Tichy Fasanengarten 5 D-76131 Karlsruhe Germany
Our prototype implements a natural language dialog system for Excel spreadsheets. the work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need inte... 详细信息
来源: 评论
Modeling and random path-based direct encoding for a closed loop supply chain model with flexible delivery paths
Modeling and random path-based direct encoding for a closed ...
收藏 引用
7th IFAC conference on Management and Control of Production and Logistics (MCPL 2016)
作者: Behmanesh, E. Pannek, J. Univ Bremen Germany Fac Prod Engn Bremen Germany
Due to business and environmental issues, industrial players are under a pressure to take back the product after its use. kloreover, the significance. of transportation cost and customer satisfaction spurs an interest... 详细信息
来源: 评论
Analysis of Graphic Method to Fuzzy Linear programming and Its Application in Science Diet  7th
Analysis of Graphic Method to Fuzzy Linear Programming and I...
收藏 引用
7th international conference on Fuzzy Information and Engineering (ICFIE) / 1st international conference of Operations Research and Management (ICORM)
作者: Cao, Bing-Yuan Lu, Shu-Quan Wang, Pei-Hua Zhang, Gen-Tao Guangzhou Univ Sch Math & Informat Sci Guangzhou Univ Key Lab Math & Interdisciplinary S Guangzhou 510006 Guangdong Peoples R China Guangzhou Vocat Coll Sci & Technol Guangzhou 510550 Guangdong Peoples R China Guangzhou Univ Guangzhou 510550 Guangdong Peoples R China
In this paper, a simple graphic method is mentioned and then used to solve the problem of two-dimensional fuzzy linear programming. Besides, we discuss the set of feasible solution constituted by constraint function. ... 详细信息
来源: 评论
A multi-product maritime inventory routing problem with undedicated compartments  7th
A multi-product maritime inventory routing problem with unde...
收藏 引用
7th international conference on Computational Logistics, ICCL 2016
作者: Foss, Elise Myklebust, Trine N. Andersson, Henrik Christiansen, Marielle Department of Industrial Economics and Technology Management Norwegian University of Science and Technology Trondheim Norway
this paper considers the problem of routing bulk tankers to minimize cost while managing the inventory in ports. Multiple nonmixable products are transported and the allocation of products to undedicated compartments ... 详细信息
来源: 评论
A Research on Empty Container Allocation Problem
A Research on Empty Container Allocation Problem
收藏 引用
international conference on Logistics, Informatics and Service Sciences (LISS)
作者: Tian, Ji Chang, Dan Beijing Jiaotong Univ Sch Econ & Management Beijing Peoples R China
Container transportation is a significant guarantee to the realization of many international trades and playing a significant role in the transactions across borders. Empty container allocation and management relate t... 详细信息
来源: 评论
the Teachers' Voice: Using Photovoice and Concept Mapping to Evaluate an Innovative Prekindergarten Robotics Program  1
收藏 引用
7th international conference on Concept Mapping (CMC)
作者: Carlson, Deborah L. Wehry, Stephanie McLemore, Bronwyn Univ North Florida Jacksonville FL 32224 USA
the purpose of this paper is to describe the results of a photovoice evaluation of a robotics and programming project for prekindergarten (RAPP). RAPP researchers developed and implemented the program at three urban c... 详细信息
来源: 评论
A Penalized Best-Response Algorithm for Nonlinear Single-Path Routing Problems
收藏 引用
NETWORKS 2017年 第1期69卷 52-66页
作者: Brun, Olivier Prabhu, Balakrishna Vallet, Josselin Univ Toulouse CNRS LAAS Toulouse France Univ Toulouse LAAS F-31400 Toulouse France Viveris Technol 1 Ave Europe F-31400 Toulouse France
this article is devoted to nonlinear single-path routing problems, which are known to be NP-hard even in the simplest cases. For solving these problems, we propose an algorithm inspired from Game theory in which indiv... 详细信息
来源: 评论
IMAGE BASED CAD SYSTEM FOR ACCURATE IDENTIFICATION OF LUNG INJURY  23
IMAGE BASED CAD SYSTEM FOR ACCURATE IDENTIFICATION OF LUNG I...
收藏 引用
23rd IEEE international conference on Image Processing (ICIP)
作者: Soliman, Ahmed Khalifa, Fahmi Shaffie, Ahmed Liu, Ni Dunlap, Neal Wang, Brian Elmaghraby, Adel Gimel'farb, Georgy El-Baz, Ayman Univ Louisville Dept Bioengn BioImaging Lab Louisville KY 40292 USA Univ Louisville Comp Engn & Comp Sci Dept Louisville KY 40292 USA Univ Auckland Dept Comp Sci Auckland New Zealand Univ Louisville Dept Radiat Oncol Louisville KY 40292 USA
this paper proposes a novel framework for the identification of the radiation-induced lung injury (RILI) after radiation therapy (RT) using 4D computed tomography (CT) scans. the proposed methodology consists of four ... 详细信息
来源: 评论
Guided installation of basic linear algebra routines in a cluster with manycore components
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第15期29卷 1-14页
作者: Cuenca, J. Garcia, L. P. Gimenez, D. Herrera, F. J. Univ Murcia Dept Engn & Technol Comp Murcia Spain Tech Univ Cartagena Serv Support Technol Res Murcia Spain Univ Murcia Dept Comp & Syst Murcia Spain
Computational systems are nowadays composed of basic computational components that share multiprocessors and coprocessors of different types, typically several graphics processing units (GPUs) or many integrated cores... 详细信息
来源: 评论