咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1201-1210 订阅
排序:
Designing electrically self-sufficient distributed energy systems under energy demand and solar radiation uncertainty
Designing electrically self-sufficient distributed energy sy...
收藏 引用
7th international conference on Future Buildings and Districts - Energy Efficiency from Nano to Urban Scale (CISBAT)
作者: Mavromatidis, Georgios Orehounig, Kristina Carmeliet, Jan Swiss Fed Inst Technol Chair Bldg Phys Zurich Switzerland Empa Lab Urban Energy Syst Dubendorf Switzerland Empa Lab Multiscale Studies Bldg Phys Dubendorf Switzerland
this paper examines the design of autonomous Distributed Energy Systems (DES) under energy demand and solar radiation uncertainty. A two-stage stochastic program is developed that seeks cost-optimal DES designs consid... 详细信息
来源: 评论
NetGen: a novel network-based probabilistic generative model for gene set functional enrichment analysis
收藏 引用
BMC SYSTEMS BIOLOGY 2017年 第4-Sup期11卷 61-74页
作者: Sun, Duanchen Liu, Yinliang Zhang, Xiang-Sun Wu, Ling-Yun Chinese Acad Sci Acad Math & Syst Sci Inst Appl Math Beijing 100190 Peoples R China Chinese Acad Sci Natl Ctr Math & Interdisciplinary Sci Beijing 100190 Peoples R China Univ Chinese Acad Sci Sch Math Sci Beijing 100049 Peoples R China
Background: High-throughput experimental techniques have been dramatically improved and widely applied in the past decades. However, biological interpretation of the high-throughput experimental results, such as diffe... 详细信息
来源: 评论
8th international conference on Information Science and Applications, ICISA 2017
8th International Conference on Information Science and Appl...
收藏 引用
8th international conference on Information Science and Applications, ICISA 2017
the proceedings contain 96 papers. the special focus in this conference is on Ubiquitous Computing, Information Systems, Multimedia, Visualization, Privacy, Artificial Intelligence, Web Technology and 7th Internationa...
来源: 评论
7th JSAI international Symposium on Artificial Intelligence, JSAI-isAI 2015
7th JSAI International Symposium on Artificial Intelligence,...
收藏 引用
7th JSAI international Symposium on Artificial Intelligence, JSAI-isAI 2015
the proceedings contain 39 papers. the special focus in this conference is on Artificial Intelligence. the topics include: Towards a probabilistic analysis for conditionals and unconditionals;an inference problem set ...
来源: 评论
Finding a Nash Equilibrium and an Optimal Sharing Policy for Multiagent Network Expansion Game
Finding a Nash Equilibrium and an Optimal Sharing Policy for...
收藏 引用
7th international Network Optimization conference (INOC)
作者: Chaabane, Nadia Briand, Cyril Huguet, Marie-Jose Agnetis, Alessandro Univ Toulouse CNRS INSA LAASUPS Siena Italy Univ Siena Dipartimento Ingn Informaz & Sci Matemat Siena Italy
In this work, a multiagent network flow problem is addressed, aiming at characterizing the properties of stable flows and allowing their computation. Two types of agents are considered: transportation-agents, that car... 详细信息
来源: 评论
An Economic Optimization for BESS Sizing in a Hybrid PV and Wind Power Plant  7
An Economic Optimization for BESS Sizing in a Hybrid PV and ...
收藏 引用
7th IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia)
作者: Yang, Yuqing Bremner, Stephen Menictas, Chris Meng, Ke Dong, Zhao Yang Kay, Merlinde UNSW Australia Sch Photovolta & Renewable Energy Engn Sydney NSW Australia UNSW Australia Sch Mech & Mfg Engn Sydney NSW Australia Univ Sydney Sch Elect & Informat Engn Sydney NSW Australia UNSW Australia Sch Elect Engn & Telecommun Sydney NSW Australia
this paper presents an analytical sizing strategy for a Battery Energy Storage System (BESS) in a Hybrid PV and Wind Power Plant (HPP), aiming at maximizing the operating profits of the HPP. this goal was achieved mai... 详细信息
来源: 评论
Guided installation of basic linear algebra routines in a cluster with manycore components
Guided installation of basic linear algebra routines in a cl...
收藏 引用
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)
作者: 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... 详细信息
来源: 评论
Interval T-S fuzzy modeling based on minimizing 1-norm on approximation error  7
Interval T-S fuzzy modeling based on minimizing 1-norm on ap...
收藏 引用
7th international conference on Computer Engineering and Networks, CENet 2017
作者: Liu, Xiaoyong Zhou, Shufang Xiong, Zhonggang College of Engineering and Technology Zunyi Normal College Zunyi563006 China Affiliated Hospital of Zunyi Medical College Zunyi563003 China
As the obtained data in many practical applications tend to be uncertain or inaccurate, the conventional modeling methods characterized by the deterministic model for this type of data have become undesirable. Taking ... 详细信息
来源: 评论
Riccati-Regularized Precision Matrices for Neuroimaging  1
收藏 引用
25th Biennial international conference on Information Processing in Medical Imaging (IPMI)
作者: Honnorat, Nicolas Davatzikos, Christos Univ Penn Dept Radiol 3700 Hamilton WalkRichards Bldg7th Floor Philadelphia PA 19104 USA
the introduction of graph theory in neuroimaging has provided invaluable tools for the study of brain connectivity. these methods require the definition of a graph, which is typically derived by estimating the effecti... 详细信息
来源: 评论
Automatic Weld Path Generation for Mesh Objects
Automatic Weld Path Generation for Mesh Objects
收藏 引用
IEEE international conference on Cyber Technology in Automation, Control, and Intelligent Systems
作者: Nathan Larkin Andrew Short Zengxi Pan Stephen van Duin Defence Materials Technology Centre University of Wollongong Australia School of Mechanical Materials and Mechatronics Engineering University of Wollongong Australia
Automated Offline programming (AOLP) is an emerging programming paradigm where industrial robot programs are generated from computer models with minimal human effort. Arc welding, such as Gas Metal Arc Welding (GMAW) ... 详细信息
来源: 评论