咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
Optimal Event-Triggered Impulsive Control for Stochastic Systems using ADP  7
Optimal Event-Triggered Impulsive Control for Stochastic Sys...
收藏 引用
7th international conference on Automation, Control and Robotics Engineering (CACRE)
作者: Liang, Mingming Liu, Derong Guangdong Univ Technol Sch Automat Guangzhou 510006 Peoples R China
In this paper, a novel general-event-based impulsive transition matrix (GITM) is constructed, which can reveal the probability distribution evolution patterns for all system states across the impulsive instants, inste... 详细信息
来源: 评论
Approach for evolving hierarchical T-S fuzzy systems
Approach for evolving hierarchical T-S fuzzy systems
收藏 引用
7th international conference on Signal Processing
作者: Ding, JW Chen, YH Yang, B Jinan Univ Sch Informat Sci & Engn Jinan 250022 Peoples R China
A combination approach of a modified PIPE algorithm to find the best architecture of hierarchical TS fuzzy model for a given problem and a simple evolutionary programming algorithm to optimize the parameters embedded ... 详细信息
来源: 评论
Tangible computer programming for informal science learning  08
Tangible computer programming for informal science learning
收藏 引用
7th international conference on Interaction Design and Children, IDC 2008
作者: Horn, Michael S. Tufts University Dept. of Computer Science 161 College Ave Medford MA 02155 United States
the goal of this project is to develop a tangible programming language for use in informal science learning and to evaluate its effectiveness. As part of this effort, we will explore the relative strengths and weaknes... 详细信息
来源: 评论
Automatic Weld Path Generation for Mesh Objects  7
Automatic Weld Path Generation for Mesh Objects
收藏 引用
7th IEEE Annual international conference on CYBER Technology in Automation, Control, and Intelligent Systems (CYBER)
作者: Larkin, Nathan Short, Andrew Pan, Zengxi van Duin, Stephen Univ Wollongong Def Mat Technol Ctr Wollongong NSW Australia Univ Wollongong Sch Mech Mat & Mechatron Engn Wollongong NSW 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) ... 详细信息
来源: 评论
Advance morphological filtering, correlation and convolution method for gesture recognition  7
Advance morphological filtering, correlation and convolution...
收藏 引用
7th international conference on Communication Systems and Network Technologies (CSNT)
作者: Gubrele, Poorva Prasad, Ritu Saurabh, Praneet Verma, Bhupendra TIT Excellence Dept IT Bhopal MP India TIT Dept CSE Bhopal MP India
Hand gesture recognition system is employed to provide interface between computer and human using hand gesture. this paper presents a technique for human computer interface through common hand gesture that is efficien... 详细信息
来源: 评论
Using Failures and Category theory to Verify Process Communications between Design and Implementation of Concurrent Systems  7
Using Failures and Category Theory to Verify Process Communi...
收藏 引用
7th international conference on Ambient Systems, Networks and Technologies (ANT) / 6th international conference on Sustainable Energy Information Technology (SEIT)
作者: Zhu, Ming Grogono, Peter Ormandjieva, Olga Kuang, Heng Concordia Univ Dept Comp Sci & Software Engn Montreal PQ Canada IBM Canada Markham ON Canada
the process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency of process communications between the design and the implementation.... 详细信息
来源: 评论
INTEREST MANAGEMENT thROUGH POLICY programming LANGUAGE  7
INTEREST MANAGEMENT THROUGH POLICY PROGRAMMING LANGUAGE
收藏 引用
7th international conference on Computer Science and Information Technology (CSIT)
作者: Ahmad, Suzana Abidin, Siti Z. Z. Omar, Nasiroh Univ Teknol MARA Fac Comp & Math Sci Shah Alam 40450 Selangor Malaysia Univ Teknol MARA Adv Anal Engn Ctr Shah Alam 40450 Selangor Malaysia
Managing interest in collaborative data sharing involves determining interest of both owner and other parties. lnterest management method is bound to information such as user request, location, history, preferences an... 详细信息
来源: 评论
Artificial neural system method for solving nonlinear programming with linear equality constraints
Artificial neural system method for solving nonlinear progra...
收藏 引用
2011 7th international conference on Computational Intelligence and Security, CIS 2011
作者: Zhang, Quan-Ju Management Department City College Dongguan University of Technology Dongguan Guangdong China
A new artificial neural system model for solving nonlinear programming with equality constraints is proposed in this paper. this model has two properties as follows: first, the optima set to the problems coincides wit... 详细信息
来源: 评论
Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user Perspective  7
Uncertainty-aware Optimization of Resource Provisioning, a C...
收藏 引用
7th international conference on Cloud Computing and Services Science (CLOSER)
作者: Tajvidi, Masoumeh Maher, Michael J. Essam, Daryl UNSW Sch Engn & Informat Technol Canberra ACT Australia
Cloud computing offers a customer the possibility of the availability of large computational resources, while paying only for the resources used. However, because of uncertainty in the customers future demand and the ... 详细信息
来源: 评论
Self-adaptive chaos quantum clonal evolutionary programming
Self-adaptive chaos quantum clonal evolutionary programming
收藏 引用
7th international conference on Signal Processing
作者: Li, YY Jian, LC Liu, F Xidian Univ Inst Intelligent Informat Proc Xian 710071 Peoples R China
in this paper, a novel kind of algorithm, called the self-adaptive chaos quantum clonal evolutionary programming algorithms-SCQP, is proposed based on the quantum theory and the Chaos Mutation Operator. By adopting qu... 详细信息
来源: 评论