咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1531-1540 订阅
排序:
Incremental learning of reach-to-grasp behavior: A PSO-based Inverse optimal control approach
Incremental learning of reach-to-grasp behavior: A PSO-based...
收藏 引用
international conference of Soft Computing and Pattern Recognition (SOCPAR)
作者: Haitham El-Hussieny Samy F. M. Assal A. A. Abouelsoud Said M. Megahed Tsukasa Ogasawara Mechatronics and Robotics Engineering Department Egypt-Japan University of Science and Technology (E-JUST) Egypt Nara Institute of Science and Technology Nara Japan Department of Production Engineering and Mechanical Design Tanta University Egypt Electronics and Communications Eng. Dept. Cairo University Egypt Mechanical Design and Production Engineering Department Cairo University Egypt
In recent years, there has been an increasing interest in modeling natural human movements. the main question to be addressed is: what is the optimality criteria that human has optimized to achieve a certain movement.... 详细信息
来源: 评论
A linear programming based interactive method for multiobjective programming problems involving fuzzy coefficients and random variable coefficients  7
A linear programming based interactive method for multiobjec...
收藏 引用
Joint 7th international conference on Soft Computing and Intelligent Systems (SCIS) and 15th international Symposium on Advanced Intelligent Systems (ISIS)
作者: Yano, Hitoshi Nagoya City Univ Sch Humanities & Social Sci Nagoya Aichi 4678501 Japan
In this paper, we propose a linear programming based interactive method for multiobjective linear programming problems, in which fuzzy coefficients and random variable coefficients are involved in the objective functi... 详细信息
来源: 评论
A Call-based Integer programming Model for Static Elevator Operation Problems  7
A Call-based Integer Programming Model for Static Elevator O...
收藏 引用
Joint 7th international conference on Soft Computing and Intelligent Systems (SCIS) and 15th international Symposium on Advanced Intelligent Systems (ISIS)
作者: Inamoto, Tsutomu Higami, Yoshinobu Kobayashi, Shin-ya Ehime Univ Grad Sch Sci & Engn Bunkyo 3 Matsuyama Ehime 7908577 Japan
In this paper, we propose an integer linear programming (ILP) model for static elevator operation problems. the proposed model is based on hall- and car-calls which correspond to pickup and delivery requests in pickup... 详细信息
来源: 评论
A New Approach to Data Envelopment Analysis and Its Application to Industries in Japanese Prefectures  7
A New Approach to Data Envelopment Analysis and Its Applicat...
收藏 引用
Joint 7th international conference on Soft Computing and Intelligent Systems (SCIS) and 15th international Symposium on Advanced Intelligent Systems (ISIS)
作者: Kyo, Koki Noda, Hideo Obihiro Univ Agr & Vet Med Dept Agroenvironm Sci Inada Cho Obihiro Hokkaido 0808555 Japan Tokyo Univ Sci Sch Management Kuki Saitama 3468512 Japan
In this paper, we propose a new approach for determining the unknown quantities in Banker-Charnes-Cooper models for data envelopment analysis by developing the marginal model synthesization algorithm. In this algorith... 详细信息
来源: 评论
Myogenic potential pattern discernment method using genetic programming for hand gesture  7
Myogenic potential pattern discernment method using genetic ...
收藏 引用
Joint 7th international conference on Soft Computing and Intelligent Systems (SCIS) and 15th international Symposium on Advanced Intelligent Systems (ISIS)
作者: Hashimoto, Takahiro Tsujimura, Takeshi Izumi, Kiyotaka Saga Univ Dept Mech Engn Saga Japan
the authors study on the hand gesture discernment based on the surface electromyogram of forearm. In order to discern finger shapes of the rock-paper-scissors, genetic programming technique is applied to establish the... 详细信息
来源: 评论
the typical environmental system optimization problems solved by computer software  7
The typical environmental system optimization problems solve...
收藏 引用
7th international conference on Modelling, Identification and Control (ICMIC)
作者: Liu, Baoyou Jin, Nanxi Hebei Univ Sci & Technol Coll Environm Sci & Engn Shijiazhuang 050018 Hebei Peoples R China
the best ecological and environmental benefits can be obtained with limited economic inputs by system optimization of typical ecological problems. In this paper, two typical ecological problems including resource allo... 详细信息
来源: 评论
Cost Optimization of Real-Time Cloud Applications Using Developmental Genetic programming  14
Cost Optimization of Real-Time Cloud Applications Using Deve...
收藏 引用
IEEE/ACM 7th international conference on Utility and Cloud Computing (UCC)
作者: Deniziak, Stanislaw Ciopinski, Leszek Pawinski, Grzegorz Wieczorek, Karol Bak, Slawomir Kielce Univ Technol Dept Comp Sci Al Tysiaclecia Panstwa Polskiego 7 Kielce Poland Cracow Univ Technol Dept Comp Engn PL-31155 Krakow Poland
this paper presents the methodology for the cost optimization of real-time applications, that are conformable to the Infrastructure as a Service (IaaS) model of cloud computing. We assume, that functions of applicatio... 详细信息
来源: 评论
Global optimization method for Min-Max MPC based on Wiener and Hammerstein model  7
Global optimization method for Min-Max MPC based on Wiener a...
收藏 引用
7th international conference on Modelling, Identification and Control (ICMIC)
作者: Degachi, Hajer Chagra, Wassila Ksouri, Moufida Tunis El Manar Univ Natl Engn Sch Tunis LR11ES20 Anal Concept & Control Syst Lab Tunis Tunisia Tunis El Manar Univ El Manar Preparatory Inst Engn Studies LR11ES20 Anal Concept & Control Syst Lab Tunis Tunisia
In the present work, a global optimization method known as the Generalized Geometric programming (GGP) is used. the technique of convexification used in the present work is different from others presented in earlier w... 详细信息
来源: 评论
the effect of self-efficacy and scaffolding on students' programming learning in robotics learning context  7
The effect of self-efficacy and scaffolding on students' pro...
收藏 引用
7th IEEE international conference on Ubi-Media Computing and Workshops (U-MEDIA)
作者: Lin, Chun Hung Liu, Eric Zhi Feng Natl Cent Univ Grad Inst Learning & Instruct Ctr Teacher Educ Jhongli Taiwan
the main purpose of this study was to investigate the influence of scaffolding and self-efficacy on students' programming learning performance in robotics learning environment. there were 89 junior high school stu... 详细信息
来源: 评论
A Preliminary Analysis on BLMAB-based Approximate Optimization Support for Multi Agent Simulations on Multi-core and GPU-based Computing Environment  7
A Preliminary Analysis on BLMAB-based Approximate Optimizati...
收藏 引用
IEEE 7th international conference on Service-Oriented Computing and Applications (SOCA)
作者: Sano, Yoshihito Kadono, Yoshiaki Fukuta, Naoki Shizuoka Univ Grad Sch Informat Shizuoka Japan
there are strong demands to utilize multi-core computing resources effectively for large-scale and highly detailed multi-agent simulations. We have proposed a framework to assist parameter tuning process of multi-core... 详细信息
来源: 评论