咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1171-1180 订阅
排序:
2017 7th international conference on Computer and Knowledge Engineering, ICCKE 2017
2017 7th International Conference on Computer and Knowledge ...
收藏 引用
7th international conference on Computer and Knowledge Engineering, ICCKE 2017
the proceedings contain 77 papers. the topics discussed include: bi-objective version of team orienteering problem (BTOP);GLCM features and fuzzy nearest neighbor classifier for emotion recognition from face;using the...
来源: 评论
Risk-Based Self-Scheduling of Gencos in Smart Grids considering a New Method for Bilateral Contracts  17
Risk-Based Self-Scheduling of Gencos in Smart Grids consider...
收藏 引用
17th IEEE international conference on Environment and Electrical Engineering (IEEE EEEIC) / 1st IEEE Industrial and Commercial Power Systems Europe conference (IEEE I and CPS Europe)
作者: Shafie-khah, Miadreza Osorio, Gerardo J. Fitiwi, Desta Z. Catalao, Joao P. S. Siano, Pierluigi C MAST UBI Covilha Portugal INESC TEC Porto Portugal FEUP Porto Portugal INESC ID IST UL Lisbon Portugal Univ Salerno Dept Ind Engn Salerno Italy
In this work, the self-scheduling problem of a power producer in smart grids is addressed using a stochastic programming approach. Different uncertainties are considered as price uncertainties, forced-outage of the un... 详细信息
来源: 评论
Proceedings of the 7th international conference Confluence 2017 on Cloud Computing, Data Science and Engineering
Proceedings of the 7th International Conference Confluence 2...
收藏 引用
7th international conference on Cloud Computing, Data Science and Engineering, Confluence 2017
the proceedings contain 148 papers. the topics discussed include: a practical approach of GPU bubble sort with CUDA hardware;web log analyzer tools: comparative study to analyze user behavior;a survey on driver behavi...
来源: 评论
Exploring one-sided communication and synchronization on a non-cache-coherent many-core architecture
Exploring one-sided communication and synchronization on a n...
收藏 引用
Euro-Par conference / 7th international Workshop on programming Models and Applications for Multicores and Manycores (PMAM) held in conjunction with the 21st SIGPLAN Symposium on Principles and Practice of Parallel programming (PPoPP)
作者: 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 ... 详细信息
来源: 评论
JParEnt: Parallel entropy decoding for JPEG decompression on heterogeneous multicore architectures  7
JParEnt: Parallel entropy decoding for JPEG decompression on...
收藏 引用
Euro-Par conference / 7th international Workshop on programming Models and Applications for Multicores and Manycores (PMAM) held in conjunction with the 21st SIGPLAN Symposium on Principles and Practice of Parallel programming (PPoPP)
作者: Sodsong, Wasuwee Jung, Minyoung Park, Jinwoo Burgstaller, Bernd Yonsei Univ Dept Comp Sci Seoul South Korea
the JPEG format employs Huffman codes to compress the entropy data of an image. Huffman codewords are of variable length, which makes parallel entropy decoding a difficult problem. To determine the start position of a... 详细信息
来源: 评论
Grounded representations through deep variational inference and dynamic programming  7
Grounded representations through deep variational inference ...
收藏 引用
7th joint IEEE international conference on Development Learning and Epigenetic Robotic (IEEE ICDL-EpiRob)
作者: Olier, Juan Sebastian Barakova, Emilia Rauterberg, Matthias Marcenaro, Lucio Regazzoni, Carlo Eindhoven Univ Technol Dept Ind Design Eindhoven Netherlands Univ Genoa Dept Elect Elect & Telecommun Engn & Naval Archit Genoa Italy Univ Carlos III Madrid Intelligent Syst Lab Madrid Spain
In this work, we present a method for building grounded representations by structuring the sensorimotor data of an agent. the aim is to encode sensory inputs into internal states that describe action-environment coupl... 详细信息
来源: 评论
Geothermal distribution network modeled as Heat Exchanger Network to be optimized with Mixed Integer Nonlinear programming
Geothermal distribution network modeled as Heat Exchanger Ne...
收藏 引用
7th international conference on Future Buildings and Districts - Energy Efficiency from Nano to Urban Scale (CISBAT)
作者: Guo, Hongshan Meggers, Forrest Princeton Univ Sch Architecture Princeton NJ 08544 USA Princeton Univ Andlinger Ctr Energy & Environm Princeton NJ 08544 USA
Geothermal energy is commonly harvested at either shallower depth (below 150ft/45.72m) for residential purposes (with ground source heat pumps), or deeper depths (beyond 8000ft/2.43 km) for Enhanced Geothermal Systems... 详细信息
来源: 评论
7th international conference on Fundamentals of Software Engineering, FSEN 2017
7th International Conference on Fundamentals of Software Eng...
收藏 引用
7th international conference on Fundamentals of Software Engineering, FSEN 2017
the proceedings contain 16 papers. the special focus in this conference is on Fundamentals of Software Engineering. the topics include: Preface;implementing Open Call-by-Value;littleDarwin: A Feature-Rich and Extensib...
来源: 评论
Model predictive control for power management in a plug-in hybrid electric vehicle with a hybrid energy storage system
收藏 引用
APPLIED ENERGY 2017年 第Part2期185卷 1654-1662页
作者: Zhang, Shuo Xiong, Rui Sun, Fengchun Beijing Inst Technol Sch Mech Engn Natl Engn Lab Elect Vehicles Beijing 100081 Peoples R China Beijing Inst Technol Collaborat Innovat Ctr Elect Vehicles Beijing Beijing 100081 Peoples R China
the fuel economy performance of plug-in hybrid electric vehicles (PHEVs) strongly depends on the power management strategy. this study proposes an integrated power management for a PHEV with multiple energy sources, i... 详细信息
来源: 评论
A convex mathematical program for pump scheduling in a class of branched water networks
收藏 引用
APPLIED ENERGY 2017年 第Part2期185卷 1702-1711页
作者: Bonvin, Gratien Demassey, Sophie Le Pape, Claude Maizi, Nadia Mazauric, Vincent Samperio, Alfredo PSL Res Univ Ctr Appl Math MINES ParisTech BP 207 F-06902 Sophia Antipolis France Schneider Elect Strategy & Technol 38TEC F-38050 Grenoble 9 France
We address the day-ahead pump scheduling problem for a class of branched water networks with one pumping station raising water to tanks at different places and levels. this common class is representative of rural drin... 详细信息
来源: 评论