咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,593 篇 电子文献
  • 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,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是611-620 订阅
排序:
On-policy Approximate Dynamic programming for Optimal Control of non-linear systems  7
On-policy Approximate Dynamic Programming for Optimal Contro...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Shalini, K. Vrushabh, D. Sonam, K. Veermata Jijabai Technol Inst EED Mumbai Maharashtra India
Optimal control theory deals with finding the policy that minimizes the discounted infinite horizon quadratic cost function. For finding the optimal control policy, the solution of the Hamilton-Jacobi-Bellman (HJB) eq... 详细信息
来源: 评论
Auxiliar Prototype for Physiotherapy Using Kinect  7
Auxiliar Prototype for Physiotherapy Using Kinect
收藏 引用
7th international conference on eDemocracy and eGovernment (ICEDEG)
作者: Fonseca, Alejandra Alulema, Darwin Pineda, Flavio Morocho, Derlin Univ Fuerzas Armadas ESPE Dept Elect & Elect Sangolqui Ecuador
the people with some type of disability in the Ecuador and in the world is increasing due to the fact that it is not a condition only biological, if not that depends also on environmental factors, accidents or chronic... 详细信息
来源: 评论
A Mathematical Model for Optimizing Organic Feed Mix Problem  7
A Mathematical Model for Optimizing Organic Feed Mix Problem
收藏 引用
IEEE 7th international conference on Industrial Engineering and Applications (ICIEA)
作者: Nguyen Ngoc Ai thy Buddhakulsomsiri, Jirachai Parthanadee, Parthana Thammasat Univ Sirindhorn Int Inst Technol Sch Mfg Syst & Mech Engn Pathum Thani Thailand Kasetsart Univ Fac Agroind Dept Agroind Technol Bangkok Thailand
In thailand, demand for organic pork has emerged in recent years because of consumer concerns for health and the environment. Consequently, this creates a demand for organic feed for swine. this paper provides a linea... 详细信息
来源: 评论
Data-Driven Economic analysis of hydrogen-power coupled integrated energy system
Data-Driven Economic analysis of hydrogen-power coupled inte...
收藏 引用
Data Science and Information Technology (DSIT), international conference on
作者: Zhang Yan Yuan Zi Zhu Zhentao Jin Zhenqiang Wang Mulan Xu Hao Wang Hairong Tan Wenyi School of Economics and Management Nanjing Institute of Technology Nanjing China School of Electric Power Engineering Nanjing Institute of Technology Nanjing China Ministry of Industry and Technology Jiangsu Power Transmisson & Transformation Co.Ltd Nanjing China School of Management Engineering Nanjing Institute of Technology Nanjing China School of Environmental Engineering Nanjing Institute of Technology Nanjing China
Energy system choices for zero-carbon parks are challenged by the drive towards a low-carbon transition. Traditional wind-power-gas integrated energy systems centred on natural gas and combined heat and power (CHP) ar... 详细信息
来源: 评论
Route planning for capacity restricted agents over railway network, without disrupting train schedules  7th
Route planning for capacity restricted agents over railway n...
收藏 引用
7th international conference on Advances in Control and Optimization of Dynamical Systems (ACODS)
作者: Buriuly, Somnath Vachhani, Leena Sinha, Arpita Ravitharan, Sivapragasam Chauhan, Sunita Indian Inst Technol Syst & Control Engn Mumbai Maharashtra India Monash Univ Dept Mech & Aerosp Clayton Vic Australia Monash Univ Monash Inst Railway Technol Clayton Vic Australia
Deploying mobile instrumentation for railway track inspection is a routing and scheduling problem, that can be benefited from plans which don't disrupt regular train schedules. In this work, we avoid disrupting tr... 详细信息
来源: 评论
Matrix Approach to Pattern-type Reachability Analysis of Fractal Petri nets  7
Matrix Approach to Pattern-type Reachability Analysis of Fra...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Semenov, Alexander S. Natl Res Univ Computat Math & Programming Dept Moscow Aviat Inst MAI Moscow 125993 Russia
Pattern-type reachability analysis extends Petri nets analysis by constructing a reachability graph from the patterns which are the internal emergent properties of the modeling system. the process construction of the ... 详细信息
来源: 评论
Online Automatic Assessment System for Program Code: Architecture and Experiences  1
收藏 引用
34th international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)
作者: Watanobe, Yutaka Rahman, Md Mostafizer Rage, Uday Kiran Penugonda, Ravikumar Univ Aizu Aizu Wakamatsu Fukushima Japan
Online Automatic Assessment System (OAAS) is a vital component in Online Judge systems. It is used to assess the correctness of programs submitted by the users. Developing OAAS is a non-trivial and challenging task du... 详细信息
来源: 评论
Application of Linear programming in Optimizing the Allocation of Agents in a 3-shift 24x7 eCustomer Service Operation  7
Application of Linear Programming in Optimizing the Allocati...
收藏 引用
7th international conference on Frontiers of Industrial Engineering, ICFIE 2020
作者: Bilbao, Krishah Ronacel Dl. De Leon, Lance Albert S. Pido, Jeric James G. Young, Michael N. School of Industrial Engineering and Engineering Management Mapúa University Intramuros Manila Philippines
this paper highlights the Application of Linear programming in determining the optimized allocation. the Focus of this study is maximizing the efficiency of the eCustomer Care Service for the year 2019 by determining ... 详细信息
来源: 评论
Optimal Trajectories Synthesis of a Mobile Robots Group Using Cartesian Genetic programming  7
Optimal Trajectories Synthesis of a Mobile Robots Group Usin...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Diveev, Askhat Balandina, Galina Russian Acad Sci Dept Control Robot Fed Res Ctr Comp Sci & Control Moscow 119333 Russia Peoples Friendship Univ Russia RUDN Univ Dept Mech & Mechatron 6 Miklukho Maklaya St Moscow 117198 Russia
the paper is devoted to application of Cartesian Genetic programming (CGP) for generating optimal trajectories of a mobile robots group. the problem of a control system synthesis for a mobile robots group is solved. T... 详细信息
来源: 评论
Cost of Energy Losses for Distributed Generation Using Hybrid Evolutionary programming-Firefly Algorithm  7
Cost of Energy Losses for Distributed Generation Using Hybri...
收藏 引用
7th international conference on Man Machine Systems, ICoMMS 2021
作者: Husni, Noor Najwa Husnaini Mohammad Rahim, Siti Rafidah Abdul Adzman, Mohd Rafi Hussain, Muhammad Hatta Musirin, Ismail Perlis Malaysia Perlis Malaysia Selangor Shah Alam Malaysia
the cost of energy losses analysis for distributed generation (DG) is presented in this paper using a Hybrid Evolutionary programming-Firefly Algorithm (EPFA). the proposed method was created to determine the optimal ... 详细信息
来源: 评论