咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1381-1390 订阅
排序:
L2 designer: Language and Tool for Generative Art  7
L2 designer: Language and Tool for Generative Art
收藏 引用
7th international Joint conference on Computational Intelligence, IJCCI 2015
作者: Konrády, Tomáš Tesařová, Barbora Štekerová, Kamila Faculty of Informatics and Management University of Hradec Králové Hradec Králové Czech Republic
We propose a new formal grammar (L2 language) and its implementation in JavaScript tool (L2 Designer). the L2 language allows us to create formal definition of the hierarchy of L-systems encapsulated in Lscripts. the ... 详细信息
来源: 评论
Portfolio Selection in Indonesia Stock Market with Fuzzy Bi-Objective Linear programming  7
Portfolio Selection in Indonesia Stock Market with Fuzzy Bi-...
收藏 引用
7th international conference on Research and Education in Mathematics (ICREM)
作者: Subekti, Retno Kusumawati, Rosita Yogyakarta State Univ Math Educ Dept Yogyakarta Indonesia
Selecting a portfolio which has the lowest investment risk and also the highest investment return known as a portfolio selection problem. An alternative way finding optimum solution of this bi-objective programming pr... 详细信息
来源: 评论
Resource Efficient Beamforming Design for Heterogeneous Multiuser Systems
Resource Efficient Beamforming Design for Heterogeneous Mult...
收藏 引用
7th IEEE international conference on Wireless Communications and Signal Processing (WCSP)
作者: Lu, Ying Wei, Lei He, Shiwen Huang, Yongming Yang, Luxi Southeast Univ Sch Informat Sci & Engn Nanjing 210096 Jiangsu Peoples R China State Grid Nanjing Power Supply Co Nanjing 210019 Jiangsu Peoples R China Southeast Univ State Key Lab Millimeter Waves Nanjing 210096 Jiangsu Peoples R China
In this paper, we study a resource efficient coordinated beamforming design for the downlink of heterogeneous multiuser system. the objective function is formulated as maximizing the weighted sum per-cell resource eff... 详细信息
来源: 评论
Learning computational thinking through the use of flash action scripts: Preparing Trainee Elementary School Teachers for Teaching Computer programming  7
Learning computational thinking through the use of flash act...
收藏 引用
7th international conference on Computer Supported Education, CSEDU 2015
作者: Saari, Erni Marlina Blanchfield, Peter Hopkins, Gail School of Computer Science University of Nottingham Jubile Campus Nottingham United Kingdom
the teaching of Computer programming is now mandated in UK state run primary and secondary schools but few elementary teachers have any exposure to programming and are generally from backgrounds that have not given th... 详细信息
来源: 评论
A Preliminary Study of the RADOE Project  7
A Preliminary Study of the RADOE Project
收藏 引用
Proceedings of the 2015 7th IEEE international conference on Cybernetics and Intelligent Systems (CIS) And Robotics, Automation and Mechatronics (RAM)
作者: Yan, Haibin Yang, YuanRui Li, Renjun Dehghan, Masood Ang, Marcelo H. Natl Univ Singapore Adv Robot Ctr Singapore 117580 Singapore Natl Univ Singapore SIMTech NUS Joint Lab Ind Robot Singapore 117580 Singapore Inst Infocomm Res Singapore 138632 Singapore Natl Univ Singapore Dept Mech Engn Singapore 117576 Singapore
Robotic softwares with convenient operation and programming are desirable to increase the efficiency and efficacy of industrial robots which work in complex and fickle environments. To develop such softwares, we aim t... 详细信息
来源: 评论
Incorporating Benchmark programming in the Teaching of Undergraduate Computer Architecture  7
Incorporating Benchmark Programming in the Teaching of Under...
收藏 引用
7th IEEE international conference on Engineering Education (ICEED)
作者: Moulic, James R. See, Jacob D. Univ Alaska Anchorage Dept Comp Sci & Engn Anchorage AK 99508 USA
Advanced Computer Architecture is an upperlevel required course offered by the Department of Computer Science and Engineering at the University of Alaska-Anchorage (UAA). Course content is structured to provide studen... 详细信息
来源: 评论
Power Management in Cluster-Based Energy-Harvesting Sensor Networks through Dynamic Modulation Scaling  17
Power Management in Cluster-Based Energy-Harvesting Sensor N...
收藏 引用
2015 IEEE 17th international conference on High Performance Computing and Communications (HPCC)
作者: Bandari, Maryam Simon, Robert Aydin, Hakan George Mason Univ Dept Comp Sci Fairfax VA 22030 USA
this paper considers real-time cluster-based wireless sensor networks where the nodes harvest energy from the environment. We target performance sensitive applications that have to collectively send their information ... 详细信息
来源: 评论
Proceedings of WHPCF 2014: 7th Workshop on High Performance Computational Finance - Held in conjunction with SC 2014: the international conference for High Performance Computing, Networking, Storage and Analysis
Proceedings of WHPCF 2014: 7th Workshop on High Performance ...
收藏 引用
7th Workshop on High Performance Computational Finance, WHPCF 2014 at the international conference for High Performance Computing, Networking, Storage and Analysis, SC 2014
the proceedings contain 8 papers. the topics discussed include: GPU implementation of finite difference solvers;speeding up large-scale financial recomputation with memoization;a systematic methodology for analyzing c...
来源: 评论
GPregel: A GPU-Based Parallel Graph Processing Model  17
GPregel: A GPU-Based Parallel Graph Processing Model
收藏 引用
2015 IEEE 17th international conference on High Performance Computing and Communications (HPCC)
作者: Lai, Siyan Lai, Guangda Shen, Guojun Jin, Jing Lin, Xiaola Sun Yat Sen Univ Sch Informat Sci & Technol Guangzhou 510006 Guangdong Peoples R China
With the development of information technology, graph computing becomes an increasingly important tool for information processing. Recently, GPU has been adopted to accelerate various graph processing algorithms. Howe... 详细信息
来源: 评论
An improved single node genetic programming for symbolic regression  7
An improved single node genetic programming for symbolic reg...
收藏 引用
7th international Joint conference on Computational Intelligence, IJCCI 2015
作者: Kubaĺýk, Jiří Babuška, Robert Czech Institute of Informatics Robotics and Cybernetics CTU in Prague Prague Czech Republic Delft Center for Systems and Control Delft University of Technology Delft Netherlands
this paper presents a first step of our research on designing an effective and efficient GP-based method for solving the symbolic regression. We have proposed three extensions of the standard Single Node GP, namely (1... 详细信息
来源: 评论