咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 131 篇 期刊文献
  • 72 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 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,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是131-140 订阅
排序:
SIMULATION OF HYDRAULIC CIRCUITS IN AN INTELLIGENT programming ENVIRONMENT (PART I)  7
SIMULATION OF HYDRAULIC CIRCUITS IN AN INTELLIGENT PROGRAMMI...
收藏 引用
7th international conference of DAAAM Baltic Industrial Engineering
作者: Grossschmidt, G. Harf, M. Tallinn Univ Technol Inst Machinery EE-19086 Tallinn Estonia Tallinn Univ Technol Inst Cybernet EE-21608 Tallinn Estonia
A hydraulic circuit of a fluid power system can be considered consisting of hydraulic tubes, local hydraulic resistors, fluid volume elasticity's and flow branching elements. Multi-pole mathematical models with lu... 详细信息
来源: 评论
Finding an Optimal Proximity Bound in a Very Special Scenario  7
Finding an Optimal Proximity Bound in a Very Special Scenari...
收藏 引用
7th international conference on Mathematics and Computers in Sciences and Industry (MCSI)
作者: Williams, Aled London Sch Econ & Polit Sci Dept Math London England
Given A is an element of Z(mxn) and b is an element of Z(m), we provide a sharp upper bound for the l(infinity)-distance from any vertex of the polyhedron P(A, b) = {x is an element of R->= 0(n) : Ax = b} to a near... 详细信息
来源: 评论
Program with Ixquic How to Learn Object-Oriented programming with a game.  7
<i>Program with Ixquic</i> How to Learn Object-Oriented Prog...
收藏 引用
IEEE 7th international conference on Games and Virtual Worlds for Serious Applications (VS-Games)
作者: Ramos, Carmen Patino, Tania Univ Nacl Autonoma Mexico UNAM Ixtli Dept Visualizat & Virtual Real Circuito Exterior 3000Ciudad Univ Coyoacan Mexico City DF Mexico
In this paper we want to describe advances reached in the game design and implementation related to Serious Game: Program with Ixquic. We present a work in progress about this videogame. Program with Ixquic, has two m... 详细信息
来源: 评论
Solution to nonconvex quadratic programming with both inequality and box constraints
收藏 引用
OPTIMIZATION AND ENGINEERING 2009年 第2期10卷 183-191页
作者: Zhang, Xi Zhu, Jinghao Gao, David Y. Tongji Univ Dept Appl Math Shanghai 200092 Peoples R China Virginia Tech Dept Math Blacksburg VA 24061 USA
this paper presents a canonical dual approach for solving nonconvex quadratic programming problems subjected to both linear inequality constraints and box constrains. It is proved that the constrained nonconvex primal... 详细信息
来源: 评论
Fastest Mixing Markov Chain on Symmetric K-Partite Sensor Networks
Fastest Mixing Markov Chain on Symmetric K-Partite Sensor Ne...
收藏 引用
7th IEEE international Wireless Communications and Mobile Computing conference (IWCMC)
作者: Jafarizadeh, Saber Jamalipour, Abbas Univ Sydney Sch Elect & Informat Engn Sydney NSW 2006 Australia
In this paper analytical solution of fastest mixing Markov chain problem over a sensor network with K-partite topology is provided. the solution procedure consists of Stratification of sensor network's connectivit... 详细信息
来源: 评论
Development of functional Reactive programming using an Incrementally Modular Abstraction Hierarchy  5
Development of Functional Reactive Programming using an Incr...
收藏 引用
5th international conference on IT Convergence and Security (ICITCS)
作者: Ohmori, Kenji Hosei Univ Comp & Informat Sci 3-7-2 Kajino Cho Koganei Tokyo 1848584 Japan
the incrementally modular abstraction hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming within pure functi... 详细信息
来源: 评论
Studies of productivity growth index on the China's Yangtze river delta cities
Studies of productivity growth index on the China's Yangtze ...
收藏 引用
7th international conference on Service Systems and Service Management, ICSSSM'10
作者: Xu, Lan China
this paper sets up a Malmquist Productivity Index system of economic growth to study the comprehensive capacities and important economic indicators for the 16 cities in the Yangtze River Delta Region. In the progress,... 详细信息
来源: 评论
Modeling Systems of Ordinary Differential Equations Using Immune Based Gene Expression programming  7
Modeling Systems of Ordinary Differential Equations Using Im...
收藏 引用
7th international conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC)
作者: Xue, Siqing Wu, Jie China Univ Geosci Sch Comp Sci Wuhan 430074 Peoples R China
this paper aims to model system of ordinary differential equations by using a new hybrid gene expression programming algorithm. Gene expression programming is a recently developed evolutionary computation method for m... 详细信息
来源: 评论
Solving the Perceptron Problem by deterministic optimization approach based on DC programming and DCA
Solving the Perceptron Problem by deterministic optimization...
收藏 引用
7th IEEE international conference on Industrial Informatics
作者: An, Le thi Hoai Minh, Le Hoai Tao, Pham Dinh Bouvry, Pascal Univ Paul Verlaine Metz UFR MIM Lab Theoret & Appl Comp Sci F-57045 Metz France Natl Inst Appl Sci Rouen Lab Modelling Optmizat & Operat Res F-76131 Mont St Aignan France Univ Luxemourg Comp Sci Res Unit L-1359 Luxembourg Luxembourg
the Perceptron Problem (PP) appeared for the first time in the Learning Machines and is very useful for zero-knowledge identification schemes in cryptology. the problem is NP-complete and no deterministic algorithm is... 详细信息
来源: 评论
Analysis on the relationship between student grades and computer programming time in learning the C programming language
Analysis on the relationship between student grades and comp...
收藏 引用
7th international conference on Computer Science and Education
作者: Tie, Zhixin Zhuang, Hong Zhang, Qingyang Wang, Zhaoqing Zhejiang Sci Tech Univ Sch Informat Sci & Technol Hangzhou 310018 Zhejiang Peoples R China
the C programming Language is one of the most popular teaching programming languages. It is generally considered that the computer programming time that a student spent on his homework directly affects his grade of th... 详细信息
来源: 评论