咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 73 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 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...
  • 86 篇 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. ...
  • 6 篇 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,510 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3594 条 记 录,以下是341-350 订阅
排序:
Generic component: A generic programming approach
Generic component: A generic programming approach
收藏 引用
CIT 2007: 7th IEEE international conference on Computer and Information Technology
作者: Yewang, Chen Zhixiong, Jiang Wenyun, Zhao Xin, Peng Department of Computer Science and Engineering Fudan University ShangHai 200433
Generic programming (GP) is the evolvement of OO, and more general than OO. In a certain degree, it is requirement-oriented programming. this paper, firstly, addresses some insufficiencies of OO;secondly illustrates a... 详细信息
来源: 评论
RETRACTED ARTICLE: Feature fitness evaluation for symbolic regression via genetic programming
RETRACTED ARTICLE: Feature fitness evaluation for symbolic r...
收藏 引用
2011 7th international conference on Natural Computation, ICNC 2011
作者: Lu, Qiang Wang, Bin Department of Computer Science and Technology Key Laboratory of Earth Prospecting and Information Technology China University of Petroleum Beijing China
In this paper, feature fitness evaluation method is proposed for accelerating the speed of evolution in symbolic regression. through analyzing the feature of curve or surface which train data represents, vertex and in... 详细信息
来源: 评论
Optimality conditions for fractional programming with B - (p,r,a) Invex functions
Optimality conditions for fractional programming with B - (p...
收藏 引用
2011 7th international conference on Computational Intelligence and Security, CIS 2011
作者: Li, Xiang You Zhang, Qing Xiang College of Mathematics and Computer Science Yanan University Yan'an Shaanxi 716000 China
In this paper, new classes of generalized invex functions called B - (p,r,a)-invex, B - (p,r,a)-quasi invex and B - (p,r,a)-pseudo invex functions are introduced, which are defined by relaxing the definitions of B - (... 详细信息
来源: 评论
Generics and reverse generics for Pharo
Generics and reverse generics for Pharo
收藏 引用
7th international conference on Software Paradigm Trends, ICSOFT 2012
作者: Bergel, Alexandre Bettini, Lorenzo University of Chile Santiago Chile Dipartimento di Informatica Università di Torino Torino Italy
Generic programming is a mechanism for re-using code by abstracting specific types used in classes and programs. In this paper, we present a mechanism for adding generic programming in dynamically typed languages, sho... 详细信息
来源: 评论
Experiential Approach to Creation and Use of Assets in Designing the Family of Software Intensive Systems
Experiential Approach to Creation and Use of Assets in Desig...
收藏 引用
7th international conference on Application of Information and Communication Technologies (AICT)
作者: Sosnin, Petr Maklaev, Vladimir Ulyanovsk State Tech Univ Dept Comp Ulyanovsk Russia
the paper presents an experiential approach to modeling of assets in designing the family of Software Intensive Systems (SIS). the reuse of any asset is being implemented as a typical work of a designer in accordance ... 详细信息
来源: 评论
INNOVATIVE programming MEthOD FOR SOUND WAVEFORM PRODUCTION: A PLUCKED STRING SOUND  7
INNOVATIVE PROGRAMMING METHOD FOR SOUND WAVEFORM PRODUCTION:...
收藏 引用
7th international Computer Music conference, ICMC 1981
作者: Stewart, David N.
来源: 评论
Direct numerical solution of a time-optimal state-constrained control problem in a flow  7
Direct numerical solution of a time-optimal state-constraine...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Chertovskih, Roman Pereira, Fernando Lobo Univ Porto Fac Engn Res Ctr Syst & Technol SYSTEC Elect & Comp Engn Dept Porto Portugal
We consider the following time-optimal control problem with state constraints: compute minimal travelling time of a controllable object moving in a prescribed flow field in a bounded domain between two given points. T... 详细信息
来源: 评论
Gene expression programming for induction of finite transducer
Gene expression programming for induction of finite transduc...
收藏 引用
7th international conference on Information, Communications and Signal Processing, ICICS 2009
作者: Manognya, Jandhyala Seetha Wang, Lipo School of Electrical and Electronic Engineering Nanyang Technological University Singapore
this paper presents an alternative method for solving the problem of finite transducers using gene expression programming (GEP). Each individual in the GEP system represents a Mealy machine with outputs for each state... 详细信息
来源: 评论
Multiobjective optimization of Grid - Photovoltaic - Electric Vehicle Hybrid system in Smart Building with Vehicle-to-Grid (V2G) concept  7
Multiobjective optimization of Grid - Photovoltaic - Electri...
收藏 引用
7th international conference on Renewable Energy Research and Applications (ICRERA)
作者: Turker, Harun Colak, Ilhami InSmartGrid Bilisim Teknoloji Gelistirme Istanbul Turkey Turker Ar Ge Smart Grid Ltd Sti Yozgat Turkey Nisantasi Univ Istanbul Turkey
this paper presents an optimal Energy Management Strategy (EMS) to optimize Grid / PV / EV hybrid system in Smart Building with a Vehicle-to-Grid (V2G) concept and so bidirectional capability of the vehicle. the aims ... 详细信息
来源: 评论
STEPS TO AN ADVANCED ADA programming ENVIRONMENT.
STEPS TO AN ADVANCED ADA PROGRAMMING ENVIRONMENT.
收藏 引用
Proceedings - 7th international conference on Software Engineering.
作者: Taylor, Richard N. Standish, thomas A.
来源: 评论