咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,534 篇 电子文献
  • 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...
  • 83 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 54 篇 costs
  • 50 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 41 篇 computer science
  • 41 篇 quadratic progra...
  • 41 篇 software

机构

  • 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 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...
  • 3 篇 school of electr...
  • 3 篇 concordia univ d...

作者

  • 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,452 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3536 条 记 录,以下是401-410 订阅
排序:
Multi-Objective Optimal Planning of Coal-Fired Plants Flexibility Retrofits Considering Multi-Technology Options
Multi-Objective Optimal Planning of Coal-Fired Plants Flexib...
收藏 引用
China international Electrical and Energy conference (CIEEC)
作者: Yaofei Sun Mingfei Ban College of Computer and Control Engineering Northeast Forestry University Harbin China
Retrofitting coal-fired power plants (CPPs) is a way to accommodate ever-increasing variable renewable energy (VRE) in coal-dominated power systems in countries like China and India. Yet, how to retrofit the CPPS cost... 详细信息
来源: 评论
A Mixed Integer Nonlinear programming Model and Heuristic Solutions for an Automated Demand Response System for Large Facilities  7
A Mixed Integer Nonlinear Programming Model and Heuristic So...
收藏 引用
Moratuwa Engineering Research conference (MERCon) / 7th international Multidisciplinary Engineering Research conference
作者: Rodrigo, Asanka S. Ranawaka, Ama Mandasmitha Abeywickrama, Mewan Arachchi, Devin Akila Malawara Univ Moratuwa Dept Elect Engn Moratuwa Sri Lanka
Demand Response is utilized around the globe to alleviate the peak demand economically and to manage reliability-compromising emergencies in power systems. Sri Lanka requires an effective Demand Response system to cat... 详细信息
来源: 评论
Skill Generalization for Dual-Arm Robot Flipping Manipulation Using OLC-DMP Method  7
Skill Generalization for Dual-Arm Robot Flipping Manipulatio...
收藏 引用
7th IEEE international conference on Advanced Robotics and Mechatronics
作者: Huang, Haifeng Zeng, Chao Xu, Sheng Yang, Chenguang South China Univ Technol Coll Automat Sci & Engn Guangzhou Peoples R China Guangdong Univ Technol Sch Automat Guangzhou Peoples R China Chinese Acad Sci Shenzhen Inst Adv Technol Shenzhen Peoples R China
Collaborative tasks for dual-arm robots, such as box flipping tasks, require tight cooperation between the arms, which are always difficult to program and execute autonomously for robots. Learning from demintration is... 详细信息
来源: 评论
Implementation of SM4 block cipher on CUDA GPU and its analysis  7
Implementation of SM4 block cipher on CUDA GPU and its analy...
收藏 引用
7th international conference on Platform Technology and Service (PlatCon)
作者: Eum, Si-Woo Kim, Hyun-Jun Kwon, Hyeok-Dong Jang, Kyung-Bae Kim, Hyun-Ji Seo, Hwa-Jeong Hansung Univ Div IT Convergence Engn Seoul South Korea
SM4 is a symmetric key algorithm developed by the China National Cryptographic Authority. In this paper, the parallel implementation of SM4 block cipher commonly used in China was performed on GPU. the SM4 block ciphe... 详细信息
来源: 评论
Transportation Planning Decision-Making Using Intuitionistic Fuzzy programming
Transportation Planning Decision-Making Using Intuitionistic...
收藏 引用
international conference on Contemporary Computing and Informatics (IC3I)
作者: Pinki Gulia Vikrant Sharma Manik Rakhra Kapil Jairath Sakshi Suri Rakesh Kumar Department of Mathematics Lovely Professional University Phagwara Punjab India Computer Science and Engineering Graphic Era Hill University Adjunct professor Graphic Era Deemed to be University Dehradun Uttarakhand India Department of computer science and Engineering Lovely professional University Phagwara Punjab India Department of Sciences Trinity College Jalandhar Punjab India School of design-II Interior & Furniture design Lovely Professional University Phagwara Punjab India
In this research, we use intuitionistic fuzzy programming to bring insight into transportation planning decision-making processes, namely multi-objective optimization (MOO). Considerations for transportation time and ... 详细信息
来源: 评论
Symbolic Inference Based on Rule Instantiation
Symbolic Inference Based on Rule Instantiation
收藏 引用
international conference on Artificial Intelligence and Big Data (ICAIBD)
作者: Yunhao Liu Zongkui He Shiying Liu Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu China University of Chinese Academy of Sciences Beijing China University of Electronic Science and Technology of China Chengdu China Sichuan Provincial Computer Federation Chengdu China
Symbolic computation, as a focal point of research in automated reasoning, has made significant strides in recent decades, particularly in solving polynomial equations systems. Several computer algebra systems have be... 详细信息
来源: 评论
Automatic programming Method and System of Multi-Axis CNC Pipe Bender
Automatic Programming Method and System of Multi-Axis CNC Pi...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Boyang Zhang Yulan Wei Liangyou Li Jiwen Peng Hongtao Han Bing Li School of Engineering Huzhou University Huzhou China Zhejiang Heliang Intelligent Equipment Co. Ltd. Huzhou China Zhejiang Sany Equipment Co Ltd. Huzhou China
the all-electric CNC pipe bender can be used to replace the hydraulic CNC pipe bender to bend pipe fittings. the user inputs the required bending parameters through the specially designed user interface, and the calcu... 详细信息
来源: 评论
Design of Dual-Robot Collaborative Handling Control System
Design of Dual-Robot Collaborative Handling Control System
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Li Wang Bingfeng Qian Lei Zhang Shenjie Chen School of Mechanics Shanghai Dianji University Shanghai China
Since single robot has great limitations in executing tasks and is difficult to meet the market demand, the dual robot control system has become a research hotspot. this paper starts from solving the problems of compl... 详细信息
来源: 评论
Design of Bluetooth-based Solar Panel Cleaner Robot
Design of Bluetooth-based Solar Panel Cleaner Robot
收藏 引用
international conference on Computing Methodologies and Communication (ICCMC)
作者: R. Priya K. S. Radha M. Karthikeyan Department of Physics R.M.D. Engineering College Chennai Tamil Nadu India Department of Chemistry R.M.D. Engineering College Chennai Tamil Nadu India Department of Electrical and Electronics Engineering Vel Tech Multi Tech Dr Rangarajan Dr Sakunthala Engineering College Chennai Tamil Nadu India
Fuel is one of the most pressing issues confronting the world today, and water scarcity for urban and rural people has also been a serious issue. 60-70% of the country's electricity demand is met by burning wood a... 详细信息
来源: 评论
Mutual Reinforcement Learning with Heterogenous Agents  7
Mutual Reinforcement Learning with Heterogenous Agents
收藏 引用
7th IEEE international conference on Smart Computing (SMARTCOMP)
作者: Reid, Cameron Mukhopadhyay, Snehasis Indiana Univ Purdue Univ Sch Comp & Informat Sci Indianapolis IN 46202 USA
Mutual learning is an emerging technique for allowing intelligent systems to learn from each other, giving rise to improved performance. In this paper, we explore mutual reinforcement learning between systems which us... 详细信息
来源: 评论