咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1251-1260 订阅
排序:
Modeling and optimization of a robust gas sensor  7
Modeling and optimization of a robust gas sensor
收藏 引用
7th international conference on Bioinspired Optimization Methods and their Applications, BIOMA 2016
作者: Rebolledo, Margarita A.C. Krey, Sebastian Bartz-Beielstein, thomas Flasch, Oliver Fischbach, Andreas Stork, Jörg SPOTSeven Lab. TH Köln Gummersbach Germany
In this paper we present a comparison of different data driven modeling methods. the first instance of a data driven linear Bayesian model is compared with several linear regression models, a Kriging model and a genet... 详细信息
来源: 评论
Revenue Efficiency Measurement With Undesirable Data in Fuzzy DEA  7
Revenue Efficiency Measurement With Undesirable Data in Fuzz...
收藏 引用
7th international conference on Intelligent Systems, Modelling and Simulation (ISMS)
作者: Aghayi, Nazila Islamic Azad Univ Ardabil Branch Dept Math Ardebil Iran
Most DEA models were initially considered only for crisp desirable inputs and outputs;but in the real world data have imprecise value;fuzzy concept is too important as imprecise and undesirable data. Moreover, the dec... 详细信息
来源: 评论
Combination of a dynamic-hybrid berth allocation problem with a quay crane scheduling problem  7
Combination of a dynamic-hybrid berth allocation problem wit...
收藏 引用
7th international conference on Information, Intelligence, Systems and Applications, IISA 2016
作者: Alnaqbi, Bushra Alrubaiai, Hanan Alawi, Shaikha Al Engineering Systems and Management Masdar Institute of Science and Technology Abu Dhabi United Arab Emirates
Recently due to the increasing pressure to improve the efficiency of port operations, a great deal of research has been devoted to optimizing container terminal operations. Most papers deal with either the berth alloc... 详细信息
来源: 评论
Assessing the performance portability of modern parallel programming models using TeaLeaf
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第15期29卷 1-15页
作者: Martineau, Matthew McIntosh-Smith, Simon Gaudin, Wayne Univ Bristol HPC Grp Bristol Avon England UK Atom Weap Estab AWE Aldermaston England
In this work, we evaluate several emerging parallel programming models: Kokkos, RAJA, OpenACC, and OpenMP 4.0, against the mature CUDA and OpenCL APIs. Each model has been used to port Tealeaf, a miniature proxy appli... 详细信息
来源: 评论
Minimum Description Length Principle Based Atomic Norm for Synthetic Low-rank Matrix Recovery  7
Minimum Description Length Principle Based Atomic Norm for S...
收藏 引用
7th international conference on Cloud Computing and Big Data (CCBD)
作者: Qin, Anyong Shang, Zhaowei Zhang, Taiping Ding, Yiyang Tang, Yuan Yan Chongqing Univ Dept Comp Sci Chongqing Peoples R China Univ Macau Dept Comp & Informat Sci Macau Peoples R China
Recovering underlying low-rank structure of clean data corrupted with sparse noise/outliers has been attracting increasing interest. However, in many low-rank problems, neither the exact rank of estimated matrix nor t... 详细信息
来源: 评论
Research on the Application of the Method of System Engineering in Computer Software Design
Research on the Application of the Method of System Engineer...
收藏 引用
2017 7th ICEA international conference on Information Science, Library Science and Social Sciences (ILS 2017)
作者: Hengni Ren College of Information and Engineering Shaanxi Institute of International Trade & Commerce
With the rapid development of computer technology, the computer has gradually become an indispensable part of people's lives. All kinds of programming language of computer have been mastered and used by more peopl... 详细信息
来源: 评论
ICPE 2016 Companion - Companion Publication for 7th ACM/SPEC international conference on Performance Engineering
ICPE 2016 Companion - Companion Publication for 7th ACM/SPEC...
收藏 引用
7th ACM/SPEC international conference on Performance Engineering, ICPE 2016
the proceedings contain 10 papers. the topics discussed include: towards the prediction of the performance and energy efficiency of distributed data management systems;performance testing in software development: gett...
来源: 评论
A New Template Update Scheme for Visual Tracking  7
A New Template Update Scheme for Visual Tracking
收藏 引用
7th international conference on Cloud Computing and Big Data (CCBD)
作者: Lu, Xiaohuan Yi, Shuangyan He, Zhenyu Wang, Hongpeng Chen, Wen-Sheng Harbin Inst Technol Shenzhen Grad Sch Sch Comp Sci & Technol Shenzhen Peoples R China Shenzhen Univ Coll Math & Stat Shenzhen Key Lab Media Secur Shenzhen Peoples R China
Single object tracking can be focused on two phases under the particle filter framework: one is sparse representation, which can be regarded as a matching evaluation;the other is template update, which can be regarded... 详细信息
来源: 评论
On the Fuzzy Fractional Posynomial Geometric programming Problems  7th
On the Fuzzy Fractional Posynomial Geometric Programming Pro...
收藏 引用
7th international conference on Fuzzy Information and Engineering (ICFIE) / 1st international conference of Operations Research and Management (ICORM)
作者: Zahmatkesh, F. Cao, Bing-yuan Guangzhou Univ Higher Educ Inst Key Lab Math & Interdisciplinary Sci Guangdong Sch Math & Informat Sci Guangzhou 510006 Guangdong Peoples R China Guangzhou Univ Guangzhou 510550 Guangdong Peoples R China
In this paper we consider the solution method for fuzzy fractional posynomial geometric programming (FFPGP) problems. the problem of concern involves positive trapezoidal fuzzy numbers in the objective function. the p... 详细信息
来源: 评论
Exploring one-sided communication and synchronization on a non-cache-coherent many-core architecture
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第15期29卷
作者: Christgau, Steffen Schnor, Bettina Univ Potsdam Inst Comp Sci August Bebel Str 89 D-14482 Potsdam Germany
the ongoing many-core design aims at core counts where cache coherence becomes a serious challenge. therefore, this paper discusses how one-sided communication and the required process synchronization can be realized ... 详细信息
来源: 评论